In matematica, in particolare nella teoria della misura, una misura complessa è una generalizzazione del concetto di misura nella quale si ammette che possa assumere valori complessi.

Definizione

modifica

Una misura complessa è una funzione   numerabilmente additiva a valori complessi definita su una sigma-algebra   in un insieme  .[1]

L'additività numerabile, o σ-additività, significa che se   è una successione di insiemi mutuamente disgiunti in  , allora:[2]

 

Si richiede la convergenza della serie al secondo membro e la convergenza di ogni suo riarrangiamento, tale convergenza è inoltre assoluta.

Variazione di una misura

modifica

Si definisce variazione di una misura o misura di variazione la funzione:[3]

 

dove l'unione degli insiemi disgiunti   è  .

Si dimostra che tale funzione è una misura positiva, e gode inoltre della proprietà che:

 

Inoltre, il fatto che:

 

implica che ogni misura complessa su una sigma-algebra è limitata.

Decomposizione di Jordan

modifica

Si definiscono rispettivamente variazione positiva e variazione negativa di   le misure:

 

La misura è in questo modo decomposta in due misure positive, e si ha:

 

Una tale decomposizione è detta decomposizione di Jordan.[4]

Decomposizione polare

modifica

Nello stesso modo in cui un numero complesso può essere rappresentato in forma polare, si può avere una decomposizione polare per una misura complessa. Esiste infatti una funzione misurabile   a valori reali tale che:

 

e dunque si ha:

 

per ogni funzione assolutamente integrabile  , cioè tale che:

 

Per la dimostrazione che una variazione è una misura e l'esistenza della decomposizione polare si può usare il teorema di Radon-Nikodym.

Integrazione rispetto ad una misura complessa

modifica
  Lo stesso argomento in dettaglio: Integrale di Lebesgue.

Si può definire l'integrale di Lebesgue rispetto ad una misura complessa utilizzando il concetto già sviluppato dell'integrale di una funzione a valori reali rispetto a una misura non negativa. A tal fine si dimostra che la parte reale   e immaginaria   di una misura complessa   sono misure con segno a valori finiti. Si può quindi applicare la decomposizione Hahn-Jordan per spezzare tale misura:

 

dove  ,  ,   e   sono misure non negative a valori finiti.

L'integrale di Lebesgue può allora essere immediatamente esteso al caso di funzioni complesse. Sia   una funzione dall'insieme misurabile   alla retta reale estesa. Allora è possibile scrivere:

 

dove:

 
 

Entrambe le funzioni sono non negative, e si ha:

 

Sia ora:

 

dove   e   sono funzioni reali misurabili in   .

Si definisce integrale di Lebesgue di   la relazione:[5]

 

per ogni insieme misurabile   .

La definizione è motivata dal fatto che se   con   e   sono funzioni reali misurabili su  , allora   è una funzione complessa e misurabile su  . Inoltre, se   è una funzione complessa e misurabile su  , allora  ,   e   sono funzioni reali misurabili su  . Questo discende dal fatto che una funzione continua definita dalla composizione di funzioni misurabili è misurabile.[6]

Lo spazio delle misure complesse

modifica

La somma di due misure complesse è una misura complessa, come anche il prodotto di una misura complessa per un numero complesso. L'insieme di tutte le misure complesse su uno spazio misurabile   forma quindi uno spazio vettoriale. Definendo la funzione variazione totale   nel seguente modo:

 

essa è una norma rispetto alla quale lo spazio delle misure complesse diventa uno spazio di Banach.

  1. ^ W. Rudin, Pag. 16.
  2. ^ W. Rudin, Pag. 117.
  3. ^ W. Rudin, Pag. 118.
  4. ^ W. Rudin, Pag. 120.
  5. ^ W. Rudin, Pag. 24.
  6. ^ W. Rudin, Pag. 11.

Bibliografia

modifica
  • Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.

Voci correlate

modifica

Collegamenti esterni

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