LA MEDIDA DE HAAR

Pr
ologo
Una de las mas u
tiles propiedades de la medida de la integral de Lebesgue es
su invarianza bajo traslaciones y rotaciones. Esto es que si a Rn ,r Rnn
y f una funcion Lebesgue integrable en Rn , entonces

Z
f (x) dx =

Rn

f (rx + a) dx
Rn

La nocion de la medida de Haar es una generalizacion de este ejemplo. Resulta

que en un grupo compacto (mas generalmente localmente compacto) G, existe
una medida m tal que

Z
f (x) dm(x) =

f (sx) dm(x)
G

para una funcion f sobre G, y un elemento b G.

En analisis matematico, la medida de Haar es una manera de asignar un volumen invariante a los subconjuntos de Grupos topologicos localmente compactos y de definir posteriormente una integral para las funciones sobre esos
grupos. Esta medida fue introducida por Alfred Haar, matematico h
ungaro,

alrededor del a
no 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 Neumann. En este trabajo se estudiara la
prueba de la existencia y unicidad de la medida de Haar en grupos compactos
basada en el teorema de punto fijo de Kakutani y el teorema de Riesz utilizando el analisis funcional, al finalizar se vera la relacion de esta medida con
el algebra mediante el Analisis Armonico.

Indice general
Pr
ologo

1. Preliminares

2. Medida de Haar

3. An
alisis Arm
onico

4. Transformada de Fourier en Grupos Compactos

ii

17

Captulo 1
Preliminares
Definici
on 1.1.1. Un espacio topologico es un par (X, ) donde X es un conjunto, y es una familia de subconjuntos de X que verifica las siguientes
condiciones
1. X

y .

2. Dada una familia {Ai ,i I } de elementos de , su union iI Ai

tambien esta en .
3. Si A1 y A2 , entonces A1 A2 (la interseccion de dos elementos
de la familia tambien es un elemento de la familia).
Diremos entonces, que la familia es una topologa sobre X, y a sus elementos
los llamaremos conjuntos abiertos de (X, ).
Definici
on 1.1.2. Sea X un espacio topologico y K X.
a) Una coleccion {V : I } de subconjuntos de X es un cubrimiento de
K, si K I V . Si ademas cada V es abierto, diremos que el cubrimiento
es abierto.
b) Diremos que K es compacto, si para cualquier cubrimiento abierto de K,
{V : I }, se puede extraer un subcubrimiento finito.
Definici
on 1.1.3. Un espacio topologico X se dice localmente compacto en x
si hay alg
un subconjunto compacto C de X que contiene una vecindad de x. Si
X es localmente compacto en cada uno de sus puntos, X simplemente se dice
localmente compacto.

CAPITULO 1. PRELIMINARES

Definici
on 1.1.4. Sea X un espacio topologico.
a) Un conjunto D X es denso (en X) si D = X.
b) Diremos que X es separable, si existe D X que es denso y numerable.
Definici
on 1.1.5 Una familia A de subconjuntos de X que satisface las siguientes condiciones se le llama una -algebra de subconjuntos de X
1. y X A
2. Si A A, entonces Ac A
S
3. An A (n= 1,2,...)
n=1 An A
Al par (X,A) se le llamara espacio medible.
Definici
on 1.1.6. La -algebra de Borel sobre un espacio topologico X es
una -algebra de subconjuntos de X asociada a la topologa de X. En la literatura matematica se pueden encontrar dos de?niciones no equivalentes de
esta:
1. La -algebra generada por los conjuntos abiertos.
2. La -algebra generada por los conjuntos compactos.

La -algebra generada por una coleccion

de subconjuntos de X se define como la mnima -algebra que contiene a . Los elementos del algebra de Borel
se llaman conjuntos de Borel o conjuntos borelianos. En espacios topologicos
generales, o a
un en los localmente compactos, las dos estructuras definidas
arriba pueden ser diferentes, aunque este fenomeno se considera patologico en
el analisis matematico. De hecho, las dos estructuras coinciden si el espacio en
consideracion es un espacio localmente compacto, separable y metrico.
Definici
on 1.1.7. Una medida es una funcion definida en un -algebra
A sobre un conjunto X , tal que
1. ()= 0
2. (A) 0, A A
3. Si {An } es una sucesion numerable de conjuntos disjuntos dos a dos, esto
es (Ai Aj = , i6=j), entonces
(

n=1

An )=

(An )

n=1

A la terna (X,A,) se le llamara espacio de medida.

