Misura (matematica)

In analisi matematica, una misura, talvolta detta misura positiva, è una funzione che assegna un numero reale a taluni sottoinsiemi di un dato insieme per rendere quantitativa la nozione della loro estensione. In particolare, si assegnano lunghezze a segmenti di curva, aree a superfici, volumi a figure tridimensionali e probabilità ad eventi.

La teoria della misura è la branca dell'analisi reale e complessa che studia sigma-algebre, spazi misurabili, insiemi misurabili, misure, funzioni misurabili ed integrali. La teoria astratta della misura ha come casi particolari la teoria della probabilità, e trova numerose applicazioni in diversi settori della matematica pura ed applicata.

La nozione di misura, e quelle ad essa correlate, sono nate a cavallo tra il XIX secolo ed il XX secolo, nell'ambito appunto della formalizzazione della teoria della misura.^[1]

Definizione

Sia ${\mathfrak {F}}$ una σ-algebra definita su un insieme $X$ . Si definisce misura una funzione $\mu \colon {\mathfrak {F}}\to [0,+\infty ]$ (vedi retta reale estesa), con $\mu (E)<+\infty$ per almeno un $E\in {\mathfrak {F}}$ , tale da essere σ-additiva.^[2]

La σ-additività, o additività numerabile, significa che se $E_{1},E_{2},\ldots \in {\mathfrak {F}}$ è una successione di insiemi mutuamente disgiunti, allora:

\mu \left(\bigcup _{i=1}^{+\infty }E_{i}\right)=\sum _{i=1}^{+\infty }\mu (E_{i}).

Gli elementi di ${\mathfrak {F}}$ sono detti insiemi misurabili, e la struttura $(X,{\mathfrak {F}},\mu )$ viene detta spazio di misura.

Una misura complessa è una funzione numerabilmente additiva a valori complessi definita su una σ-algebra.

Proprietà

Dalla definizione possono essere derivate le seguenti proprietà:

L'insieme vuoto ha misura nulla:

\mu (\varnothing )=0.

Se $E_{1}$ ed $E_{2}$ sono insiemi misurabili, allora se $E_{1}\subseteq E_{2}$ si ha $\mu (E_{1})\leq \mu (E_{2})$ .

Se $E_{1},E_{2},\dots$ sono insiemi misurabili e $\forall n\in \mathbb {N} \;\;E_{n}\subseteq E_{n+1}$ , allora l'unione degli insiemi $E_{n}$ è misurabile:

\mu \left(\bigcup _{i=1}^{+\infty }E_{i}\right)=\lim _{i\to +\infty }\mu (E_{i}).

Se $E_{1},E_{2},\dots$ sono insiemi misurabili e $\forall n\in \mathbb {N} \;\;E_{n+1}\subseteq E_{n}$ , allora l'intersezione degli insiemi $E_{n}$ è misurabile. Inoltre, se almeno uno di tali insiemi ha misura finita, allora

\mu \left(\bigcap _{i=1}^{+\infty }E_{i}\right)=\lim _{i\to +\infty }\mu (E_{i}).

Misure prodotto

Siano $(X,{\mathfrak {F}},\mu )$ e $(Y,{\mathfrak {G}},\lambda )$ due spazi di misura. Ad ogni funzione $f$ definita su $X\times Y$ e ad ogni $x\in X$ si può associare la funzione $f_{x}(y)=f(x,y)$ definita in $Y$ , e per ogni $y\in Y$ si può associare la funzione $f_{y}(x)=f(x,y)$ .^[3] Per ogni insieme aperto $V\in {\mathfrak {G}}\times {\mathfrak {F}}$ si definisce inoltre:

Q=\{(x,y):f(x,y)\in V\},\qquad Q_{x}=\{y:f_{x}(y)\in V\}.

Si dimostra che se

\phi (x)=\lambda (Q_{x}),\qquad \psi (y)=\mu (Q_{y}),\qquad \forall x\in X,\quad \forall y\in Y,

allora $\phi$ è ${\mathfrak {F}}$ -misurabile e $\psi$ è ${\mathfrak {G}}$ -misurabile, e si ha:^[4]

\int _{X}\phi d\mu =\int _{Y}\psi d\lambda .

Si definisce la misura $\mu \times \lambda$ prodotto delle due misure $\mu$ e $\lambda$ l'integrale:^[5]

