Sunteți pe pagina 1din 54

1

INTRODUCCION A LA MEDIDA E INTEGRAL


DE HAAR

Camila Andrea Leandro Velosa

20102167040

UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS


FACULTAD DE CIENCIAS Y EDUCACION
PROYECTO CURRICULAR DE MATEMATICAS
BOGOTA

2015
2

INTRODUCCION A LA MEDIDA E INTEGRAL


DE HAAR

Camila Andrea Leandro Velosa

20102167040

TRABAJO DE GRADO
DIRIGIDO POR:

SAMUEL BARRETO MELO

UNIVERSIDAD DISTRITAL FRANCISCO JOSE DE CALDAS


FACULTAD DE CIENCIAS Y EDUCACION
PROYECTO CURRICULAR DE MATEMATICAS
BOGOTA

2015
3

Dedicado a mi mama.
4

Agradecimientos
La presente monografa es el resultado de mucho esfuerzo y dedi-
cacion, este trabajo no hubiese sido posible sin el apoyo incondicional
de muchas personas que estuvieron en cada uno de los momentos vivi-
dos a lo largo de mi formacion academica y personal.

Agradezco a toda mi familia; a mi madre Alicia, mi hermana Lesly


por estar siempre a mi lado incondicionales.
Desde luego, quiero agradecer a todos los profesores, quienes a lo largo
de estos cinco anos y medio, aportaron todo su conocimiento para este
proyecto de vida, especialmente a mis profesores orientadores: Samuel
Barreto Melo por su apoyo incondicional para dirigirme en este trabajo
y al profesor Milton Lesmes por su gua cuando necesite de ella, esto
ha dejado en mi un desarrollo academico y personal muy grande.
Indice general

Objetivos 7

Introduccion 8

1. Preliminares 10
1.1. Grupos Cocientes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.1.1. Particiones y Relaciones de Equivalencia . . . . . . . . . . . . 13
1.1.2. Clases Laterales . . . . . . . . . . . . . . . . . . . . . . . . . . 17

2. Medida de conjuntos 23
2.1. Definicion general de medida . . . . . . . . . . . . . . . . . . . . . . . 25
2.2. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3. La integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . 30

3. La medida de Haar 36
3.1. Teorema de Represenatacion de Riez . . . . . . . . . . . . . . . . . . 36
3.2. Existencia y Unicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.3. Ejemplos de medida de Haar . . . . . . . . . . . . . . . . . . . . . . . 39
3.3.1. Medida de Haar sobre el circulo unitario complejo . . . . . . 39
3.3.2. Medida de Haar sobre un grupo discreto . . . . . . . . . . . . 40
3.3.3. Medida de Haar sobre Rn . . . . . . . . . . . . . . . . . . . . 40
3.3.4. Medida de Haar sobre R+ . . . . . . . . . . . . . . . . . . . . 41
3.3.5. Medida de Haar sobre GL(n) . . . . . . . . . . . . . . . . . . 41
3.3.6. Medida de Haar a izquierda diferente a la medida de Haar a
derecha . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42

5
INDICE GENERAL 6

4. Integracion invariante 43
4.1. Propiedades fundamentales . . . . . . . . . . . . . . . . . . . . . . . . 44
4.2. Propiedades Fuertes . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4.2.1. Integral de Haar en los Grupos de R . . . . . . . . . . . . . . 48
4.2.2. Integral de Haar en los Grupos de Rn . . . . . . . . . . . . . . 49

Conclusiones 50

Bibliogrfa 53
Indice de figuras

1.1. Particion de un conjunto . . . . . . . . . . . . . . . . . . . . . . . . . 14


1.2. Particion de un conjunto 2 . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3. Relacion de equivalencia . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Formas de particionar un conjunto de 3 elementos . . . . . . . . . . . 17
1.5. Clases laterales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

2.1. Integral de Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

7
Objetivos

Objetivo general
Estudiar algunos aspectos del Analisis Armonico y Espectral en lo que respecta a la
medida e integral de Haar.
Objetivos especficos

Estudiar e interpretar la medida de Haar y alguna de sus aplicaciones.

Estudiar la integral de Haar y su importancia en el Analisis Armonico.

8
Introduccion

Una de las mas utiles propiedades de la medida de la integral de Lebesgue es su


invarianza bajo traslaciones y rotaciones. Por ejemplo, si a Rn , r Rnn y f es
una funcion integrable Lebesgue en Rn , entonces

Z Z
f (x)dx = f (rx + a)dx.
Rn Rn
La nocion de la medida de Haar es una generalizacion de este ejemplo. En este
sentido en un grupo compacto (mas generalmente localmente compacto) G, existe
una medida m tal que
Z Z
f (x)dm(x) = f (bx)dm(x),
G G
para una funcion integrable f sobre G y un elemento b G.
La medida anterior fue introducida por Alfred Haar, matematico Hungaro, en 1933.
El prueba que existe una medida invariante en un grupo localmente compacto y
separable . Mas tarde Banach generaliza el teorema definiendo axiomaticamente la
congruencia. Ademas la separabilidad no es esencial en el trabajo de Banach, ya que
sus razonamientos son validos sustituyendo compacidad secuencial por compacidad.
Finalmente el teorema de Haar fue generalizado a grupos localmente compactos y
completado en 1936 con el teorema de unicidad debido a Von Neumannsegun [6].

9
Captulo 1

Preliminares

Definicion 1. Sea X un espacio topologico y K X. Una coleccion V : I


de subconjuntos de X es un recubrimiento de K , si K I V ademas si V es
abierto, se dice que el recubrimiento es abierto.
Definicion 2. Sea G un conjunto con una operacion binaria : G G G, y sea
una familia de subconjuntos de G. Se dice que G es un grupo topologico si:

(G, ) es un grupo,

(G, ) es un espacio topologico, y

Las funciones

m:GGG
(x, y) 7 x y

i:GG
x 7 x1

Son continuas.

10
CAPITULO 1. PRELIMINARES 11

Aqu,G G es visto como un espacio topologico con la Topologa producto.


Ejemplo 1. Algunos ejemplos de grupos topologicos son:

a) Sea G un grupo. Definimos la topologa discreta como la topologa en la que


cada punto es un conjunto abierto.

b) Rn con la topologa usual y con la operacion suma.

c) R+ = (0, ) con la operacion multiplicacion y la topologa relativa a R.

d) S1 el crculo unitario con la topologa relativa a C y la multiplicacion de los


complejos.

e) El conjunto GL(n) es la coleccion de todas las matrices invertibles de n n,


con la multiplicacion usual de las matrices, la matriz identidad como elemento
neutro y la topologa relativa a Rnn .
Definicion 3. Un conjunto K se dice compacto, si de cualquier recubrimiento abier-
to de K, V : I, se puede extraer un subrecubrimiento finito.
Definicion 4. Un espacio topologico X se dice localmente compacto en x si ex-
iste algun subconjunto compacto C de X que contiene una vecindad de x. Si X es
localmente compacto en cada uno de sus puntos, X se dice localmente compacto.
Definicion 5. Una familia X de subconjuntos de X que satisface las siguientes
condiciones se le llama una - algebra de subconjuntos de X.

a) , X X

b) Si A X entonces Ac X
CAPITULO 1. PRELIMINARES 12

S
c) An X (n = 1, 2, ...) entonces n=1 An X
Definicion 6. La - algebra de Borel sobre un espacio topologico X es una
-algebra de subconjuntos de X asociada a la topologa de X tal que es generada por
los conjuntos abiertos.
Definicion 7. Diremos que es una funcion de conjuntos definida en X una -
algebra definida sobre un conjunto X si asigna a cada A X un numero (A) 0
del sistema ampliado de los numeros reales.
: X R+ + 0
A 7 (A)