3
Definici
on 1.1.8. Sean (X,A,) un espacio de medida,T: X X una funcion
continua y sobreyectiva, decimos que es T-invariante si para todo A A
tenemos que T1 (A) A y (T1 (A))= (A).
Definici
on 1.1.9. Sea X un conjunto, T: X X una funcion. Un subconjunto Y X se dice T-invariante si T(Y) Y.
Definici
on 1.1.10. Sea G conjunto con una operacion binaria definida por
: G G G y sea una familia de subconjuntos de G. decimos que G es
un grupo topologico si
a) (G,) es un grupo.
b) (G, ) es un espacio topologico.
c) Las funciones m:G G G y j: G G dadas por
(x,y)7 x y , x 7 x1
son continuas.
Aqu G G es visto como un espacio topologico con la Topologia producto.
Un grupo cualquiera provisto de la topologa discreta es un grupo topologico
localmente compacto Hausdorff. Se usara esta topologaa cuando no se indique
otra. Restringiremos nuestra atencion a los grupos topologicos localmente compactos y Hausdorff (los ejemplos usuales son Rn , S n y cualquier grupo de Lie).
Ejemplos de grupos topol
ogicos
1. Sea G un grupo.definimos la topologa discreta como la topologa en
la que cada punto es un conjunto abierto.
2. Rn con la topologa usual y la operacion suma.
3. R+ =(0, ) con la operacion multiplicacion y la topologa relativa a R.
4. S 1 el circulo unitario con la topologa relativa a C y la multiplicacion de
complejos.
5. Sea R el conjunto de n
umeros reales distinto de cero dotado por la
opercion producto y la topologa que hereda como subconjunto de R. Es
facil ver que de esta manera R es un grupo topologico, que ademas es
localmente compacto y hausdorff. Si designamos con R+ a los n
umeros
reales positivos, entonces R+ es un subgrupo topologico de R ; mas aun,
la funcion logaritmo log:R+ R es un isomorfismo topologico entre el
grupo multiplicativo R y el grupo aditivo de los n
umeros reales.

CAPITULO 1. PRELIMINARES

6. Sea G en conjunto de matrices A22 de la forma



x y
0 1
donde x,y R con x > 0. Entonces G es un grupo con el producto usual
de matrices.
Se define una metrica d en G:
Sea A,B G con




x y
z w
A=
B=
0 1
0 1
Entonces
p
d(A,B) := (x z)2 + (y w)2
Por lo tanto G es un grupo topologico con la topologa definida con la
metrica d.