(\mu \times \lambda )(Q)=\int _{X}\lambda (Q_{x})d\mu (x)=\int _{Y}\mu (Q_{y})d\lambda (y).

Continuità assoluta

Se $\mu$ e $\nu$ sono misure sulla stessa sigma-algebra, la misura $\mu$ si dice assolutamente continua rispetto a $\nu$ se $\mu (A)=0$ per ogni insieme $A$ per il quale $\nu (A)=0$ . Questa situazione viene presentata con la scrittura $\mu \ll \nu$ .^[6]

Se esiste inoltre un insieme $B$ tale per cui:

\mu (E)=\mu (B\cap E),

per ogni insieme $E$ della sigma-algebra, allora tale misura si dice concentrata su $B$ . Misure concentrate su insiemi rispettivamente disgiunti sono dette mutuamente singolari. In particolare, se $\mu _{1}$ e $\mu _{2}$ sono mutuamente singolari si scrive $\mu _{1}\perp \mu _{2}$ .

Un teorema di particolare importanza nell'ambito della continuità assoluta delle misure afferma che se $\mu$ e $\nu$ sono due misure limitate, allora esiste un'unica coppia di misure positive $\mu _{1}\perp \mu _{2}$ tali che:

\mu =\mu _{1}+\mu _{2},\qquad \mu _{1}\ll \nu ,\qquad \mu _{2}\perp \nu .

Il teorema di Radon-Nikodym afferma inoltre che esiste un'unica funzione $h\in L^{1}(\nu )$ tale che:

\mu _{1}(E)=\int _{E}hd\nu ,

per ogni insieme $E$ della sigma-algebra. La decomposizione

\mu =\mu _{1}+\mu _{2}

è detta decomposizione di Lebesgue di $\mu$ relativamente a $\nu$ , ed è unica.^[7] La funzione $h$ si dice inoltre derivata di Radon-Nikodym di $\mu _{1}$ rispetto $\nu$ .

Il teorema può essere esteso al caso più generale in cui $\mu$ è una misura complessa e $\nu$ è sigma-finita e positiva.^[8]

Differenziabilità di una misura

Sia $\mu$ una misura complessa di Borel su $\mathbb {R} ^{k}$ . Si consideri una famiglia di insiemi $E$ di $\mathbb {R} ^{k}$ tale che il diametro di $E$ sia inferiore a $\delta$ e tale che esiste una palla $B$ contenente $E$ la cui misura di Lebesgue sia inferiore alla misura di $E$ moltiplicata per una costante finita.

Sia $A$ un numero complesso. Si dice che $\mu$ è differenziabile in $x\in \mathbb {R} ^{k}$ e si scrive:^[9]

(D\mu )(x)=A

se, detta $m$ la misura di Lebesgue, per ogni $\epsilon >0$ esiste $\delta >0$ tale che

\left|{\frac {\mu (E)}{m(E)}}-A\right|<\epsilon ,\qquad x\in E.

Tale espressione è equivalente al limite in cui il diametro dell'insieme $E$ si annulla, ossia il limite in cui l'insieme coincide con il punto $x$ .

Si definiscono inoltre la derivata superiore:

({\bar {D}}\mu )(x)=\lim _{\delta \to 0}\sup \left[{\frac {\mu (E)}{m(E)}}\right]

e la derivata inferiore, ottenuta considerando l'estremo inferiore nella relazione precedente. La misura $\mu$ è differenziabile se le derivate superiore e inferiore coincidono e sono finite, e in tal caso sono uguali a $(D\mu )(x)$ .^[10]

Integrale indefinito

Si dimostra che in $\mathbb {R} ^{k}$ la misura $\mu$ è differenziabile quasi ovunque rispetto a $m$ e che la sua derivata è integrabile secondo Lebesgue. Inoltre, si può definire una misura $\mu _{s}$ tale che

\mu _{s}\perp m,\qquad (D\mu _{s})(x)=0,

dove $\mu _{s}\perp m$ indica che le misure sono mutuamente singolari. Per ogni insieme di Borel $E$ si ha allora:^[11]

\mu (E)=\mu _{s}(E)+\int _{E}(D\mu )(x)dx.

Come conseguenza di questo fatto, una condizione necessaria e sufficiente alla mutua singolarità $\mu \perp m$ è il fatto che $(D\mu _{s})(x)=0$ quasi ovunque. In generale, due misure sono mutuamente singolari se la derivata di una rispetto all'altra è nulla quasi ovunque.^[12]

