Teoremas del punto jo

Mara Guadalupe Garca

17 de abril de 2013

NDICE

ndice
1. Introduccin

2. Preliminares

2.1. Nociones Topolgicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2. Espacios vectoriales topolgicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3. Espacios localmente convexos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4
6
7

3. Teorema del punto jo de Schauder

12

4. Teorema del punto jo de Ryll-Nardzewski

20

3.1. Teorema del punto jo de Brouwer . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

3.2. Teorema del punto jo de Schauder . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.3. Aplicacin: Teorema de Lomonosov . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.1. Teorema del punto jo de Ryll-Nardzewski . . . . . . . . . . . . . . . . . . . . . . . . 20
4.2. Aplicacin: Existencia de la medida de Haar sobre un grupo compacto . . . . . . . . 23

Trabajo Final de Anlisis Funcional

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.

Departamento de Matemtica - UNLP

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.

2.1. Nociones Topolgicas

Denicin 2.1.1. Sea X un conjunto. Una topologa sobre X es una coleccin
las siguientes propiedades:

P(X) que verica

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, )

un ET. Se dice que X es separable si tiene un subconjunto denso

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

conjuntos abiertos disjuntos que contienen a x0 e Y , respectivamenete.

n
\

Uyi . Luego, U y V son

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

2.1 Nociones Topolgicas

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

para todo n N implica que

Fn

= .

nN

Esta condicin se puede enunciar de las siguientes dos maneras:

!

1. Si

Fn

6=

entonces Fn 6= para algn n N.

nN

2. Dada la sucesin {Gn }nN de conjuntos abiertos densos, se tiene que

Gn

tambin es densa.

nN

Demostracin. Probaremos el enunciado 2. Observar que, dados Fn como en el enunciado 1, si

consideramos Gn = X\Fn para cada n N, tenemos que
!
Gn = X\Fn y

Gn = X\

nN

Fn = X\

nN

Fn

nN

Sean x X y U un entorno de x. Dado que G1 es denso en X, U G1 6= . Sea y U G1 . Como

U G1 es abierto y X es localmente compacto, por el Teorema 2.1.7 existe un entorno V1 de y tal
que V1 es compacto y V1 V1 U G1 . Ahora, dado que G2 es denso en X, V1 G2 6= entonces
existe un entorno V2 de algn punto de V1 G2 tal que V2 es compacto y V2 V2 V1 G2 . Luego,
V2 G1 G2 .
Procediendo de esta manera, construimos una sucesin de conjuntos abiertos {Vn }nN tal que:
1. Vn es compacto para todo n N,
2. Vn+1 Vn+1 Vn Vn V1 U ,
3. Vn

Gk .

kN

Ahora, dado que V1 es compacto y la coleccin Vn nN tiene la propiedadde la interseccin nita,

\
\
existe z
Vn . Entonces, z U
Gn . Como U era un entorno arbitrario de x, tenemos que


nN

nN

Gn .

nN

Departamento de Matemtica - UNLP

Hoja 5 de 27

2 PRELIMINARES

2.2. Espacios vectoriales topolgicos

Denicin 2.2.1. Un espacio vectorial topolgico es un espacio topolgico (X, ) en el cual X es
un F-espacio vectorial, la topologa es de Hausdor y tal que con respecto a dicha topologa
a)la aplicacin de X X X dada por (x, y) 7 x + y es continua;
b)la aplicacin de F X X dada por (, x) 7 x es continua.
Usaremos las letras EV T para referirnos a espacio vectorial topolgico.
Denicin 2.2.2. Sea X es un espacio vectorial sobre F y A X. Se dice que
1. A es balanceado si A A para todo F con || 1;
2. A es absorbente si para cada x X existe > 0 tal que tx A para 0 < t < .

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 .

||<

2. Sea x X jo. Como la aplicacin h : F F X dada por h() = x es continua, el

conjunto A = { F : x V } es abierto y contiene a cero. Entonces, existe n0 N tal que
1
1
rn A, n n0 . Lo cual implica que rn x V , por lo tanto x rn V para n n0 . Luego,
como esto es vlido para cada x X tenemos que X =

rn V.

n=1

Proposicin 2.2.6. Todo conjunto compacto en un EV T es acotado.

Demostracin. Sean X un EV T , K X un subconjunto compacto y V un entorno de cero. Por la
Proposicin anterior, existe un entorno balanceado W de cero contenido en V y K

nW . Por

n=1

la compacidad de K , podemos tomar una cantidad nita n1 < n2 < ... < nm tal que K

