# Misura con segno

In matematica, una misura con segno è una generalizzazione del concetto di misura che può essere anche a valori negativi.

## Definizione

Dato una spazio misurabile $(X,\Sigma )$, cioè un insieme $X$ con una sigma algebra $\Sigma$ su di esso una misura con segno è una funzione:
    $\mu :\Sigma \to \mathbb {R} \cup \{\infty ,-\infty \}$
che è sigma additiva, cioè soddisfa l'equazione:
    $\mu \left(\bigcup _{n=1}^{\infty }A_{n}\right)=\sum _{n=1}^{\infty }\mu (A_{n})$
per ogni successione $A_{1},A_{2}\dots A_{n},\dots$ di insiemi disgiunti in $\Sigma$. Si nota che una misura con segno può assumere come valore solo più infinito o solo meno infinito.
Per evitare confusione con le misure ordinarie, le misure che non assumono valori negativi saranno chiamate misure non negative, in contrasto con le misure con segno che possono assumere valori negativi. Per semplicità si assumerà che il valore $-\infty$ non sia mai assunto dalla misura con segno considerata, ed il caso opposto è simile.
La somma di due misure con segno a valori finiti è una misura con segno, come anche il prodotto di una misura con segno a valori finiti per un numero reale. Segue che l'insieme delle misure con segno a valori finiti su uno spazio misurabile $(X,\Sigma )$ è uno spazio vettoriale reale. Inoltre, la variazione totale definisce una norma con la quale lo spazio delle misure diventa uno spazio di Banach.

## Proprietà

Una misura con segno è la differenza di due misure non negative. Il teorema di decomposizione di Hahn afferma infatti che, data una misura con segno $\mu$, esistono due insiemi misurabili $P$ e $N$ tali che:
* $P\cup N=X$ e $P\cap N=\emptyset$.
* $\mu (E)>0$ per ogni $E$ in $\Sigma$ tale che $E\subseteq P$. In altre parole, $P$ è un insieme positivo.
* $\mu (E)\leq 0$ per ogni $E$ in $\Sigma$ tale che $E\subseteq N$. In altre parole, $N$ è un insieme negativo.
Inoltre, la decomposizione è unica a meno di aggiungere/sottrarre da $P$ e $N$ insiemi μ-nulli.
Considerando due misure non negative $\mu ^{+}$ e $\mu ^{-}$ definite da:
    $\mu ^{+}(E)=\mu (P\cap E)\qquad \mu ^{-}(E)=-\mu (N\cap E)$
per ogni insieme misurabile $E\in \Sigma$.
Si può dimostrare che $\mu ^{+}$ e $\mu ^{-}$ sono misure non negative, con la seconda che assume solo valori finiti, e sono chiamate rispettivamente parte positiva e parte negativa di $\mu$. Si ha che:
    $\mu =\mu ^{+}-\mu ^{-}$
La misura:
    $|\mu |=\mu ^{+}+\mu ^{-}$
è chiamata la variazione di $\mu$, e il suo valore massimo possibile, $\|\mu \|=|\mu |(X)$, è chiamato la variazione totale di $\mu$.
Questa conseguenza del teorema di decomposizione di Hahn è chiamata decomposizione di Jordan. Le misure $\mu ^{+}$, $\mu ^{-}$ e $|\mu |$ sono indipendenti dalla scelta di $P$ e $N$ nel teorema di decomposizione di Hahn.

## Lo spazio delle misure con segno

La somma di due misure con segno finite è ancora una misura con segno, così come il prodotto di una misura finita con segno per un numero reale. Da tale chiusura rispetto alla combinazione lineare discende il fatto che l'insieme delle misure finite con segno sullo spazio di misura $(X,\Sigma )$ è uno spazio vettoriale reale, cosa che non si verifica per le misure positive. Inoltre, la variazione totale (descritta nel paragrafo precedente) definisce una norma rispetto alla quale lo spazio delle misure finite con segno diventa uno spazio di Banach.
Se $X$ è uno spazio compatto separabile allora lo spazio delle misure di Baire finite con segno è il duale dello spazio di Banach reale delle funzioni continue a valori reali su $X$, per il teorema di rappresentazione di Riesz.

## Esempi

Si consideri una misura non negativa $\nu$ sullo spazio $(X,\Sigma )$ e una funzione misurabile $f:X\to \mathbb {R}$ tale che:
    $\int _{X}\!|f(x)|\,d\nu (x)<\infty$
Quindi, una misura con segno è data da:
    $\mu (A)=\int _{A}\!f(x)\,d\nu (x)$
per tutti gli $A\in \Sigma$. Questa misura assume solo valori finiti. Per consentire di assumere $+\infty$ come valore si deve sostituire l'assunzione che $f$ sia assolutamente integrabile con la condizione meno stringente:
    $\int _{X}\!f^{-}(x)\,d\nu (x)<\infty$
dove:
    $f^{-}(x)=\max(-f(x),0)$
è la parte negativa di $f$.