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

Definizione

modifica

Dato una spazio misurabile  , cioè un insieme   con una sigma algebra   su di esso una misura con segno è una funzione:

 

che è sigma additiva, cioè soddisfa l'equazione:

 

per ogni successione   di insiemi disgiunti in  . 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   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   è uno spazio vettoriale reale. Inoltre, la variazione totale definisce una norma con la quale lo spazio delle misure diventa uno spazio di Banach.

Proprietà

modifica
  Lo stesso argomento in dettaglio: Teorema di decomposizione di Hahn.

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  , esistono due insiemi misurabili   e   tali che:

  •   e  .
  •   per ogni   in   tale che  . In altre parole,   è un insieme positivo.
  •   per ogni   in   tale che  . In altre parole,   è un insieme negativo.

Inoltre, la decomposizione è unica a meno di aggiungere/sottrarre da   e   insiemi μ-nulli.

Considerando due misure non negative   e   definite da:

 

per ogni insieme misurabile  .

Si può dimostrare che   e   sono misure non negative, con la seconda che assume solo valori finiti, e sono chiamate rispettivamente parte positiva e parte negativa di  . Si ha che:

 

La misura:

 

è chiamata la variazione di  , e il suo valore massimo possibile,  , è chiamato la variazione totale di  .

Questa conseguenza del teorema di decomposizione di Hahn è chiamata decomposizione di Jordan. Le misure  ,   e   sono indipendenti dalla scelta di   e   nel teorema di decomposizione di Hahn.

Lo spazio delle misure con segno

modifica

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   è 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   è 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  , per il teorema di rappresentazione di Riesz.

Si consideri una misura non negativa   sullo spazio   e una funzione misurabile   tale che:

 

Quindi, una misura con segno è data da:

 

per tutti gli  . Questa misura assume solo valori finiti. Per consentire di assumere   come valore si deve sostituire l'assunzione che   sia assolutamente integrabile con la condizione meno stringente:

 

dove:

 

è la parte negativa di  .

Bibliografia

modifica
  • (EN) Donald L. Cohn, Measure theory, Birkhäuser, 1997. ISBN 3-7643-3003-1.
  • (EN) P. Billingsley, Convergence of probability measures , Wiley (1968)
  • (EN) N. Bourbaki, Elements of mathematics. Integration , Addison-Wesley (1975) pp. Chapt.6;7;8

Voci correlate

modifica

Collegamenti esterni

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