m
[

ni W .

i=1

Dado que W es balanceado, nj W ni W si j < i, por lo tanto, K nm W . Luego, K tW tV

si t > nm .

Trabajo Final de Anlisis Funcional

Hoja 6 de 27

2.3 Espacios localmente convexos

2.3. Espacios localmente convexos

Denicin 2.3.1. Sea
que:

es un EV sobre F. Una seminorma es una funcin p : X [0, ) tal

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
\

{x X : pi (x x0 ) < i } U . Con esta topologa X es un EV T .

i=1

Denicin 2.3.2. Un espacio localmente convexo es un espacio

\ vectorial topolgico X cuya topologa
est denida por una familia de seminormas P tales que
{x : p (x) = 0} = {0}.
pP

Abreviaremos espacio localmente convexo con las letras ELC.

\
Observacin 2.3.3. La condicin
{x : p (x) = 0} = {0} hace que la topologa denida por la
pP

familia de seminorma P sea de Hausdor. En efecto, si x, y X son puntos distintos,

existe p P

tal que
p
(x

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

Denicin 2.3.4. Sea K un subconjunto de un espacio vectorial X.

1. Un subconjunto A es extremal en K si para cada x, y K se cumple que
[x, y] A 6= x, y A

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.

Denotaremos por Ext(K) al conjuntos de los puntos extremales de K .

Denicin
2.3.5. Sea X un F-espacio vectorial. El espacio dual algebraico de X es el conjunto
0
X = { : X F : es lineal}.
Si (X, ) es un espacio vectorial topolgico, se denomina dual topolgico de X al conjunto
n
o
0
X = (X, ) = X : es -continua .

El espacio X tiene estructura de espacio vectorial, denimos el elemento ( + ) X como

( + )(x) = (x) + (x) para x X, con F y , X .
0
Si X es un C-espacio vectorial entonces denotaremos por XR y (X, )R a sus duales pensndolos
como R-espacios vectoriales.
Departamento de Matemtica - UNLP

Hoja 7 de 27

2 PRELIMINARES

Denicin 2.3.6. Sea X es un ELC y X su dual topolgico.

A la topologa sobre X inducida por la familia de seminormas
{p : X } ,

donde p (x) = |(x)| , x X

se la denomina topologa dbil de X y se la denota por wk (X, X ).

A la topologa sobre X inducida por la familia de seminormas
{px : x X} ,

donde px () = |(x)| , X

se la denomina topologa dbil * de X y se la denota por wk (X , X).

Observacin 2.3.7. Un subconjunto U es dbilmente abierto en X si, y slo si para todo x0 U

existen 1 , ..., n X y > 0 tales que
n
\

{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

Lema 2.3.8. Si S1 K es un conjunto extremal de

entonces S2 es un conjunto extremal de K .

y S2 S1 es un conjunto extremal de S1

Demostracin. Sean x, y K y t (0, 1) tales que (1 t)x + ty S2 . Dado que S2 S1 y S1 es

un conjunto extremal de K , x, y S1 . Ahora, como S2 es un conjunto extremal de S1 , concluimos
que x, y S2 .


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.


Denicin 2.3.10. Sea X un EV y A un subconjunto de X. La cpsula convexa de A es el conjunto

co(A) =

{C : A C, C

es convexo}.

Si X es un EVT, llamamos cpsula convexa cerrada de A al conjunto

co(A) =

{C : A C, C

es convexo y cerrado}.

Es decir, co(A) es la clausura de co(A).

Trabajo Final de Anlisis Funcional

Hoja 8 de 27

2.3 Espacios localmente convexos

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

y puede expresarse como la imagen del conjunto compacto

n
X
n
(1 , ..., n ) R :
i = 1 con i [0, 1] para i = 1, ..., n

i=1

mediante la aplicacin continua dada por (1 , ..., n ) 7

ta.

n
X

i xi . Luego, co({x1 , ..., xn }) es compac-

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].

Teorema 2.3.12. (Teorema de separacin de Hahn-Banach). Sea (X, ) un EV T . Si U y V son

subconjuntos convexos, disjuntos y no vacos de X tales que U es abierto, entonces existen (X, )
y t R tales
Re((x)) < t < Re((y)) para todo par x U, y V.
Corolario 2.3.13. Sea (X, ) un ELC . Si K y F son dos subconjuntos convexos, disjuntos y no
vacos de X tales que K es compacto y F es cerrado entonces existen (X, )R , > 0 y t R
tales que
(x) t < t (y) para todo par x K, y F.
Teorema 2.3.14. (Teorema de Krein-Milman). Si X un ELC y
convexo y no vaco de X entonces Ext(K) 6= y K = co(Ext(K)).

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)).