La funcion se dice aditiva si A B = implica


(A B) = (A) + (B)
y es aditiva numerable si Ai Aj = (i 6= j) implica


[
X
( An ) = (An )
n=1 n=1

Definicion 8. Si es una funcion aditiva numerable definida sobre una -algebra


definida para un conjunto X, entonces es una medida. Si la medida esta definida
sobre la -algebra de Borel se le llama medida de Borel, y si (X) = 1 diremos que
es una medida de probabilidad.
Definicion 9. Sea G un espacio topologico localmente compacto. Una medida
se dice que es de Borel regular si esta definida en la algebra generada por los
subconjuntos compactos de X, y verifica ademas que:
(E) = inf {(U ) : E U, U }
(E) = sup{(K) : E K, K }
Definicion 10. Un espacio de medida es un conjunto X para el que se ha definido
una -algebra X de conjuntos medibles y una funcion de medida concreta que
asigna un valor real o medida a cada elemento de la -algebra. A la tripleta (X, X, )
se le llama espacio de medida, si la medida es de probabilidad se le llama espacio de
probabilidad.
CAPITULO 1. PRELIMINARES 13

Definicion 11. Sean (X, X, ) un espacio de medida, T : X X una funcion


continua y sobreyectiva, decimos que es T-invariante si para todo A X tenemos
que T 1 (A) X y (T 1 (A)) = (A)
Definicion 12. Si G es un espacio topologico localmente compacto Hausdorff se
define en C(G) (el espacio de las funciones continuas sobre G) los siguientes sube-
spacios localmente convexos:
Cc (G) = {f C(G) : Sop(f ) es compacto}
Cb (G) = {f C(G) : f es acotada}

As mismo se definen los siguientes espacios de medidas complejas.


M(G) = {medidas de Borel regulares}
Mc (G) = { M(G) : Sop() es compacto}
M1 (G) = { M(G) : es acotada}

1.1. Grupos Cocientes

Para comprender mejor la definicion de la integral de Haar se daran algunas defini-


ciones basicas de grupos cocientes y las caractersiticas que los componen.

1.1.1. Particiones y Relaciones de Equivalencia

Particionar un conjunto A es separar los elementos de A en subconjuntos no vacos


A1 , A2 , A3 ,etc., los cuales son llamados las clases de la particion.
Decimos que dos clases distintas Ai y Aj de A son disyuntas, si ellas no tienen
elementos en comun. Y la union de las clases de A es todo A
Por ejemplo la particion ilustrada anteriormente en la {f ig : 1} podra ser represen-
tada tambien as : A1 es la misma clase de A5 , A2 es la misma clase de A6 y A3 es
CAPITULO 1. PRELIMINARES 14

Figura 1.1: Particion de un conjunto

la misma clase de A7 .

Figura 1.2: Particion de un conjunto 2

Definicion 13. Una particion de un conjunto A es una familia {Ai : i I} de


subconjuntos no vacios de A tal que:

si algunas dos clases digamos Ai y Aj , tienen un elemento en comun x (esto


es, no son disyuntos), entonces Ai = Aj .
CAPITULO 1. PRELIMINARES 15

todo elemento x de A esta en alguna de las clases de A.

Ahora daremos otro concepto matematico importante. Una relacion en un conjunto


A es alguna condicion la cual puede ser verdadera o falsa para cada par ordenado
(x, y) de elementos de A. Ejemplos de relaciones, en conjuntos apropiados son :

x = y, x < y, xky

Una clase importante de relaciones en conjuntos son las relaciones de equivalencia .


Usualmente representaremos la relacion con el smbolo , entonces x y podra
leerse x es equivalente a y
Una relacion de equivalencia en un conjunto A es una relacion la cual es:

Reflexiva: esto es, x x para todo x A;


Simetrica: esto es, si x y, entonces y x;
Transitiva: esto es, si x y y y z entonces x z

Si {Ai : i I} es una particion de A podemos definir una relacion de equivalencia


en A as, x y si y solo si x y y estan en la misma clase de la particion

ab
cd
ef

En otras palabras, llamamos dos elementos equivalentessi ellos son miembros de


la misma clase. Es facil ver que esta relacion es una relacion de equivalencia en
A. Ciertamente, x x por que x esta en la misma clase de x, ahora si x y y estan
en la misma clase entonces y y x estan en la misma clase, finalmente si x y y estan
en la misma clase y, y y z estan en la misma clase entonces x y z estan en la misma
clase, por lo que es una clase de equivalencia en A; Esta es llamada la ralacion
de equivalencia determinada por la particion {Ai : i I} .
CAPITULO 1. PRELIMINARES 16

Figura 1.3: Relacion de equivalencia

Sea una relacion de equivalencia en A, y x un elemento de A. El conjunto de


todos los elementos equivalentes a x es llamado la clase de equivalencia de x y es
denotado por [x] o x
[x] = {y A : y x}
Una de las mas utiles propiedades de las clases de equivalencia es esta:
Lema 1. Si x y, entonces [x] = [y]

Es decir, s dos elementos son equivalentes, ellos tendran la misma clase de equiva-
lencia. La prueba de este lema es bastante sencilla : si x y, entonces los elementos
equivalentes a x son los mismos elementos equivalentes a y.

Teorema 1. Si es una relacion de equivalencia en A, la familia de todas las


clases de equivalencia, esto es {[x] : x A} es una particion de A.

Para probar el teorema, observese primero que cada clase de equivalencia es un sub-
conjunto no vaco de A.(esto es no vaco por que x x entonces x [x]). Ahora
necesitamos mostrar que dos clases distintas son disyuntas o lo que es analogo que
si dos clases [x] y [y] tienen un elemento en comun, son iguales.
Bueno, si [x] y [y] tienen un elemento en comun digamos u, entonces u x y u y
y por las leyes simetrica y transitiva se tiene que x y.De esta manera [x] = [y] por
CAPITULO 1. PRELIMINARES 17

el lema 1.
Finalmente, se prueba que todo elemento de A pertenece a alguna clase de equiv-
alencia, esto es valido por que x [x] por tanto, la familia de todas las clases de
equivalencia es una particion de A.
Cuando es una relacion de equivalencia en A y A es particionado por esas clases
de equivalencia , llamamos esta particion la particion determinada por la relacion
de equivalencia
Por ultimo, existen muchas formas de particionar un conjunto dado A. Del algebra
se sabe que cada particion determina exactamente una relacion de equivalencia es-
pecifica en A, entonces si A es un conjunto de tres elementos, digamos a, b, c hay
cinco maneras de particionar a A as:

Figura 1.4: Formas de particionar un conjunto de 3 elementos

1.1.2. Clases Laterales

Definicion 14. Sea G un grupo, y H un subgrupo de G. Para algun elemento a G,


el smbolo
aH
CAPITULO 1. PRELIMINARES 18

denota el conjunto de todos los productos ah, con a fijo y h recorriendo todo H.
aH es llamada una clase lateral a izquierda de H en G.
De forma similar,
Ha
denota el conjunto de todos los productos ha, con a fijo y h recorriendo todo H, Ha
es llamada una clase lateral a derecha de H en G.

Cuando trabajamos con clases en un grupo G, se debe tener en cuenta que cada
clase en G es un subconjunto de G. Entonces cuando necesitemos probar que dos
clases Ha y Hb son iguales, se debe probar que son conjuntos iguales. Que quiere
decir por supuesto que todo elemento x Ha esta en Hb, y todo elemento z Hb
esta en Ha, por ejemplo probemos el siguiente hecho:

Proposicion. Si a Hb, entonces Ha = Hb

Si a Hb, entonces a = h1 b para algun h1 H, necesitamos probar que Ha = Hb.


Sea x Ha, esto es que x = h2 a para algun h2 H. Pero a = h1 b entonces
x = h2 a = (h2 h1 )b que esta en Hb, esto prueba que cada x Ha esta en Hb;
analogamente podemos probar que todo y Hb esta en Ha y as Ha = Hb

Teorema 2. La familia de todas las clases Ha, como un recorrido de G, es una


particion de G.

Primero debemos probar que dos clases digamos Ha y Hb son disyuntas o iguales. Si
son disyuntas la particion ya esta, si no sea x Ha Hb x Ha entonces x = h1 a
para algun h1 H, y x Hb entonces x = h2 b para algun h2 H. Entonces
h1 a = h2 b lo cual es:
a = (h1
1 h2 )b

esto es que a Hb y por la proposicion anterior se tiene que Ha = Hb.


Ahora debemos ver que todo elemento c G esta en una de las clases de H. Pero
es obvio por que c = ec y e H por lo tanto,

c = ec Hc
CAPITULO 1. PRELIMINARES 19

Figura 1.5: Clases laterales

por los dos hechos anteriores se tiene que, la familia de todas las clases de H es una
particion de G.

Con respecto a la notacion: Dada una clase digamos Hb, podemos escribir de otra
manera la clase. Por la proposicion, si a algun elemento en Hb, entonces Hb = Ha.
Por ejemplo si una clase de H contiene n diferentes elementos a1 , a2 , ..., an podra
ser escrito en n diferentes maneras, Ha1 , Ha2 , ..., Han .
El siguiente hecho sobre clases concierne a grupos finitos. Sea G un grupo finito y
H un subgrupo de G ahora se probara que todas las clases de H tienen el mismo
numero de elementos, este hecho es consecuencia del siguiente teorema.

Teorema 3. Si Ha es una clase de H, existe una correspondencia uno a uno de H


a Ha.

Sea f : H Ha definida por:


f (h) = ha
recordemos que a es fijo mientras h varia.

f es inyectiva: si f (h1 ) = f (h2 ), entonces h1 a = h2 a y por lo tanto h1 = h2 .


f es sobreyectiva: es sobreyectiva por que todo elemento de Ha es de la forma ha
CAPITULO 1. PRELIMINARES 20

para algun h H, y ha = f (h).

por lo tanto, f es la correspondencia uno a uno de H en Ha requerida.


Y ademas por el teorema anterior alguna clase Ha tiene el mismo numero de ele-
mentos que H, y por lo tanto todas las clases tienen el mismo numero de elementos.

Ahora sea G un grupo finito y H un subgrupo de G. Supongamos ahora que G tiene


una particion de clases de H y todas las clases de H tienen el mismo numero de
elementos. Entonces el numero de elementos de G es igual a el numero de elementos
en H multiplicada por el numero de clases distintas de H. Este hecho es conocido
como el teorema de Lagrange.

Teorema 4. Teorema de Lagrange


Sea G un grupo finito, y H un subgrupo de G. El orden de G es un multiplo de el
orden de H.

En otras palabras el orden de un subgrupo H de G es un divisor de el orden de G.


Por ejemplo, si G tiene 15 elementos, los subgrupos propios podran tener orden
3 o 5, si G tiene 7 elementos, este no tendra subgrupos propios ya que 7 no tiene
factores diferentes a 7 y 1, este ultimo ejemplo puede ser generalizado:
Sea G un grupo con un numero primo p de elementos. Si a G con a 6= e entonces el
orden de a es algun entero m 6= 1.Pero entonces el grupo cclico <a> tiene m elemen-
tos, por el teorema de Lagrange m debera ser factor de p, pero p es primo y por lo
tanto m = p de esto concluimos que <a> tiene p elementos y por lo tanto es todo G.

Teorema 5. Si G es un grupo con un numero primo de elementos p, entonces G


es un grupo cclico, es mas algun elemento a 6= e G es un generador de G

El teorema 5 quiere decir que existe (salvo isomorfismos) un unico grupo de orden
primo p, por ejemplo el unico grupo (salvo isomorfismos) de orden 7 es Z7 , el unico
grupo de orden 11 es Z11 .
Ahora tenemos que completar la informacion sobre todos los grupos con orden pri-
mo.
CAPITULO 1. PRELIMINARES 21

De la misma manera como llegamos al teorema 5, si a es un elemento de un grupo G,


el orden de a es el mismo orden del grupo cclico <a> y por el teorema de Lagrange
este numero es un divisor de el orden de G.

Teorema 6. El orden de un elemento de un grupo finito divide el orden del grupo.

Finalmente, si G es un grupo y H un subgrupo de G, entonces el Indice de H en G


es el numero de clases de H en G, se denota por (G : H); por lo tanto el numero de
elementos de G es igual a el numero de elementos en H multiplicado por el numero
de clases de H en G.
o(G)
(G : H) =
o(H)
Ejemplo 2. Sea G = Z15 y H = <5> = {0, 5, 10} entonces las clases laterales de
H son:

H + 0 = H + 5 = H + 10 = {5, 10, 0}
H + 1 = H + 6 = H + 11 = {1, 6, 11}
H + 2 = H + 7 = H + 12 = {2, 7, 12}
H + 3 = H + 8 = H + 13 = {3, 8, 13}
H + 4 = H + 9 = H + 14 = {4, 9, 14}

15
En este caso el ndice (G : H) = 3
= 5 es decir hay solo 5 clases disyuntas de H
en G.

Ejemplo 3. Sea G = Z y H = <m> con m un entero, entonces las clases laterales


de H son:
H + 0 = {m, 2m, 3m, ...}
H + 1 = {m + 1, 2m + 1, 3m + 1, ...}

H + k = {m + k, 2m + k, 3m + k, ...}
CAPITULO 1. PRELIMINARES 22

Podemos concluir el hecho de que Z/<m> Zm


Captulo 2

Medida de conjuntos

El concepto de medida de un conjunto es una fuerte generalizacion del concepto de


longitud de un intervalo.
Consiste en dar una definicion de longitud no solo para intervalos, sino para conjun-
tos mas generales, Se asume que la unidad de medida es el intervalo [0, 1]. entonces
la longitud de un intervalo arbitrario [a, b] es obviamente b a. Analogamente, si
tenemos dos intervalos disyuntos [a1 , b1 ], [a2 , b2 ] parece natural tomar como longitud
del conjunto E formado por los dos intervalos el numero (b1 a1 ) + (b2 a2 ).
Sin embargo, es un poco mas complicado medir un conjunto que no sea un intervalo
por ejemplo, cual es la longitud del conjunto de Cantor ?
En conclusion, el concepto de longitud de un conjunto de la recta requiere una difini-
cion matematica rigurosa.

El problema de la definicion de la medida de conjuntos es muy importante por que


encierra una importancia capital en la generalizacion del concepto de integral. El
concepto de medida de un conjunto tiene aplicaciones a otros problemas en teora
de funciones, probabilidades, topologa analisis funcional,etc.
La definicion de medida de un conjunto que se da a continuacion se debe al matematico
frances H. Lebesgue y es la base de la definicion de la integral que lleva su nombre.

23
CAPITULO 2. MEDIDA DE CONJUNTOS 24

Todo conjunto abierto es la suma finita o numerable de intervalos abiertos disyun-


tos dos a dos. La medida de los intervalos abiertos se define como la suma de las
longitudes de los intervalos abiertos que lo forman.
As, si

X
G= (ai , bi )

Y
P los intervalos (ai , bi ) son disyuntos dos a dos, entonces la medida de G es igual
(bi ai ) , denotado la medida de un conjunto E por E podemos escribir

X
G = (bi ai )

en particular, la medida de un intervalo abierto coincide con su longitud

(a, b) = b a

todo conjunto cerrado F contenido en [a, b] y tal que los puntos extremos de este
pertenecen a F se obtiene a partir de [a, b] suprimiendo de el un cierto conjunto
abierto G. La medida del conjunto cerrado F [a, b] , donde a F y b F se
define como la diferencia entre la longitud de [a, b] y la medida del conjunto abierto
G complementario de F .
De esta forma

F = (b a) G

no es difcil verificar que , de acuerdo con esta definicion , la medida de un intervalo


arbitrario es igual a su longitud

[a, b] = b a

y que la medida de un conjunto formado por un numero finito de puntos es 0.


CAPITULO 2. MEDIDA DE CONJUNTOS 25

2.1. Definicion general de medida

Con el fin de dar una difinicion mas general, se hace uso de un concepto auxiliar.
Sea E un conjunto contenido en el intervalo [a, b]. Considerando todas las posibles
envolturas de E, es decir, todos los conjuntos abiertos V (E) que contienen a E. La
medida de cada conjunto V (E) es un cierto conjunto de numeros positivos.
Este conjunto esta acotado inferiormente (por ejemplo por 0) y tiene por tanto un
extremo inferior que denotamos por e E. el numero e E se llama medida exterior
de E. Sea e E la medida exterior de un conjunto E y e CE la medida exterior de
su complemento relativo a [a, b].
Si la relacion

E + CE = (b a)

entonces se dice que E es medible y el numero e E es su medida; E = e E si la


relacion no se cumple decimos que E no es medible, un conjunto no medible no tiene
medida.
Siempre en general se cumple que:

E + CE (b a)

La medida de los conjuntos mas simples (por ejemplo, intervalos abiertos o cerrados)
tiene propiedades notables:

a) si los conjuntos E yE1 son medibles y E1 E, entonces

E1 E

es decir la medida de una parte de E no debe exceder de la de todo el conjunto


E.
b) Si E1 y E2 son medibles, entonces el conjunto E = E1 + E2 es medible y

(E1 + E2 ) E1 + E2 ;
CAPITULO 2. MEDIDA DE CONJUNTOS 26

es decir la medida de la suma no excede la suma de las medidas de los suman-


dos.

c) Si los conjuntos Ei (i = 1, 2, ...) son medibles


P y disyuntos dos a dos, esto es
Ei Ej = (i 6= j) entonces su suma E = Et es medible y
X  X
Ei = Ei

es decir, la medida de una suma finita o numerable de conjuntos disjuntos dos


a dos es igual a la suma de las medidas de los sumandos.
Esta propiedad de la medida es llamada aditividad total.

d) La medida de un conjunto E no cambia si este se desplaza como un solido


rgido.

Seria deseable que las propiedades de la longitud se conservaran en el concepto mas


general de medida de conjuntos. Pero se puede probar rigurosamente que esto es im-
posible si la medida se refiere a conjuntos de puntos arbitrarios. En consecuencia, en
el sentido de esta defincion existen conjuntos que tienen medida (que son medibles)
y otros que no tienen medida (que son no medibles).
Por otra parte, la clase de conjuntos medibles es tan amplia que ello no conduce a
ninguna desventaja substancial. De hecho, la construccion de un ejemplo de conjun-
to no medible es bastante difcil.

