Topologia Funciones

FUNCIÓN CONTINUA Y ABIERTA
Luis A. Gómez G.
25 de junio de 2020
1. Topologı́as sobre un conjunto de tres elementos

Definición Una topologı́a sobre un conjunto X es una familia T ⊆ P(X) verificando:
1. X, φ ∈ T,
2. Si A, B ∈ T, entonces A ∩ B ∈ T,
3. La unión arbitraria de elementos de T nuevamente es elemento de T.
Consideremos el conjunto X = {a, b, c}.
Sobre este conjunto, se tienen veintinueve (29) topologı́as:
(1) T1 = {X, φ} (16) T16 = {X, φ, {c}}
(2) T2 = {X, φ, {b, c}} (17) T17 = {X, φ, {a}, {b, c}}
(3) T3 = {X, φ, {a, b}} (18) T18 = {X, φ, {b}, {a, c}}
(4) T4 = {X, φ, {a, c}} (19) T19 = {X, φ1 {c}, {a, b}}
(5) T5 = {X, φ, {a}}
(20) T20 = {X, φ, {a}, {b}, {a, b}}
(6) T6 = {X, φ, {a}, {a, b}}
(21) T21 = {X, φ, {a}, {c}, {a, c}}
(7) T7 = {X, φ, {a}, {a, c}}
(22) T22 = {X, φ, {b}, {c}, {b, c}}
(8) T8 = {X, φ, {b}, {a, b}}
(23) T23 = {X, φ, {a}, {b}, {a, b}, {a, c}}
(9) T9 = {φ, X, {b}, {b, c}}
(24) T24 = [X, φ, {a}, {c}, {a, c}, {a, b}}
(10) T10 = {X, φ, {c}, {a, c}}
(25) T25 = {X, φ, {0}, {c}, {b, c}, {a, d}}
(11) T11 = {X, φ, {c}, {b, c}}
(12) T12 = {X, φ, {a}, {a, b}, {a, c}} (26) T26 = {X, φ, {a}, {b}, {a, b}, {b, c}}
(13) T13 = {X, φ, {b}, {a, b}, {b, c}} (27) T27 = {X, φ, {a}, {c}, {a, c}, {b, c}}
(14) T14 = {X, φ, {c}, {a, c}, {b, c}} (28) T28 = {X, φ, {b}, {c}, {b, c}, {a, b}}
(15) T15 = {X, φ, {b}} (29) Tdis = {X, φ, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}}
2. Función continua y abierta

Definición Una función entre espacios topológicos f : (X, TX ) → (Y, TY ) es continua si para todo
abierto H del codominio Y , su imagen recı́proca f −1 (H) es un abierto del dominio X.
1
Definición Una función entre espacios topológicos f : (X, TX ) → (Y, TY ) es abierta si para todo
abierto F del dominio X, su imagen f (F ) es un abierto del codominio Y .
2.1. Elegir topologı́a en el dominio

Para el codominio de las funciones f, g considere la topologı́a T23 .
Construya para cada una, dos topologı́as que les permitan ser continuas.
Figura 1: Funciones f, g
2.2. Elegir topologı́a en el codominio

Para el dominio de las funciones h, t considere la topologı́a T20 .
Construya para cada una, dos topologı́as que les permitan ser abiertas.
Figura 2: Funciones h, t
Nota
Puede enviar su archivo en pdf. Recuerde la utilidad de escaneo de su celular.
2
3. De Munkres
3.1. Algunas topologı́as
Figura 3:
Figura 4:
Figura 5:
3.2. Base para una topologı́a

Definición Si X es un conjunto, una base para una topologı́a sobre X es un colección B de subconjuntos
de X (llamados elementos básicos) tales que:
(1) Para cada x ∈ X, hay al menos un elemento básico B que contiene a x.
(2) Si x pertenece a la intersección de dos elementos básicos B1 y B2 , entonce existe un elemento básico
B3 que contiene a x y tal que B3 ⊂ B1 ∩ B2 Si
Si B satisface estas dos condiciones, se define la topologia T generada por B com sigue: un subconjunto
U de X se dice que es abierto en X (esto es, un elemento d 7), si para cada x ∈ U , existe un elemento
básico B ∈ B tal que x ∈ B y B ⊂ U . Nótese que cada elemento básico es ası́ mismo un elemento de T .
Figura 6:
Para la imagen anterior decida si en cada caso se tiene una base para una topologı́a sobre el conjunto
X.
3
4. Ejercicios
Tomado de Munkres, J. - Topology, pág. 95:
1. Sean X un espacio topológico y A un subconjunto de X. Supongamos que para cada x ∈ A existe un