As obtenemos una contradiccin. Por lo tanto, K co(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

ri = i + (1 )i para cada i = 1, ..., n entonces

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 ).

Trabajo Final de Anlisis Funcional

Hoja 10 de 27

2.3 Espacios localmente convexos

Ahora, sea {ei }ni=1 la base cannica de Rn y consideremos el conjunto
( n
)
n
X
X
C=
i ei : i [0, 1] y
i = 1 .
i=1

i=1

Sea f : C K1 ... Kn K la aplicacin dada por

f ((1 , ..., n , x1 , ..., xn )) =

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.


Teorema 2.3.16. Sean X es un espacio localmente convexo y K un subconjunto compacto y convexo

de X. Si F K tal que K = co(F ) entonces Ext(K) F .
Demostracin. Sin prdida de generalidad podemos suponer que F es cerrado. Sea x0 Ext(K)\F .
Dado que F es cerrado y no contiene a x0 , existe una seminorma
continua p sobre X tal que

F {x X : p (x x0 ) < 1} = . Sea U0 = x X : p (x) < 13 , entonces (x0 + U0 ) (F + U0 ) = ,
por lo tanto x0 / (F + U0 ).
Como F es compacto podemos tomar y1 , ..., yn F tales que F

n
[

(yk + U0 ). Consideremos

i=1

Kk = co(F (yk + U0 )). Entonces Kk yk + U0 y Kk K . Como K1 , ..., Kn son conjuntos

compactos y convexos, por el Lema 2.3.15 co(K1 ... Kn ) = co(K1 ... Kn ). Por lo tanto,
K = co(F ) = co(K1 ... Kn ).

Como x0 K , tenemos que x0 =

n
n
X
X
k = 1. Pero x0 es punto
k xk con xk Kk , k 0 y
k=1

k=1

extremal de K , entonces x0 = xk para algn k. Esto implica que x0 Kk yk + U0 F + U0 ,

llegamos a una contradiccin.


Departamento de Matemtica - UNLP

Hoja 11 de 27

3 TEOREMA DEL PUNTO FIJO DE SCHAUDER

3. Teorema del punto jo de Schauder

En la presente seccin vamos a trabajar sobre subconjuntos convexos de espacios de Banach y
las funciones no sern asumidas lineales anes.

3.1. Teorema del punto jo de Brouwer

Teorema 3.1.1. (Teorema del punto jo de Brouwer) . Si 1 d < , B es la bola unitaria cerrada
de Rd y f : B B es una funcin continua, entonces existe un punto x en B tal que f (x) = x.
Existe distintas demostraciones del Teorema del punto jo de Brouwer (1912), entre ellas se
encuentran algunas analiticas [4], otras que utilizan geometra diferencial [1] o topologa algebraica
[8].

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.

Proposicin 3.1.3. Si H es un espacio del Hilbert, K es un subconjunto cerrado, convexo y no

vaco de H, y h H, entonces existe un nico punto k0 K tal que
kh k0 k = dist(h, K) inf {kh kk : k K} .

Demostracin. Basta considerar el caso h = 0. En

se cumple para h = 0,
n efecto, si la Proposicin
o

dado h H, como el conjunto K := K h = k h : k K es convexo, cerrado y no vaco,

= 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

Trabajo Final de Anlisis Funcional

Hoja 12 de 27

3.1 Teorema del punto jo de Brouwer

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

y por la regla del paralelogramo,

k + k 2
k k 2




0
0
0
0
d2 =
= d2
.
2
2

Luego, k0 2 k0 = 0, por lo tanto k0 = k0 .

Corolario 3.1.4. (Corolario del Teorema de Brouwer). Si K es un subconjunto convexo, compacto

y no vaco de un espacio normado de dimensin nita X y f : K K es una funcin continua,
entonces existe un punto x en K tal que f (x) = x.
Demostracin. Dado que X es un espacio normado de dimensin nita, es isomorfo a Cd o Rd , y
por lo tantoes homeomorfo a R2d o Rd . Entonces, basta considerar X = Rd , con 1 d < .
Si K = x Rd : kxk r el resultado se deduce del Teorema de Brouwer pues la aplicacin
g : K B dada por g(x) = xr es un homeomorsmo,


Si K es cualquier subconjunto convexo de Rd , tomamos r > 0 tal que K B x Rd : kxk r .
Sea : B K la funcin dada por (x) = yK , donde yK es el nico punto de K que satisface que
kx yK k = dist(x, K). La aplicacion est bien denida por la Proposicin 3.1.3 y cumple que
(x) = x para todo x K .
Veamos que es continua. Sea {xn }n una sucesin en B y x B tal que xn x, entonces
n
dado > 0 existe n0 N tal que d(xn , x) < 2 , n n0 . Si jamos n n0 , por la denicin de ,
tenemos que
d(xn , (xn )) d(xn , (x)) y d(x, (x)) d(x, (xn )).

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 ))

