Mostra la font per a Mesura de Haar

En anàlisi [[matemàtiques|matemàtc]], la ''' [[Teoria de la mesura|mesura]] de Haar ''' és una manera d'assignar un «[[Volum (física)|volum]] invariant» als subconjunts de [[Grup topològic|grups topològics]] [[compacitat local|localment compactes]] i de definir posteriorment una [[Integració|integral]] per a les [[Función matemáticas|funcions]] sobre aquests [[Teoria de grups|grups]]. Aquesta mesura va ser introduïda per [[Alfred Haar]], [[matemàtiques]] [[Hongria|hongarès]], al voltant de l'any [[1932]]. Vegeu també [[Dualitat de Pontryagin]]. Les mesures de Haar es fan servir en moltes parts de l'anàlisi i de la [[teoria de nombres]].

== Preliminars ==
Sigui '' G '' un [[grup topològic]] [[compacitat local|localment compacte]]. En aquest article, la [[Sigma-àlgebra|σ-àlgebra]] '' X '' generada per tots els subconjunts compactes de '' G '' es diu l'[[àlgebra de Borel]]. Un element de l'àlgebra de Borel s'anomena un [[àlgebra de Borel|conjunt de Borel]].

Si '' a '' és un element de '' G '' i '' S '' és un [[subconjunt]] de '' G '', llavors definim l'esquerre i dret trasllats de '' S '' la manera següent:

* La translació esquerra:

: <math> a S =\{a\cdot s: s\in S\}. </math>

* La translació dreta:

: <math> S a =\{s\cdot a: s\in S\}. </math>

Les translacions esquerra i dreta traslladen conjunts de Borel a conjunts de Borel.