conjunto abierto U que contiene a x tal que U ⊂ A Pruebe que A es abierto en X.
2. Considere las nueve topologı́as sobre el conjunto X = {a, b, c} indicadas en el Ejemplo 1 de §12.
Compárelas, es decir, para cada par de topologı́as, determine si son comparables, y si lo son, cuál es
la más fina.
3. Pruebe que la colección Tc dada en el Ejemplo 4 de §12 es una topologı́a sobre el conjunto X. Es la
colección
T∞ = {U | X − U es infinita o vacı́a o todo X}
una topologı́a sobre X?
(a) Si {Tα } es una familia de topologı́as sobre X, pruebe que ∩Tα es una topologı́a sobre X.iEs ∪ Tα
una topologı́a sobre X?
(b) Sea {Tα } una familia de topologı́as sobre X. Pruebe que existe una única topologı́a sobre X más
pequeña entre todas las que contienen a todas las colecciones Tα , y una única topologı́a más grande
entre todas las que están contenidas en toda Tα
(c) Si X = {a, b, c}, sean
T1 = {φ, X, {a}, {a, b}}, T2 = {φ, X, {a}, {b, c}}
Encuentre la topologı́a más pequeña que contenga a T1 y T2 , y la topologı́a más grande contenida
en T1 y T2
4. Demuestre que si A es una base para una topologı́a sobre X, entonces la topologı́a generada por A es
igual a la intersección de todas las topologı́as sobre X que contienen a A. Pruebe lo mismo si A es una
subbase.
5. Pruebe que las topologı́as de R` y RK no son comparables.
6. Considere las siguientes topologı́as sobre R : T1 = la topologı́a usual
T2 = la topologı́a de RK
T3 = la topologı́a de los complementos finitos, T4 = la topologı́a del lı́mite superior, con todos los
conjuntos (a, b] como base,
T5 = la topologı́a con todos los conjuntos (−∞, a) = {x | x < a} como base.
Determine las posibles relaciones de inclusión entre estas topologı́as.
(a) Aplique el Lema 13.2 para ver que la colección numerable
B = {(a, b) | a < b, a y b racionales }
es una base que genera la topologı́a usual sobre R.

(b) Demuestre que la colección
C = {[a, b) | a < b, a y b racionales }
es una base que genera una topologı́a distinta de la topologı́a del lı́mite inferior sobre R

Topologia Funciones

Cargado por

Copyright:

Formatos disponibles

Topologia Funciones

Cargado por

Información del documento

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

Topologia Funciones

Cargado por

Copyright:

Formatos disponibles

FUNCIÓN CONTINUA Y ABIERTA

1. Topologı́as sobre un conjunto de tres elementos

Sobre este conjunto, se tienen veintinueve (29) topologı́as:

(1) T1 = {X, φ} (16) T16 = {X, φ, {c}}

2. Función continua y abierta

2.1. Elegir topologı́a en el dominio

2.2. Elegir topologı́a en el codominio

3.2. Base para una topologı́a

1. Sean X un espacio topológico y A un subconjunto de X. Supongamos que para cada x ∈ A existe un

T1 = {φ, X, {a}, {a, b}}, T2 = {φ, X, {a}, {b, c}}

5. Pruebe que las topologı́as de R` y RK no son comparables.

6. Considere las siguientes topologı́as sobre R : T1 = la topologı́a usual

T5 = la topologı́a con todos los conjuntos (−∞, a) = {x | x < a} como base.

Determine las posibles relaciones de inclusión entre estas topologı́as.

(a) Aplique el Lema 13.2 para ver que la colección numerable

B = {(a, b) | a < b, a y b racionales }

es una base que genera la topologı́a usual sobre R.

C = {[a, b) | a < b, a y b racionales }

También podría gustarte