Ejemplo 4. La medida del conjunto perfecto de Cantor P .


En la construccion del conjunto P a partir del intervalo [0, 1] se comienza eliminando
un intervalo adyacente de longitud 1/3, despues dos intervalos adyacentes de longitud
1/9, luego 4 de longitud 1/27, etc. De forma general, en el paso n-esimo hemos
suprimido 2n1 intervalos adyacentes de longitud 1/3n . As, pues la longitud de
todos los intervalos suprimidos es

1 2 4 2n1
S= + + + ... + n + ...
3 9 27 3
CAPITULO 2. MEDIDA DE CONJUNTOS 27

Los terminos de esta serie forman una progresion geometrica de razon 2/3 cuyo
primer termino cae 1/3. Por lo tanto la suma S de la serie es
1
3
2 =1
1 3

As pues la suma de las longitudes de los intervalos adyacentes al conjunto de Cantor


es 1.Dicho de otra manera, la medida del conjunto abierto G complementario de P
es 1.Por tanto la medida de P es

P = 1 G = 1 1 = 0

Este ejemplo muestra que existen conjuntos con la cardinalidad del continuo cuya
medida es 0

Ejemplo 5. Medida del conjunto R de todos los puntos racionales del intervalo
[0, 1].
Mostremos primero que e R = 0.Como Q son numerables y R es un subconjunto de
Q.Ordenamos los puntos de R en una sucesion

r1 , r2 , ..., rn , ...

Ahora, para unP > 0 encerramos el punto rn en un intervalo abierto n de longitud


/2n . La suma n = es un conjunto abierto que contiene a R. Los intervalos n
pueden tener interseccion no vaca, por lo cuales
X X X
() = ( n ) n = /2n = 

2.2. Funciones medibles

Se procede ahora a exponer una de las aplicaciones mas brillantes del concepto de
medida de un conjunto, a saber, la descripcion de la clase de funciones con las que
opera actualmente el analisis matematico y la teora de funciones. El planteamiento
preciso es como sigue:
Si una sucesion fn (x) de funciones definidas en un cierto conjunto E converge en
CAPITULO 2. MEDIDA DE CONJUNTOS 28

cada punto de E excepto en los puntos de un conjunto de medida nula, Se dice que
la sucesion fn (x) converge en casi toda parte.
Que funciones se obtienen al aplicar repetidamente las operaciones algebraicas y la
operacion de paso al lmite de una sucesion de funciones convergentes en casi toda
parte?
Para contestar a estas preguntas se necesitan algunos conceptos nuevos.
Sea f (x) una funcion definida en un conjunto E y un numero real arbitrario.
Denotaremos por:
{x E|f (x) > }
el conjunto de los puntos de E tales que f (x) > .
Por ejemplo, si f (x) esta definido en [0, 1] y f (x) = x sobre este intervalo,

para < 0
{x [0, 1]|f (x) > 0} = [0, 1]

para 0 < 1
{x [0, 1]|f (x) > } = (, 1]

para 1
{x [0, 1]|f (x) > } =

Formalmente, una funcion f (x) definida en un conjunto E se llama medible si E es


medible y si el conjunto {x E|f (x) > } es medible para cualquier numero real
.
Se puede demostrar que cualquier funcion continua definida en un intervalo es med-
ible. Existen, sin embargo, entre las funciones medibles otras muchas que no son
continuas; por ejemplo la funcion de Direchlet:

1, si x / Q [0, 1]
D(x) = (2.1)
0, si x Q [0, 1]

Se mencionaran a continuacion, sin demostracion, algunas propiedades de las fun-


ciones medibles.
CAPITULO 2. MEDIDA DE CONJUNTOS 29

a) Si f (x) y (x) son funciones medibles definidas en el mismo conjunto E, en-


tonces las funciones:
f
f + , f , f y

son tambien medibles (la ultima si 6= 0 ).
Esta propiedad nos muestra que las funciones que se obtienen de aplicar las
operaciones algebraicas a funciones medibles son tambien medibles.

b) Si una sucesion de funciones medibles {fn (x)} definidas en un conjunto E con-


verge en casi toda parte a una funcion f (x), entonces esta funcion es tambien
medible.
Esta propiedad nos dice que la operacion de paso al lmite de una sucesion
convergente en casi todo punto de funciones medibles vuelve a dar una fun-
cion medible.

Estas propiedades de las funciones medibles fueron establecidas por Lebesgue. Un


estudio mas profundo de las funciones medibles ha sido llevado a cabo por los
matematicos sovieticos D.F.Egorov y N.N.Luzin.
Luzin ha probado que toda funcion continua medible definida en un intervalo puede
hacerse continua cambiando sus valores en un conjunto de medida arbitrariamente
pequena.
Este resultado clasico de N.N.Luzin y las propiedades dichas arriaba bastan para
probar que las funciones medibles, son justamente las funciones por las que nos pre-
guntabamos al comienzo de esta subseccion.

