Misura complessa

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 $\mu :{\mathfrak {F}}\to \mathbb {C}$ numerabilmente additiva a valori complessi definita su una sigma-algebra ${\mathfrak {F}}$ in un insieme $X$ .^[1]

L'additività numerabile, o σ-additività, significa che se $E_{1},E_{2},\dots$ è una successione di insiemi mutuamente disgiunti in ${\mathfrak {F}}$ , allora:^[2]

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

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]

|\mu |(E)=\sup \sum _{i=1}^{+\infty }|\mu (E_{i})|

dove l'unione degli insiemi disgiunti $E_{i}\$ è $E\in {\mathfrak {F}}$ .

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

|\mu |(X)<\infty

Inoltre, il fatto che:

|\mu (E)|\leq |\mu |(E)\leq |\mu |(X)

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

Decomposizione di Jordan modifica

Si definiscono rispettivamente variazione positiva e variazione negativa di $\mu$ le misure:

\mu ^{+}={\frac {1}{2}}(|\mu |+\mu )\qquad \mu ^{-}={\frac {1}{2}}(|\mu |-\mu )

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

\mu =\mu ^{+}-\mu ^{-}\qquad |\mu |=\mu ^{+}+\mu ^{-}

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 $\theta$ a valori reali tale che:

d\mu =e^{i\theta }d|\mu |

e dunque si ha:

\int _{X}f\,d\mu =\int _{X}fe^{i\theta }\,d|\mu |

per ogni funzione assolutamente integrabile $f$ , cioè tale che:

\int _{X}|f|\,d|\mu |<\infty

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

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 $\mu _{1}$ e immaginaria $\mu _{2}$ di una misura complessa $\mu$ sono misure con segno a valori finiti. Si può quindi applicare la decomposizione Hahn-Jordan per spezzare tale misura:

\mu _{1}=\mu _{1}^{+}-\mu _{1}^{-}\qquad \mu _{2}=\mu _{2}^{+}-\mu _{2}^{-}

dove $\mu _{1}^{+}$ , $\mu _{1}^{-}$ , $\mu _{2}^{+}$ e $\mu _{2}^{-}$ sono misure non negative a valori finiti.

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

f=f^{+}-f^{-}\

dove:

f^{+}(x)=\left\{{\begin{matrix}f(x)&{\mbox{se}}\quad f(x)\geq 0\\0&{\mbox{altrimenti}}\end{matrix}}\right.

f^{-}(x)=\left\{{\begin{matrix}-f(x)&{\mbox{se}}\quad f(x)<0\\0&{\mbox{altrimenti}}\end{matrix}}\right.

Entrambe le funzioni sono non negative, e si ha:

|f|=f^{+}+f^{-}\

Sia ora:

f=u+iv\in L^{1}(\mu )

dove $u$ e $v$ sono funzioni reali misurabili in $E$ .

Si definisce integrale di Lebesgue di $f$ la relazione:^[5]

\int _{E}fd\mu =\int _{E}u^{+}d\mu -\int _{E}u^{-}d\mu +i\int _{E}v^{+}d\mu -i\int _{E}v^{-}d\mu \

per ogni insieme misurabile $E$ .

La definizione è motivata dal fatto che se $f=u+iv$ con $u$ e $v$ sono funzioni reali misurabili su $E$ , allora $f$ è una funzione complessa e misurabile su $E$ . Inoltre, se $f$ è una funzione complessa e misurabile su $E$ , allora $u$ , $v$ e $|f|$ sono funzioni reali misurabili su $E$ . 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 $(X,\Sigma )$ forma quindi uno spazio vettoriale. Definendo la funzione variazione totale $\|\mu \|$ nel seguente modo: