NDICE
ndice
1. Introduccin
2. Preliminares
4
6
7
12
20
Hoja 2 de 27
1. Introduccin
Consideremos una aplicacin T de un conjunto M en si mismo. Nos preguntamos si existe algn
punto en M que es aplicado en si mismo, es decir si la ecuacin T (x) = x tiene solucin. Si esto
ocurre al punto x se lo llama punto jo de T . Los teoremas del punto jo garantizan la existencia
del mismo bajo ciertas condiciones sobre T y M .
Como consecuencia de teoremas del punto jo pueden ser obtenidos algunos de los resultados sobre existencia de soluciones de ecuaciones diferenciales, soluciones de sistemas con innitas
ecuaciones e incgnitas, medidas invariantes, existencia de subespacios invariantes, entre otros.
En el presente trabajo vamos a estudiar dos teoremas del punto jo, los cuales se pueden considerar como una extensin del Teorema del punto jo de Brouwer y forman parte del Anlisis
Funcional no Lineal.
Comenzaremos introduciendo algunas nociones necesarias para poder demostrar los teoremas.
En la tercer seccin enunciaremos y demostraremos el Teorema del punto jo de Schauder
(1930), el cual extiende el dominio de validez del Teorema de Brouwer a espacios normados de
dimensin innita pidiendo alguna condicin adicional a la aplicacin. Luego, como una aplicacin
veremos el Teorema de Lomonosov (1973) sobre la existencia de espacios invariantes no triviales
para operadores acotados sobre espacios de Banach.
En la cuarta seccin probaremos el Teorema del punto jo de Ryll-Nardzewski (1967) sobre
puntos jos simultaneos de semigrupos de aplicaciones anes sobre espacios localmente convexos.
Para ello utilizaremos el Teorema del punto jo de Marcov-Kakutani (1936) sobre puntos jos
comunes de familias de aplicaciones anes. Por ltimo, demostraremos la existencia de la medida
de Haar sobre grupos topolgicos compactos aplicando el Teorema de Ryll-Nardzewski.
Hoja 3 de 27
2 PRELIMINARES
2. Preliminares
En esta seccin se encuentran deniciones y resultados de topologa y anlisis funcional necesarios
para demostrar los teoremas y desarrollar los ejemplos en el presente trabajo.
1. , X ,
2. Si {U } entonces
U ,
3. Si
{Uk }nk=1
entonces
n
\
Uk .
k=1
Es decir, es una topologa si contiene a y a X, es cerrada por uniones arbitrarias y por intersecciones nitas. Al par (X, ) se lo llama espacio topolgico y a los elementos de conjuntos abiertos
de X. Adems, diremos que un conjunto A X es un entorno de x X si existe U tal que
x U A. A lo largo de este trabajo usaremos la siglas ET para referirnos a espacios topolgicos.
Denicin 2.1.2. Una subbase S para una topologa sobre X es una coleccin de subconjuntos de
X cuya unin es igual a X. La topologa generada por la subbase S se dene como la coleccin de
todas las uniones de intersecciones nitas de elementos de S .
Denicin 2.1.3. Un espacio topolgico (X, ) se denomina espacio de Hausdor si para cada par
x1 , x2 de puntos dintintos de X, existen entornos disjuntos U1 y U2 de x1 y x2 , respectivamente.
Denicin 2.1.4. Sea
numerable.
(X, )
Denicin 2.1.5. Un espacio topolgico (X, ) se dice localmente compacto en x si existe algn
subespacio compacto C de X que contenga un entorno de x. Si X es localmente compacto en cada
uno de sus puntos, X se dice localmente compacto.
Lema 2.1.6. Si Y es un subespacio compacto de un espacio de Hausdor X y x0 un punto que no
pertenece a Y entonces existen conjuntos abiertos disjuntos U y V tales que x0 U e Y V.
Demostracin. Sea x0 un punto de X\Y . Por ser X un espacio de Hausdor, para cada y Y existen
entornos disjuntos Uy y Vy de x0 e y , respectivamente. La coleccin {Vy }yY es un cubrimiento
de Y por conjuntos abiertos de X. Por la compacidad de Y podemos tomar una cantidad nita
de conjuntos Vy1 , ..., Vyn que cubren Y . Denimos V =
n
[
V yi y U =
i=1
n
\
i=1
Teorema 2.1.7. Sea X un espacio de Hausdor. Entonces X es localmente compacto si, y slo si
dados x X y un entorno U de x existe un entorno V de x tal que V es compacto y V U .
Trabajo Final de Anlisis Funcional
Hoja 4 de 27
Demostracin.
) Si denimos C = V , entonces C es un conjunto compacto y contiene al entorno V de x.
) Sean X un espacio localmente compacto, x X y U un entorno de x. Tomamos la compacticacin por un punto Y de X y denimos C = Y\U . Entonces C es cerrado en el espacio de Hausdor
Y y por lo tanto C es un subespacio compacto de Y. Por el Lema 2.1.6 podemos tomar conjuntos
abiertos disjuntos V y W tales que x V y C W . Entonces V es compacto en Y y adems
V C = , por lo tanto V U .
Teorema 2.1.8. (Teorema de Baire). Sea (X, ) un espacio topolgico. Si X es localmente compacto
Hausdor entonces para toda familia numerable
{Fn }nN de conjuntos cerrados de X se tiene que
!
Fn
Fn
= .
nN
1. Si
Fn
6=
nN
Gn
tambin es densa.
nN
Gn = X\
nN
Fn = X\
nN
Fn
nN
Gk .
kN
nN
nN
Gn .
nN
Hoja 5 de 27
2 PRELIMINARES
Denicin 2.2.3. Sea X un espacio vectorial sobre F y A X. Entonces A es convexo si, y slo
si la linea recta [a, b] = {(1 t)a + tb : 0 t 1} A, donde a, b A.
Denicin 2.2.4. Sean X un EVT y A X. El conjunto A es acotado si para cada entorno U de
cero existe s > 0 tal que A t U para todo t > s.
Proposicin 2.2.5. Sea X un EVT y V un entorno de cero. Entonces,
1. V contiene un entorno balanceado de cero;
2. Sea {rn }n F una sucesin estrictamente creciente. Si rn n
entonces X =
rn V.
n=1
Demostracin.
1. Sea V cualquier entorno de cero. Por la continuidad de la aplicacin de F X X dada por
(, x) 7 x en el origen, existen > 0 y un
[entorno W de cero tal que W V para todo
F con || < . Si consideramos U =
W entonces U es un entorno balanceado de
cero y est contenido en V .
||<
rn V.
n=1
nW . Por
n=1
la compacidad de K , podemos tomar una cantidad nita n1 < n2 < ... < nm tal que K
m
[
ni W .
i=1
Hoja 6 de 27
1. p (x + y) p (x) + p (y),
2. p (x) = || p (x).
Puede pasar que p (x) = 0 aunque x 6= 0.
Sean X un espacio vectorial y P una familia de seminormas sobre X. Si es la topologa sobre X
que tiene como subbase los conjuntos {x : p (x x0 ) < } donde p P , x0 X y > 0 entonces un
subconjunto U de X es abierto si, y slo si para todo x0 U existen p1 , ..., pn P y 1 , ..., n > 0
tal que
n
\
i=1
y)
=
6
0
.
Entonces
p
(x
y)
>
,
para
algn
>
0
.
Si
U
=
z
:
p
(x
z) < 2 y
V = z : p (y z) < 2 entonces U y V son entornos disjuntos de x e y , respectivamente.
4
donde [x, y] = {(1 t)x + t y : t (0, 1)} es el segmento abierto que une x con y.
2. z K es un punto extremal si el conjunto {z} es extremal en K, es decir si para cada par de
puntos x, y K se tiene que
z [x, y] x = y = z.
Hoja 7 de 27
2 PRELIMINARES
donde px () = |(x)| , X
{x X : |i (x x0 )| < } U.
i=1
Una red {xi }iI X converge dbil a x0 si, y slo si (xi ) converge a (x0 ) para toda X .
De forma similar, un subconjunto U es abierto en X con la topologa dbil * si para toda 0 U
existen x1 , ..., xn X y > 0 tales que
n
\
{ X : |( 0 )(xi )| < } U.
i=1
y una red {i }iI X converge dbil * a si, y slo si i (x) converge a (x) para todo x X.
4
y S2 S1 es un conjunto extremal de S1
Lema 2.3.9. Sean X un espacio vectorial, A X y f X0 tal que s = sup {f (x) : x A} < . Si
Af = {x A : f (x) = s} =
6 entonces Af es un conjunto extremal de A.
Demostracin. Sean x, y A y t (0, 1) tales que (1 t)x + ty = z Af . Si x / Af entonces
f (x) < s, por lo tanto f (z) = (1 t)f (x) + tf (y) < s. Anlogamente, si y
/ A entonces f (z) < s.
Por lo tanto z / Af , llegamos a una contradiccin.
{C : A C, C
es convexo}.
{C : A C, C
es convexo y cerrado}.
Hoja 8 de 27
Proposicin 2.3.11. En un espacio normado la cpsula convexa de todo conjunto nito es compacta.
Demostracin. Sea (X, kk) un espacio normado y {x1 , ..., xn } X. Por la denicin de cpsula
convexa,
( n
)
n
X
X
co({x1 , ..., xn }) =
i xi :
i = 1 con i [0, 1] para i = 1, ..., n
i=1
i=1
i=1
n
X
i=1
Vamos a utilizar el corolario del siguiente Teorema de Hahn-Banach para demostrar el Teorema
de Krein-Milman. Se puede encuentra una demostracin de los mismos en [9].
un subconjunto compacto,
Demostracin. Veamos que Ext(K) 6= . Sea C la coleccin de todos los subconjuntos extremales,
compactos y no vacos de K ordenada parcialmente por la inclusin al revs, es decir si A, B C ,
A B si, y slo si B A. La coleccin C es no vaca ya que K C .
\
Sea A una subcoleccin de C totalmente ordenada y consideremos S =
A. Dado que A
AA
est totalmente ordenada, tiene la propiedad de la interseccin nita, y como los elementos de A
son cerrados y K es compacto, S 6= . Adems, S es compacto por ser un subconjunto cerrado
de K , y es un conjunto extremal de K , pues si x, y K y t (0, 1) con (1 t) x + t y S ,
entonces (1 t) x + t y A para todo A A. Como los elementos de A son conjuntos extremales
de K , tenemos que x, y A, para todo A A. Luego, x, y S , y por lo tanto A tiene una cota
superior. Entonces, por el Lema de Zorn, C tiene un elemento maximal, es decir existe M C tal
que B M (M B) para todo B C .
Veamos que M tiene un nico punto.
Si aplicamos el Lema 2.3.9 a cada f X el conjunto Mf es compacto y extremal de M . Entonces,
por el Lema 2.3.8, Mf es extremal de K para toda f X , luego por la maximalidad de M tenemos
Departamento de Matemtica - UNLP
Hoja 9 de 27
2 PRELIMINARES
que Mf = M, f X . Por lo tanto, cada f X es constante sobre M . Luego, como X separa
puntos tenemos que M contiene un solo elemento, que es un punto extremal de K .
Ahora veamos que K = co(Ext(K)). Sea H = co(Ext(K)).
) Como K es compacto y convexo, H K , y por lo tanto H tambin es compacto.
) Supongamos que existe x0 K\H . Dado que {x0 } es cerrado y H es compacto, por el Corolario
2.3.13, existen f : X R lineal y continua, t R y > 0 tales que para todo x H
f (x) t < t f (x0 ).
Entonces, f (H) < t f (x0 ). Por el Lema 2.3.9, Kf = {x K : f (x) = supxK f (x)} K es
extremal de K . Por lo visto en la primera parte de la demostracin, Kf tiene un punto extremal,
al cual llamamos e. Por el Lema 2.3.8, e es extremal de K . En particular, Kf Ext(K) 6= , pero
por la desigualdad vista antes,
f (e) = supxK f (x) f (x0 ) t > f (Ext(K)).
Lema 2.3.15. Sea X un espacio localmente convexo. Si K1 , ..., Kn son subconjuntos compactos y
convexos de X enntonces co(K1 ... Kn ) = co(K1 ... Kn ).
Demostracin. Veamos que co(K1 ... Kn ) es cerrado. Dado que X es un espacio de Hausdor,
basta ver que co(K1 ... Kn ) es compacto.
Sea
( n
)
n
X
X
K=
i xi : i [0, 1],
i = 1 y xi Ki , i = 1, ..., n .
i=1
i=1
Si [0, 1] y x, y K , entonces
x + (1 )y =
n
X
n
X
i xi + (1 ) i yi
i=1
n
X
i=1
(i xi + (1 )i yi )
i=1
n
n
X
X
con i , i [0, 1] tales que
i = 1,
i = 1 y xi , yi Ki para i = 1, ..., n. Si denimos
i=1
i=1
n
X
ri = 1,
i=1
x + (1 )y =
n
X
i xi + (1 )i yi
i=1
ri
ri ,
i yi
y por la convexidad de cada Ki , i xi +(1)
Ki . Entonces x + (1 )y K , y por lo tanto
ri
K es convexo. Luego, K = co(K1 ... Kn ).
Hoja 10 de 27
i=1
n
X
i xi .
i=1
Dado que f es continua, el conjunto C K1 ... Kn es compacto, por ser producto nito de
conjuntos compactos, y f (C K1 ... Kn ) = K , tenemos que K es compacto.
n
[
(yk + U0 ). Consideremos
i=1
n
n
X
X
k = 1. Pero x0 es punto
k xk con xk Kk , k 0 y
k=1
k=1
Hoja 11 de 27
Observacin 3.1.2. El Teorema de Brouwer vale para cualquier conjunto K homeomorfo a la bola
unitaria cerrada B Rn . En efecto, si f : K K es una funcin continua y g : K B es un
homeomorsmo entonces la aplicacin h := g f g1 : B B es continua. Por el Teorema del
punto jo de Brouwer, existe x B tal que h(x) = x, luego, y = g1 (x) es punto jo de f .
En particular, vale para cualquier conjunto compacto y convexo de un espacio normado de dimensin nita como veremos en el corolario 3.1.4.
4
Antes de enunciar el corolario 3.1.4 vamos a probar una proposicin necesaria para su demostracin.
= inf kkk : k K
. Entonces
podemos aplicarle la Proposicin y hallar k tal que
k
= dist(0, K)
es el elemento buscado.
k0 = k + h
Supongamos que h = 0 y sea d := dist(0, K) = inf {kkk : k K}. Por denicin de nmo, dado
n N existe una sucesin {kn }n K que converge en norma a d.
Por la regla del paralelogramo,
kn km
2 1
kn + km
2
2
2
=
kkn k + kkm k
2
2
2
2
m
m kn km
y dado que K es convexo, kn +k
, 2 K , entonces
kn +k
d2 . Dado > 0, sea n0 N tal
2
2
2
1 2
2
que n n0 , kkn k < d + 4 . Luego, por la desigualdad anterior, si n, m n0 entonces
kn km
2 1
1 2
1
2
<
2d + d2 = 2 .
2
2
2
4
Por lo tanto, {kn }n es de Cauchy. Entonces, dado que H es completo y K es cerrado, existe k0 K
tal que kkn k0 k 0. Adems, kkn k kk0 k, entonces por unicidad del lmite, kk0 k = d.
n
Hoja 12 de 27
Para ver la unicidad, supongamos que existe k0 K tal que kk0 k =
k0
= d. Por convexidad,
0
k0 +k
2
K . Entonces
k + k
1
0
0
d
kk0 k +
k0
= d,
2
2
Entonces,
d(xn , (xn )) d(xn , (x)) d(xn , x) + d(x, (x))
+ d(x, (x)).
2
Por lo tanto,
d(x, (x)) d(x, (xn )) d(x, xn ) + d(xn , (xn ))
Con lo cual,
d(x, (x)) d(x, (xn )) < + d(x, (x)).
Hoja 13 de 27
Ejemplo 3.2.1. Consideremos el espacio de Hilbert H := L2 (, ) con la base ortonormal {en }nZ ,
int
donde en (t) = e 2 .
Denimos la aplicacin lineal T : H H dada por
!
X
xn e n
n Z
xn en+1 ,
n Z
1kxk
2
e0 + T (x),
es continua y
1 kxk
1 kxk
+ kT (x)k
+ kxk 1,
2
2
es decir f (B1 (0)) B1 (0). Sin embargo, f no tiene un punto jo en la bola unitaria.
Supongamos que existe x B1 (0) tal que f (x) = x, entonces x 6= 0. Adems, kxk < 1, pues en
caso contrario f (x) = T (x) y por lo tanto T (x) = x, pero esto es absurdo ya que el nico punto
jo de
H, admite un nico desarrollo en serie de Fourier dado por
XT es x = 0. Dado que x
x
=
xn en , donde xn = hx, en i. Como x
= T (
x), tenemos que
nZ
1 k
xk
1 k
xk
x
T (
x) = x
f (
x)
e0 =
e0 ,
2
2
es decir,
X
(xn xn1 ) en =
nZ
1 k
xk
e0 .
2
0
1k
xk
2
si n 6= 0 .
si n = 0
Hoja 14 de 27
Por lo tanto,
X xj = x12 6= x0 = xi , j 2 y i 1, lo que es absurdo pues por la identidad de
Parseval,
x2n = k
xk < .
nZ
q
f (
x) = ( 1 k
xk2 , x
1 , x
2 , ...) = (0, x
1 , x
2 , ...) = x
.
Por lo tanto, 0 = x1 = x2 = ..., es decir x = 0 lo cual es absurdo. Luego, f no tiene un punto jo.
|ma (x1 ) ma (x2 )| = | kx1 ak| |kx2 ak kx1 ak| kx2 x1 k < .
{ma (x)(a x) : a A}
P
,
{ma (x) : a A}
{ma (x) ka xk : a A}
P
< .
{ma (x) : a A}
Teorema 3.2.6. (Teorema del punto jo de Schauder). Sea E un subconjunto convexo, cerrado y
acotado de un espacio normado X. Si f : E X es una aplicacin compacta tal que f (E) E ,
entonces existe x E tal que f (x) = x.
Departamento de Matemtica - UNLP
Hoja 15 de 27
para todo x E .
Sea Xn el espacio lineal generado por el conjunto An y denimos En = E Xn . Entonces, Xn es
un espacio normado de dimensin nita, En es un subconjunto convexo por denicin y compacto de
Xn ya que En es cerrado relativo de Xn , siendo este ltimo un espacio de Hausdor, y fn : En En
es continua por ser composicin de funciones continuas. Por el Corolario 3.1.4 , existe un punto
xn En tal que fn (xn ) = xn .
Dado que {f (xn )}nN es una sucesin en el conjunto campacto K , existe una subsucesin
f (xnj ) jN y un punto x0 K tal que f (xnj ) x0 . Dado que fnj (xnj ) = xnj , tenemos
j
que
xn x0
fn (xn ) f (xn )
+
f (xn ) x0
1 +
f (xn ) x0
.
j
j
j
j
j
j
nj
Luego, xnj x0 y, dado que f es una funcin continua, f (x0 ) = limn f (xnj ) = x0 .
j
Otra forma de demostrar el Teorema del punto jo de Schauder es probar que el conjunto
compacto
a un subconjunto compacto y convexo H del cubo de Hilbert
y convexo2 E es homeomorfo
1
H0 = {xn }
`
:
|x
|
y
que
si : H H es una aplicacin continua entonces existe
n
n=1
2n1
x H tal que (x) = x. Luego, utilizar el hecho que la propiedad del punto jo se preserva por
homeomorsmos Se puede encontrar la demostracin detallada en [8].
Denicin 3.3.1. Si X e Y son espacios de Banach y A : X Y es una transformacin lineal, entonces A es compacto si A(B(X)) es compacto en Y, siendo B(X) la bola unitaria en X. Denotamos
con B0 (X, Y) al conjunto de todos los operadores compactos de X en Y; B0 (X) = B0 (X, X).
Denicin 3.3.2. Sean X es un espacio de Banach y T B(X). Un subespacio invariante de T
es un subespacio lineal cerrado M de X tal que T (x) M para todo x M. El subespacio M
es no trivial si es distinto de (0) X. Denotamos TLat(T ) a la coleccin de todos los subespacios
invariantes de T . Si A B(X) entonces Lat(A) = {Lat(T ) : T A}.
Teorema 3.3.3. (Teorema de Mazur). Si X es un espacio de Banach y K es un subconjunto
compacto de X entonces co(K) es compacto.
Trabajo Final de Anlisis Funcional
Hoja 16 de 27
Demostracin. Dado que co(K) es completo, basta ver que es totalmente acotado.
Como K es compacto, dado > 0 podemos tomar una cantidad nita x1 , x2 , ..., xn de elementos
de K tales que K
n
[
j=1
m
[
B(yi , ). Si w co(K),
4
i=1
l
l
X
X
existe z co(K) tal que kw zk < 4 , adems z = r zr , con zr K, r 0 y r = 1. Ahora,
r=1
r=1
para cada zr existe xj(r) tal que
xj(r) zr
< 4 . Entonces,
l
l
l
X
X
X
r xj(r)
=
r (zr xj(r) )
r
zr xj(r)
< .
z
4
r=1
Dado que
l
X
r=1
r xj(r)
r=1
r=1
l
X
C , existe yi C tal que
r xj(r) yi
< 4 .
r=1
m
[
i=1
Lema 3.3.4. (Lema de Lomonosov). Si A es una sublgebra de B(X) tal que el operador identidad
I A, Lat(A) = {(0), X} y K es un operador compacto no nulo sobre X entonces existe A A tal
que ker(AK I) 6= (0).
Demostracin. Sea K un operador compacto no nulo y supongamos, sin perdida de generalidad, que
K
kKk = 1 (en caso contrario podemos tomar el operador kKk
). Tomemos x0 X tal que kK(x0 )k > 1
y sea S = {x X : kx x0 k 1} la bola unitaria centrada en x0 . Entonces, 0 / S , pues si 0 S
entonces kx0 k 1, por lo tanto 1 < kK(x0 )k kKk kx0 k 1 lo cual es una contradiccin. Adems,
si x S entonces kK(x0 ) K(x)k kKk kx0 xk 1, pero kK(x0 )k > 1, por lo tanto K(S) est
acotado lejos de cero, luego 0 / K(S). Dado que K es un operador compacto, K(S) es compacto.
Como A es un lgebra, para todo elemento no nulo x X, {T (x) : T A} es un subespacio invariante
para A y contiene un elemento no nulo, pues dado que I A, x = I(x) {T (x) : T A}, por lo tanto
{T (x) : T A} Lat(A). Luego, por hiptesis, {T (x) : T A} = X. Entonces, para cada elemento
no nulo x[
X , en particular para todo y K(S), existe T A tal que kT (y) x0 k < 1, es decir
K(S)
{y : kT (y) x0 k < 1}, siendo {y : kT (y) x0 k < 1} conjuntos abierto. Entonces, por
TA
la compacidad de K(S) podemos tomar una cantidad nita de operadores T1 , T2 , ..., Tn A tal que
K(S)
n
[
j=1
Dado que Tj es continua, aj es continua en la bola cerrado B1 (x0 ) y se anula en el borde, como
adems se anula en (B1 (x0 ))c , por el Lema del Pegamiento, aj resulta continua. Por la eleccin del
Departamento de Matemtica - UNLP
Hoja 17 de 27
aj (y)
n
X
aj (y)
j=1
n
X
bj (K(x))Tj K(x).
j=1
n
X
bj (K(x)) = 1 para todo
j=1
x S , entonces (x) es una combinacin convexa de elementos de S , luego por ser S un conjunto
convexo, (S) S .
El operador Tj K B0 para todo j . En efecto, si B es un conjunto acotado de X, dado que
K es compacto, K(B) es compacto y como Tj es continuo, Tj (K(B)) tambin lo es. Ahora, dado
que Tj (K(B) es cerrado y est contenido en Tj (K(B)), tambin es compacto y como la unin de
n
[
conjuntos precompactos es un conjunto precompacto, Tj K(S) tiene clausura compacta. Por el
j=1
n
[
j=1
n
X
j Tj . Entonces, A A y adems
j=1
A(K(x1 )) =
n
X
j Tj (K(x1 )) = (x1 ) = x1 .
j=1
Hoja 18 de 27
Como ya vimos en la demostracin del Lema anterior AK B0 , entonces AK|N B0 . Esto implica
que BN (0, 1) = AK(BN (0, 1)) es compacto, donde BN (0, 1) es la bola unitaria de N . Por lo tanto,
N debe tener dimensin nita. Adems, dado que A y K conmutan con T , para cada x N ,
AK(T (x)) = T (AK(x)) = T (x) entonces T (x) N , es decir N es invariante para T . Ahora, como
N tiene dimensin nita, T|N tiene un autovalor entonces M = ker(T I) 6= (0), pero si M = X
entonces T = I lo cual contradice que T no es mltiplo de la identidad. Adems, si S A, para
todo x M,
(T I)(S(x)) = T S(x) S(x) = S(T (x)) S(x) = S((T I)(x)) = S(0) = 0.
Hoja 19 de 27
n
n
X
X
T ( j xj ) =
j T (xj ),
j=1
donde xj K , j 0 y
j=1
n
X
j = 1.
:KV
j=1
El siguiente Teorema del punto jo para una familia de aplicaciones anes lo utilizaremos para
demostrar el Teorema de Ryll-Nardzewski.
(n)
1X k
T .
=
n
k=0
Si S, T F y n, m 1 entonces
= T (m) S (n) . En efecto, dado que F es abeliana,
ST = T S . Supongamos que S (n1) T = T S (n1) para n N jo, entonces
S (n) T (m)
x0 = T (n) (x) =
i
1h
x + T (x) + .... + T (n1) (x) .
n
Entonces,
i 1
1h
T (x) + ... + T (n) (x)
x + T (x) + ... + T n1 (x)
n
n
i 1
1 h (n)
=
T (x) x [K K] .
n
n
T (x0 ) x0 =
Hoja 20 de 27
aA
dbilmente cerrado, cada conjunto a + S tambin lo es. Dado que D es un subconjunto del espacio
de Hausdor X y es dbilmente cerrado en K compacto, D es de Hausdor y dbilmente compacto.
Entonces, dado que (an + S) D es cerrado relativo de D y D =
n=1
de Baire (2.1.8), existe a A tal que ((a + S) D) 6= . Entonces existe un conjunto dbilmente
abierto W de X tal que W D (a + S) D y W D =
6 .
Sean K1 = co(D\W ) y K2 = co(D W ). Dado que K1 y K2 son conjuntos compactos y convexos
y K1 K2 contiene los puntos extremales de K , por el Teorema de Krein-Milman 2.3.14 y el Lema
2.3.15 tenemos que K = co(K1 K2 ).
Adems, K1 6= K , pues si K1 = K tenemos que K = co(D\W ). Entonces, por el Teorema 2.3.16,
Ext(K) D\W , por lo tanto D D\W , con lo cual D W = . Esto contradice lo visto antes.
Ahora, dado que (a + S) D es un conjunto cerrado y convexo que contiene a D W , tenemos que
K2 a + S . Entonces, por denicin de S , p diam(K2 ) sup {p (x y) : x, y K2 } 2 .
Sea r (0, 1] y denimos fr : K1 K2 [r, 1] K por fr (x1 , x2 , t) = tx1 +(1t)x2 . Entonces, fr
es continua y dado que (K1 K2 [r, 1]) es dbilmente compacto y convexo, Cr fr (K1 K2 [r, 1])
tambin lo es. Adems, Cr 6= K para todo r (0, 1], en efecto si Cr = K y z Ext(K) entonces
existen x1 K1 , x2 K2 , t [r, 1] tales que z = tx1 + (1 t) x2 . Como t 6= 0, z = x1 , por lo tanto
Ext(K) K luego K1 = K , tenemos una contradiccin.
Si y K\Cr , por denicin de Cr y dado que K = co(K1 K2 ), existen x1 K1 , x2 K2 tales
que y = tx1 + (1 t) x2 con t [0, r). Entonces,
p (y x2 ) = p (t(x1 x2 )) = t p (x1 x2 ) r d,
p (y y) p (y x2 ) + p (x2 x
2 ) + p (
x2 y) 2rd + p diam(K2 ) 2rd + .
2
Hoja 21 de 27
Teorema 4.1.7. (Teorema del punto jo de Ryll-Nardzewski). Si X es un espacio localmente convexo, Q es un subconjunto convexo, dbilmente compacto de X y S es un semigrupo no contrctil
de aplicaciones anes y dbilmente continuas de Q en Q, entonces existe un punto x0 Q tal que
T (x0 ) = x0 para toda T en S .
Demostracin. Por la compacidad de Q basta ver que todo subconjunto nito de S tiene un punto
jo comn en Q.
Sea {T1 , T2 , ..., Tn } S . Denimos T0 = (T1 + ... + Tn )/n, entonces T0 : Q Q y es una
aplicacin dbilmente continua y afn. Luego, por el Teorema de Markov-Kakutani (4.1.2) existe
x0 Q tal que T0 (x0 ) = x0 .
Veamos que Tk (x0 ) = x0 para 1 k n.
Si Tk (x0 ) 6= x0 para algn k, podemos reordenar los Tk de manera que estos aparezcan primeros
en la suma, es decir existe m N tal que Tk (x0 ) 6= x0 para todo k m y Tk (x0 ) = x0 para todo
k > m. Entonces
1
1
x0 = T0 (x0 ) = (T1 (x0 ) + ... + Tn (x0 )) = (T1 (x0 ) + ... + Tm (x0 )) +
n
n
nm
n
x0 .
Hoja 22 de 27
Por lo tanto, podemos suponer que Tk (x0 ) 6= x0 para 1 k n pero T0 (x0 ) = x0 . Ahora, dado que
S es una familia no contrctil, por el Lema 4.1.6 existen una seminorma continua p sobre X y > 0
tales que para todo T S y 1 k n,
p (T (Tk (x0 )) T (x0 )) > .
()
1
[ST1 (x0 ) + ... + STn (x0 )] K\C.
n
Luego, por la convexidad de C debe existir algn 1 i n tal que STi (x0 ) K\C . Entonces,
p (STi (x0 ) S(x0 )) p diam(K\C) .
r
\
i=1
FF
Hoja 23 de 27
Denicin 4.2.1. Sean G un conjunto con una operacin binaria : G G G y una familia
de subconjuntos de G. Decimos que G es un grupo topolgico si
1. (G, ) es un grupo,
2. (G, ) es un espacio topolgico,
3. las aplicaciones : G G G y : G G dadas por (x, y) = x y, (x) = x1 son
continuas.
Teorema 4.2.2. Si G es un grupo topolgico compacto, entonces existe una nica medida positiva
regular de Borel m sobre G tal que
1. m(G) = 1,
2. Si U es un subconjunto abierto no vaco de G entonces m(U ) > 0,
3. Si A es un subconjunto de Borel de G y x G, entonces
m(A) = m(Ax)
= m(xA) = m(A1 )
1
1
donde Ax = {ax : a A} , xA = {xa : a A} , A = a : a A .
La medida m se llama madida de Haar para G.
Si G es un grupo topolgico compacto, M (G) denota el espacio de todas las medidas regulares
Borel sobre G. Entonces, una medida de Haar para un grupo G es un punto del conjunto
Q := { M (G) : (G) = 1}
f d.
G
+
i1
f (R0 ),
f 0
Hoja 24 de 27
e C(G) .
G un grupo topolgico compacto y F Q
ex L
e y )(F ) es continua.
: G G (C(G) , ) dada por (x, y) = (R
Entonces la aplicacin
Demostracin. Queremos ver que la aplicacin (x, y) 7 F (f (xy)) es continua para toda f C(G),
donde f (x y) es una aplicacin de G en F tal que z 7 f (xzy). Dado que F es continua sobre C(G),
basta ver que (x, y) 7 f (x y) es continua para cada f C(G).
Sean f C(G) ja, x, y G y > 0, queremos ver que existen entornos Ux y Uy de x e y ,
respectivamente, tales que para todo xe Ux e ye Uy , se tiene que |f (e
xze
y ) f (xzy)| < para
z G. Para esto veamos que dado > 0 existe un entorno V de e (e es la identidad G) tal que
para todo w G, |f (w)
e f (w)| < , si w
e V wV .
Sea > 0, dado que f es continua, para todo w G existe un entorno Uw de w tal que si
w
e Uw entonces |f (w)
e f (w)| < 2 . Por la continuidad de la aplicacin : G G G dada
por (u, v) = uwv en (e, e), existe un entorno Ww de e tal que Ww wWw Uw . Por la continuidad
de la aplicacin (u, v) 7 uv , existe un entorno Vw de la identidad tal que Vw2 Ww y Vw Ww .
Como el conjunto G es compacto y {Vw wVw }wG es un cubrimiento por abiertos de G, podemos
tomar una cantidad nita w1 , ..., wn G tal que G =
n
[
i=1
n
\
Vwi , el
i=1
Ahora, sean > 0 y x, y G. Por lo visto en el prrafo anterior, si w = xzy , podemos tomar
un entorno V de e tal que, para todo z G, |f (w)
f (xzy)| < si w
V wV . Si consideramos
Ux = V x y Uy = yV , entonces para todo x
Ux , y Uy , z G se tiene que f |(
xz y) f (xzy)| < .
Ahora, veamos que el conjunto S satisface las hiptesis del Teorema del punto jo de RyllNardzewski 4.1.7.
Los elementos de S son aplicaciones anes ya que son composicin de las aplicaciones anes Rex
e
y Ly .
Departamento de Matemtica - UNLP
Hoja 25 de 27
Z Z
F (f ) =
f d =1
f (x)d(x)d(y)
Z Z
Z Z
=2
f (yx)d(x)d(y) =3
f (yx)d(y)d(x)
Z Z
Z
=4
f (y)d(y)d(x) =5 f d = F (f ).
Las igualdades 1 y 5 son vlidas pues (G) = (G) = 1, las igualdades 2 y 4 por la invarianza
de estas medidas y la igualdad 3 por el Teorema de Fubini (las medidas son nitas y f es continua
sobre G).
Hoja 26 de 27
BIBLIOGRAFA
Bibliografa
[1] Boothby, W. M.; An Introduction to Dierentiable Manifolds and Riemannian Geometry, Posts and Telecom Press, Singapore, 2007.
[2] Conway, J. B.; A course in functional analysis. Second edition. Graduate Texts in
Mathematics, 96. Springer-Verlag, New York, 1990.
[3] Dunford, N. and Schawartz, J. T.; Linear Operator. Part I:General Theory, Pure and
Applied Mathematics, Vol 7, Interscience Publishers, Inc. New York, 1958.
[4] Milnor, J.; Analytic proofs of the "Hairy ball theorem.and the Brouwer xed point
theorem. American Mathematical Monthy 85-7:521-524, 1978.
[5] Namioka, I. y Asplund, E.; A geometric proof of Ryll-Nardzewski's xed point theorem,
Bull. Amer. Math. Soc. Volume 73, Number 3, 443-445, 1963.
[6] Rudin, W.; Functional Analysis, McGraw-Hill, Inc, New York, 1973.
[7] Ryll-Nardzewski, C.; On xed points of semigroups of endomorphisms of linear spaces, Fifth Berkeley Symposium on Mathematical Statistics and Probability, Vol. 2:
Contributions to Probability Theory, Part 1, Berkeley, Calif.: University of California
Press, 1967
[8] Smart, D. R.; Fixed point theorems, Cambridge University Press, 1974.
[9] Stojano, D.; Un curso de Anlisis Funcional, 2011.
Hoja 27 de 27