Equivalencia del Axioma de elección y el teorema de Tychonoff

Camilo Esteban González Castañeda∗

Junio de 2022

0.1 Resumen:
El objetivo del presente escrito es abordar la relación que existe entre el axioma de elección, un importante
pero controvertido axioma de la teorı́a de conjuntos, con el teorema de Tychonoff, que habla sobre el producto
arbitrario de espacios topológicos compactos y los espacios en sı́. Se demostrará que ambos son equivalentes
y se mostrarán ciertas implicaciones de dicha equivalencia en las matemáticas. Se espera que el lector tenga
conocimiento de lo fundamental en teorı́a de conjuntos de Zermelo-Fraenkel, a lo largo del mismo se irán
aclarando los conceptos que se crean pertinentes y se demostrarán los hechos necesarios para lograra el
objetivo antes mencionado.

1 Introducción:
El teorema de Tychonoff aparece por primera vez en 1930 cuando el matemático ruso Andrey Nikolayevich
Tychonof demostró que el producto arbitrario de espacios topológicos compactos es compacto si se le denota
la topologı́a producto, aunque en esa ocasión solo lo demostró para el intervalo [0, 1], en 1935 completarı́a
la prueba para el caso general, esta prueba discurrı́a como en el caso particular.
El axioma de elección (que a partir de ahora denotaremos por AE) fue introducido por Zermelo en 1904
con el objetivo de probar que todo conjunto se puede bien ordenar (Teorema de Zermelo). Posteriormente,
en 1963 Paul Cohen demostró que AE es independiente de la teorı́a de Zermelo-Fraenkel (que a partir de
ahora llamaremos ZF), el axioma de elección asegura que para todo sistema de conjuntos existe una función
de elección, sin embargo, no define alguna propiedad en particular, un ejemplo de ello es que encontrar una
función de elección sobre P (R)(el conjunto de partes de R) no es inmediato.
El presente trabajo se divide en 5 secciones, la sección 2 empezará definiendo lo que es una función de
elección en un conjunto A, a partir de esta definición se enuncia AE, se usará esto para demostrar el teorema
de Zermelo. Después en la misma sección se mostrarán algunas definiciones y teoremas básicos en topologı́a
que servirán para enunciar y demostrar el teorema de Tychonoff. En la sección 3 se demostrará que AE es
equivalente al teorema de Tychonoff.
En la sección 4 se presentarán algunas implicaciones de dicha equivalencia, una de ellas es que el teorema de
Tychonoff es independiente de ZF(esto es, no se puede demostrar usando los axiomas de dicha teorı́a), que
es equivalente al principio de buena ordenación por la equivalencia de este con AE y se deducirán algunas
conclusiones de dichas equivalencias también.
Ya en la sección final se harán unos comentarios finales sobre la relevancia de esta equivalencia y su pertinencia
en la formación matemática del autor del presente artı́culo.

2 Conceptos fundamentales:
2.1 Axioma de elección:
2.1.1 Definición:Dada una familia de conjuntos no vacı́os A, f es una función de elección para A si y sólo
si el dominio de f es A y para todo B ∈ A se tiene que f (B) ∈ B
∗ camgonzalezca@unal.edu.co

