Teora de continuos

Propiedad del punto fijo

Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Propiedad del Punto Fijo en Continuos

Fanny P. Lemus Garca

Facultad de Cs. Fsico Matematicas

Mat. Luis Manuel Rivera Gutierrez

de Hidalgo
Universidad Michoacana de San Nicolas

4 de diciembre de 2015

1 / 32

Agenda

Teora de continuos

Metrica
de Hausdorff

Propiedad del punto fijo

Perros y conejos

Propiedad del Punto fijo en Continuos

Arboles

Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Continuos

Definicion

Sean X un espacio metrico

y Y un subconjunto de X . Decimos que
X es un continuo si es compacto, conexo y no vaco.

Y es un subcontinuo de X , si Y es un continuo con la metrica

de subespacio.

3 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Ejemplo
El intervalo [0, 1].
La circunferencia S 1 .
El disco D 2 .

4 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Una tecnica
importante para generar continuos es el uso de
intersecciones anidadas.
Ejemplo
La Curva Universal de Sierpinski.

5 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Metrica
de Hausdorff

Definicion

Para X un espacio metrico

y compacto,

6 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Metrica
de Hausdorff

Definicion

Para X un espacio metrico

y compacto,
a) 2X ={subconjuntos de X cerrados y distintos del vaco}.

6 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Metrica
de Hausdorff

Definicion

Para X un espacio metrico

y compacto,
a) 2X ={subconjuntos de X cerrados y distintos del vaco}.
b) C(X ) = {elementos conexos de 2X }.

6 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Metrica
de Hausdorff

Definicion

Para X un espacio metrico

y compacto,
a) 2X ={subconjuntos de X cerrados y distintos del vaco}.
b) C(X ) = {elementos conexos de 2X }.
Para cada A 2X ,
S
c) Nd (, A) =
B (a)
aA

6 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Metrica
de Hausdorff

Definicion

Para X un espacio metrico

y compacto,
a) 2X ={subconjuntos de X cerrados y distintos del vaco}.
b) C(X ) = {elementos conexos de 2X }.
Para cada A 2X ,
S
c) Nd (, A) =
B (a)
aA

Para cada A, B 2X ,
d) Hd (A, B) = nf { > 0 | A Nd (, B) y B Nd (, A)}.

6 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Figura: N(, A)

Metrica
de Hausdorff

Figura: Hd (A, B)

7 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Metrica
de Hausdorff

Hd es la metrica
de Hausdorff inducida por d.

Observacion
Los elementos de 2X son compactos.

8 / 32

Agenda

Teora de continuos

Metrica
de Hausdorff

Propiedad del punto fijo

Perros y conejos

Propiedad del Punto fijo en Continuos

Arboles

Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

Definicion
f : X X , es un punto x tal que f(x)=x.
Un punto fijo de una funcion

10 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

Definicion
f : X X , es un punto x tal que f(x)=x.
Un punto fijo de una funcion

Definicion

Un espacio metrico
(X , d) tiene la propiedad del punto fijo
continua f : X X tiene punto fijo,.
(abreviado p.p.f.), si toda funcion

10 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

Ejemplo
Para n 1, la n-esfera no tiene la p.p.f.

11 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

Perros y Conejos
continua f : X X y dado un punto p X , p
Dada una funcion
de un perro que tratara de alcanzar a un
representa la posicion
conejo f (p).
Ejemplo
El intervalo.

12 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

Proposicion
El crculo de Varsovia tiene la propiedad del punto fijo.

13 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

Demostracion.
Llamemos V al crculo de Varsovia. Sean f : V V continua y
A = {p V | p < f (p)}.
Demostremos que A es abierto. Sea p A. Tomamos U vecindad de
f (p) tal que p
/ U, luego existe V vecindad de p tal que f (V ) U.
Luego, para toda q V , q < f (q) y por lo tanto q A.

Analogamente
X \ A es abierto y por ser V conexo A = V .
(q1 , q2 , . . .) en V tal que (qn ) converge a
Luego, tomamos sucesion
(f (qnk )) que converge a algun
un punto q y existe sucesion
p V . En
el segmento [e, q], p < q, lo cual contradice el hecho de que
f (qn ) > qn para toda n N. Por lo tanto V tiene la p.p.f.

14 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Perros y conejos

15 / 32

Agenda

Teora de continuos

Metrica
de Hausdorff

Propiedad del punto fijo

Perros y conejos

Propiedad del Punto fijo en Continuos

Arboles

Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

La p.p.f. en continuos

Proposicion

La p.p.f. es un invariante topologico.

17 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

La p.p.f. en continuos

Proposicion

La p.p.f. es un invariante topologico.

Ejemplo
Dado que I tiene la p.p.f. entonces todo arco tiene la p.p.f.

17 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Arboles

Definicion
Sea X un continuo,
un punto p X es un punto extremo de X si para cualquier
abierto U de X con p U, existe V abierto de X tal que
p V U y U V consiste de un solo punto,

18 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Arboles

Definicion
Sea X un continuo,
un punto p X es un punto extremo de X si para cualquier
abierto U de X con p U, existe V abierto de X tal que
p V U y U V consiste de un solo punto,

una grafica
finita es un continuo que se escribe como la union
finita de arcos, tales que cualesquiera dos de ellos son ajenos o
se intersectan en uno o en sus dos puntos extremos,

18 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Arboles

Definicion
Sea X un continuo,
un punto p X es un punto extremo de X si para cualquier
abierto U de X con p U, existe V abierto de X tal que
p V U y U V consiste de un solo punto,

