Misura di Haar

Da Wikipedia, l'enciclopedia libera.

Nell'analisi matematica, la misura di Haar è un modo per assegnare un "volume invariante" ai sottoinsiemi di un gruppo topologico localmente compatto e di conseguenza definire un integrale per le funzioni su tale gruppo.

Questa misura venne introdotta da Alfréd Haar, un matematico ungherese, intorno al 1932. Le misure di Haar sono usate in molte aree dell'analisi e della teoria dei numeri.

Indice 1 Nozioni preliminari 2 Esistenza della misura di Haar sinistra 3 La misura di Haar destra 4 L'integrale di Haar 5 Utilità 6 Esempi 7 La funzione modulare 8 Bibliografia 9 Voci correlate

[modifica] Nozioni preliminari

Sia G un gruppo topologico localmente compatto. In questa voce, la σ-algebra generata da tutti i sottoinsiemi compatti di G è detta algebra di Borel. Un elemento dell'algebra di Borel è detto insieme di Borel. Se a è un elemento di G e S è un sottoinsieme di G, allora definiamo le traslate sinistre e destre come segue:

• Traslata sinistra:

• Traslata destra:

Le traslate sinistre e destre mandano insiemi di Borel in insiemi di Borel.

Una misura μ sui sottoinsiemi di Borel di G è detta invariante per traslazioni sinistre se e solo se per tutti i sottoinsiemi di Borel S di G e tutte le a in G si ha

Nella definizione dell'invarianza per traslazioni destre si ricorre a una definizione simile.

[modifica] Esistenza della misura di Haar sinistra

Si vede che, a meno di una costante moltiplicativa positiva, esiste solo una misura μ definita sui sottoinsiemi di Borel di G, invariante per traslazioni sinistre, numerabilmente additiva e regolare, tale che μ(U) > 0 per ogni insieme di Borel non vuoto U. Qui, seguendo Halmos¹, Sezione 52, diciamo che μ è regolare se e solo se:

• μ(K) è finita per ogni insieme compatto K.

• Ogni insieme di Borel E è esternamente regolare:

• Se E è boreliano, allora E è internamente regolare:

Osservazione. In alcuni casi patologici, un insieme può essere aperto senza essere di Borel. Per questa ragione, nella proprietà della regolarità esterna, si specifica che l'estremo inferiore si estende solo sugli insiemi aperti e di Borel. Queste patologie non si incontrano se G è un gruppo localmente compatto la cui topologia sottostante è una metrica separabile; in questo caso la struttura di Borel è quella generata da tutti gli insiemi aperti.

[modifica] La misura di Haar destra

Può essere dimostrato che esiste essenzialmente un'unica misura di Borel invariante per traslazioni destre ν, ma non coincide necessariamente con la misura invariante per traslazioni sinistre μ. Queste misure sono le stesse solo per i cosiddetti gruppi unimodulari (vedi più avanti). È tuttavia facile trovare una relazione fra μ e ν.

Infatti, per un insieme di Borel S, denotiamo con S ^{− 1} l'insieme degli inversi degli elementi di S. Se definiamo

allora questa è una misura di Haar destra. Per mostrare l'invarianza destra, applichiamo la definizione:

Poiché la misura destra è unica, segue che μ_-1 è un multiplo di ν e quindi

per tutti gli insiemi di Borel S, dove k è una costante positiva.

[modifica] L'integrale di Haar

Usando la teoria generale dell'integrazione di Lebesgue, si può allora definire un integrale per tutte le funzioni misurabili f su G. Questo integrale è detto integrale di Haar. Se μ è una misura di Haar sinistra, allora

per ogni funzione integrabile f. Questo è immediato per le funzioni a scala, essendo fondamentalmente la definizione di invarianza sinistra.

[modifica] Utilità

La misura di Haar è usata per l'analisi armonica su gruppi localmente compatti generici, vedi dualità di Pontryagin. Una tecnica frequentemente usata per dimostrare l'esistenza di una misura di Haar su un gruppo localmente compatto G è mostrare l'esistenza su G di una misura di Radon invariante a sinistra.

A meno che G sia un gruppo discreto, è impossibile definire una misura invariante a destra numerabilmente additiva per tutti i sottoinsiemi di G, assumendo l'assioma della scelta. Vedi insiemi non misurabili.

[modifica] Esempi

• La misura di Haar sul gruppo topologico (R, +) che prende il valore 1 sull'intervallo [0,1] è uguale alla misura di Lebesgue ristretta ai sottoinsiemi di Borel di R. Questo risultato può essere generalizzato a (Rⁿ, +).

• Se G è il gruppo dei numeri reali positivi dotati dell'operazione di moltiplicazione, allora la misura di Haar μ(S) è data da

per tutti i sottoinsiemi di Borel S dei reali positivi.

Questo si generalizza al seguente:

• Per G=GL(n,R) le misure di Haar destra e sinistra sono proporzionali e

dove dX denota la misura di Lebesgue su Rⁿ², l'insieme di tutte le -matrici. Questo segue dalla formula di cambiamento delle variabili.

• Più in generale, su ogni gruppo di Lie di dimensione d, una misura di Haar può essere associata a una d-forma ω non nulla e invariante per traslazioni, come misura di Lebesgue |ω|; e un risultato analogo vale per la misura di Haar destra. Questo significa inoltre che la funzione modulare può essere calcolata, come valore assoluto del determinante della rappresentazione aggiunta.

[modifica] La funzione modulare

La traslata sinistra di una misura di Haar destra è una misura di Haar destra. Più in dettaglio, se μ è una misura di Haar destra, allora anche

è invariante a destra. Quindi, esiste un'unica funzione Δ, detta funzione modulare tale che per ogni insieme di Borel A

Un gruppo è unimodulare se e solo se la funzione modulare è identicamente 1. Esempi di gruppi unimodulari sono i gruppi compatti e i gruppi abeliani. Un esempio di un gruppo non unimodulare è il gruppo ax + b delle trasformazioni della forma

sulla retta reale.

[modifica] Bibliografia

• Paul Halmos, Measure Theory, D. van Nostrand and Co., 1950.
• Lynn Loomis, An Introduction to Abstract Harmonic Analysis, D. van Nostrand and Co., 1953.
• André Weil, Basic Number Theory, Academic Press, 1971

[modifica] Voci correlate

• Alfréd Haar
• Wavelet Haar