1
2.1.2 Teorema: Todo conjunto finito tiene una función de elección.
Demostración:
Se procede por inducción. Considere el conjunto A = {a} y la función f como f ({{a}}) = a, como se
ve, a ∈ A y A ∈ {A} es no vacı́o, entonces f es una función de elección. Suponga que todo conjunto
con n elementos tiene una función de elección para 1 ≤ n. Sea B un conjunto con n + 1 elementos,
dado b ∈ B, el conjunto B − {b} tiene una función de elección fb , definimos la función f = fb ∪ {(b, a)}
para todo a ∈ b, entonces, vemos que f es función de elección para B. □
2.1.3 Axioma de elección(AE): Toda familia de conjuntos tiene una función de elección.
2.1.4 Afirmación: Si A es un conjunto conformado por conjuntos no vacı́os disyuntos dos a dos, entonces
existe un conjunto C tal que para todo B ∈ A, C ∩ B es un conjunto unitario.
2.1.5 Teorema: El axioma de elección es equivalente con la afirmación 2.1.4.
Demostración:
Sea A un conjunto de conjuntos no vacı́os disyuntos dos a dos.
→) Sea f una función de elección para A, entonces, para todo B ∈ A, se tiene que Ranf
S ∩ B = {f (B)}
←) Para todo B ∈ A existe C tal que C ∩ B = {b}. Considere la función f : A −→ A definida como
f (B) = b, ası́, se ve que f es una función de elección. □
2.1.6 Teorema: Un conjunto A se puede bien ordenar si y sólo si el conjunto P (A) tiene una función de
elección.
Demostración:
→) Considere (A, <) un conjunto bien ordenado, considere la función g : P (A) −→ A como

 mı́nx, x ̸= ∅
g(x) =
∅, x = ∅


siendo mı́nx el elemento mı́nimo de x. Como se ve, para todo subconjunto no vacı́o de A se obtiene
un elemento de A, por lo que g es función de elección.
←) Se procede por recursión transfinita, sea γ un ordinal, sea a un elemento cualquiera de A y considere
f : γ −→ A como sigue:
 
 b ∈ A, A ̸= ∅  b ∈ A − ran(f |α), A − ran(f |α) ̸= ∅
f (0) = f (α) =
a, A = ∅ a, A − ran(f |α) = ∅
 

siendo b algún elemento de A − ran(f |α). Considere α < β, si f (β) ̸= a, entonces por definición
f (β) ∈ A − ran(f |β), como A − ran(f |α) es la imagen del conjunto de ordinales mayores a α, α ∈ A −
ran(f |β(imagen del conjunto de ordinales mayores a β, que también son mayores a α) o α ∈ ranf (f |β),
en el primer caso, α = β o α > β por definición de f , pero en ambos casos esto es imposible, entonces
α ∈ ran(f |β), ası́ f (α) ̸= f (β), luego f es inyectiva. Ahora, si f (α) ̸= a donde α < h(A) siendo h(A)
el número de Hartogs de A, entonces f podrı́a ser o una biyección de h(A) en A o una inyección no
sobreyectiva de h(A) en A, en el primer caso, h(A) y A serı́an equipotentes, pero A ⊆ A, por definición
de número de Hartogs esto es imposible, en el segundo caso el cardinal de A es mayor al de h(A), lo
cual también es imposible, entonces se garantiza que A ”se agota” para algún ordinal γ < h(A).
Sea el menor ordinal α < h(A) tal que f α) = a, ya tenemos que ran(f |γ) ⊆ A, ahora, si ran(f |γ) ⊂ A,
significa que la función puede continuar, entonces A − ran(f |γ) ̸= ∅ y f (γ) ̸= a, lo cual contradice la
hipótesis, ası́, ran(f |γ) = A.
Comsidere G(f |α) = f (α) y sea g una función de elección en P (A), defina la siguiente función:

 g(A − ranx), A − ranx ̸= ∅
G(x) = .
a, otro caso


siendo x una función restringida en su dominio de un ordinal en A definida por recursión transfinita.
Sea R ⊆ A × A una relación definida ası́ G(x)RG(y) si y sólo si A − ranx ⊂ A − rany, como la conte-
nencia estricta es antisimétrica, es imposible que G(x)RG(x) ocurra, además, vemos que si G(x)RG(y)

2
 y G(y)RG(z), por definición significa que A − ranx ⊂ A − rany y A − rany ⊂ A − ranz, por transi-
