Misura (matematica)

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

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]

Sia una σ-algebra definita su un insieme . Si definisce misura una funzione (vedi retta reale estesa), con per almeno un , tale da essere σ-additiva.[2]

La σ-additività, o additività numerabile, significa che se è una successione di insiemi mutuamente disgiunti, allora:

Gli elementi di sono detti insiemi misurabili, e la struttura viene detta spazio di misura.

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

Dalla definizione possono essere derivate le seguenti proprietà:

  • Se ed sono insiemi misurabili, allora se si ha .
  • Se sono insiemi misurabili e , allora l'unione degli insiemi è misurabile:
  • Se sono insiemi misurabili e , allora l'intersezione degli insiemi è misurabile. Inoltre, se almeno uno di tali insiemi ha misura finita, allora

Misure prodotto

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Misura prodotto.

Siano e due spazi di misura. Ad ogni funzione definita su e ad ogni si può associare la funzione definita in , e per ogni si può associare la funzione .[3] Per ogni insieme aperto si definisce inoltre:

Si dimostra che se

allora è -misurabile e è -misurabile, e si ha:[4]

Si definisce la misura prodotto delle due misure e l'integrale:[5]

Continuità assoluta

[modifica | modifica wikitesto]
Lo stesso argomento in dettaglio: Continuità assoluta.

Se e sono misure sulla stessa sigma-algebra, la misura si dice assolutamente continua rispetto a se per ogni insieme per il quale . Questa situazione viene presentata con la scrittura .[6]

Se esiste inoltre un insieme tale per cui:

per ogni insieme della sigma-algebra, allora tale misura si dice concentrata su . Misure concentrate su insiemi rispettivamente disgiunti sono dette mutuamente singolari. In particolare, se e sono mutuamente singolari si scrive .

Un teorema di particolare importanza nell'ambito della continuità assoluta delle misure afferma che se e sono due misure limitate, allora esiste un'unica coppia di misure positive tali che:

Il teorema di Radon-Nikodym afferma inoltre che esiste un'unica funzione tale che:

per ogni insieme della sigma-algebra. La decomposizione

è detta decomposizione di Lebesgue di relativamente a , ed è unica.[7] La funzione si dice inoltre derivata di Radon-Nikodym di rispetto .

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

Differenziabilità di una misura

[modifica | modifica wikitesto]

Sia una misura complessa di Borel su . Si consideri una famiglia di insiemi di tale che il diametro di sia inferiore a e tale che esiste una palla contenente la cui misura di Lebesgue sia inferiore alla misura di moltiplicata per una costante finita.

Sia un numero complesso. Si dice che è differenziabile in e si scrive:[9]

se, detta la misura di Lebesgue, per ogni esiste tale che

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

Si definiscono inoltre la derivata superiore:

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

Integrale indefinito

[modifica | modifica wikitesto]

Si dimostra che in la misura è differenziabile quasi ovunque rispetto a e che la sua derivata è integrabile secondo Lebesgue. Inoltre, si può definire una misura tale che

dove indica che le misure sono mutuamente singolari. Per ogni insieme di Borel si ha allora:[11]

Come conseguenza di questo fatto, una condizione necessaria e sufficiente alla mutua singolarità è il fatto che quasi ovunque. In generale, due misure sono mutuamente singolari se la derivata di una rispetto all'altra è nulla quasi ovunque.[12]

Inoltre coincide quasi ovunque con la derivata di Radon-Nikodym se e solo se è assolutamente continua rispetto a , ed in tal caso:[13]

Se si definisce infine integrale indefinito di l'espressione:[14]

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

In generale, se , allora

per quasi tutti i punti .

Sigma-finitezza

[modifica | modifica wikitesto]

Uno spazio di misura si dice finito se è un numero reale finito, mentre si dice σ-finito se è 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 per tutti gli interi : 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.

Una misura si dice completa se ogni sottoinsieme di un insieme di misura nulla è misurabile. Il teorema che sta alla base della definizione afferma che se è uno spazio di misura e l'insieme di tutti gli insiemi per i quali esistano due insiemi e di tali che

allora, definendo , è una σ-algebra e una misura su di essa.[15]

La misura estesa in tal modo si dice completa, e prende il nome di -completamento di . Dal teorema segue che ogni misura può essere completata.

Lo stesso argomento in dettaglio: Misura regolare.

Generalizzazioni

[modifica | modifica wikitesto]

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 consiste (a meno di multipli scalari) di una misura che è omogenea di grado per qualsiasi e di combinazioni lineari di tali misure. La specificazione "omogeneo di grado " significa che riscalando di un qualsiasi fattore tutti gli insiemi si moltiplica la misura di insieme per . La misura omogenea di grado è l'ordinario volume -dimensionale, quella omogenea di grado è 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.

  • La misura di conteggio è definita da numero di elementi nell'insieme .
  • La misura di Lebesgue è l'unica misura completa invariante per traslazione sopra una sigma algebra contenente gli intervalli in tale che .
  • 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 per ogni insieme .
  • 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 ). Questa misura viene detta misura di probabilità (si veda anche assiomi della probabilità).
  1. ^ Un breve resoconto dello sviluppo storico della teoria della misura e dell'integrazione si trova testo di Boyer History of Mathematics
  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.

Voci correlate

[modifica | modifica wikitesto]

Altri progetti

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
Controllo di autoritàThesaurus BNCF 24181
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica