TOP - Clase 1.7 - 01032023

Funciones Continuas.
Homeomorfismos
Martín Enrique Guerra Cáceres
Escuela de Matemática
Facultad de Ciencias Naturales y Matemática
Universidad de El Salvador
01 de marzo/2023
Topología
Objetivo
Objetivo específico
Demostrar propiedades de las funciones continuas y los
homeomorfismos.
Martín Enrique Guerra Cáceres Topología

Topología
Funciones continuas
Proposición 2.1.
Sean T1 y T2 dos topología sobre X . Entonces se verifica que:
T2 ⊂ T1 ssi la identidad IX : (X , T1 ) → (X , T2 ) es continua
Pa
(→) Supongamos que T2 ⊂ T1 .

G ∈ T2 → IX−1 (G) = G ∈ T2 ⊂ T1
(←) Supongamos que IX : (X , T1 ) → (X , T2 ) es continua.
G ∈ T2 → IX−1 (G) = G ∈ T1 .

Topología
Funciones continuas
Proposición 2.1.
Pa

G ∈ T2 → IX−1 (G) = G ∈ T2 ⊂ T1
G ∈ T2 → IX−1 (G) = G ∈ T1 .

Topología
Funciones continuas
Proposición 2.1.
Pa

G ∈ T2 → IX−1 (G) = G ∈ T2 ⊂ T1
G ∈ T2 → IX−1 (G) = G ∈ T1 .

Topología
Funciones continuas
Proposición 2.1.
Pa

G ∈ T2 → IX−1 (G) = G ∈ T2 ⊂ T1
G ∈ T2 → IX−1 (G) = G ∈ T1 .

Topología
Funciones continuas
Proposición 2.1.
Pa

G ∈ T2 → IX−1 (G) = G ∈ T2 ⊂ T1
G ∈ T2 → IX−1 (G) = G ∈ T1 .

Topología
Homeomorfismos
Proposición 3.1.
Sean (X , TX ), (Y , TY ) y (Z , TZ )espacios topológicos. Si
f : (X , TX ) −→ (Y , TY ) y g : (Y , TY ) −→ (Z , TZ ) son
homeomorfismos, entonces:
1 f −1 : (Y , TY ) −→ (X , TX ) es un homeomorfismo.
2 g ◦ f : (X , TX ) −→ (Z , TZ ) es un homeomorfismo.
Corolario 3.1.
La relación ser homeomorfos es una relación de equivalencia
sobre la familia de los espacios topológicos.
Pa
Ambas pruebas son inmediatas y quedan de tarea.

Topología
Homeomorfismos
Proposición 3.1.
Corolario 3.1.
Pa

Topología
Homeomorfismos
Proposición 3.1.
Corolario 3.1.
Pa

Topología
Homeomorfismos
Proposición 3.1.
Corolario 3.1.
Pa

Topología
Homeomorfismos
Proposición 3.2.
Sean (X , TX ) y (Y , TY ) espacios topológicos y
f : (X , TX ) −→ (Y , TY ) una función biyectiva. Se tiene que:
f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)
Prueba 3.1.
(⇒)
1 Como f es un homeomorfismo, entonces f es continua.
2 Por tanto, f (A) ⊂ f (A) para todo A ⊂ X .
3 También se tiene que f −1 es continua, entonces
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
Proposición 3.2.
Prueba 3.1.
(⇒)
f −1 (f (A) ⊂ f −1 (f (A),
4 f (A) = f (f −1 (f (A)) ⊂ f (f −1 (f (A)) = f (A)
5 ∴ f (A) = f (A)
Topología
Homeomorfismos
(⇐)
1 Como f (A) = f (A), entonces
2 f (A) ⊂ f (A) y, por tanto, f es continua.
3 Sea B ⊂ Y arbitrario, entonces
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)
6 ∴ f −1 (B) ⊂ f −1 (B) y f −1 escontinua

Topología
Homeomorfismos
(⇐)
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)

Topología
Homeomorfismos
(⇐)
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)

Topología
Homeomorfismos
(⇐)
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)

Topología
Homeomorfismos
(⇐)
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)

Topología
Homeomorfismos
(⇐)
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)

Topología
Homeomorfismos
(⇐)
4 f (f −1 (B)) = f (f −1 (B)) = B
5 f −1 (B) = f −1 (f (f −1 (B))) = f −1 (B)

Topología
Homeomorfismos
Proposición 3.3.
f : (X , TX ) −→ (Y , TY ) una función biyectiva.
Entonces, son equivalentes:
1 f es un homeomorfismo.
˚
2 ∀ A ⊂ X : f (Å) = fd
(A)
3 ∀ B ⊂ Y : f −1 (B) = f −1 (B)
˚
4 ∀ B ⊂ Y : f −1 (B̊) = f \
−1 (B)
Pa
Ejercicio.

Topología
Homeomorfismos
Proposición 3.3.
˚
2 ∀ A ⊂ X : f (Å) = fd
(A)
3 ∀ B ⊂ Y : f −1 (B) = f −1 (B)
˚
4 ∀ B ⊂ Y : f −1 (B̊) = f \
−1 (B)
Pa
Ejercicio.

Topología
Homeomorfismos
Proposición 3.3.
˚
2 ∀ A ⊂ X : f (Å) = fd
(A)
3 ∀ B ⊂ Y : f −1 (B) = f −1 (B)
˚
4 ∀ B ⊂ Y : f −1 (B̊) = f \
−1 (B)
Pa
Ejercicio.

Topología
Homeomorfismos
Proposición 3.3.
˚
2 ∀ A ⊂ X : f (Å) = fd
(A)
3 ∀ B ⊂ Y : f −1 (B) = f −1 (B)
˚
4 ∀ B ⊂ Y : f −1 (B̊) = f \
−1 (B)
Pa
Ejercicio.

Topología
Homeomorfismos
Proposición 3.3.
˚
2 ∀ A ⊂ X : f (Å) = fd
(A)
3 ∀ B ⊂ Y : f −1 (B) = f −1 (B)
˚
4 ∀ B ⊂ Y : f −1 (B̊) = f \
−1 (B)
Pa
Ejercicio.

Topología
Homeomorfismos
Proposición 3.3.
˚
2 ∀ A ⊂ X : f (Å) = fd
(A)
3 ∀ B ⊂ Y : f −1 (B) = f −1 (B)
˚
4 ∀ B ⊂ Y : f −1 (B̊) = f \
−1 (B)
Pa
Ejercicio.

Topología
Convergencia
Definición 4.1.
Sea (X , TX ) un espacio topológico y {xn }∞
n=1 una sucesión en
X.
Se dice que {xn }∞
n=1 converge a un punto x0 ∈ X ssi
∀ V ∈ V x0 , ∃ n ∈ N : m > n → xm ∈ V
Esto es equivalente a decir:

Definición 4.2.
{xn }∞
n=1 converge a un punto x0 ∈ X ssi para toda vecindad
básica V de x0 , ∃ n ∈ N : m > n → xm ∈ V .
La convergencia de {xn }∞
n=1 a x0 ∈ X se denota por xn → x0 .

Topología
Convergencia
Definición 4.1.
X.
∀ V ∈ V x0 , ∃ n ∈ N : m > n → xm ∈ V

Definición 4.2.
{xn }∞

Topología
Convergencia
Definición 4.1.
X.
∀ V ∈ V x0 , ∃ n ∈ N : m > n → xm ∈ V

Definición 4.2.
{xn }∞

Topología
Convergencia
Ejemplos 4.1.
Sea (X , {∅, X }) un espacio topológico indiscreto y {xn }∞
n=1
una sucesión en X . Entonces para cualquier x0 ∈ X se
verifica que xn → x0 , puesto que el único entorno de x0 es
X.
Sea (X , P(X )) un espacio topológico discreto y {xn }∞n=1
una sucesión en X . Se verifica que xn → x0 si y solo si
∃ n0 ∈ N tal que xn = x0 , ∀ n > n0 , puesto que {x0 } es un
entorno de x0 .
Sean T1 y T2 dos topologías en X tales que T1 ⊂ T2 . Si
xn → x0 en (X , T2 ), entonces xn → x0 en (X , T1 ).
Por ejemplo, vimos que C[0, 1], Td2 ⊂ Td∞ , pero el
recíproco no es cierto.

Topología
Convergencia
Ejemplos 4.1.
n=1
X.
entorno de x0 .

Topología
Convergencia
Ejemplos 4.1.
n=1
X.
entorno de x0 .

Topología
Convergencia
Ejemplos 4.1.
n=1
X.
entorno de x0 .

Topología
Convergencia
Ejemplos 4.2.
Sea X un conjunto infinito y TCof la topología cofinita en X .
Si {xn }∞
n=1 es una sucesión de términos diferentes en X ,
entonces {xn }∞n=1 converge a cualquier punto del espacio
X . En efecto,
Si x0 ∈ X y V ∈ V x0 , entonces X − V es finito.
∞
Luego {xn }n=1 debe estar contenida en V , salvo quizás
una colección finita, es decir, xn → x0 .
Si {xn }∞
n=1 es una sucesión finita, entonces,
∀ n > n0 : xn = x0 ∈ X . Por tanto, {xn }∞
n=1 converge solo al
punto x0 .

Topología
Convergencia
Ejemplos 4.2.
Si {xn }∞
X . En efecto,
∞
Si {xn }∞
punto x0 .

Topología
Convergencia
Ejemplos 4.2.
Si {xn }∞
X . En efecto,
∞
Si {xn }∞
punto x0 .

Topología
Convergencia
Ejemplos 4.2.
Si {xn }∞
X . En efecto,
∞
Si {xn }∞
punto x0 .