< + d(xn , (xn )) < + d(x, (x)).

2

Con lo cual,
d(x, (x)) d(x, (xn )) < + d(x, (x)).

Luego, limn d(x, (xn )) = d(x, (x)).

Departamento de Matemtica - UNLP

Hoja 13 de 27

3 TEOREMA DEL PUNTO FIJO DE SCHAUDER

Dada la sucesin {(xn )}n K , por la compacidad de K , existe una subsucesin {(xnk )}k
convergente. Sea y K tal que (xnk ) y . Entonces, por la continuidad de la funcin distancia,
d(x, (xnk )) converge a d(x, y). Luego, por la unicidad del lmite, d(x, y) = d(x, (x)). Como y K ,
por la denicin de , tenemos que y = (x). Por lo tanto, es continua.
Dado que es continua y (x) = x, la composicin f : B K B es una funcin continua.
Entonces, por el Teorema de Brouwer, existe x B tal que (f )(x) = x, pero como (f )(B) K ,
tenemos que x K . Luego, x = f ((x)) = f (x).


3.2. Teorema del punto jo de Schauder

El Teorema del punto jo de Schauder fu generalizado a espacios topolgicos localmente convexos en lugar de espacios normados por Tychono en 1935. En 2001, Cauty demostr que todo
subconjunto convexo y compacto de un espacio vectorial topolgico (sin la necesidad de suponer
convexidad local) tiene la propiedad del punto jo. Este problema estuvo abierto desde 1930, cuando
Schauder demostr el teorema original del punto jo, y era conocido como la conjetura de Schauder.
El Teorema del punto jo de Schauder se puede considerar como una generalizacin del Teorema
del punto jo de Brouwer en dimensin innita, aunque es falsa si no se pide una condicin adicional
a la funcin, como veremos en los siguientes ejemplos. El primero de ellos se debe a Kakutani (1943).

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

la cual es una isometra. La funcin f : H H dada por f (x) =

adems si kxk 1,
kf (x)k

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

Luego, por unicidad de la serie, tenemos que


xn xn1 =

Trabajo Final de Anlisis Funcional

0
1k
xk
2

si n 6= 0 .
si n = 0
Hoja 14 de 27

3.2 Teorema del punto jo de Schauder

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

Ejemplo 3.2.2. Sea

H = l2 y B = x l2 : kxk 1 . Consideremos la aplicacin f : B B
q
dada por f (x) = ( 1 kxk2 , x1 , x2 , ...). Entonces, f es continua y kf (x)k = 1. Si existe x B tal
que f (x) = x entonces kf (x)k = kxk = 1, y por la denicin de f ,


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.

Denicin 3.2.3. Sean X un espacio normado y E X. Una funcin f : E X se dice compacta

si f es continua y f (A) es compacta, siendo A un subconjunto acotado de E .
Observacin 3.2.4. Si E es un subconjunto compacto de X entonces toda funcin f : E X es
compacta. En efecto, si A es un subconjunto acotado de E entonces f (A) es un subconjunto cerrado
en el conjunto compacto f (E), por lo tanto es compacto.
4
Vamos a necesitar el siguiente Lema para demostrar del Teorema de Schauder.

Lema 3.2.5. Sean K unSsubconjunto compacto de un espacio normado X, > 0 y A un subconjunto

nito de K tal que K {B(a, ) : a A}. Denimos la aplicacin A : K X dada por
P
{ma (x)a : a A}
A (x) = P
,
{ma (x) : a A}

donde ma (x) = 0 si kx ak y ma (x) = kx ak si kx ak . Entonces, A es una funcin

continua y kA (x) xk < para todo x K.
Demostracin. Por denicin ma (x) 0 para cada a A y {ma (x)a : a A} > 0 para todo
x K , entonces A est bien denida sobre K . Adems, A es continua, pues para cada a A,
ma : K [0, ] lo es. En efecto, sean > 0, x1 B(a, ) y x2 K\B(a, ) tales que d(x1 x2 ) < .
Si tomamos 0 < entonces
P

|ma (x1 ) ma (x2 )| = | kx1 ak| |kx2 ak kx1 ak| kx2 x1 k < .

Por otra parte,

P
A (x) x =

{ma (x)(a x) : a A}
P
,
{ma (x) : a A}

y si ma (x) > 0 entonces kx ak < . Por lo tanto,