una grafica
finita es un continuo que se escribe como la union
finita de arcos, tales que cualesquiera dos de ellos son ajenos o
se intersectan en uno o en sus dos puntos extremos,

un arbol
es una grafica
finita que no contiene curvas cerradas
simples.
18 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Construcciones

19 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Teorema
Si A y B son dos continuos con la p.p.f. tales que A B = {a}
entonces X = A B tiene la p.p.f.

Corolario

Todo arbol
tiene la p.p.f.

20 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Continuos Encadenables

Definicion
Una familia C = {U1 , U2 , ...} de subconjuntos abiertos y conexos de

un espacio metrico
(X , d) es una cadena simple en X si dados
si son consecutivos. A cada
Ui , Uj C, estos se intersectan si, y solo
de C.
Uk se le llama eslabon

21 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Definicion

Una cadena es una cadena C tal que diametro

de cada
es menor a .
eslabon

Un espacio metrico
(X , d) es encadenable si para toda > 0,
existe una cadena que cubre a X .

22 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Ejemplo

23 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Lema

Sea (X , d) un espacio metrico

compacto y sea f una funcion
continua. Si para todo > 0 existe un x X tal que d(x , f (x )) <
entonces f tiene un punto fijo.
Teorema
Todo continuo encadenable X tiene la p.p.f.

24 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Lmite de continuos con la p.p.f. no necesariamente tiene la p.p.f.

25 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Lmite de continuos con la p.p.f. no necesariamente tiene la p.p.f.

Ejemplo
La circunferencia es lmite de arcos.

25 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Dendritas

Definicion
Un continuo es hereditariamente unicoherente si para cualesquiera
dos subcontinuos A y B se tiene que A B es conexo.

26 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Ejemplo
S = {(1 +

1
1+ , )

| 0} S 1 no es hereditariamente unicoherente.

27 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Definicion
Una dendrita es un continuo conexo por trayectorias,
hereditariamente unicoherente y localmente conexo.
Ejemplo
Dendrita Fw y Dendrita de Gehman

28 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

Lema
Si X es una dendrita y Y un subcontinuo de X entonces existe una
llamada de primer punto, que asigna a cada x X el
retraccion,
primer punto en Y del arco que une a x con cualquier punto de Y .
Teorema

(Yi )i
Sea X una dendrita no arbol.
Entonces existe una sucesion

de
creciente de arboles
que converge a X y una sucesion
retracciones al primer punto (ri )i que converge uniformemente a idX .

29 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

a las dendritas mediante arboles

Aproximacion

Teorema
de funciones de X en X
Si X es un continuo y existe una sucesion

que converge uniformemente a idX y cada elemento de la sucesion

tiene la p.p.f entonces X tiene la p.p.f.

30 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Arboles

Arboles

a las dendritas mediante arboles

Aproximacion

Teorema
de funciones de X en X
Si X es un continuo y existe una sucesion

que converge uniformemente a idX y cada elemento de la sucesion

tiene la p.p.f entonces X tiene la p.p.f.
Corolario
Si X es una dendrita, entonces tiene la p.p.f.

30 / 32

Agenda

Teora de continuos

Metrica
de Hausdorff

Propiedad del punto fijo

Perros y conejos

Propiedad del Punto fijo en Continuos

Arboles

Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

El montanero

32 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teorema
El grupo fundamental del crculo es el grupo cclico infinito, es decir,
Z.
1 (S 1 ) =

33 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Lema
continua
S 1 no es retracto de D 2 , es decir, no existe funcion
f : D 2 S 1 tal que f i : S 1 S 1 sea la identidad en S 1 , donde i es

la inclusion.

34 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teorema del punto fijo de Brouwer

Teorema (Del punto fijo de Brouwer (n=2))
continua. Entonces f tiene un punto fijo.
Sea f : D 2 D 2 una funcion

35 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Una aplicacion

Recordemos que para una matriz A de n n y v Rn los valores

vectorial
para los cuales la ecuacion
Av = v
no trivial se les llama eigenvalores de la matriz A y las
tiene solucion
soluciones v 6= 0 se llaman eigenvectores de A correspondientes al
eigenvalor .

36 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teorema (de Perron-Frobenius)

Sea A una matriz de 3 3 con entradas positivas. Entonces A tiene
un eigenvalor real positivo.

37 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Teorema (de Perron-Frobenius)

Sea A una matriz de 3 3 con entradas positivas. Entonces A tiene
un eigenvalor real positivo.

Demostracion
lineal con matriz asociada A.
Sea T : R3 R3 una transformacion
de S 2 con el primer octante.
Sea B la interseccion

37 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Sea v = (x, y, z) en B. Luego, T (v) = Av es un vector cuyas

: B B definida
entradas son positivas. Consideremos la funcion
por
(v) =

T (v)
||T (v)||

Luego, como B y D 2 son homeomorfos podemos aplicar el teorema

del punto fijo de Brouwer.

38 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

As, existe x B tal que (x) = x, esto es

(x) =

T (x)
=x
||T (x)||

T (x) = ||T (x)||x,

por lo que ||T (x)|| es un eigenvalor real positivo para T y por

consiguiente, para la matriz A.

39 / 32

Teora de continuos
Propiedad del punto fijo
Propiedad del Punto fijo en Continuos
Teorema del punto fijo de Brouwer n=2

Una aplicacion

Gracias!

40 / 32