Topología
Convergencia
Proposición 4.1.
X tal que Rango({xn }∞n=1 ) ⊂ E ⊂ X es infinito .
′
Si xn → x0 , entonces x0 ∈ E (derivado de E).
Pa
1 Si G ∈ TX y x0 ∈ G, entonces ∃ n0 : n > n0 → xn ∈ G.
2 Como Rango({xn }∞ n=1 ) es infinito, entonces
Rango({xn }∞
n=1 ) − {x0 } también lo es.
3 (G − {x0 }) ∩ Rango({xn }∞
n=1 ) ̸= ∅
′
4 Por tanto, x0 ∈ Rango({xn }∞
n=1 ) y como
∞ ′
Rango({xn }n=1 ) ⊂ E, x0 ∈ E .

Topología
Convergencia
Proposición 4.1.
′
Pa
Rango({xn }∞
3 (G − {x0 }) ∩ Rango({xn }∞
n=1 ) ̸= ∅
′
n=1 ) y como
∞ ′
Rango({xn }n=1 ) ⊂ E, x0 ∈ E .

Topología
Convergencia
Proposición 4.1.
′
Pa
Rango({xn }∞
3 (G − {x0 }) ∩ Rango({xn }∞
n=1 ) ̸= ∅
′
n=1 ) y como
∞ ′
Rango({xn }n=1 ) ⊂ E, x0 ∈ E .

Topología
Convergencia
Proposición 4.1.
′
Pa
Rango({xn }∞
3 (G − {x0 }) ∩ Rango({xn }∞
n=1 ) ̸= ∅
′
n=1 ) y como
∞ ′
Rango({xn }n=1 ) ⊂ E, x0 ∈ E .

Topología
Convergencia
Proposición 4.1.
′
Pa
Rango({xn }∞
3 (G − {x0 }) ∩ Rango({xn }∞
n=1 ) ̸= ∅
′
n=1 ) y como
∞ ′
Rango({xn }n=1 ) ⊂ E, x0 ∈ E .

Topología
Convergencia
Proposición 4.2.
f : (X , TX ) −→ (Y , TY ) una función continua y {xn }∞
n=1 una
sucesión en X .
Si xn → x0 , entonces f (xn ) → f (x0 ).
Pa
1 Sea G ∈ TY y f (x0 ) ∈ G, entonces f −1 (G) ∈ TY y

x0 ∈ f −1 (G).
2 Entonces ∃ n0 : n > n0 → xn ∈ f −1 (G).
3 ∴ n > n0 → f (xn ) ∈ G.
4 Entonces f (xn ) → f (x0 ).

Topología
Convergencia
Proposición 4.2.
n=1 una
sucesión en X .
Pa

x0 ∈ f −1 (G).
3 ∴ n > n0 → f (xn ) ∈ G.

Topología
Convergencia
Proposición 4.2.
n=1 una
sucesión en X .
Pa

x0 ∈ f −1 (G).
3 ∴ n > n0 → f (xn ) ∈ G.

Topología
Convergencia
Proposición 4.2.
n=1 una
sucesión en X .
Pa

x0 ∈ f −1 (G).
3 ∴ n > n0 → f (xn ) ∈ G.

Topología
Convergencia
Proposición 4.2.
n=1 una
sucesión en X .
Pa

x0 ∈ f −1 (G).
3 ∴ n > n0 → f (xn ) ∈ G.

Topología
Convergencia
PREGUNTAS!!!

TOP - Clase 1.7 - 01032023

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

TOP - Clase 1.7 - 01032023

Cargado por

Copyright:

Formatos disponibles

Funciones Continuas.

Martín Enrique Guerra Cáceres

Martín Enrique Guerra Cáceres Topología

T2 ⊂ T1 ssi la identidad IX : (X , T1 ) → (X , T2 ) es continua

(→) Supongamos que T2 ⊂ T1 .

Martín Enrique Guerra Cáceres Topología

T2 ⊂ T1 ssi la identidad IX : (X , T1 ) → (X , T2 ) es continua

(→) Supongamos que T2 ⊂ T1 .

Martín Enrique Guerra Cáceres Topología

T2 ⊂ T1 ssi la identidad IX : (X , T1 ) → (X , T2 ) es continua

(→) Supongamos que T2 ⊂ T1 .

Martín Enrique Guerra Cáceres Topología

T2 ⊂ T1 ssi la identidad IX : (X , T1 ) → (X , T2 ) es continua

(→) Supongamos que T2 ⊂ T1 .

Martín Enrique Guerra Cáceres Topología

T2 ⊂ T1 ssi la identidad IX : (X , T1 ) → (X , T2 ) es continua

(→) Supongamos que T2 ⊂ T1 .

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

f es un homeomorfismo ⇔ ∀ A ⊂ X , f (A) = f (A)

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Esto es equivalente a decir:

Martín Enrique Guerra Cáceres Topología

Esto es equivalente a decir:

Martín Enrique Guerra Cáceres Topología

Esto es equivalente a decir:

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología

Martín Enrique Guerra Cáceres Topología