P
kA (x) xk

{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

3 TEOREMA DEL PUNTO FIJO DE SCHAUDER

Demostracin. Si denimos K = f (E), entoncesS por hiptesis K E . Para cada n N, sean

An un subconjunto nito de K tal que K
{B(a; 1/n) : a A} y n = An la aplicacin
denida en el Lema anterior. Luego, por la denicin de n y la convexidad de E tenemos que
n (K) co(K) E , entonces fn n f aplica E en si mismo. Adems, por el Lema 3.2.5,
kfn (x) f (x)k < 1/n

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].

3.3. Aplicacin: Teorema de Lomonosov

Lomonosov demostr en 1973 que un operador T sobre un espacio de Banach, el cual no es mltiplo de la identidad y conmuta con un operador compacto no nulo, tiene un subespacio invariante
no trivial. Cuando este resultado apareci causo gran inters tanto por la conclusin como por la
simplicidad de su prueba utilizando el Teorema del punto jo de Schauder. En particular, cualquier
operador compacto en un espacio de Banach tiene un subespacio invariante no trivial.

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

3.3 Aplicacin: Teorema de Lomonosov

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
[

B(xj , ). Sea C = co {x1 , x2 , ..., xn }. Por la Proposicin 2.3.11, C es

4

j=1

compacto entonces nuevamente existen y1 , y2 , .., ym C tales que C

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

Por la desigualdad triangular, co(K)

m
[

B(yi , ). Por lo tanto, co(K) est totalmente acotado. 

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
[

{y : kTj (y) x0 k < 1}. Ahora, para cada y K(S) y 1 j n, sea

j=1

aj (y) = max {0, 1 kTj (y) x0 k} .

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

3 TEOREMA DEL PUNTO FIJO DE SCHAUDER

n
X
subcubrimiento, para cada y K(S) existe al menos una funcin aj > 0, por lo tanto
aj (y) > 0
j=1

y la aplicacin bj : K(S) R dada por

bj (y) =

aj (y)
n
X

aj (y)

j=1

est bien denida y adems es continua pues aj lo es. Denimos : S X por

(x) =

n
X

bj (K(x))Tj K(x).

j=1

Dado que bj , K y Tj son continuas, tambin lo es.

Veamos que (S) S .
Si x S entonces K(x) K(S). Si bj (K(x)) > 0 entonces aj (K(x)) > 0 y por lo tanto tenemos que
kTj (K(x)) x0 k < 1. Luego, Tj K(x) S , si bj (K(x)) > 0. Adems,

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

Teorema de Mazur 3.3.3, co(

n
[

Tj K(S)) es compacto. Pero este conjunto convexo contiene a (S),

j=1

ya que es combinacin lineal de elementos de Tj K(S), entonces, (S) es compacto, ya que es un

conjunto cerrado contenido en un conjunto compacto. Luego, es una aplicacin compacta sobre
S . Por el Teorema del punto jo de Schauder 3.2.6, existe x1 S tal que (x1 ) = x1 . Ahora, sean
j = bj (K(x1 )) y A =

n
X

j Tj . Entonces, A A y adems

j=1

A(K(x1 )) =

n
X

j Tj (K(x1 )) = (x1 ) = x1 .

j=1

Como x1 6= 0 pues 0 / S , y x1 ker(AK I), tenemos que ker(AK I) 6= 0.

Denicin 3.3.5. Sea T B(X). Un subespacio hiperinvariante

para T es un subespacio M de X
0
tal que AM M para todo operador A en el conmutante T de T , es decir AM M si AT = T A.
Observacin 3.3.6. Todo subespacio hiperinvariante para T es invariante.
4
Teorema 3.3.7. (Teorema de Lomonosov). Sea T B(X). Si T no es un mltiplo de la identidad y
T K = KT para algn operador compacto no nulo K , entonces T tiene un subespacio hiperinvariante
no trivial.
Trabajo Final de Anlisis Funcional

Hoja 18 de 27

3.3 Aplicacin: Teorema de Lomonosov

Demostracin. Sea A = T . Supongamos que T no admite un subespacio hiperinvariante no trivial,

es decir Lat(A) = {(0), X}. Dado que A es un lgebra que contiene al operador identidad I , por el
Lema de Lomonosov 3.3.4 existe un operador A A tal que N = ker(AK I) 6= (0).
Adems, N Lat(AK) y AK|N es el operador identidad, en efecto si x N ,
0

AK(x) = AK(x) x + x = (AK I)(x) + x = x.

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.

Entonces S(x) M, por lo tanto S(M) M. Luego, M es un subespacio no trivial hiperinavariante

para T .


Departamento de Matemtica - UNLP

Hoja 19 de 27

4 TEOREMA DEL PUNTO FIJO DE RYLL-NARDZEWSKI

4. Teorema del punto jo de Ryll-Nardzewski

4.1. Teorema del punto jo de Ryll-Nardzewski
El resultado de este Teorema fu anunciado por el matemtico Ryll-Nardzewski en 1962, quin
lo demostr con argumentos probabilsticos en 1967 ([7]). La demostracin que seguiremos es una
prueba geomtrica dada por Namioka y Asplud en 1967 ([5]).

Denicin 4.1.1. Sea K un conjunto convexo y V un espacio vectorial. Una aplicacin T

se dice afn si

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.

Teorema 4.1.2. (Teorema del punto jo de Markov-Kakutani). Si K es un subconjunto convexo,

compacto y no vaco de un espacio localmente convexo X y F es una familia abeliana de aplicaciones
continuas y anes T : K K , entonces existe x0 K tal que T (x0 ) = x0 para toda T F .
Demostracin. Si T F y n 1 denimos la aplicacin T (n) : K K como
n1

(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)

S (n) T = SS (n1) T = ST S (n1) = T SS (n1) = T S (n) .

Ahora, si S (n) T (m1) = T (m1) S (n) para m N jo, entonces

S (n) T (m) = S (n) T (m1) T = T (m1) S (n) T = T (m1) T S (n) = T (m) S (n) .


Sea K = T (n) (K) : T F, n 1 . Por la continuidad de T y la compacidad de K , cada conjunto en K es compacto. Adems, por ser T una aplicacin afn y K un conjunto convexo, cada
conjunto T (n) (K) es convexo. Si T1 , T2 , ..., Tr F y n1 , n2 , ...., nr 1, entonces por la conmutativir
\
dad de la familia F , T1(n1 ) ...Tr(nr ) (K) Tj(nj ) (K), es decir K tiene la propiedad de la interseccin
j=1

nita. Por la compacidad de K , existe x0 {B : B K}.

Si T F entonces x0 T (n) (K) para n 1. Por lo tanto, existe un punto x K tal que
T

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 =

Trabajo Final de Anlisis Funcional

Hoja 20 de 27

4.1 Teorema del punto jo de Ryll-Nardzewski

Ahora, dado que K es compacto y K K es la imagen del conjunto compacto K K por la
aplicacin continua (x, y) = x y , tenemos que K K tambin es compacto. Por la Proposicin
2.2.6, K K est acotado. Entonces dado un entorno abierto U de cero en X, existe un entero
n 1 tal que n1 [K K] U . Lo cual implica que T (x0 ) x0 U , para cualquier entorno abierto
de cero. entonces T (x0 ) x0 = 0. Luego, como T era un elemento arbitratio de F , concluimos que
x0 es punto jo para toda aplicacin en F .


Denicin 4.1.3. Sean p una seminorma sobre X y A X. Denimos el p dimetro de A como

el escalar dado por p diam(A) sup {p (x y) : x, y A} .
Lema 4.1.4. Si X es un ELC , K es un subconjunto convexo, separable, dbilmente compacto y no
vaco de X y p es una seminorma continua sobre X, entonces para todo > 0 existe un subconjunto
cerrado y convexo C de K tal que
a)C 6= K ;
b)p diam(K\C) .

Demostracin. Sea S = x X : p(x) 4 y sea D = Ext(K) [

K . Dado que K es separable,
existe un subconjunto A K denso numerable entonces K
(S + a). Adems, como S es


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 =

((an + S) D), por el Teorema

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,

donde d = p diam(K). Luego, si y = tx1 + (1 t) x2 K\Cr entonces

p (y y) p (y x2 ) + p (x2 x
2 ) + p (
x2 y) 2rd + p diam(K2 ) 2rd + .
2

Tomando r = 4d y C = Cr queda demostrado el Lema.

Departamento de Matemtica - UNLP

Hoja 21 de 27

4 TEOREMA DEL PUNTO FIJO DE RYLL-NARDZEWSKI

Denicin 4.1.5. Sea X un espacio localmente compacto y Q un subconjunto no vaco de X. Si S

es una familia de aplicaciones no necesariamnete lineales de Q en Q, entonces se dice que S es una
familia no contrctil de aplicaciones si dados dos puntos distintos x, y Q se tiene que
0
/ {T (x) T (y) : T S}.

Lema 4.1.6. Sean X un ELC , Q X y S una familia de aplicaciones de Q en Q. Entonces, S es

una familia no contrctil si y slo si para todo par de puntos distintos x, y Q existe una seminorma
continua p tal que
inf {p (T (x) T (y)) : T S} > 0.
Demostracin.
) Sean x, y Q puntos distintos y F una familia de seminormas que induce la topologa sobre
X. Si S es una familia no contrctil entonces existen una seminorma p F y > 0 tales que
{z X : p (z) < } {T (x) T (y) : T S} = . Por lo tanto, p (T (x) T (y)) para toda aplicacin T S . Luego, inf {p (T (x) T (y)) : T S} > 0. Adems, dado que 0 {x X : p (x) < 1} ,
la seminorma p es continua.
) Si x e y son puntos distintos de Q y p es una seminorma continua tal que

inf {p (T (x) T (y)) : T S} > 0

entonces existe > 0 tal que p (T (x) T (y)) para toda T S . Por lo tanto, el conjunto
U = {z X : p (z) < } es un entorno de cero tal que U {T (x) T (y) : T S} = . Luego,
0
/ {T (x) T (y) : T S}.

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

Trabajo Final de Anlisis Funcional

nm
n


x0 .

Hoja 22 de 27

4.2 Aplicacin: Existencia de la medida de Haar sobre un grupo compacto

Si Te0 = (T1 + ... + Tm )/m tenemos que
1
Te0 (x0 ) = (T1 (x0 ) + ... + Tm (x0 ))
m
n 1
(T1 (x0 ) + ... + Tm (x0 ))
=
mn


 
n
nm
=
x0
x0
m
n
= x0 .

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 )) > .