Las funciones medibles son tambien de gran importancia en la teora de integracion:


el concepto de integral se puede generalizar de forma que toda funcion medible y
acotada sea integrable.
CAPITULO 2. MEDIDA DE CONJUNTOS 30

2.3. La integral de Lebesgue

Antes de dar una definicion formal, para comprender mejor el principio fundamental
de esta integral, se da el siguiente ejemplo.
Imagine una serie de monedas de distinto valor y queremos hallar cuanto dinero
suman en total.
Se puede hacer de dos maneras. Colocar las monedas en fila y sumar el valor de
cada una al valor de las precedentes. Tambien se puede seguir un proceso diferente:
colocar las monedas en montones de forma que las monedas de cada monton son
del mismo valor; contar el numero de monedas de cada monton, multiplicar este
numero por el valor de la moneda correspondiente, y finalmente sumar los numeros
asi obtenidos.
El primer metodo para contar el dinero corresponde al proceso de integracion de
Riemman, y el segundo, al proceso de integracion de Lebesgue.

Pasando de monedas a funciones, para el calculo de la integral de Riemann el do-


minio de definicion de la funcion (el eje de abscisas) se divide en pequenas partes,
mientras que para el calculo de la integral de Lebesgue es el dominio de valores de
la funcion (el eje de ordenadas) lo que se divide, este ultimo principio fue aplicado
en la practica mucho antes de Lebesgue, en el calculo de integrales de funciones de
caracter oscilatorio; sin embargo fue Lebesgue quien lo desrrollo con toda generali-
dad y le dio una fundamentacion rigurosa mediante la teora de la medida.

Ahora se examina como estan relacionadas la teora de la medida y la integral de


Lebesgue.
Sea E un conjunto arbitrario medible contenido en el intervalo [a, b], se construye
una funcion (x) que es igual a 1 si x pertenece a E , y a cero si no pertenece, en
otros terminos escribimos:


1, si x E
(x) =
0, si x
/E

la funcion (x) es llamada habitualmente funcion caracterstica de E.


CAPITULO 2. MEDIDA DE CONJUNTOS 31

Consideremos ahora la integral


Z b
I= (x)dx.
a

Se acostumbra a considerar la integral como el area de la figura D acotada por el


eje de abscisas, las rectas x = a, x = b y la curva y = (x) . Puesto que en este caso
la altura de D es distinta de 0 en los puntos x E solamente, y en estos vale 1,
el area (por la formula del area :longitud por anchura) es igual numericamente a la
longitud (medida) de E. As pues I debe ser igual a la medida de E.

I = E

La integral de Lebesgue de la funcion (x) se define precisamente as.


Rb
se observa que la ecuacion anterior es la definicion de la integral a (x)dx en el
sentido de Lebesgue. Puede suceder que la integral I no exista en el sentido de
Riemann, es decir como lmite de una suma. Pero, aunque esto ocurra la integral I
siempre existe en el sentido de Lebesgue y vale E.

Ejemplo 6. Calcular la integral de la funcion de Dirichlet (x), igual a 0 en los


puntos racionales y a 1 en los puntos irracionales del intervalo [0,1]. Puesto que la
medida del conjunto de los puntos irracionales del intervalo [0,1] es 1 (gracias a el
ejemplo 5), la integral de Lebesgue
Z 1
(x)dx
0

es igual a 1.La integral de Riemann de esta funcion no existe.

Una proposicion auxiliar.


Suponga ahora que f (x) es una funcion arbitraria, acotada y medible. Se va a
demostrar que una funcion as puede ser representada con el grado de aproximacion
que se desee, por una combinacion lineal de funciones caractersticas de conjuntos.
Para ver esto se divide el eje de las ordenadas, el intervalo entre el extremo superior
A y el extremo inferior B de los valores de la funcion por medio de los puntos
y = A, y1 , y2 , ..., yn = B en intervalos de longitud menor que , donde  es un
CAPITULO 2. MEDIDA DE CONJUNTOS 32

numero positivo previamente fijado.


Ahora, si en el punto x [a, b],

yi f (x) < yi+1 (i = 0, 1, 2, ..., n 1),

entonces en el punto x se pone:


(x) = yi ,
y si en x
f (x) = yn = B,
entonces se pone:
(x) = yn
Por construccion de la funcion (x) se tiene para cada punto x de [a, b]

|f (x) (x)| < 

Ademas puesto que (x) toma solamente un numero finito de valores y0 , ..., yn puede
ser escrita en la forma

(x) = y0 0 (x) + y1 1 (x) + ... + yn n (x) (2.2)

donde i (x) es la funcion caracterstica del conjunto de puntos tales que (x) = yi ,
es decir yi f (x) < yi+1 (en cada punto x de [a, b] solamente un sumando de la
derecha de (2) es distinto de cero).
Habitualmente se llama a esta combinacion lineal, representacion estandar de la
funcion.

Definicion de la integral de Lebesgue.

Ahora la definicion de la integral de Lebesgue para funciones arbitrarias acotadas y


medibles. Como (x) difiere muy poco de f (x), se puede tomar como aproximacion
del valor de la integral de f (x) la de (x). Pero si se tiene en cuenta que las funciones
i (x) son funciones caractersticas de conjuntos y se usa formalmente las reglas
CAPITULO 2. MEDIDA DE CONJUNTOS 33

Figura 2.1: Integral de Lebesgue


CAPITULO 2. MEDIDA DE CONJUNTOS 34

ordinarias del calculo de integrales, tenemos


Z b Z b
(x)dx = {y0 0 (x) + y1 1 (x) + ... + yn n (x)}dx
a a
Z b Z b Z b
= y0 0 (x)dx + y1 1 (x)dx + ... + yn n (x)dx
a a a
Z b Z b Z b
= y0 0 (x)dx + y1 1 (x)dx + ... + yn n (x)dx
a a a
= y0 (e0 ) + y1 (e1 ) + ... + yn (en )

donde (ei ) es la medida del conjunto ei de los x tales que:

yi f (x) < yi+1

As, un valor aproximado del valor de la integral de Lebesgue de f (x) es la suma


integral de Lebesgue

S = y0 (e0 ) + y1 (e1 ) + ... + yn (en )

Propiedades de la integral de Lebesgue.


La integral de Lebesgue tiene todas las propiedades de la integral ordinaria, a saber,
la integral de la suma es igual a la suma de las integrales, una constante permuta
con el signo integral, etc. Sin embargo al integral de Lebesgue tiene una importante
propiedad que la integral ordinaria no tiene: si las funciones fn (x) son medibles y
estan uniformemente acotadas
|fn (x)| < K
para todo n y todo x en [a, b] y si la sucesion fn (x) converge en casi toda parte a
f (x), entonces
Z b Z b
fn (x)dx f (x)dx
a a
En otros terminos la integral de Lebesgue permite sin restriccion el paso al lmite.
De hecho esta propiedad hace de la integral de Lebesgue una herramienta muy con-
veniente y a veces indispensable en muchas investigaciones. En particular, la teora
CAPITULO 2. MEDIDA DE CONJUNTOS 35

de la integral de Lebesgue es indispensable en la teora de series trigonometricas, en


la de espacios funcionales y en otras ramas de matematicas.

Ejemplo 7. Sea f (x) una funcion periodica de perodo 2 y



a0 X
+ (an cos(nx) + bn sen(nx))
2 n=1

su serie de Fourier. Si por ejemplo f (x) es continua, es facil demostrar que


2
a2 X 2
Z
1
f (x)dx = 0 +
2
(an + b2n )
0 2 n=1

