Misura di Haar: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v2.0beta15)
EnzoBot (discussione | contributi)
m →‎Esempi: Determinante
Riga 74:
:<math> \mu(S) = \int_S {1\over |\det(X)|^n} \, dX </math>
:dove <math>dX</math> denota la misura di Lebesgue su <math>R^{n^2}</math>, l'insieme di tutte le <math>n\times n</math>-matrici. Questo segue dalla [[formula di cambiamento delle variabili]].
* Più in generale, su ogni [[gruppo di Lie]] di dimensione <math>d</math>, una misura di Haar può essere associata a una ''d''-forma <math>\omega</math> non nulla e invariante per traslazioni, come ''misura di Lebesgue'' <math>|\omega|</math>; 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 (algebra)|determinante]] della [[rappresentazione aggiunta]].
 
== La funzione modulare ==