()

Si S1 es el semigrupo generado por {T1 , ..., Tn } entonces S1 S y S1 = {Tl1 ...Tlm : m 1, 1 lj n}.

Por lo tanto, S1 es un subsemigrupo numerable de S . Si K = co {T (x0 ) : T S1 }, entonces K es
un subconjunto dbilmente compacto, convexo y separable de Q. Luego, por el Lema 4.1.4 existe
un subconjunto convexo y cerrado C de K tal que C 6= K y p diam(K\C) . Dado que C 6= K
existe S S1 tal que S(x0 ) K\C , entonces como T0 (x0 ) = x0 tenemos que
S(x0 ) = ST0 (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) .

Esto contradice la desigualdad (*). Por lo tanto, Tk (x0 ) = x0 para 1 k n.

Ahora, sea F la coleccin de todos los subconjuntos nitos no vacos de S . Si F F, denimos
QF = {x Q : T (x) = x, T F }. Por lo visto antes, QF 6= para todo F F. Adems, dado
que todo T S es dbilmente continuo y afn, QF es convexo y dblimente compacto. La coleccin
{QF : F F} de subconjuntos de Q tiene la propiedad de la interseccin nita, en efecto tomemos
una coleccin nita {QF1 , ..., QFr } y consideremos el conjunto F = {T : T Fi para todo i = 1, ...r}.
Dado que cada Fi es nito, F tambin lo es y entonces QF 6= . Por lo tanto, existe x Q tal
que T (x) = x para todo T F , lo cual implica que