tividad de la contenencia estricta eso significa que G(x)RG(z). Por definición de G, G(x) = a cuando
x = f |λ con λ el menor ordinal α < h(A) tal que f (α) = a, en este caso A − ranx = ∅, por lo
que G(x)RG(y) para todo G(y) ∈ A, luego a es el mı́nimo de A en R, si x = f |α y y = f |β con
α, β > h(A), entonces, o α < β o α = β o β < α por buena ordenación de los ordinales, si α = β
f |α = f |β y ası́ G(X) = G(y), sin pérdida de generalidad, suponga que α < β, en este caso, como
se vió anteriormente, A − ran(f |β ⊂ A − ran(f |α, ası́ G(y)RG(x), por lo tanto R es un orden total.
Como ya se probó que A tiene elemnto mı́nimo, sea B ⊂ A, suponga que B no tiene un mı́nimo,
entonces para todo G(x) ∈ B existe ytal que G(y) ∈ B y G(y)RG(x), se puede tomar y como una
restricción para ordinales cada vez más grandes hasta que se llega a a ∈ B y por hipótesis existe z
tal que G(z)Ra, lo cual es imposible, luego, B tiene mı́nimo y se concluye que (A, R) es bien ordenado □

Este último teorema, más AE, nos permiten concluir inmediatamente el teorema de Zermelo, que nos
dice que todo conjunto se puede bien ordenar. Además, con esto tenemos que el axioma de elección es
equivalente con la buena ordenación.

2.2 Bases de topologı́a:

2.2.1 Definición: Sea X un conjunto cualquiera, decimos que la colección τ de subconjuntos de X es una
topologı́a sobre X si se cumplen las siguientes condiciones:
• ∅ ∈ τ y X ∈ τ.
• Si B, A ∈ τ , entonces A ∩ B ∈ τ .
• i∈I Ai ∈ τ , con Ai ⊆ X para todo i ∈ I.
S

El par (X, τ ) se conoce como un espacio topológico.

2.2.2 Ejemplo: El par (X, P (X)) se conoce como espacio topológico discreto.Veamos que P (X) es una
topologı́a sobre X, la primera condición se cumple por la definición de conjunto de partes, en el caso
de la segunda, sean A, B subconjuntos de X, como A ∩ B ⊆ A, por transitividad de la contenencia,
A ∩ B ⊆ X. S Sea una colección {Ai }i∈I una familia de conjuntos con cada Ai subconjunto de X,
luego,
S si x ∈ i∈I Ai , entonces x ∈ Ai para algún i ∈ I, entonces, por contenencia x ∈ X, luego,
A
i∈I i ⊆ X.
2.2.3 Definición: Sea (X, τ ) un espacio topológico, una base para τ es una subfamilia B ⊆ τ , tal que si
U ∈ τ y x ∈ U , existe B ∈ B tal que x ∈ B ⊆ U .

2.2.4 Teorema: Sea X un conjunto, B ⊆ P (X) es una base para una topologı́a sobre X si y sólo si se
cumplen las siguientes condiciones:
• B∈B B = X
S

• Si B1 , B2 ∈ B y x ∈ B1 ∩ B2 , existe C ∈ B tal que x ∈ C y C ⊆ B1 ∩ B2 .

Demostración:
→) Asuma que B es una base para una topologı́a sobre X.
• Sea x ∈ B∈B B,por axioma de unión x ∈ B para algún B ∈ B, pero B ⊆ P (X), luego B ∈ P (X),
S
es decir, x ∈ X. Ahora, suponga que x ∈
/ b∈B B, por axioma de unión esto significa que x ∈
/ B para
todo ∈ B, pero, como B ⊆SX, entonces se tiene que x ∈ / X (por contrarrecı́proca esto significa
que si x ∈ X entonces x ∈ b∈B B). Por lo que se verifica la primera propiedad.
• Sean B1 , B2 ∈ B y x ∈ B1 ∩ B2 , como B1 ∩ B2 ∈ B, por la propia definición de base, existe B ∈ B
tal que x ∈ B ⊆ B1 ∩ B2 .
S
←) Sea B un conjunto que satisface las propiedades dadas y se τ = {U ⊆ X : U = i∈I Bi , Bi ∈ B},
probemos que τ es Suna topologı́a:
Tenemos que ∅S= i∈∅ Bi , entonces
S ∅ ∈ τ y, por la primera propiedad, X ∈ τ . Sean U1 , U2 ∈ τ ,
entonces U1 = i∈I Bi y U2 = j∈J Bj con Bi , Bj ∈ B, para cada x ∈ U1 ∩ U2 existen i0 ∈ I y j0 ∈ J