Captulo 2
Medida de Haar
Definici
on(medida de haar.) Dado un grupo topol`ogico localmente compacto G decimos que una medida de Borel positiva ,es una:
medida de Haar izquierda,si
(xE)=(E) para todo E B(G) y x G.
medida de Haar derecha, si
(Ex)=(E) para todo E B(G) y x G.
donde B(G) es la -algebra generada por los conjuntos abiertos.
Definici
on. Sea X un espacio topologico, y f : X R una funcion continua; la cerradura del conjunto
Sop(f )={ x X | f (x) 6= 0 } se llama soporte de f
Notacion:
Si X es localmente compacto y Haunsdorff, denotaremos
K = { f : X R | Sop(f ) es compacto }.
Sif :X R tienen soporte compacto K, entonces por definicionf es continua
y por lo tanto
sup={ | f (x) |, x X }= sup={ | f (x) |, x K } <
Por ello definimos la norma uniforme de f como:
k f ku = { | f (x)
k f ku R

CAPITULO 2. MEDIDA DE HAAR

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

medida de Haar izquierda , que es u
nica salvo por multiplicacion por una
constante positiva.
Propiedades b
asicas
La medida de Haar izquierda es una medida semi-singular:
(K) < para todo K compacto.
(E)=nf { (U) : E U,U abierto para todo E B (G) }.
(U)=sup { (K) : K U, K compacto para todo U abierto}.
Ademas cumple:
(U) > 0 si U es un abierto no vacio.
R
f (x) du > 0 para toda funcion f : G R

Captulo 3
An
alisis Arm
onico
Grupos de Lie
Definici
on 1. Los grupos de Lie son grupos continuos caracterizados por un
conjunto de r parametros reales ~a = (a1 ...ar ) varan de forma continua en un
intervalo dado y cumplen que g(~a) g(~b) = g(~c) donde ~c puede expresarse como
funcion analtica de ~ay~b.
Definici
on 2. consideremos los elementos del grupo correspondiente a parametros proximos a cero d ~a = (da1 ...dar ). Los elementos g(d~a) estaran proximos
a la unidad y por tanto pueden escribirse como
P
g(d~a) = e + i r=1 da X
Los elementos X corresponden en un sentido amplio a las derivadas de los
elementos del grupo con respecto a los parametros: los los generadores del
grupo.
Definici
on 3. El rango de un grupo viene dado por el conjunto de generadores hermticos que conmutan entre si.
Definici
on 4. El espacio vectorial de dimension r obtenido de todas las combinaciones lineales de los generadores del grupo, junto a la operacion interna
definida por el conmutador, forma una estructura denominada
algebra de
Lie.A cada grupo de Lie le corresponde un algebra de Lie.
Teorema 1 . Si un algebra de Lie de dimension r de un grupo de orden r
contiene una subalgebra de dimension s, con s < r, entonces con s generadores
independientes contenidos en el subalgebra puede generarse un subgrupo de
orden s a partir del grupo original.
Definici
on 5. Las constantes de estructura en si mismas una representacion
de algebra llamada representaci
on adjunta, cuyas matrices vienen dadas
por
7

CAPITULO 3. ANALISIS
ARMONICO

[T ] = C
con producto escalar
T r(Ta Tb ) = ij
Definici
on 6. Se llaman
algebras de Lie compactas a aquellas con > 0.En
esta base, las constantes de estructura son completamente anti simetricas.
C = if
Definici
on 7. Aquellas algebras que no tienen subalgebras invariantes no triviales se llaman
algebras (semi)simples las cuales generan grupos simples(abelianos)
Teorema 2. La representacion adjunta de un algebra de Lie (semi)simple
que satisfaga
T r(Ta Tb ) = ij
Es irreducible.

Grupo Unitario Especial SU(n)

Transformaciones unitarias especiales en n dimensiones.isomorfo a las matrices
unitarias n n con det = 1. con las entradas en el cuerpo C de los n
umeros
complejos y con la operacion de grupo dada por la multiplicacion de matrices.
Se escribe como SU (n). Es un subgrupo del grupo unitario U(n), a su vez un
subgrupo del grupo lineal general GL(n, C). De ahora en adelante, asumiremos
n 2.El rango del grupo es m = n 1.

Propiedades
El grupo especial unitario SU (n) es un grupo de Lie real de dimension
n2 1. Es compacto, conexo, simplemente conexo, y (para n 2) simple y
semisimple. Su centro es el grupo cclico Zn . Su grupo de automorfismos
exteriores para n 3 es Z2 . El grupo de automorfismos exteriores de
SU (2) es el grupo trivial.
El algebra de Lie que corresponde a SU (n) se denota por su(n), dicha
algebra se puede representar por las matrices complejas n n antihermitianas de traza nula, con el conmutador como corchete de Lie. Observese
que esta es un algebra de Lie real y no compleja.

El Grupo SU(2)
El grupo unitario especial de segundo orden,SU(2), es una variedad diferenciable de dimension 3, que puede ser identificada homeomorficamente con el
conjunto de matrices de coeficientes complejos unitarias y de determinante 1.
De hecho, el grupo SU(2) es isomorfo al grupo de cuaterniones de valor absoluto 1, y es as difeomorfo a la 3-esfera. Puesto que los cuaterniones unidad
se pueden utilizar para representar rotaciones en el espacio de 3 dimensiones
(salvo signo), tenemos un homomorfismo sobreyectivo de los grupos de Lie
SU (2) SO(3, R) cuyo n
ucleo es {+I, I}.

Algebra
de Lie SU(2)
Las matrices siguientes forman una base para su(2) sobre R.

ix =


0 i
i 0


iy =

0 1
1 0


iz =

i 0
0 i

(donde i es la unidad imaginaria). Este factor se presenta porque los fsicos

gustan de incluir un factor i en sus algebras de Lie reales, que es una convencion
diferente de la de los matematicos). Esta representacion se utiliza a menudo en
mecanica cuantica , para representar el espn de partculas fundamentales tales
como electrones. Tambien sirven como vectores unidad para la descripcion de
nuestras 3 dimensiones espaciales en relatividad cuantica. Observese que el
producto de cualesquiera dos diversos generadores es otro generador, y que los
generadores anticommutan. Junto con la matriz identidad (multiplicada por
i),son tambien generadores del algebra de Lie u(2).


i 0
iI2 =
0 i

Aplicaciones
Topologicamente es el espacio recubridor universal del grupo de rotaciones
tridimensional SO(3). Debido a que el grupo de rotaciones tridimensionales
esta fsicamente relacionada con el momento angular y el espn de una partcula, y debido a la propiedad recubridora de SU(2), hace que SU(2) sea uno de los
grupos matematicos que con mayor frecuencia aparece en mecanica cuantica,
en conexion con problemas de espn.
Igualmente en teora cuantica de campos algunas simetras internas de los campos fsicos, presentan invariancia bajo transformaciones del grupo SU(2), por
lo que tambien en esa area aprece con frecuencia dicho grupo. En particular el
isospn es una magnitud fsica conservada en interacciones invariantes bajo el
grupo SU(2) de aroma.

CAPITULO 3. ANALISIS
ARMONICO

10

Grupo especial ortogonal

El grupo especial ortogonal (o grupo ortonormal especial),es un grupo de Lie
que puede ser representado como un subgrupo del grupo ortogonal o(n). El
grupo real SO(n) se puede identificar como el grupo de rotaciones del espacio
Rn .
El grupo especial ortogonal ordinariamente se toma como real ;es decir; SO(n)=SO(n,Rn )
aunque tambien se han definido generalizaciones complejas SO(n,C).

propiedades generales
1.SO(n) tiene dimension n(n-1)/2.
2.SO(n) es conexo.

El grupo SO(3)
Este grupo es isomorfo al grupo de rotaciones del espacio euclidiano tridimensional y es representable por el conjunto de matrices ortogonales de 3x3 y
con determinante igual a la unidad.

Representaciones De Los Grupos Cl

asicos
Representaciones irreducibles de SU(2) Comenzamos esta seccion definiendo el objeto de estudio
SU (2) = {s M2 (C) : s es unitario y det s = 1}
El primer paso para encontrar las representaciones irreducibles de SU (2) sera hallar su medida de Haar.
Proposici
on: SU (2) y S 3 , la esfera unitaria en R4 , son homeomorfos.
Demostracion:
si s1 = s existe un vector (x, y, z, w) R4 tal que


x + iy z + iw
s=
(1)
a + iw x iy
ademas, si det s = 1,resulta
k(x, y, z, w)k21 = |x|2 + |y|2 + |z|2
= det s
= 1

(3.1)
(3.2)
(3.3)

as que (x, y, z, w) S 3 .Recprocamente,dado (x, y, z, w) S 3 , la matriz s dada por la ecuacion (1) es un elemento de SU(2). Ademas, es claro que esta

11
correspondencia es un homeomorfismo.En consecuencia,SU(2)es homeomorfo
a S 3.
observacion.En Virtud de la proposicion anterior, hallar la medida de Haar
en SU(2) sera equivalente a hallar una medida en S 3 que sea invariante por la
operacion equivalente, segun el isomorfismo anterior, a la traslacion en SU(2).
Sea E el espacio vectorial definido por


x + iy z + iw
E={
: (x, y, z, w) R4 }
a + iw x iy
Entonces, la traslacion izquierda Ls : SU (2) SU (2) definida por Ls (t) =
S 1 t, se extiende a un mapa en E que, a travez de la identificacion E w R4 ,
es lineal en R4 . Ademas, tal identificacion esta dada por


x + iy z + iw
x = (x, y, z, w) x =
a + iw x iy
Como
det x = (x + iy)(x iy) (z + iw)(z + iw) = x2 + y 2 + z 2 + w2 = kxk2
se tiene que
kLs xk2 = det(Ls x) = det(x) = kxk2 x R4 , s SU (2)
as que Ls es una transformacion ortogonal de R4 .Ademas, como O(4) tiene
dos componentes conexas, de acuerdo a det u = 1, concluimos que
Ls SO(4) SU (2)
analogamente, Rs
derecha:

SO(4) s SU (2), donde Rs denota la traslacion

Rs (t) = ts

observaci
on:El mapa s Ls no es sobreyectivo, puesto que
dimSO(4) = 6 y dimSU (2) = 3
observaci
on:De lo anterior se deduce que para encontrar la medida de Haar
en SU(2), bastara encontrar la medida invariante por rotaciones de S 3
Obtenemos una parametrizacion de S 3 observando que si
x = cos(), con 0
entonces (y,z,w) esta en la 2-esfera de radio sen().En consecuencia,
x = cos(), y = sen()cos(), z = sen()sen()cos(), w = sen()sen()sen()

CAPITULO 3. ANALISIS
ARMONICO

12
con

0 , , 0 2

e una parametrizacion de S 3 .
un resultado de geometra diferencial,afirma que la medida de S 3 invariante por rotaciones se masa total 1 esta dada por
d =

1
sen2 ()sen()ddd
2
2

observaci
on:Si f : SU (2) R,se tiene que
Z
Z 2 Z Z
1
f (s) ds = 2
sen2 sen d d d
2
SU (2)
0
0
0
Determinamos ahora las clases de conjuncion de SU(2).Si s SU (2), el polinomio de caracterstica de s viene dado por
( ) = 2 tr(s) + 1 = 2 2cos + 1

Un resultado de Algebra
lineal basica nos permite afirmar que existe [0, 2]
y una matriz unitaria tales que
s = h
donde

s = h

 i

e
0
h =
0 ei

Ademas. puede tomarse en SU(2) normalizando su determinante.Tenemos

entonces que para toda s SU (2), existe [, ] tal que s es conjugada a
htheta en SU(2).Por lo tanto, cada funcion central f de SU(2) puede considerarse
como una funcion en [, ] tal que f () = f (),a traves de
f (s) = f (h ) =: f ()

Proposici
on:Toda funcion central en SU(2) se corresponde bajo la identificacion anterior con una funcion par en [, ]
demostracion:
Para todo [, ],h es conjugado a h en SU(2):
 i
 
  i


e
0
0 1
e
0
0 1
h =
=
= h
0 ei
1 0
0 ei
1 0
donde el det = 1 y corresponde a (0, 0, 1, 0) S 3 .En consecuencia
f () = f (h ) = f (h ) = f ()

13
Construiremos ahora una representacion irreducible de dimension n + 1 para
cada natural n.Consideremos En el C espacio de Hilbert de los polinomios
homogeneos de grado n en dos variables complejas, asociado al siguiente producto interno
h

n
X

k nk

ak x y

n
X

j nj

bj x y

i=

j=0

k=0

n
X

k!(n k)!ak bk

k=0

Observaci
on: Notemos que la dim En = n + 1 y
{(x + y)n , (x + y)n , ...(x + wn1 y)n , y n }
es una base de En donde = e

2i
n

es una raz n-esima de la unidad.

Definimos (n) : SU(2) (En ) a traves de

(s(n) P )(z)

 
x
= P (s z) s SU (2), P En , z =
C2
y
1

Proposici
on: (n) es una representacion unitaria de SU(2) en En
(n)
demostracion: s s es un homomorfismo:
(n)

(n)

(n)

(st P )(z) = P (t1 s1 z) = (t P )(S 1 z) = s(n) (t P )(z)

(n)

(n) (n)

(n)

as que
st = s t st es un operador unitario para cada s SU (2) : Si
 
a
=
C2 fijo, sea
b
n

P (z) := (z) = (ax + by) =

n
X

ak bnk xk y nk

k=0

 
 
a
c
Entonces, si =
, v=
C2 se tiene
b
d

P
P
hP , Pv iEn = h nk=0 ak bnk xk y nk , nj=0 aj bnj xj y nj i
Pn
k nk k nk
c d
=
k=0 k!(n k)!a b
P n k k
= n!
Ck a c (bd)nk
= n!(ac + bd)n = n!(hiC2 )n

Como
(s(n) P )(z) = P (s1 z) = (s1 z)n = Pus1 (z)

CAPITULO 3. ANALISIS
ARMONICO

14

se tiene que
hs(n) P , s(n) Pv iEn = n!hs1 , vs1 inC2 = n!h, vinC2 = hP , Pv iEn
De esta forma, tomando sucesivamente y v del tipo
(1, j ) con j = 0, n 1 y(0, 1),
(n)

se deduce que s preserva el producto interno en una base de En .Esto implica

(n)
que s es una representacion unitaria.
Procederemos a hallar cada caracter n := (n) .
Observaci
on:sean
Pk (x, y) := xk y nk para k = 0, 1, ...n.
Entonces, {P0 , ..., Pn } es una base ortogonal de En , con
kPk k2 = k!(n k)!.
Observaci
on:Como cada caracter es una funcion central, bastara encontrar
su valor en h , para cada [, ].
Proposici
on:Para [, ], se tiene
n (h ) =

sen(n + 1)
sen

Demostracion:
(n)
h Pk (x, y)

 
x
= Pk (h
) = Pk (ei x, ei y) = (ei x)k (ei y)nk
y

Yen consecuencia,
n (h ) =

n
X
k=0

(n)
hh Pk , Pk i

X
1
=
ei(2kn)
kPk k k=0

Observemos que
sen(n + 1)
0
sen

n (ho ) = n + 1 = lm

sen(n + 1)

sen

n (h ) = n (h ) = (1)n (n + 1) = lm

15
y para cada 6= 0, , se obtiene
Pn
i(2kn)
n (htheta ) =
k=0 e
P
= ein nk=0 (e2i )k
2i(n+1)

= ein ( 1e1e2i )
i ei(2n+1)

= ein ( e
=
=

ei ei

i(n+1)ei(n+1)

ei ei
sen(n+1)
sen

Recordaremos que una representacion es identicamente nula si y solo si su

caracter es la funcion nula.
\
Teorema: SU
(2) = { (n) : n = 0, 1...}
Demostracion: En base al comentario anterior, basta demostrar que si es una
representacion de SU(2) cuyo caracter es ortogonal a (n) n N,entonces es
= 0.
Supongamos que es como antes, y sea su caracter, que es una funcion
central de L2 (SU (2)) con la siguiente propiedad:
h , n i = 0 n N
Observemos que lo anterior puede expresarse como
Z
Z
2 2
2 2
2
()n ()sen d =
()sen()sen((n + 1))d
0 = h , n i =
0
0
Ademas, como es una funcion central, es una funcion par en [, ], por lo
que
() := ()sen
es una funcion impar en [, ], cuyos coeficientes de Fourier estan dados por
i
(n) =

Z
0

i
()sen(n)d = h , n1 i = 0 n N
2

Como
{sen(n), cos(n), 1 : n Z}
es una base ortogonal de L2 ([, ]) para cada (0, ), resulta que = 0 y
entonces = 0, lo cual implica que = 0

CAPITULO 3. ANALISIS
ARMONICO

16

Relaci
on entre SU(2) y SO(3)
Vamos a construir un homomorfismo h de SU(2) sobre SO(3), de n
ucleo {I, I};
tal h mandara pues u u = (I).u a un mismo elemento de SO(3), estableciendo una correspondencia 2 a 1 entre los dos grupos. Seg
un acabamos de ver,
para cada u0 SU (2), la aplicacion uo : H H(u0 (X) = u0 .X.u1
0 ) es ortob
gonal y deja invariante el subespacio su(2).Llamemos h(u0 ) : su(2) su(2)
su restriccion a su(2), de modo
b
h(X) = u0 .X.u1
X su(2)
0
Respecto de la base ortonormal se su(2) , (i1 , i2 , i3 ), b
h(u0 ) esta dada por
una matriz ortogonal, que llamaremos h(u0 ). Es decir:

h(u) es la matriz (xjk (u)) siendo uik u1 =

j=3
X

xjk (u)ij k = 1, 2, 3

j=1

Para ver que h(u0 ) as definida esta efectivamente en SO(3), nos falta ver que
el determinante de b
h(u0 ) es igual a 1. Por el momento, solo podemos decir que
h esta definido como yendo de SU(2) al grupo O(3) de las matrices ortogonales
de 3x3. Es claro que h es homomorfismo de grupos b
h(u.u0 ) = b
h(u)b
h(u0 ) y por
0
0
lo tanto h(u.u ) = h(u).h(u ). Luego, si probamos que det h(u0 ) = 1 para toda
u0 diagonal, sera tambien det h(u) = det (u0 ) = 1 para una u = u0 .u0 .u1 y
puesto que toda matriz de SU(2) es conjugada de una diagonal, sera det h = 1
para toda u SU (2).
Sea pues u0 diagonal, es decir, u0 = cos2 I + isen2 3 . Recordando que
i1 .i2 = i2 i1 = i3 y permutaciones cclicas, realizando las cuentas se
obtiene
b
h(u0 )(i1 ) = u0 .1 .u1
0 = (cos22 )i1 (sen22 )i2
b
h(u0 )(i2 ) = u0 .2 .u1
0 = (sen22 )i1 + (cos22 )i2
b
h(u0 )(i3 ) = u= .3 .u01 = i3
es decir

cos22 sen22 0
h(cos2 I + isen2 3 ) = sen22 cos22 0
0
0
1

Vemos de aqu en primer lugar que h(u0 ) es una rotacion, como nos habamos
propuesto probar, lo que asegura por el razonamiento de mas arriba que h es
efectivamente un homomorfismo de SU(2) en SO(3).

Captulo 4
Transformada de Fourier en
Grupos Compactos
Ya conociendo la medida de Haar ,grupos de Lie y las representaciones irreducibles de algunos grupos como lo son el SU(2) y SO(3) estamos en la capacidad
de relacionar la mediad de Haar con la transformada de fourier, la Cual me
permite una generalizacion de esta a espacios mas generales que los Euclidianos
de dimension n a Grupos topologicos Hausdorff compactos, para ello daremos
en esta seccion algunas definiciones previas, luego definiremos la transformada
de fourier en grupos compactos ademas de que daremos algunas definiciones
b
de los espacios LPE (G)

Definici
on(car
acter): Un caracter de G es un homomorfismo continuo
G T.
b es el
Definici
on(grupo dual): El grupo dual de G, denotado con G,
conjunto de todos los caracteres de G, considerado con la multiplicacion punto
a punto
()(x) := (x)(x)
y con la topologa de la convergencia uniforme sobre compactos.

Teorema(sobre el grupo dual ): El grupo dual es un grupo abeb es discreto.

liano localmente compacto. Si el grupo G es compacto, entonces G
b es compacto.
Si el grupo G es discreto, entonces G

Definici
on: Una G-representacion de dimencion finita es un par (V, V )
donde V es un Cespacio vectorial de dimencion finita y
V : G End(V )
es un morfismo continuo de monoides(con topologia en End (V) inducida por
la de Mn C, si dim V= n). La representacion se dice irreducible si no existe
W V subespacio invariante bajo V (g) para todo g G.
17

18CAPITULO 4. TRANSFORMADA DE FOURIER EN GRUPOS COMPACTOS

b el conjunto de todas las clases de isomorfismos de las representacioSea G
nes irreducibles de dimension finita de G. como G es compacto, toda Grepresentacion de dimension finita se descompone de manera u
nica(salvo isob
morfismos) en suma directa de elementos de G.

Definici
on de la transformada de Fourier
Sea G un grupo topologico Hausdorff compacto equipado con una media de
Haar normalizada por la condicion (G) = 1.Sea : G U (V ) una representacion unitaria irreducible de G. Escribimos d para referirnos al grado de
o dimension del espacio de representacion V
Definici
on:.Dado un espacio de operadores E y una funcion f L1E (G),
definen el coeficiente de Fourier de f en como el operador
Z

f () =
f (g)(g) d B(V , E d )
G

interpretaremos la Transformada de Fourier como el operador

Y
Md E
FG,E : L1E (G)
G

Aqu (g) denota el operador adjunto de (g). Para ver a f() como un
operador lineal de V en E d , interpretamos dicha integral vectorial en sentido
debil. Es decir, dada una base ortonormal {v1 , v2, ...vdpi } de V y dado un
vector V , definimos la k-esima componente de f() respecto de la base
dada como el elemento E dado por
Z
f (g)h(g) , vk id(g)
G

Observaci
on:Notese que, si consideramos funciones con valores complejos,
entonces nuestra definicion recupera la nocion clasica de coeficiente de Fourier.
Observaci
on: Puesto que (g) es un operador unitario en V para todo
g G, es obvio que el coeficiente de Fourier de f en esta bien definido
para toda f : G E integrable y toda representacion irreducible de .En
particular, puesto que la medida es finita, lo mismo ocurre para f LPE (G)
con 1 p .

19
Notese tambien que, si fijamos una base ortonormal de V , entonces podemos identificar B(V , E d ) con el espacio Md E de las matrices cuadradas
d d con entradas en el espacio de operadores E.A saber, no tenemos mas que
asignar a cada operador d B(V , E d ) su matriz respecto de la base escogida.
Por ejemplo, el operador f()se identificara con la matriz
Z
(
f (g)ij (g)d(g) )1i,jd Md E
G

donde ij (g) denotan las entradas de la matriz que define al operador (g)
respecto de la base ortonormal escogida.
b el objeto dual del grupo compacto G y sea E un espaDefinici
on:Sea G
cio de operadores, entonces la Transformada De Fourier vectorial FG,E
se define como el operador
Y
FG,E : L1E (G)
Md E
b
G

que hace corresponder a f L1E (G) con la coleccion de sus coeficientes de

Fourier. Naturalmente, sera necesario dotar dicho producto cartesiano de una
p norma.
Hablando sin mucho rigor, el motivo por el cual imponemos en E una estructura de espacio de operadores se debe a que como veremos sera necesaria toda
su estructura matrical para definir la p norma

b
Los espacios LPE (G)
el producto cartesiano donde toma valores la transformada de Fourier sera
b
denotado por ME (G).El
primer pas para estudiar la validez de la desigualdad
b de una p norma.
de Hausdorff-Younges dotar ME (G)
Definici
on: Sea E un espacio de operadores y sea 1 p .Los espap b
cios LE (G) se definen como:
X
b = {A ME (G)
b : kAk P b = (
LpE (G)
d kA kpS p (E) )1/p < }
L (G)
E

b
G

b
b
L
b = sup kA kSd (E) < }
E (G) = {A ME (G) : kAkL (G)

b
G

b para denotar el caso escalar E =C

Ademas escribiremos LP (G)
b utilizamos
Observaci
on: Notese que, en la definicion de los espacios LPE (G),
de manera esencial las clases de Schaten vectoriales, por lo cual es necesario
trabajar con espacios de operadores en lugar de espacios de Banach.

20CAPITULO 4. TRANSFORMADA DE FOURIER EN GRUPOS COMPACTOS

Observaci
on: La familia de espacios LPE (M), en este caso se tiene que el
b , los pesos de M estan dados por los
conjunto de indices es el objeto dual G
b Esta
grados de las representaciones irreducibles y E = {SdP (E) : G}
observacion nos permite impone en los espacios LPE (M) una estructura natural
de espacio de operadores.

Propiedades:
Dualidad: Sea 1 p , entonces el siguiente operador es un isomorfismo
completamente isometrico
X
0
b
b 7
d tr(A ) LPE (G)
A LPE (G)
b
G

Acotaci
on Completa: Todo operador : E1 E2 completamente exe : LP (G)
b LP (G)
b que satisface kk
e eb = kkeb
tiende a un operador
E1
E2
Interpolaci
on Compleja: Sea (E0 , E1 ) un par compatible y sea E el espacio de operadores interpolado para 0 < < 1.Entonces, dados 1 p0 , p1 h,
b LP1 (G))
b ' LP (G)
b de forma completamente isometrica
se tiene que (LPE00 (G),
E1
E
cuando 1/p = (1 )/p0 + /p1

El Algebra
de Grupo
A partir de ahora G denotara un grupo compacto al que le dotaremos de
una medida de Haar con masa total 1. Dadas dos funciones f1 , f2 L1 (G)
definimos su producto de convoluci
on como
Z
f1 f2 (g) =
f1 (gh1 )f2 (h)d(h)
G

Es un resultado conocido que el producto de convolucion constituye una ley de

composicion interna en L1 (G) para todo grupo locamente compacto. Nosotros
nos centraremos u
nicamente en el estudio de este producto de convolucion
sobre grupos compactos. Dado un grupo compacto G, diremos que el espacio de
Banach L1 (G) es el
algebra de grupo de G cuando lo dotamos del producto
de convolucion y de la involucion dada por f (g) = f (g 1) para f L1 (G). El
espacio L1 (G), con el producto y la involucion introducidos, s una ?algebrade
Banach- De hecho, tomando con masa total 1 ((G) = 1) la desigualdad
integral de Minkowski nos asegura que L2 (G) es ? subalgebra de banach
de L1 (G). Una funci
on de clase o funci
on central en G es una funcion
1
1
f L (G) que satisface f (ghg ) = f (h) para todo g,h G.Es decir, f

21
es constante en las clases de conjugacion de G. Denotaremos por Z(G) al
conjunto de las funciones centrales. Esta notacion esta motivada por el hecho
de que las funciones de clase constituyen el centro de algebra de grupo L (G)
con el producto de convolucion.
Toda representacion unitaria de de G determina el siguiente homomorfismo
de algebras, que tambien denotaremos por , entre L1 (G) y B(V )
Z
1
f L (G) 7 (f ) =
f (g)(g)d(g) B(V )
G

Interpretaremos este operador en sentido Debil. Es decir, para cada vector

v V definimos (f )v por medio de la relacion
Z
h(f )v, wi =
f (g)h(g)v, wid(g)
G

Es obvio que (f ) V y que k(f )k kf kL1 (G) . Tambien es sencillo ver que la
aplicacion (f ) : L1 (G) 7 B(V ) es un homomorfismo continuo de algebras.

Bibliografa
[1] Aranda, E. CURSO DE LATEX. Departamento de Matematicas, E.T.S.
Ingenieros Industriales, Universidad de Castilla, La Mancha. (2008).

22