r
\

QFi 6= . Luego, por la compacidad de Q,

i=1

QF 6= , es decir existe x0 tal que T (x0 ) = x0 para toda aplicacin T S .

FF

4.2. Aplicacin: Existencia de la medida de Haar sobre un grupo compacto

La medida de Haar fu introducida por Haar en 1932, quin prueba la existencia de una medida
invariante a izquierda sobre grupos topolgicos localmente compactos y separables. El Teorema
de Haar fu generalizado por Weil a grupos topolgicos localmente compactos y von Neumann
demuestra que dicha medida est unvocamente determinada salvo factores constantes.
En esta seccin demostraremos la existencia y unicidad de la medida de Haar sobre grupos
topolgicos compactos aplicando el Teorema de Ryll-Narzewski. La operacin sobre todos los grupos
y semigrupos ser denotada por multiplicacin.
Departamento de Matemtica - UNLP

Hoja 23 de 27

4 TEOREMA DEL PUNTO FIJO DE RYLL-NARDZEWSKI

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}

el cual es jo bajo la familia de aplicaciones F = {Rx : x G}{Lx : x G} donde Rx , Lx : Q Q

estn dadas por Rx () = (x ) y Lx () = ( x).
Para poder aplicar el Teorema del punto jo de Ryll-Nardzewski queremos ver a Q como un
subconjunto de un espacio vectorial topolgico adecuado. Utilizando el Teorema de representacin
e de C(G) y trasladar los
de Riesz ([2]) podemos identicar el conjunto Q con un subconjunto Q
e a Q.
resultados obtenidos para Q