3
 tales que x ∈ Bi0 ∩ Bj 0 , por la segunda
S propiedad existe Bx ∈ B tal que x ∈ Bx ⊆ Bi0 ∩ Bj 0 ⊆ U1 ∩ U2 ,
entonces, se tiene que U1 ∩ U2 x∈Bi0 Bj 0 Bx , ası́, U1 ∩ U2 ∈ τ . Sea {ui }i∈I una familia de conjuntos
S
de τ , entonces Ui = j∈Ji Bij , por lo tanto, se tiene
[ [ [ [
Ui = ( Bij ) = Bij
i∈I i∈I j∈Ji i∈I,j∈Ji
S
luego, i∈I Ui ∈ τ , entonces τ es una topologı́a. Ahora sean U, V ∈ τ y x ∈ U ∩ V , por la definición
de τ existen BU , Bv ∈ τ tales que x ∈ BU ⊆ U y x ∈ BV ⊆ V , por la segunda propiedad, existe B ∈ B
tal que x ∈ B ⊆ BU ∩ BV ⊆ U ∩ V . Por lo que se demuestra que B es una base para τ . □
2.2.5 Definición: Sea X un conjunto y B una base para una topologı́a sobre X, se dice que A ⊆ X es
abierto si es colección finita de elementos de B, A es cerrado si X − A es abierto.

2.2.6 Definición:Sea (X, τ ) un espacio topológico. Una subbase para la topologı́a τ es una subcolección
D ⊆ τ con la propiedad de que la familia formada por intersecciones finitas de elementos de D es una
base para τ .
2.2.7 Definición: Sea (X, τ ) un espacio topológico. Se dice que V X es una vecindad de x ∈ X, notada por
Vx , si existe U ∈ τ tal que x ∈ U ⊆ Vx . Al conjunto de todas las vecindades de x se le denota por
V(x).
2.2.8 Proposición: Sean (X, τ ) un espacio topológico y x ∈ X. V(x) tiene las siguientes propiedades:
(a) Si V ∈ V(x), entonces x ∈ V
(b) Si V, W ∈ V(x), entonces V ∩ W ∈ V(x)
(c) Si V ∈ V(x) y V ⊆ W , entonces W ∈ V(x)
Demostración:

(a) Si V ∈ V(x), entonces es una vecindad de x.

(b) Sean V, W ∈ V(x), por definición existen U1 , U2 ∈ τ tales que x ∈ U1 ⊆ V y x ∈ U2 ⊆ W ,
entonces x ∈ U1 ∩ U2 ⊆ V ∩ W , entonces V ∩ W ∈ V(x).
(c) Se tiene V ∈ V(x) y V ⊆ W , si A ∈ τ es tal que x ∈ A ⊆ V , entonces A ⊆ W , por lo tanto
W ∈ V(x) □

2.2.9 Definición: Sean (X, τ ) y (Y, µ) espacios topológicos, la función f : (X, τ ) −→ (Y, µ) es continua en
un x dado si y sólo si, dada la vecindad Vf (x) en Y , existe una vecindad Ux en X tal que f (Ux ) ⊆ Vf (x)
2.2.10 Proposición:Sea f : (X, τ ) −→ (Y, µ) una función, f es continua en X si y sólo si para cada V ∈ µ se
tiene que f −1 (V ) ∈ τ , esto es, f −1 (µ) ⊆ τ .
Demostración:
→)f es continua,sea x ∈ f −1 (V ), luego f (x) ∈ V , VSes vecindad de f (x) y por continuidad existe
Ux ∈ τ tal que Ux ∈ f −1 (V ). Entonces f −1 (V ) = {Ux : x ∈ f −1 (V )}, por propirdades de una
topologı́a, f −1 (V ) ∈ τ .
←) Sea V ∈ µ y x ∈ X tal que x ∈ f (V ), entonces x ∈ f −1 (V ), como f −1 (V ) ∈ τ , es vecindad de x,
por lo tanto f (f −1 (V )) ⊆ V . Por lo que f es continua. □

2.2.11 Definición:Sea {Xi }i∈I una familia indexada de conjuntos. Se define el conjunto de las funciones
[
{x : I −→ Xi : x(i) ∈ Xi }
i∈I

, donde x(i) = xi y se le conoce como la i−ésima coordenada de x = (xi )i∈I . Por AE sabemos que
este conjuunto no es vacı́o si cada factor Xi no lo es.

4
2.2.12 Definición:Sea {(Xi , τi )}i∈I una familia indexada de espacios topológicos. Se define la función
Y
pj : Xi −→ Xj
i∈J

como pj ((xi )i∈J ) = xj .

2.2.13 Definición:Sea {(Xi , τi )}i∈I una familia indexada de espacios topológicos. Se define como topologı́a
producto a la generada por la subbase S definida como

S = {p−1
i (Ui ) : Ui ∈ τi , i ∈ I}
Q
en esta topologı́a i∈I Xi se conoce como espacio producto o espacio producto de Tychonoff.
2.2.14 definición:Sea (X, τ ) un espacio topológico y {Ui }i∈I una familia de conjuntos abiertos de X, se dice
que es un cubrimiento de X si [
X⊆ Ui
i∈I
S
si además de eso, dado J ⊆ I, X ⊆ i∈J Ui , a la familia {Ui }i∈J se le llama subcubrimiento de X.
2.2.15 Definición: Se dice que el espacio (X, τ ) es compacto si de cada cubrimiento abierto de X se puede
extraer un subcubrimiento finito.
2.2.16 Proposición: Sea f : (X, τ ) :−→ (Y, µ) una función continua y sobreyectiva. Si X es comopacto,
entonces Y es compacto.
Demostración:
Sea {Ui }i∈I un cubrimiento de Y , por continuidad de f se tiene que
[
X = f −1 (Y ) ⊆ f −1 ( Ui )
i∈I
Sn
, como X es compacto, se admite un subcubrimiento para X, es decir X ⊆ i=0 f −1 (Ui ), por sobreyec-
tividad de f ,
n
[ n
[ n
[
f (f −1 (Y )) = f (X) = Y ⊆ f ( f −1 (U − i)) = f (f −1 ( Ui )) = Ui
i=0 i=0 i=0

entonces, también se puede extraer un subcubrimiento para Y , por lo tanto Y es compacto.

2.2.16 Definición: Dado un conjunto X, un filtro F para X es una colección de subconjuntos no vacı́os de
X que satisfacen las siguientes condiciones:
(a) X ∈ F
(b) Si A, Y ∈ F, entonces A ∩ Y ∈ F
(c) Si A ∈ F y A ⊆ Y ⊆ X
el conjunto de todos los filtros de X se denota F il(X)
2.2.17 Definición:Dado unconjunto X, un ultrafiltro U es un elemento maximal de F il(X)
2.2.18 Definición: Sea (X, τ ) un espacio topológico, y F un filtro del mismo, se dice que el filtro converge
a un punto x ∈ X cuando esw más fino que el filtro de ñas vecindades de x. Esto es, si V(x) ⊆ F, se
denota F → x.
2.2.19 Definición: Sean X un conjunto y {Ai }i∈I una familia de subconjuntos de X. La familia {Ai }i∈I
tiene la propiedad de la intersección finita PIF, si la intersección
T de cualquier subfamilia finita de
{Ai }i∈I es no vacı́a, esto es si para todo J ⊆ I finito se tiene j∈J Aj ̸= ∅.
2.2.20 Definición:Dado un espacio topológico (X, τ ) y A ⊆ X. Un punto x ∈ X es adherente a A si toda
vecindad de x contiene puntos de A. Al conjunto de todos los puntos adherentes a A se le llama
adherencia de A y se denota por A.

5
2.2.21 Teorema 4 (Tychonoff, 1930): Un producto es compacto si y sólo si cada uno de los factores es
compacto.
Demostración:
Sean {Xα : α ∈ A} una colección de espacios topológicos, y X su producto. Si X es compacto, dado
que la proyección p: X −→ Xα es contiua y sobreyectiva, entonces Xα es compacto. Recı́procamente,
Sea
F = {Fi : i ∈ I}
una familia de cerrados de X con la PIF, la que Tpuede suponerse
T maximal, en el sentido de que si Fi ,
Fj ∈ F , entonces Fi ∩ Fj F , ya que si F ⊆ G y G ⊆ F . Entonces, para cada α ∈ A, la colección
T
Fα = {pα (FiT) : i ∈ I} tiene la PIF, de manera que por la compacidad de Xα , ocurre que Fα ̸= ∅.
Elı́jase xα ∈ F α, y sea x = (xα :∈ A) ∈ X, que claramente satisface que pα (x) = xα para cada ∈ A.
Sea
S = p−1
1
(Uα1 ) ∩ ... ∩ p−1
αn (Uαn )

un subbásico de la topologı́a producto para X, tal que x ∈ S, entonces pα (S) es un abierto de Xα

que contiene a xα , y en consecuencia pα (S) ∩ pα (Fi ) ̸= ∅ para todo α y para todo i, de manera que
p1αk (Uαk ) ∩ Fi ̸= ∅ para todo k ∈ {1, ..., n} y todo i ∈ I. Sea yαk ∈ p1αk (Uαk ) ∩ Fi para i ∈ I fijo,
y tómese un punto y ∈ F i tal que pα (y) = yαk , para k ∈ {1, ..., n}, que claramente satisface que
y ∈ S ∩ Fi , con lo que S ∩ Fi ̸= ∅. Se sigue de aquı́ T que S ∩ Fi ̸= ∅, para todo i ∈ I. Entonces
x ∈ Fi = Fi para todo i ∈ I, con lo que, entonces x ∈ F □

3 Equivalencia AE-Tychonoff:
Como en la demostración del teorema de Tychonoff se usó AE, solo queda probar la otra implicación.
Supóngase que Y = {Yα : α ∈ A} es una colección no vacı́a de conjuntos no vacı́os, y sea
[
y∈/ Yα
∈A

Nótese que tal punto en verdad existe, por ejemplo, si

[
y= Yα
α∈A

Denotemos Xα = Yα ∪ {y}, y dótese a este conjunto de la topologı́a τα = {Xα , {y}, ∅}, respecto de la
cual es claramente compacto, y por hipótesis, el producto
Y
X= Xα
α∈A

es compacto. Claramente Yα es cerrado en Xα , de manera que por continuidad p1α (Y) es cerrado en X y es
no vacı́o. Para toda subcolección finita {α1, ..., αn } ⊆ A se satisface que x ∈ p1α1 (Yα1 ) ∩ ... ∩ p1αn (Yαn ) donde
xα = y para ∈ / {α1 , ..., αn } y se elige xk Yk para k ∈ {1, ..., n} dado que cada Y es no vacı́o . Tenemos
entonces que {p1α (Yα ) : α ∈ A} es una colección de cerrados de X con la PIF, de manera que por compacidad,
tiene intersección no vacı́a, y dado que
\
p−1
α (Yα ) = prodα∈A Yα
α∈A

se ha completado la demostración □

4 Algunas implicaciones:
Una de las implocaciones más inmediatas de la equivalencia del teorema de Tychonoff con AE, es que, al
ser este último independiente de ZF, hace que el primero también lo sea, esto significa que siempre que se
admita AE se tendrá como verdadero que el prodoctu de espacios compactos es compacto aún si se hace

6
desde otra fundamentación de la matemática.
Otra consecuencia importante viene por el Teorema 2.1.6, pues el cumplimiento de este teorema implica
que los espacios compactos y sus respectuvos productos se pueden bien ordenar, ello implica que, dada una
familia infinita{(Xi , τi )}i∈I ) de espacios topológicos compactos, se puede determinar una relación R que los
bienordena, por lo tanto, son isomorfos al conjunto bien ordenado (α, ) con α un ordinal, por lo que a cada
espacio (Xi , τ ) puede definir un sucesor en R como el espacio (Xi+1 , τi+1 ) como Xi RXi+1 y no existe ningún
espacio topológico en la familia (Xk , τk ) tal que Xi RXk RXi+1 , si a cada espacio se le asocia mediante una
función unsubcubrimiento del mismo menos fino que el subcubrimiento del anterior de forma recursiva (es
decir, el primer subcbrimiento será ekl del mı́nimo de la familia y será el más fino de todos, dado un espacio
cualquiera en la familia, a su sucesor se le asocia un subcubrimiento finito menos fino que el anterior que
lo contenga y que también a su sucesor) vemos que se puede formar un buen orden con el conjunto de
estos subcubrimientos respecto a la contenencia, por lo que serı́a también isomorfo a ({(Xi , τi )}i∈I , R) y
a (α, ∈). La importancia que tienen estos isomorfismos es que, como muestran comportamientos similares
en los órdenes, permiten estuduiar las propiedades del orden en un conjunto sin conocer dicho orde, solo
conociendo un orden más simple en un conjunto isomorfo a él, de este modo, aunque no sepamos ciertamente
cómo es el orden para las familias infinitas de espacios topológicos compactos, sı́ podemos deducir algunas
de sus propiedades básicas y darnos una idea general de cómo deberı́a ser su comportamiento.
Ası́ mismo, por el isomorfismo mencionado anteriormente, se concluye que mediante recursión transfinita
se puede llegar de un ordinal a un espacio topológico compacto, además, todo lo que hasta ahora se ha
mencionado también vale para el producto de espacios topológicos compactos cuando se les asocia la toplogı́a
producto, esto nos permite conocer de forma indirecta cómo serı́a una jerarquı́a en las familias de espacios
topológicos compactos y en las familias de productos de espacios topológicos compactos, en caso de poder
construirse un subespacio comopacto de los reales, se podrı́a construir una familia de los mismos que permita
conocer más o menos cómo se comportarı́a un buen orden en ellos; lo mismo con los complejos, pues al
ser estos producto cartesiano de los reales, el producto cartesiano de subespacios topológicos en R darı́a
subespacios topológicos compactos en C.

5 Comentarios finales:
Honestamente, me habrı́a gustado poder sacar más conclusiones del trabajo y presentar algo un poco más
original, dejando eso de lado, puedo concluir que el axioma de elección es algo sorprendente y las conclusiones
que se pueden sacar de sus equivalencias, aunque puede que no sean muy relevantes, siguen siendo bastante
curiosas (al menos para mı́).
En cuanto a lo que deseo en mi carrera, mi aspiración es poder ser matemático y profesor universitario,
dedicarme al estudio y a descubrir más cosas nuevas que me sigan sorprendiendo de esta disciplina, como
lo hizo lo que investigué en este t¡documento, en ese sentido, considero que lo aprendido e investigado me
ayuda más que todo a conocer mejor el mundo matemático y ver el horizonte de posibilidades que hay en él.

6 Bibliografı́a:
• Jech,T. Hrbaeck,K.(1999) Introduction to set theory. New York: Marcel Dekker,Inc.

• Pérez. J.A.(2015) Los teoremas de Tychonoff y de los productos conexos son equivalentes
• Neira,C. topologı́a general. Bogotá
• Carrasquillo,A.(2014) El teorema de Tychonoff sobre varias estructuras topológicas. Carta-
gena: Universidad de Cartagena

• Suppes. P.(1960) Axiomatic set Theory. D. Van Nostrand Company.Inc