Topología: Topología Producto.

Kevin Steven Carrillo Reina

19 de junio de 2018

Notación y Prerrequisitos

§ Concepto de función continua.

§ Definición de Producto Cartesiano Generalizado.
§ Definición de cerradura, interior, densidad.

c Teorema 1.
Sea X un espacio topológico y A, B ⊆ X. Entonces

A ∪ B = A ∪ B.

h Definición 1 (Base).
Sea X un espacio topológico, con topología T . Una base de T , B, es un
subconjunto de T tal que todo elemento en T cumple la propiedad de ser
unión de elementos de B.
h Definición 2 (Homeomorfismo).
Sean X, Y espacios topológicos. Si f : X → Y es una función biyectiva y
continua, cuya inversa también es continua, se dice que f es un homeomorfismo
y que X es homeomorfo a Y , lo cual se denota por X ∼ Y .
h Definición 3 (Sub Base).
Dado conjunto X y un subconjunto A ⊆ P(X), es posible generar una to-
pología de X, llamada la topología generada por A, denotada por T (A),
mediante el conjunto de todas las intersecciones finitas de elementos de A, de-
notado por B(A); es decir, T (A) es el conjunto de todas las uniones arbitrarias
de elementos en B(A).
•Anotación 1.
De los conceptos de sub-base y base, se obtiene que el conjunto de intersecciones
finitas de A es una base de la topología generada por A, T (A).

1
Como ejercicios sencillos pueden probarse los dos importantes teoremas que
siguen:
c Teorema 2.
Sean X, Y espacios topológicos y B una base de Y . Entonces, f : X → Y es
continua si, y sólo si f −1 (O) es abierto en X, para todo O ∈ B.
c Teorema 3.
Sean X, Y espacios topológicos y A una sub-base de Y . Entonces, f : X → Y
es continua si, y sólo si f −1 (O) es abierto en X, para todo O ∈ A.

Por otra parte, una forma puntual de ver la continuidad consiste en lo siguiente.
c Teorema 4.
Sean X e Y dos espacios topológicos. Entonces f : X → Y es continua si, y
sólo si para todo x ∈ X, si U es vecindad de f (x), entonces f −1 (U ) es vecindad
de x.

fffff

1 Conexidad

1.1 Generalidades

En esta subsección se define espacio conexo y se caracteriza. Entre las carac-

terizaciones dadas, destaca una de ellas.
h Definición 4 (Espacio Conexo).
Un espacio X es conexo si este no es la unión de dos abiertos disyuntos. Un
subespacio B ⊆ X es conexo si este es conexo como subsespacio.
•Anotación 2.
Se sabe que Q ⊆ R. También que R es conexo, sin embargo Q no es conexo. Así
pues, si un espacio topológico es conexo, no necesariamente sus subespacios lo
son.
^ Proposición 1.
Las siguientes propiedades son equivalentes.

a.) X es conexo.

b.) Los únicos subconjuntos de X que son abiertos y cerrados son ∅ y Y .

2
c.) Si f : X → {0, 1} donde {0, 1} está dotado de la topología discreta, enton-
ces f no es sobreyectiva.

Demostración: Ejercicio. z
•Anotación 3.
Desde mi punto de vista, la caracterización dada en c.) es importante, debido
al contenido topológico que esta ofrece.
c Teorema 5.
Sea A ⊆ X conexo. Entonces cualquier conjunto que satisfaga A ⊆ B ⊆ A es
conexo.

Demostración: Ejercicio. z

1.2 Invarianza de la Conexidad.

c Teorema 6 (La conexidad es una propiedad invariante).

Sean X conexo y Y un espacio topológico arbitrario. Si f : X → Y es continua,
entonces f (X) es conexo.

Demostración: Ejercicio. z

1.3 Unión e Intersección de Conexos.

En esta subsección observamos que, bajo cierta condición una unión de conexos
llega a ser conexo. Se observa también que no todo subespacio de un conexo
es conexo.
c Teorema 7.
Sea X un espacio arbitrario. La unión de cualquier familia de subconjuntos
conexos teniendo al menos un punto en común es también conexo.

Demostración: Ejercicio. z
•Anotación 4.
En contraste, la intersección de dos conexos no necesariamente es conexo.

¦¦¦¦¦

3
2 Topología Producto: Construcción y Pro-
piedades Básicas.

Resumen: La topología producto se obtiene a partir de las proyecciones dadas

por el producto cartesiano. Estas funciones guardan relaciones importantes
entre tal topología y sus factores. Esta introducción a la topología producto se
refiere las relaciones de continuidad que existe entre la topología producto y
cada uno de sus factores. Aparte, se considera una forma general de densidad
en la topología producto.
Dada una familia de espacios topológicos {Xα }α∈I , considérense las proyeccio-
nes Y
πα : Xi → Xα definida por πα (f ) = fα := f (α).
i∈I
Así pues, defínase

A := πα−1 (U ) : α ∈ I, U ∈ Tα donde Tα es la topología de Xα .



h Definición 5 (Topología Producto).

Decimos que i∈I Xi dotado de la topología T (A) es la topología producto.
Q

Por la construcción anterior, se obtienen los siguientes resultados

c Teorema 8.
Q
Sea i∈I Xi dotada de la topología producto y sea α ∈ I, entonces πα es
continua, abierta y sobreyectiva.

Demostración: Ejercicio.
c Teorema 9.
Q
Sean Y un espacio topológico y i∈I Xi la topología producto. f : Y →
Q
i∈I Xi es continua si, y sólo si πi ◦ f es continua para todo i ∈ I.

Demostración: Ejercicio.
c Teorema 10.
Q
Si f ∈ i∈I Xα es un elemento fijo, el conjunto
( )
Y
D := g ∈ Xi : g y f difieren en a lo sumo un número finito de coordenadas
i∈I
Q
es denso en i∈X Xi .

Demostración: Ejercicio.

4
2.1 Abiertos y Cerrados en La Topología Producto

2.1.1 General

^ Proposición 2.
Sea {Ci }i∈I una familia de conjuntos tales que Ci ⊆ Xi . Entonces
Y Y
Ci = Ci .
i∈I i∈I

Demostración: Ejercicio.
^ Proposición 3.
Q
Si V es abierto en la topología producto i∈I Xi , entonces πi (V ) = Xi , para
casi todo i ∈ I.

2.1.2 Conjunto Finito de Índices

^ Proposición 4.
Si I es finito, y Ai ⊆ Xi , entonces
n
!o n
Y Y
Ai = (Ai )o .
i=1 i=1

^ Proposición 5.
Si I es finito, y Ui ∈ Ti , entonces U1 × · · · × Un es abierto en ni=1 Xi
Q

Demostración: Ejercicio.

2.1.3 Conjunto Infinito de Índices

^ Proposición 6.
Sean I infinito y Ui ∈ Ti para todo i ∈ I, propios. Entonces
Y
Ui no es abierto.
i∈I

Demostración: Ejercicio.

5
2.2 Conexidad en la Topología Producto

c Teorema 11.
Q
Sea {Xα } una familia de espacios topológicos. Entonces i∈I Xi es conexo si,
y sólo si cada Xi ex conexo.

Demostración: Ejercicio. Sea f fijo en el espacio producto. Mostrar que, si

f 0 y f difieren en a lo sumo n coordenadas, entonces f 0 , f ∈ C, donde C es un
subespacio conexo de la topología producto. z