Teorema 4.2.3. (Teorema de representacin de Riesz). Si G es un espacio localmente compacto y

M (G), denimos F : C0 (G) F como
Z
F (f ) =

f d.
G

Entonces, F C0 (G) y la aplicacin : M (G) C0 (G) tal que 7 F es un isomorsmo

isomtrico.
e := (Q) C0 (X) , es decir
Dado que G es compacto, C0 (G) = C(G) . Sea Q
e = (Q) = {F C(G) : F > 0 y F (1) = 1} = U1 (0) i1 (1)
Q
1

+
i1
f (R0 ),

f 0

donde U1 (0) es la bola unitaria de C(G) e if : C(G) C es el funcional dado por if (F ) = F (f ),

para f C(G) . Como if es -continua para toda f C(G) y U1 (0) es -compacta por el Teorema
Trabajo Final de Anlisis Funcional

Hoja 24 de 27

4.2 Aplicacin: Existencia de la medida de Haar sobre un grupo compacto

e es -compacto. Adems, Q
e es convexo. Luego, Q
e es un subconjunto
de Alaoglu, el conjunto Q

convexo y compacto del espacio localmente convexo (C(G) , ).

La medida Q es un punto jo de
n la familiaoF , nes decir unao medida de Haar, si y slo
e
e x : x G donde R
ex = Rx 1 | y
si F () es un punto jo de F = Rex : x G L
e
Q
e x = Lx 1 | . Es decir, R
ex F (f ) = F (f (x )) y L
e x F (f ) = F (f ( x)) para f C(G).
L
e
Q
Para poder aplicar el Teorema del punto jo de Ryll-Nardzewski necesitamos un conjunto de
e en Q
e que contenga al conjunto Fe y sea un semigrupo con respecto a la composicin.
funciones de Q
e
El conjunto F no es un semigrupo pero si lo es el conjunto generado por este,
D E n
o
ex L
e y : x, y G
S = Fe = R
e y conmutan y R
ex R
ey = R
eyx , L
es L
et = L
e st . Adems, todas las funciones de S mapean Q
e
pues Rex y L
e.
en Q
Para comprobar que S satisface las hiptesis del Teorema es necesario el siguiente Lema.

Lema 4.2.4. Sea

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
[

Vwi wi Vwi . Consideremos V =

i=1

n
\

Vwi , el

i=1

cual es un entorno de la identidad. Sean w G y we V wV , y tomemos r {1, 2, ..., n} tal que

w Vwr wr Vwr . Entonces, w Uwr y w
e V Vwr wr Vwr V Wwr wr Wwr , por lo tanto
|f (w)
e f (w)| |f (w)
e f (wr )| + |f (wr ) f (w)| < .

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

4 TEOREMA DEL PUNTO FIJO DE RYLL-NARDZEWSKI

e como un subconjunto de (C(G) , ),
Toda aplicacin S S es continua. En efecto, consideremos Q
e tal que Fk 0, entonces ik (Fk ) = Fk (f ) 0
con la topologa relativa. Sea {Fk }k una red en Q
e
para toda f C(G), por lo tanto Fk (f (x)) = Rx Fk (f ) 0 para toda f C(G). Lo cual implica
e y es continua para todo
que Rex Fk 0. Luego, Rex es continua. Analogamente se demuestra que L
y G. Entonces, todo elemento de S es una aplicacin continua por ser composicin de funciones
continuas.
e con
La familia S es no contrctil, es decir 0 / {S(I) S(J) : S S} para todo I, J Q
e
e
I 6= J . Como Rx y Ly son inyectivas, toda aplicacin S S tambin lo es, por lo tanto si I 6= J ,
0
/ {S(I) S(J) : S S}. Por denicin de S , tenemos que
n
o
ex L
e y (I) R
ex L
e y (J) : x, y G ,
{S(I) S(J) : S S} = R
e y (J) C(G) . Por el Lema
e y (I) R
ex L
entonces es la imagen de GG por la aplicacin (x, y) = Rex L
4.2.4, la aplicacion es continua. Luego, {S(I) S(J) : S S} es cerrado por ser la imagen del
conjunto compacto G G por una aplicacin continua en el espacio de Hausdor C(G) . Luego, por
e . Entonces, si F = (),
el Teorema de Ryll-Nardzewski 4.1.7 la familia S tiene un punto jo F Q
la medida Q es una medida de Haar.

Por ltimo veamos la unicidad.

Supongamos que existe otra medida de Haar sobre G. Entonces, para toda f C(G),
Z

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).

Trabajo Final de Anlisis Funcional

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.

Departamento de Matemtica - UNLP

Hoja 27 de 27