Beruflich Dokumente
Kultur Dokumente
20102167040
2015
2
20102167040
TRABAJO DE GRADO
DIRIGIDO POR:
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.
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
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
8
Introduccion
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
(G, ) es un grupo,
Las funciones
m:GGG
(x, y) 7 x y
i:GG
x 7 x1
Son continuas.
10
CAPITULO 1. PRELIMINARES 11
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)
[
X
( An ) = (An )
n=1 n=1
la misma clase de A7 .
x = y, x < y, xky
ab
cd
ef
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.
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:
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:
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
c = ec Hc
CAPITULO 1. PRELIMINARES 19
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.
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
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.
H + k = {m + k, 2m + k, 3m + k, ...}
CAPITULO 1. PRELIMINARES 22
Medida de conjuntos
23
CAPITULO 2. MEDIDA DE CONJUNTOS 24
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 )
(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
[a, b] = b a
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)
E + CE (b a)
La medida de los conjuntos mas simples (por ejemplo, intervalos abiertos o cerrados)
tiene propiedades notables:
E1 E
(E1 + E2 ) E1 + E2 ;
CAPITULO 2. MEDIDA DE CONJUNTOS 26
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
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 , ...
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) > } =
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.
1, si x E
(x) =
0, si x
/E
I = E
Ademas puesto que (x) toma solamente un numero finito de valores y0 , ..., yn puede
ser escrita en la forma
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.
La medida de Haar
36
CAPITULO 3. LA MEDIDA DE HAAR 37
Z
F (f ) = f d,
a) (G) = 1
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. 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.
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
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),
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.
tomando x en K.
43
CAPITULO 4. INTEGRACION INVARIANTE 44
La integral de Haar tiene las mismas propiedades que la integral ordinaria (Integral
de Lebesgue) en la recta real.
Ta : Cc (G) Cc (G)
Ta (f ) 7 (a f ).
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.
1, si t A
A (t) =
0, si t
/A
Z Z
s(t)dt , s(t)dtA (t);
A I
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
Teorema 17. Dadas dos integrales de Haar sobre un grupo Abeliano localmente
compacto, alguna de estas es un multiplo positivo constante de la otra.
esto implica que I(h)J(f ) = I(f )J(h), y por I(h) 6= 0 el teorema esta probado
Conclusiones
M(G) C(G)
7 F (f )
donde F es: Z
F (f ) = f d
51
CAPITULO 4. INTEGRACION INVARIANTE 52
53
BIBLIOGRAFIA 54
[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.