Inoltre $(D\mu )(x)$ coincide quasi ovunque con la derivata di Radon-Nikodym se e solo se $\mu$ è assolutamente continua rispetto a $m$ , ed in tal caso:^[13]

(D\mu )(x)={\frac {d\mu }{dm}},\qquad \mu (E)=\int _{E}(D\mu )(x)dx.

Se si definisce infine integrale indefinito di $f\in L^{1}(\mathbb {R} ^{k})$ l'espressione:^[14]

\mu (E)=\int _{E}(D\mu )(x)dx,

allora la derivata di un integrale indefinito coincide con la funzione integranda, ed inoltre ogni misura $\mu$ che è assolutamente continua rispetto a $m$ coincide con l'integrale della sua derivata.

In generale, se $f\in L^{1}(\mathbb {R} ^{k})$ , allora

f(x_{0})=\lim _{\delta \to 0}\left[{\frac {1}{m(E)}}\int _{E}(D\mu )(x)dx\right],\qquad x_{0}\in E,

per quasi tutti i punti $x_{0}\in \mathbb {R} ^{k}$ .

Sigma-finitezza

Uno spazio di misura $(X,{\mathfrak {F}},\mu )$ si dice finito se $\mu (X)$ è un numero reale finito, mentre si dice σ-finito se $X$ è l'unione numerabile di insiemi misurabili di misura finita. Un insieme in uno spazio di misura si dice avere misura σ-finita se è una unione numerabile di insiemi di misura finita.

Ad esempio, i numeri reali con la usuale misura di Lebesgue sono σ-finiti ma non finiti. Si considerino gli intervalli chiusi $[k,k+1]$ per tutti gli interi $k$ : vi è una quantità numerabile di tali intervalli, ciascuno avente misura 1, e la loro unione è l'intera retta reale. Alternativamente, si considerino i numeri reali con la misura di conteggio, che assegna ad ogni insieme finito di numeri reali il numero di punti nell'insieme. Questa misura non è σ-finita, in quanto ogni insieme con misura finita contiene solo un insieme finito di punti e sarebbe necessario una quantità non numerabile di tali insiemi per coprire l'intera retta reale. Gli spazi di misura σ-finita risultano avere alcune proprietà molto apprezzabili, e la σ-finitezza può essere confrontata alla separabilità degli spazi topologici.

Completezza

Una misura $\mu$ si dice completa se ogni sottoinsieme di un insieme di misura nulla è misurabile. Il teorema che sta alla base della definizione afferma che se $(X,{\mathfrak {F}},\mu )$ è uno spazio di misura e ${\mathfrak {F}}^{*}$ l'insieme di tutti gli insiemi $E\subset X$ per i quali esistano due insiemi $A$ e $B$ di ${\mathfrak {F}}$ tali che

\mu (B-A)=0,\qquad A\subset E\subset B,

allora, definendo $\mu (E)=\mu (A)$ , ${\mathfrak {F}}^{*}$ è una σ-algebra e $\mu$ una misura su di essa.^[15]

La misura $\mu$ estesa in tal modo si dice completa, e ${\mathfrak {F}}^{*}$ prende il nome di $\mu$ -completamento di ${\mathfrak {F}}$ . Dal teorema segue che ogni misura può essere completata.

Regolarità

Generalizzazioni

In alcuni ambiti risulta utile disporre di varianti della misura definita in precedenza che possano assumere valori infiniti o non ristretti al campo reale.

Le funzioni su insiemi numerabilmente additive che assumono valori dati da numeri reali sono chiamate misure con segno.
Funzioni su insiemi numerabilmente additive che possono assumere valori complessi si dicono misure complesse.
Le misure con codominio in uno spazio di Banach sono chiamate misure spettrali, e vengono usate principalmente in analisi funzionale nell'ambito della teoria spettrale.
Le misure finitamente additive sono misure che, invece della additività numerabile, posseggono soltanto la additività finita. Storicamente questa definizione di misura è stata usata per prima, ma non si è rivelata sufficientemente utile. In generale, le misure finitamente additive sono collegate a nozioni come quella dei limiti di Banach, duale dello spazio L^∞ e della compattificazione di Stone-Čech.

Per distinguere una usuale misura a valori positivi dalle sue possibili generalizzazioni si utilizza frequentemente il termine misura positiva.