Esta identidad se conoce con el nombre de igualdad de Parseval.


Se plantea ahora la siguiente pregunta: para que tipo de funciones es valida la
igualdad de Parseval?
La respuesta es que la igualdad de Parseval es valida si y solo si f (x) es medible
sobre [0, 2] y f 2 (x) es integrable Lebesgue en el mismo intervalo.
Captulo 3

La medida de Haar

3.1. Teorema de Represenatacion de Riez

La teora de integracion sobre espacios topologicos localmente compactos de Haus-


dorff depende del concepto de medida de Borel. Se dice que un espacio de medida es
un par ordenado que consiste en un conjunto no vaco y una algebra. Sea X un
espacio topologico localmente compacto de Hausdorff, y sea la algebra gener-
ada por los conjuntos abiertos, estos conjuntos son llamados conjuntos de Borel. Las
medidas definidas sobre este espacio de medida (X, ) se llaman medidas de Borel.
Una medida es llamada regular sobre X, si la medida de cada conjunto compacto
es finita. Una medida compleja es llamada una medida de Borel, si su valor absoluto
es una medida de Borel.
Usando la descomposicion de Hahn - Jordan de medidas complejas (ver [11],p.120)
es facil ver que cada medida compleja es una combinacion lineal compleja de 4 me-
didas no negativas. Todas las medidas regulares de Borel complejas sobre X forman
un espacio lineal complejo el cual es denotado por M(X).

Teorema 7. (Teorema de Representacion de Riez)


Si X un espacio localmente compacto de Hausdorf, entonces la aplicacion 7 F
donde

36
CAPITULO 3. LA MEDIDA DE HAAR 37

Z
F (f ) = f d,

para cada funcion f en C(X), es un isomorfismo isometrico de M(X) sobre C(X) ,


(en este caso M(X) sobre C(X) consiste en el espacio normado de funciones aco-
tadas).

La integral de Haar I definida sobre un grupo abeliano compacto G, es un funcional


lineal del espacio C(X) para el cual corresponde por el teorema anterior, una unica
medida regular compleja de Borel tal que:
Z
I(f ) = f d,

para f : G C, las propiedades de I implican que es una medida. Esta medida


es llamada la medida de Haar.

Teorema 8. Sea G un grupo abeliano compacto finito. La medida de Haar es la


unica medida positiva sobre la familia de conjuntos de Borel que tiene las siguientes
propiedades:

a) (G) = 1

b) La medida es translacion invariante: para cada conjunto de Borel B y g en


G se tiene (g B) = (B).

c) La medida de cada conjunto abierto no vaco es positiva.

d) La medida de cada conjunto abierto es igual a el supremo de las medidas de


todos los subconjuntos compactos contenidos en este.

e) La medida de cada conjunto de Borel es igual a el nfimo de las medidas de


todos los conjuntos abiertos que lo contienen.
CAPITULO 3. LA MEDIDA DE HAAR 38

3.2. Existencia y Unicidad

Definicion 15. (Medida de Haar)


Sea G un grupo abeliano localmente compacto. Una medida regular definida sobre
la algebra de todos los conjuntos de Borel de G es llamada una medida de Haar
sobre G si:

a) La medida es invariante bajo traslaciones para cada conjunto B de Borel y


todo elemento g G se tiene (g B) = (B), y

b) todo conjunto compacto tiene medida finita

Teorema 9. Sea G un grupo topologico localmente compacto. Entonces existe una


medida regular de Borel no nula (At) = (A) para todo t G, A G de Borel.

La idea de la prueba es construir un funcional lineal positivo T que sea invariante


por traslaciones en Cc (G), el espacio de todas las funciones complejas continuas en
G con soporte continuo. Esto quiere decir que T f 0 si f 0 y que T (fx ) = T (f )
donde fx es la traslacion de f definida por

fx (y) = f (y x) (y G)

Luego el teorema de representacion de Riez muestra que hay una medida con las
propiedades requeridas tal que:
Z
Tf = f d (f Cc (G))
G

Demostracion. Ver [11, pag. 254]

Teorema 10. Si A es un subconjunto abierto de G diferente de vaco, entonces


(A) > 0.
CAPITULO 3. LA MEDIDA DE HAAR 39

Demostracion. Ya que es una medida podemos asegurar que (A) 0 para todo
A G ahora si (A) = 0 sea K un compacto de G, podemos hacer finitas trasla-
ciones de A que converjan a K y por lo tanto (A) = (K) = 0 y ya que es
una medida regular implica que (E) = 0 para todo conjunto de Borel de G lo cual
contradice la propiedad que no es identicamente cero por lo tanto

(A) > 0 (A G)

Teorema 11. Sea G un grupo compacto. Entonces existe una unica medida de Haar
en G que es invariante por traslaciones izquierdas y derechas en G.

En virtud de la invarianza por traslaciones a izquierda y derecha, y por inversiones


puedo concluir con que al integrar en un grupo compacto respecto a su medida de
Haar, pueden efectuarse los cambios de variables como s 7 tsr1 para t y r G
arbitrarios sin cambiar el valor de la integral.

3.3. Ejemplos de medida de Haar

3.3.1. Medida de Haar sobre el circulo unitario complejo

Se sabe que todo grupo finito es compacto si es equipado con la topologa discreta, y
esta es la unica topologa de Hausdorff que hace un grupo finito un grupo topologco.
Sobre grupos finitos la medida de conteo dividida por el numero de elementos en el
grupo satisface las condiciones listadas en el teorema anterior y por unicidad esta
es identica a la medida de Haar.
El proximo grupo abeliano compacto es T, el circulo unitario complejo. el siguiente
teorema se refiere a este grupo.
Teorema 12. Sea f : T C una funcion continua, y sea la medida de Haar de
T. Entonces: Z Z 2
1
f d = f (eit )dt.
2 0
CAPITULO 3. LA MEDIDA DE HAAR 40

En particular, si B es un conjunto de Borel en T, entonces


Z 2
1
(B) = B (eit )dt.
2 0
donde B denota la funcion caracaterstica del conjunto B

Demostracion. Es facil comprobar que la aplicacion t 7 eit es biyectiva y continua


de [0, 2) en T, la cual manda conjuntos de Borel en conjuntos de Borel. Por lo tanto
(B) definida anteriormente cumple con las propiedades de la medida de Haar , por
lo que esta es la medida de Haar en T por unicidad.

3.3.2. Medida de Haar sobre un grupo discreto

Dado G cualquier grupo discreto la medida de Haar es la medida del conteo sobre
la familia de conjuntos P(G), (La medida del conteo es la medida que asigna a un
conjunto dado el cardinal de este conjunto) es decir

(E) = card(E),

si la cardinalidad de E es finita, en caso contrario se dice que (E) = .


Mas adelante se podra deducir que la integral de cualquier funcion medible definida
en G esta dada por: Z X
f (x)d = f (x).
xG

3.3.3. Medida de Haar sobre Rn

En Rn la medida de Haar es n = . . . que es la medida producto, donde


es la medida de Lebesgue en R.
CAPITULO 3. LA MEDIDA DE HAAR 41

3.3.4. Medida de Haar sobre R+

En R+ , sea : B(R+ ) R definida como


Z
1E (x)
(E) = (dx),
E x
para todo E B(R+ ). Sea y R+ entonces:
Z
1yE (x)
(yE) = (dx)
yE x
pero la funcion caracteristica,

1, si x yE
1yE (x) =
0, si x
/ yE
si x yE es por que x = yu para u E, entonces u = y 1 x por lo que la funcion
1yE (x) se puede reemplazar por:
1, si y 1 x E

1
1E (y x) =
0, si y 1 x
/E
y asi:
1E (y 1 x)
Z
(yE) = (dx)
E x
haciendo un cambio de variable u = y 1 x y ydu = dx
Z
1E (u)
(yE) = (du) = (E)
E u