Una mesura μ en els subconjunts de Borel de '' G '' s'anomena ''' invariant per translació esquerra ''' [[si i només si]] per a tots els subconjunts de Borel '' S '' de '' G '' i per a tota '' a '' a '' G '' es té

: <math>\mu (a S) =\mu (S).\quad </math>


Una definició similar es fa per a la ''' invariància per translació dreta '''.

== Existència de la mesura esquerra de Haar ==
Es verifica que hi ha, [[tret]] una constant multiplicativa, només una mesura regular invariant per translació esquerra en '' X '' que sigui finita en tots els conjunts de Borel de '' G '' tals que el μ ('' U '')>; 0 per a qualsevol obert de Borel no buit '' U '' donat. Aquí, es diu que μ és regular ''' sii '''


* Μ ('' K '') és finita per a cada conjunt compacte '' K ''.

* Cada conjunt de Borel '' L '' és regular exterior:

:: <math>\mu (E) =\inf\{\mu (U): E\subseteq U, U\mbox{obert i Borel}\}. </math>


* Si '' N '' és de Borel, llavors '' L '' és regular interior:

:: <math>\mu (E) =\sup\{\mu (K): K\subseteq E, K\mbox{compacte}\}. </math>


''' Observació '''. Observeu que en alguns casos patològics, un conjunt pot ser obert sense ser de Borel. Per aquesta raó, en la propietat de regularitat exterior, el rang de l'ínfim s'estableix específicament sobre conjunts que són oberts i de Borel. Aquestes patologies mai ocorren si '' G '' és un grup localment compacte la topologia subjacent és metritzables separable, observeu que en aquest cas l'estructura de Borel és aquella generada per tots els conjunts oberts.

== La mesura dreta de Haar ==
Pot també ser provat que hi ha una mesura ν regular invariant per translació dreta essencialment única, però no necessita coincidir amb la mesura μ regular invariant per translació esquerra. Aquestes mesures són iguals només per als grups anomenats '' unimodulares '' (vegeu a sota). És fàcil, però, trobar una relació entre el μ i ν.

De fet, per a un Borel '' S '' donat, '' S '' <sup> - 1 </sup> denota el conjunt d'inversos d'elements de '' S ''. Observeu que si definim

: <math>\mu_{-1}(S) =\mu (S^{-1})\quad </math>

llavors això és una mesura dreta de Haar. Per demostrar la invariància dreta, apliqui's la definició:

: <math>\mu_{-1}(S a) =\mu ((S a)^{-1}) =\mu (a^{-1}S^{-1}) =\mu (S^{-1}) =\mu_{-1}(S).\quad </math>

Perquè la mesura dreta és única, es dedueix que μ <sub> -1 </sub> és un múltiple de ν i llavors

: <math>\mu (S^{-1}) = k\nu (S)\, </math>


per a tot '' S '' de Borel fix, on '' k '' és alguna constant positiva.

== La integral de Haar ==
Utilitzant la teoria general de la [[integració de Lebesgue]], es pot llavors definir una integral per a totes les funcions mesurables '' f '' de Borel en '' G ''. Aquesta integral s'anomena la ''' integral de Haar '''. Si μ és una mesura esquerra de Haar, llavors

: <math>
\int_G f (sx)\ d\mu (x) =\int_G f (x)\ d\mu (x) </math>

per a qualsevol funció integrable '' f ''. Això és immediat per a les funcions de graó que donen essencialment la definició de la invariància esquerra.

== Aplicacions ==
Les mesures de Haar s'utilitzen en [[anàlisi harmònica]] en grups localment compactes arbitraris, considereu la [[dualitat de Pontryagin]]. Una tècnica sovint usada per provar l'existència d'una mesura de Haar en un grup localment compacte '' G '' és demostrant l'existència d'una mesura de Radon invariant esquerra en '' G ''.


Observeu que, a menys que '' G '' sigui un grup discret, és impossible definir una mesura invariant dreta comptablement-additiva sobre tots els subconjunts de '' G '', si s'assumeix el [[axioma d'elecció]]. Vegeu [[conjunt no mesurable|conjunts no mesurables]].

== Exemples ==
* La mesura de Haar en el grup topològic (R ,+) que pren el valor 1 en l'interval [0, 1] és igual a la restricció de la [[mesura de Lebesgue]] als subconjunts de Borel de R. Això es pot generalitzar a (R <sup>n</sup>,+).
* Si G és el grup de nombres reals positius amb la multiplicació com a operació, llavors la mesura de Haar μ (S) ve donada per
:: <math>\mu (S) =\int_S\frac{1}{t}\, dt </math>

: per a qualsevol subconjunt S de Borel en els reals positius.

Això es generalitza al següent:
* Per G = GL (n, R) les mesures esquerres i dretes de Haar són proporcionals i

:: <math>\mu (S) =\int_S{1\over|\det (X)|^n}\, dx </math>

: on dx denota la mesura de Lebesgue en R <sup> <math> n^2 </math> </sup>, el conjunt de totes les matrius n × n. Això es segueix de la [[fórmula del canvi de variables]].

* Més generalment, en qualsevol [[grup de Lie]] de dimensió d una mesura esquerra de Haar pot ser associada a qualsevol d -forma ω invariant esquerra diferent de zero, com la mesura de Lebesgue |& omega ,|, i semblantment per a les mesures dretes de Haar. Això significa també que la funció modular pot ser computada, com el valor absolut del [[determinant (matemàtiques)|determinant]] de la [[representació adjunta]].

== La funció modular ==
Observeu que la translació esquerra d'una mesura de Haar dreta és una mesura dreta de Haar. Més exactament, si ν és una mesura dreta de Haar, llavors

: <math> A\mapsto\mu (t^{-1}A)\quad </math>

és també invariant dreta. Així, hi ha una funció única tal que per a cada conjunt de Borel '' A ''

: <math>\mu (t^{-1}A) =\Delta (t)\mu (A).\quad </math>


Un grup és unimodular sii la funció modular és idènticament 1. Exemples de grups unimodulares són els grups compactes i els grups abelians. Un exemple d'un grup no unimodular és el grup de les transformacions de la forma

: <math> x\mapsto a x+b\quad </math>

a la recta real.

== Referències ==
* P. Halm, '' teoria de la mesura '', D. van Nostrand i Co, 1950.

{{ORDENA:Mesura De Haar}}
[[Categoria:Teoria de grups]]
[[Categoria:Topologia]]
[[Categoria:Anàlisi matemàtica]]