Misura di Haar: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m robot Aggiungo: zh:哈尔测度 |
|||
Riga 49:
==L'integrale di Haar==
Usando la teoria generale dell'[[integrazione di Lebesgue]], si può allora definire un integrale per tutte le [[Funzione misurabile|funzioni misurabili]] ''f'' su ''G''. Questo integrale è detto ''integrale di Haar''. Se μ è una misura di Haar sinistra, allora
:<math> \int_G f(s x) \ d\mu(x) = \int_G f(x) \ d\mu(x) </math>
per ogni funzione integrabile ''f''. Questo è immediato per le funzioni a scala, essendo fondamentalmente la definizione di invarianza sinistra.
| |||