3.3.5. Medida de Haar sobre GL(n)

El conjunto GL(n) es la coleccion de todas las matrices invertibles de n n, con la


multiplicacion usual de las matrices, la matriz identidad como elemento neutro y la
topologa relativa a Rnn .
Sea E GL(n), la medida de Haar esta dada por:
Z
1
(E) = 2 (dX)
2 n
E |det(X)|
CAPITULO 3. LA MEDIDA DE HAAR 42

3.3.6. Medida de Haar a izquierda diferente a la medida de


Haar a derecha
  
a b
Para el grupo topologico G = |a > 0, b R , la medida de Haar a izquier-
0 1
da de un subconjunto E es:
Z
1
(E) = (da)(db)
(E) a2
y la medida de Haar a derecha es:
Z
1
(E) = (da)(db)
(E) a
 
a b
Donde = (a, b).
0 1
Captulo 4

Integracion invariante

Los funcionales, medida e integrales invariantes son una herramienta vital en el es-
tudio de las representaciones de grupos localmente compactos. Ademas permiten
obtener los espacios y algebras de funciones que se estudian en el analisis armonico.
Si bien en el caso compacto puede obtenerse mas informacion acercade las medidas
invariantes, los grupos localmente compactos admiten una tal medida, esencialmente
unica, y que en cierta forma determina la topologa de un grupo.
En este capitulo se demostrara la existencia y la unicidad de la integral de Haar, y
para ello se daran a continuacion los teoremas y lemas necesarios para dicho cometi-
do.

Teorema 13. (Particion de la Unidad)


Sea X un espacio localmente compacto de Hausdorff, K un subconjunto de X, y
{V1 , V2 , . . . , Vn } un recubrimiento de K. Entonces existen unas funciones hi : X R
tal que alguna de ellas es cero fuera de un subconjunto compacto de algun Vi , ademas:

h1 (x) + h2 (x) + . . . + hn (x) = 1

tomando x en K.

Teorema 14. (Punto fijo de Markov-Kakutani)


Toda familia conmutativa de aplicaciones continuas afines de un conjunto no vaco,

43
CAPITULO 4. INTEGRACION INVARIANTE 44

convexo y compacto en un espacio vectorial topologco localmente convexo tiene un


punto en comun.
Lema 2. Sea G un grupo abeliano localmente compacto, y sea U una vecindad
simetrica de la identidad de G, entonces existe un subconjunto S en G tal que para
cada elemento a en G el conjunto aU 2 contiene al menos un elemento de S, y el
conjunto aU contiene mas de un elemento de S.

4.1. Propiedades fundamentales

La integral de Haar tiene las mismas propiedades que la integral ordinaria (Integral
de Lebesgue) en la recta real.

a) La integral de Haar es un funcional lineal.

b) La integral de Haar no es identicamente cero.

c) La integral de Haar de una funcion real no negativa.

d) La integral de Haar es invariante con respecto a la reflexion, esto es, s(t) y


s(t) tienen la misma integrales
Z Z
s(t)dt = s(t)dt;
I I

e) La integral de Haar es invariante para traslaciones, esto es, s(t) y sp (t) =


s(t p) tienen la misma integrales
Z Z
s(t p)dt = s(t)dt, p I.
I I

El resultado es el siguiente teorema el cual garantiza la existencia y al unicidad de


la integral de Haar.
Teorema 15. En todo grupo localmente compacto existe una integral con las propiedades
a e.
CAPITULO 4. INTEGRACION INVARIANTE 45

Demostracion. La prueba es basada en el Teorema del punto fijo de Markov-Kakutani.


Sea G un grupo abeliano localmente compacto, y Cc (G) el espacio dual de Cc (G)
con la topologa debil. Para cada a en G y f Cc (G)se define:

Ta : Cc (G) Cc (G)
Ta (f ) 7 (a f ).

Entonces cada Ta es un operador lineal continuo de el espacio vectorial localmente


convexo topologico Cc (G) , es claro que todos los operadores Ta conmutan. Para este
caso se tiene que probar que existe un funcional lineal diferente de cero en Cc (G), el
cual sera un punto fijo de cada operador Ta .Para lograr esto es suficiente presentar
un subconjunto convexo compacto en Cc (G) el cual es mandado en el mismo por
todos los operadores Ta , por que en este caso nuestro proposito es una consecuencia
del teorema del punto fijo de Markov-Kakutani.
Primero que todo se escoge una vecindad U compacta simetrica de la identidad en
G. Sea C el conjunto de todos los funcionales lineales positivos , el cual posee las
siguientes dos propiedades:

(f ) 1 cuando f Cc (G) con 0 f 1, ademas el soporte de f es incluido


en aU para algun a G;

(f ) 1 cuando f Cc (G) con 0 f , ademas f = 1 sobre el conjunto aU 2


para algun a G.

Es claro que C es un subconjunto convexo cerrado de Cc (G) . Por el teorema de la


Particion de la Unidad, se puede observar que todo elemento no negativo de Cc (G)
es una suma finita de funciones continuas no negativas, cada una de ellas tiene un
soporte en un conjunto aU con a G. Por la primera condicion de C, para cada
funcion f Cc (G) el conjunto {(f ) : C} es acotado. Entonces el conjunto C
es compacto. Por como esta definida Ta manda a el conjunto C en C. Finalmente
se tiene que probar que C es no vaco pero aplicando el lema 2, para esta vecindad
U el funcional lineal X
f f (s)
sS
CAPITULO 4. INTEGRACION INVARIANTE 46

pertenece a C.
Se concluye diciendo que, por el Teorema del punto fijo de Markov-Kakutani todos
los operadores Ta tienen un punto fijo en comun el cual es exactamente la integral
de Haar sobre G.

Este teorema permite identificar la integral de Haar en casos especficos. Por ejem-
plo,la integral de Lebesgue sobre R cumple con las condiciones a-e por lo tanto esta
es precisamente la integral de Haar en R. Ahora si cambiamos el campo por Z la
integral de Lebesgue cumple con las propiedades a,c,d y e, pero no con la condicion
b ya que es extendido a un conjunto de medida nula y esta es identicamente cero
por lo que la integral de Lebesgue no puede representar la integral de Haar sobre
Z. La sumatoria de los valores que toma la funcion sobre el campo Z cumple con
las propiedades a-e por lo que precisamente esta es nuestra integral de Haar sobre Z.

Entonces dicha expresion es la integral de Haar. Ahora respecto a la multiplicacion


de alguna constante, debemos hacer un cambio adecuado para quitar ambiguedades
y para formulas mas simples. Para algunos autores la integral de Haar se puede
interpretar como una senal area entonces por d y e:

area(s) = area(s) = area(sp )

Podemos tambien definir una integral sobre un subconjunto A I esta es obtenida


usando la funcion caracterstica.


1, si t A
A (t) =
0, si t
/A

y la integral esta dada por:


CAPITULO 4. INTEGRACION INVARIANTE 47

Z Z
s(t)dt , s(t)dtA (t);
A I

4.2. Propiedades Fuertes


Integral Sobre Grupos Cociente Si conocemos la integral de Haar sobre
un grupo ordinario G, sea H un subgrupo normal la integral de Haar sobre
el grupo cociente G/H es obtenida limitando la integracion sobre el grupo
cociente G/H, esto es:
Z Z
f (t)d = f (t)(G/H) (t)d;
G/H G

donde G/H (t) es la funcion caracterstica de G/H.


Integral Sobre Un Producto Cartesiano Si I = I1 I2 es el producto
cartesiano de dos grupos localmente compactos, este es un grupo localmente
compacto y la integral de Haar correspondiente esta dada por:
Z Z Z
s(t)dt = dt1 s(t1 , t2 )dt2
I1 I2 I1 I2