Un importante risultato della geometria integrale, noto come teorema di Hadwiger, stabilisce che lo spazio delle funzioni di insieme non necessariamente non negative, invarianti per traslazione e finitamente additive che sono definite nell'insieme delle unioni finite di insiemi compatti convessi in $\mathbb {R} ^{n}$ consiste (a meno di multipli scalari) di una misura che è omogenea di grado $k$ per qualsiasi $k=0,1,2,\dots ,n$ e di combinazioni lineari di tali misure. La specificazione "omogeneo di grado $k$ " significa che riscalando di un qualsiasi fattore $c>0$ tutti gli insiemi si moltiplica la misura di insieme per $c^{k}$ . La misura omogenea di grado $n$ è l'ordinario volume $n$ -dimensionale, quella omogenea di grado $n-1$ è il volume di superficie, quella omogenea di grado 1 è una funzione chiamata "ampiezza media" mentre la misura omogenea di grado 0 è infine la caratteristica di Eulero.

Esempi

La misura di conteggio è definita da $\mu (S)\equiv$ numero di elementi nell'insieme $S$ .
La misura di Lebesgue è l'unica misura completa invariante per traslazione sopra una sigma algebra contenente gli intervalli in $\mathbb {R}$ tale che $\mu ([0,1])=1$ .
La misura di Haar per un gruppo topologico localmente compatto è una generalizzazione della misura di Lebesgue ed ha una proprietà di unicità simile alla precedente.
La misura zero è definita da $\mu (S)\equiv 0$ per ogni insieme $S$ .
Ad ogni spazio di probabilità si associa una misura che assume il valore 1 sull'intero spazio (e di conseguenza assume tutti i suoi valori nell'intervallo unitario $[0,1]$ ). Questa misura viene detta misura di probabilità (si veda anche assiomi della probabilità).

Note

^ Un breve resoconto dello sviluppo storico della teoria della misura e dell'integrazione si trova testo di Boyer History of Mathematics
^ W. Rudin, Pag. 16.
^ W. Rudin, Pag. 138.
^ W. Rudin, Pag. 139.
^ W. Rudin, Pag. 140.
^ W. Rudin, Pag. 121.
^ W. Rudin, Pag. 122.
^ W. Rudin, Pag. 124.
^ W. Rudin, Pag. 153.
^ W. Rudin, Pag. 152.
^ W. Rudin, Pag. 154.
^ W. Rudin, Pag. 156.
^ W. Rudin, Pag. 155.
^ W. Rudin, Pag. 157.
^ W. Rudin, Pag. 27.

Bibliografia

(EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.
(EN) Patrick Billingsley, Probability and measure, 3rd edition, New York, John Wiley & Sons, 1995, ISBN 0-471-00710-2, ..
(EN) Carl B. Boyer, History of Mathematics, 2nd edition, New York, John Wiley & Sons, 1989, ISBN 0-471-54397-7.
(EN) Donald L. Cohn, Measure Theory, Boston, Birkhäuser, 1980, ISBN 0-8493-7157-0.
(EN) Paul R. Halmos, Measure Theory, New York, Springer-Verlag, 1974, ISBN 0-387-90088-8.
(EN) Eric M. Verstrup, The Theory of Measures and Integration, Hoboken, John Wiley & Sons, 2003, ISBN 0-471-24977-7.

Voci correlate

Altri progetti

Wikizionario contiene il lemma di dizionario «misura»
Wikimedia Commons contiene immagini o altri file su misura

Collegamenti esterni

(EN) measure, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
(EN) Eric W. Weisstein, Misura, su MathWorld, Wolfram Research.
(EN) Misura, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

Controllo di autorità	Thesaurus BNCF 24181

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica

[1] Un breve resoconto dello sviluppo storico della teoria della misura e dell'integrazione si trova testo di Boyer History of Mathematics

[def-2] W. Rudin, Pag. 16.

[3] W. Rudin, Pag. 138.

[4] W. Rudin, Pag. 139.

[5] W. Rudin, Pag. 140.

[6] W. Rudin, Pag. 121.

[7] W. Rudin, Pag. 122.

[8] W. Rudin, Pag. 124.

[9] W. Rudin, Pag. 153.

[10] W. Rudin, Pag. 152.

[11] W. Rudin, Pag. 154.

[12] W. Rudin, Pag. 156.

[13] W. Rudin, Pag. 155.

[14] W. Rudin, Pag. 157.

[15] W. Rudin, Pag. 27.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]