La cual requiere primero evaluar la integral con repecto a t2 y luego con respec-
to a t1 . En particular cuando la senal es el producto tensorial de dos senales
se tiene que s(t1 , t2 ) = s1 (t1 )s2 (t2 ), la integral es dada por el producto de dos
integrales especficamente
Z Z Z
s1 (t1 )s2 (t2 )dt1 dt2 = s1 (t1 )dt1 s2 (t2 )dt2
I1 I2 I1 I2

esta regla es en general para mas factores.


Integral sobre un Grupo Finito Sea G un grupo abeliano finito, entonces
la integral de Haar esta dada por
Z
1 X
f (t)d = f (t),
G |G| xG
CAPITULO 4. INTEGRACION INVARIANTE 48

para cada f C(G)


Integral Desde Isomorfismos Si la integral sobre un grupo H es conocida,
podemos obtener la integral sobre un grupo G isomorfo.

Demostracion. (ver [2],p.196)

4.2.1. Integral de Haar en los Grupos de R

A continuacion se da la integral de Haar para cada grupo localmente compacto en


R
R, Z, R/Z, Z/nZ

I = R Obtenemos la integral ordinaria (Lebesgue) en R esta condicion se ob-


tiene por el teorema de existencia y unicidad.

Z Tenemos para este caso la sumatoria de todos los valores de la funcion


R/Z Tenemos de nuevo la integral ordinaria, pero en este caso limitado por
R/Z = [x0 , x0 + Z) donde x0 R es arbitrario por lo que el resultado de la
integral es independiente de x0 .
Este expresion es obtenida por la propiedad de la integral de Haar sobre un
grupo cociente G/H.

Z/nZ Es la integral de un grupo abeliano discreto finito.

GRUPO INTEGRAL DE HAAR


Z Z +
I=R f (t)d = f (t)dt
R
Z +
X
I=Z f (t)d = f (n)
Z n=
Z n1
X
I = Z/nZ f (t)d = f ([x])
Z/nZ k=0
CAPITULO 4. INTEGRACION INVARIANTE 49

4.2.2. Integral de Haar en los Grupos de Rn

A continuacion damos la integral de Haar para cada grupo localmente compacto en


Rn
Teorema 16. (Fubini)
b) espacios de medida completos, y f : X Y C una fun-
Sea (X, X, ) y (Y, Y,
cion (
b) integrable, entonces las integrales:
Z Z  Z Z 
f (x, y)db
(y) d(x), f (x, y)d(x) db(y)
X Y Y X
existen, y
Z Z Z 
f d(
b) = f (x, y)db
(y) d(x)
XY X Y
Z Z 
= f (x, y)d(x) db
(y)
Y X

Diferentes versiones de este teorema pueden ser encontradas en [11],[12])


Ejemplo 8. Sea f (b x) una funcion ( ) integrable donde es la medida de
b R2 , entonces la integral de Haar en R2 esta dada por:
Lebesgue y x
Z Z Z
f (b
x)d = x)d( )
f (b
R2
ZR RZ
= x)d(2 )
f (b

Esto gracias al teorema de Fubini.
Ejemplo 9. De la misma forma con que se trabajo el ejemplo 8, se define la integral
de Haar para el toro bidimensional T2 esta es dada por:
Z Z Z
f (x, y)d = f (x, y)d( )
T2 T T
Z 2 Z 2
1
= f (x, y)d(2 )
(2)2 0 0
Z 2 Z 2 
1
= f (x, y)d(x) d(y)
(2)2 0 0
CAPITULO 4. INTEGRACION INVARIANTE 50

Donde f : T2 C y es la medida de Lebesgue.

Teorema 17. Dadas dos integrales de Haar sobre un grupo Abeliano localmente
compacto, alguna de estas es un multiplo positivo constante de la otra.

Demostracion. Sea I y J dos integrales de Haar definidas sobre G, f, h Cc (G) y


ademas h una funcion simetrica diferente de la funcion cero, esto es, h(x) = h(x1 )
para cada x G. Por el teorema 16 de Fubini y por la invarianza de las dos integrales
podemos proceder como sigue:

I(h)J(f ) = Iy Jx h(y)f (x) = Iy Jx h(y)f (xy),

J(h)I(f ) = Iy Jx h(x)f (y)


= Iy Jx h(y 1 x)f (y)
= Jx Iy h(x1 y)f (y)
= Jx Iy h(y)f (xy).

esto implica que I(h)J(f ) = I(f )J(h), y por I(h) 6= 0 el teorema esta probado
Conclusiones

La medida de Haar es una herramienta muy poderosa ya que lleva la teora de


la medida y la teora de la integracion de Lebesgue a un campo mas general
como los son los grupos discretos compactos (Zm = Z/mZ), grupos discretos
no compactos (Z) o grupos ni compactos ni discretos (T).

La existencia de la medida de Haar y la integral de Haar hace posible definir


la transforma da de Fourier no solo para funciones en L2 si no tambien para
todas las funciones integrables. Ademas si m es la medida de Haar sobre el
grupo abeliano G entonces se define el correspondiente espacio de Lebesgue
Lp (G) para p 1 de la forma usual: identificando las funciones que son igual
casi toda parte con respecto a m, la funcion medible f : G C pertenece a
Lp (G) si
Z  p1
p
kf kp = |f | dm <

El importante teorema de representacion de Riez sobre espacios localmente


compactos de Hausdorff permite una identificacion fiel de cada uno de los
elementos del espacio dual C(G) con los elementos del espacio de las medidas
regulares de Borel M(G) mediante el isomorfismo:

M(G) C(G)
7 F (f )

donde F es: Z
F (f ) = f d

51
CAPITULO 4. INTEGRACION INVARIANTE 52

para cada funcion f C(G)

EL teorema de Fubini permite concluir que siempre se puede establecer una


medida en un producto cruz de espacios medibles finitos, esta es la medida
producto de las medidas de cada espacio por lo que se puede definir una integral
con respecto a dicha medida.
Este hecho es util para poder encontrar la medida de Haar en espacios mas
complejos.
Bibliografa

[1] A.D. Aleksandrov, A.N. Kolmogorov, M.A. Laurentiev. La


matematica: su contenido, metodo y significado. Vol 3. Alianza Universi-
dad,1987

[2] Cariolaro, Gianfranco.Teory unifiqued of signal. Springer,New Jersey,


1993.

[3] Pinter, C. C. A book of abstract algebra. McGraw Hill Book Company,New


York, 1982.

[4] Nachbin Leopoldo. The Haar Integral,1999

[5] Walter Rudin. Fourier Analisis on groups. Wiley,

[6] Terras, A. Fourier Analysis on Finite Groups and Applications. Cambridge


University Press, Cambridge, 1999.

[7] Szekelyhidi, L. Harmonic and Spectral Analysis. World Scientific, Singapore,


2014.

[8] Birkhoff, G., and Lane, S. M. A survey of Modern Algebra. Macmillan-


Publishing Co, New York, 1977.

[9] Dieudonne, J. Fundamentos de Analisis Moderno. Revert I, S. A, Barcelona,


1979.

[10] Bourbaki Nicolas. Elements of the history of mathematics. Springer-Verlag,


Berlin Heidelberg, 1994.

53
BIBLIOGRAFIA 54

[11] Halmos Paul R. Measure theory. Springer-Verlag, New York Heidelberg


Berlin, 1914.

[12] L. H. Loomis, Abstract congruence and the uniqueness of Haar measure, Ann.
Math 46, (1945) 48-355

[13] Robert G. Bartle. The elements of Integration and Lebesgue Measure. John
Wiley & Sons, New york, Chichester, Toronto , Singapore, 1996.