Teorı́a de Conjuntos

Axioma de Elección.
Alberto Alejandro Vega Bravo
José Alberto Ortega Becerril
Michel Jimarez Soriano
Daniel Domı́nguez Málaga

1. El axioma de Elección.
Antes que nada, damos una primera definición:
Definición 1. Sea Aunn conjunto.
o Una función de elección o selectora para A es
una función f : P A \ ∅ → A tal que, para todo
   
B∈P A , f B = fB ∈ B.

Algunos matemáticos actuales consideran que el uso del Axioma de Elec-

ción es muy cuestionable a la hora de realizar demostraciones. Casi cualquier
estudiante que curse al menos una carrera en matemáticas tiene contacto con
este axioma. Lo que nos dice este axioma es:

Axioma 1 (de Elección). Todo conjunto no vacı́o tiene una función selectora.
Algunos ejemplos particulares,
n deo este axioma son más o menos evidentes,
si dados conjuntos de la forma a, b , donde a, b ∈ R. Entonces la función
n o
f a, b = min (a, b)
n o
es una función selectora en a, b . Si tomamos conjuntos unitarios, es decir, de
n o
la forma a , entonces se puede encontrar facilmente una función selectora
n o
en a . Finalmente, si F es una familia finita de conjuntos no vacios, entonces
existe una función selectora.

1
2. Equivalencias del Axioma de Elección.
Desde luego que hay un sin fin de formulaciones del Axioma de Elección
las cuales son equivalentes al axioma antes mencionado. A continuación
presentaremos algunas equivalencias.
Teorema 1. Las siguientes proposiciones son equivalentes:
(a) El Axioma de Elección.
(b) Si A es una familia no vacı́a de conjuntos no vacı́os y ajenos dos a dos, entonces
existe un conjunto B tal que para todo A ∈ A, A ∩ B es un conjunto unitario.
(c) Toda función sobreyectiva tiene una inversa derecha.
n o
(d) Si Aα es tal que Aα , ∅, Aα ∩ Aβ para cualesquiera α, β ∈ Γ, entonces existe
S α∈Γ
B⊆ Aα tal que B ∩ Aα es unitario para cada α ∈ Γ.
α∈Γ
n o
(e) Si Aα es una familia indizada de conjuntos no vacı́os, entonces existe una
α∈Γ  
función f : Γ → Aα tal que para cada α ∈ Γ, f α ∈ Aα .
S
α∈Γ
n o Q
(f) Si Aα es una familia indizada de conjuntos no vacı́os entonces Aα , ∅.
α∈Γ α∈Γ
  n o
(g) Si f : X → P Y \ ∅ es una función, entonces existe una función f : X → Y
tal que f (x) ∈ F(x) para todo x ∈ X.
Demostración. (a) ⇒ (b) Supongamos que A es una familia noS vacı́a cuyos
elementos no son vacios y son ajenos a pares. Sea U = A, evidente-
 
mente para cualquier A ∈ A, A ⊆ U, con lo cual ∀ A ∈ A, A ∈ P U , es
    n o
decir, A ⊆ P U . Por (a) existe una función f : P U \ ∅ → U tal que
   
f A = fA ∈ A, para cada A ∈ P U . Sea
n o  
B = fA ∈ U : A ∈ A = f A .
n o   n o
Ahora sea A ∈ A, afirmamos que A ∩ B = fA para cada A ∈ P U \ ∅ .
En efecto, queda claro que fA ∈ A ∩ B, además para cualquier otro fA′
no ocurre que fA′ ∈ A ∩ B, pues de ser el caso fA′ ∈ A lo cual contradice
el hecho de que f es función, luego, se cumple cabalmente que
n o
fA ∈ A ∩ B si y sólo si fA ∈ fA .

Concluimos que B es el conjunto buscado.

2
(b) ⇒ (c) Sea f : X → Y una función sobreyectiva, es decir, para cualquier
y ∈ Y, existe x ∈ X tal que f (x) = y. Conforme n o a esto, definamos un
conjunto de la siguinete forma, A y = f −1 y . Por la sobreyectividad,
n o
A y , ∅. Sea A = A y : y ∈ Y para cada y ∈ Y. Sean y, y′ ∈ Y tal que
y , y′ , entonces A y ∩ A y′ = ∅. En efecto, supongamos por el contrario
n o n o
que A y ∩ A y′ , ∅ entonces existe x ∈ X tal que f x = y y f x = y′
con y , y′ , lo que contradice el hecho de que f es función. Por (b)
se infiere la existencia de un conjunto B tal que B ∩ A y unitario para
n o
todo y ∈ Y. Sea x y ∈ X tal que B ∩ A y = x y . Definamos una función
g : Y → X tal que g(y) = x y ∈ B ∩ A y para cada y ∈ Y, g está bien
definida. Si (y, x y ) ∈ g y (y, x y′ ) ∈ g entonces g(y) = x y y g(y′ ) = x y′ , con
lo cual, x y , x y′ ∈ A y ∩ A y′ pero como A y ∩ A y′ = ∅ entonces A y = A y′ , asi
 
x y = x y′ . Además, note que f g(y) = f (x y ) = y, osea, f ◦ g = IdY .
n o
(c) ⇒ (d) Sea Aα tal que ∀ α ∈ Γ : Aα , ∅ y ∀ α, β ∈ Γ : Aα ∩ Aβ = ∅
α∈Γ n o
con α , β. Definamos f : Aα → A donde A = Aα
S
tal que
α∈Γ α∈Γ
f (x) = Aα si x ∈ Ax . Si (x, Aα ) ∈ f y (x, Aβ ) entonces f (x) = Aα y
f (x) = Aβ , es decir, x ∈ Aα ∩ Aβ pero como Aα ∩ Aβ = ∅ entonces
Aα = Aβ , lo cual muestra que f S está bien definida. Queda claro que para
cualquier Aα ∈ A existen x ∈ Aα tal que f (x) = Aα , ∀α ∈ Γ, es decir,
α∈Γ S
f es sobreyectiva. Por (c) existe una función g : A → Aα tal que
     α∈Γ
f ◦ g Aα = IdA = Aα entonces se tiene f g Aα = Aα y por como se
  n   o  
definió f , tenemos que g Aα ∈ Aα . Sea B = g Aα : Aα ∈ A = g A ,
n  o
entonces ∀ ∈ Γ : B ∩ Aα = g Aα , la veracidad de este acierto, se
desmuestra similarmente a como se hizó en (a) ⇒ (b).
n o
(d) ⇒ (e) Sea Aα una familia indizada de conjuntos no vacı́os. Sea A =
nn o o α∈Γ n o
α × Aα . Puesto que ∀α ∈ Γ : Aα , ∅ y claramente α ∈ α , enton-
α∈Γ n o n o n o
ces, ∀α ∈ Γ : α × Aα , ∅. Sean α × Aα , β × Aβ ∈ A tal que α , β,
    n o n o
con lo cual α, Aα , β, Aβ , ası́ α × Aα ⊈ β × Aβ y viceversa, es decir,
n o  n o 
α × Aα ∩ β × Aβ = ∅, para toda α ∈ Γ. Entonces por (d) existe un
conjunto B tal que B ⊆ A y
n o  n o
B ∩ α × Aα = α, xα .
n  o
Sea f = α, xα : α ∈ Γ de aqui se sigue que f : Γ → Aα y f (α) =
S
α∈Γ
x α ∈ Aα .

3
 n o
(e) ⇒ ( f ) Sea Aα una familia indizada de conjuntos no vacı́os. Por (e)
α∈Γ  
existe una función f : Γ → Aα tal que f α ∈ Aα , claramente esta
S
α∈Γ
función es un elemento de
 
Aα = f : Γ → Aα : ∀α ∈ Γ, f (α) ∈ Aα .
Y S
α∈Γ
α∈Γ
Q
Ası́, Aα , ∅.
α∈Γ
  n o
( f ) ⇒ (g) Sea F : X → P Y \ ∅ función. Considerando que F(x) = Ax . Si
 
tomamos a X como nuestro de indices y considerando a F = P Y \
n o
∅ como una familia de conjuntos. Sea I : X → F nuestra función
n o
indizadora. Entonces Aα es una familia indizada de conjuntos tales
x∈X
que Q ∀x ∈ X : Ax = ∅, pues es de suponerse que Y , ∅. Ası́ S que por
( f ), Ax , ∅, es decir, existe al menos una función f : X → Ax tal
x∈x x∈X S
que f (x) ∈ Ax = F(x), ∀x ∈ X. Pero
S
Ax ⊆ Y, en efecto, sea y ∈ Ax
x∈X x∈X
entonces existe x ∈ X tal que y ∈ Ax , pero Ax ⊆ Y, con lo cual y ∈ Y,
luego f : X → Y es la función requerida para concluir (g).
(g) ⇒ (a) Sea X un conjunto no vacı́o y considere la función identidad
  n o   n o
Id     : P X \ ∅ → P X \ ∅ ,
PX \ ∅

por (g) existe una función

  n o
f : P X \ ∅ → X

tal que  
f (X) ∈ Id     X =X
PX \ ∅
  n o
para todo X ∈ P X \ ∅ . O sea, f es una función selectora.
□
Lema 1. Cualquier orden lineal en un conjunto finito es bien ordenado.
 
Demostración. Sea A, ≤ un conjunto orednado linealmente. La prueba se
realizará por inducción sobre el número de elementos de A. El caso base
es trivial. Ahora supongamos que todo conjunto linealmente ordenado con
k < n elemento s es bien ordenado. Ahora probaremos que para (A, ≤) un
conjunto linealmente ordenado con n elementos, es buen orden.

4
 n o
Consideremos B ⊆ A con B , ∅. Sea b ∈ C y llamemos C = B − b es un
conjunto finito, más aún C ⊂ B ⊆ de ahi que C tiene cardinalidad menor a
n más aún C es un orden lineal con ≤. Asi que por hipótesis de inducciónn Co
tiene un primer elemento. Pueden ocurrir dos casos, si C = ∅ entonces B = b
donde claramente b serı́a el primer elemento. Ahora si C , ∅ tenemos algún
c elemento minimo de C pues es bien ordenado y como C es linealmente
ordenado, tenemos que c ≤ b o b ≤ c. n o
Si c ≤ b, sea x , b entonces x ∈ C = C − b de ahi que c ≤ c pues es
el minimo de C. Ası́ c es el minimo de cualquier elemento de B. Si b ≤ c,
sea x ∈ B, x n=o b entonces b ≤ c implica que x ≤ c. Si x , b tenemos que
x ∈ C = B − b . Asi, b ≤ c ≤ x pues c es el minimo de C eso nos dice que b
es el elemento minimo de B para algún x arbitrario. Si cualquier subconjunto
de A tiene un minimo, entonces A es bien ordenado. □
 
Proposición 1. Sea A, ≤ un conjunto linealmente ordenado y si F es cualquier
familia de subconjuntos finitos no vacı́os de A entonces existe una función f : F →
A tal que f (F) ∈ F para cada F ∈ F
Demostración. Sea A un conjunto linealmente ordenado y supongamos que
≤ es un orden lineal. Más aún, sea F una fmailia no vacı́a de subconjuntos
de A. Asi, por lema anterior, para cualquier F ∈ F es finito y lienalmente
ordenado con ≤ y un buen orden. Asi, podemos definir la siguinete función:

    b es el minimo de F
f F =

con ≤ si F , ∅

B=∅

 ∅


Queda claro que f : F → A y está bien definida para cada F ∈ F . □

 
Ejemplo 1. Sea A, ≤ un conjunto linealmente ordenado no vacı́o. Muestre que
   ∞
A, ≤ es bien ordenado si y sólo si no existe una sucesión an tal que an+1 <
n=0
an , ∀n ∈ N.
Demostración. (⇒) Probaremos
∞ la contrareciproca. Supongamos  que existe
una sucesión n a tal que an+1 < an y probemos que A, ≤ no es bien
n=0
ordenado. Si X es el rango de la sucesión es claro que X ⊆ A y X , ∅.
Sea x ∈ X y n ∈ N tal que an = x. Asi tenemos que x = an > an+1 con
lo cual an+1 ∈X. Como
 X es arbitrario se tiene que x no tiene elemento
minimo. Asi A, ≤ no es bien ordenado.
 
(⇐) Considerando la contrareciproca. Supongamos que A, ≤ no es bien
 ∞
ordenado y probemos que existe una sucesión an tal que an+1 <
n=0

5
 an , ∀n ∈ N. Asi que existe X ⊆ A que no tiene elemento
  n o minimos. Por
el Axioma de Elección existe una función g : P P \ ∅ → X tal que
  n o
g(X) = gX ∈ X para todo X ∈ P X \ ∅ . Definamos el conjunto
n o
Xx = y ∈ X : y < x .
 
Tenemos que Xx , ∅ pues A, ≤ no es bien ordenado pero si es lineal-
 ∞
mente ordenado. Asi ∀x ∈ X construyamos an tal que a0 = g(x) y
n=0
an+1 = g(xan ) y por el Axioma de Elección an−1 < an .
□
 
Ejemplo 2. Demuestre que si A puede ser bien ordenado, entonces P A puede ser
linealmente ordenado.

Demostración. Sea ≤ un buen orden de A. Sean X, Y ⊆ A definamos

X ≺ Y si y sólo si X△Y es el primer elemento en X, Y ⊆ A.

   
Sea x ∈ X△Y = X − Y ∪ Y − X es obvio que x ∈ X o x ∈ Y. Luego x ∈ A
pues X, Y ⊆ con lo cual X△Y ⊆ A. Veamos que la relación ≺ es:
 
1. Antisimétrica. Sea X, Y ∈ P A tal que X ≺ Y por definición X de X ≺ Y
es el primer elemento con respecto a < en X. Supongamos que Y ≺ X
entonces como Y△X = X△Y. Si X ∈ X△Y no puede estar en X − Y ni en
Y − X, pero no puede ser que
   
x ∈ X − Y ∪ Y − X = X△Y

esto último es una contradicción pues definimos a X en X△Y. Con lo

cual, no puede ocurrir que Y ≺ X, entonces ≺ es asimetrica.
 
2. Transitiva. Sean X, Y, Z ∈ P A y supongamos que

X≺Y y Y≺Z

. Asi x ∈ X△Y es el minimo en X e y es el minimo de Y△Z en Y.Luego

x ∈ X − Y e y ∈ Y − nZ entonces
o x ∈ X, x < Y e y ∈ Y, y < Z, en particular
x , y y claramente a, b ⊆ A. Sea a el minimo respecto a <, con lo cual
x = a ó x = y. Mostraremos que a ∈ X, a ∈ X△Y, a es el minimo de X△Z.
Si a = x tenemos que a = x < y
a) Es claro que a ∈ X.

6
 b) Supongamos que a ∈ Z como a = x < Y, tenemos que a ∈ Z − Y, asi
a ∈ Y△Z como y ≤ a pues el minimo elemento de Y△Z pero esto,
contradice que y > a. Concluimos que a < Z, entonces a ∈ X − Z
con lo cual a ∈ X△Z.
c) Sea z ∈ X△Z. Si z ∈ X − Z tenemos que si z ∈ Y entonces z ∈ Y − Z
entonces z ∈ Y△Z entonces a = x ≤ y ≤ z pues y es el minimo de
Y△Z. Ahora si z < Y entonces z ∈ X − Y entonces z ∈ X△Y entonces
a = x ≤ z pues x es el minimo de X△Y. Si z ∈ Z − X, si z ∈ Y como
z < X entonces z ∈ X△Y. Luego a = x ≤ z pues x es el minimo
en X△Y. Si z < Y entonces z ∈ Z − Y entonces z ∈ Y△Z entonces
a = x ≤ y ≤ z pues y es el minimo Y△Z, en cualquier caso a ≤ z
para cualquier z ∈ Z. Concluimos que a es el minimo en X△Z.
Si a = y se procede de manera analoga. Asi X ≺ Z. Concluimos que ≺
es transitiva.
Por lo tanto ≺ es un orden estricto.
  Para ver que es un orden lineal considere-
mos cualesquiera X, Y ∈ P A con X , Y. Asi X − Y , ∅ ó Y − X , ∅ , se sigue
que X△Y , ∅ y claramente X△Y ⊆ A. Luego el minimo de este elemento es a.
A es bien ordenado, si a ∈ X − Y entonces a ∈ X asi X ≺ Y. Ahora si, a ∈ Y − X
entonces a ∈ Y entonces Y ≺ X. Asi solo puede
  pasar que X = Y, X ≺ Y o
Y ≺ X. Entonces ≺ es un orden lineal de P A . □

3. Otras Equivalencias Importantes

Comenzaremos dando algunas equivalencias del axioma, presentaremos
al menos tres resultados a los cuales nosotros consideramos mas importantes,
pero de entre ellos el más conocido o mas popular es el siguiente:
Teorema 2 (Pincipio del Buen Orden (Teorema de Zermelo)). Todo conjunto
puede ser bien ordenado.
Demostración. Sea X un conjunto no vacı́o y consideremos el conjunto V de
todas las relaciones de buen orden en subconjuntos de X, esto quiere decir
que, R ∈ V si existe S ∈ X, tal que R ⊆ SXS y (S, R) es un conjunto bien
ordenado, utlizaremos el sı́mbolo ≤S para la relación R sobre S y anotare-
mos los elementos de Vpor (S, ≤S ) y definimos un orden parcial ≺ sobre V


 S1 ⊆ S2

(S1 , ≤S1 ≺ (S2 , ≤S2 )) ⇐⇒ 

Podemos com-

 ≤S2 es una extension del orden ≤S1


 ∀x ∈ S1 , ∀y ∈ S2 \S1 : x ≤S y

2
probar fácilmente que ≺ es una relaci ón de orden de V, sea (Si , ≤Si )i∈I una
cadena arbitraria de V y sea S = i∈I Si y definimos un orden ≤S en S de la
S

7
siguiente manera, si x, y ∈ S, entonces existe i0 ∈ I tal que x, y ∈ Si0 y decla-
remos x ≤S y ⇐⇒ x ≤Si0 y. Podemos notar que la relación de orden ≤S está
bien definida, ahora mostremos que el conjunto (S, ≤S ) está bien ordenado,T en
efecto, sea A ⊆ Sno vacı́o y sea x ∈ A y i0 ∈ I tal que x ∈ Ii0 . Entonces A Si0
tiene mı́nimo en Si0 ya que Si0 es bien ordenado. Tenemos que este elemento
es también mı́nimo de A por lo que podemos deducir que S, ≤S es una cota
superior de la cadena (Si , ≤Si )i∈I , aplicando el Lema de Zorn, obtenemos un
elemento maximal (Ŝ, ≤Ŝ ) ∈ V, mostramos entonces que Ŝ = X, en efecto, si
existe x0 ∈ X\Ŝ, entonces se puede extender el buen orden de Ŝ al conjunto
S̃ := Ŝ ∪ {x0 } declarando que x0 > x para cada x ∈ Ŝ, lo cual contradice la
maximalidad de (Ŝ, ≤Ŝ ) □
Ahora vamos a demostrar que el Teorema de Zermelo (Principio de buen
ordenamiento) es equivalente al Axioma de Elección.
Demostración. Sea {Xa }a∈A una familia cualquiera
S de conjuntos no vacı́os y
consideramos un buen orden al conjunto a∈A Xa , entonces se puede definir
la función:  S


 f : A → a∈A


 f (B) = minXB


Q
∴ a∈A Xa , ∅ ■
□
 
Teorema 3 (Principo Maximal I (Lema de Zorn)). Sea P, < un conjunto no vacio
paricalmente ordenado y para cada cadena en P que tiene cota superior. Entonces P
tiene un elemento maximal.

Demostración. Como a , ∅ por la formulación del Axioma de Elección en

términos de conjuntos potencia, existe una función selectora h : P(a) \ ∅ −→ a
tal que h(x) ∈ x para todo x ⊆ a, x , ∅. Ahora sea c el conjunto de los
subconjuntos de a que tienen cotas superiores estrictas, es decir:

c = {x ∈ P(a) : ∃s∀t(t ∈ x −→ t < s)}

Para todo x ∈ c, sea mx el conjunto de las cotas superiores estrictas de x,

entonces definimos f : c −→ a como f (x) = h(mx ) para todo x ∈ c, tenemos
que f (x) es una cota superior estricta de x. Ahora sea b < a y consideremos la
siguiente función S : U −→ a ∪ {b} definida de la siguiente manera:


 f (img(x)) si img(x) ∈ c,
S(x) = 



 b

si img(x) < c

8
Definamos por recurrencia la función F : Ord −→ a ∪ {b} que satisface:


 f (img(F|α )) si img(F|α ) ∈ c,
F(α) = 



 b

si es un caso contrario

Ahora notemos que si β ∈ α y F(α) ∈ a, tenemos que F(β) < F(α) (*). Tenemos
que F(α) es una cota superior estricta de img(F|α ) y F(β) ∈ img(F|β ). Ahora por
(*) implica que existe un ordinal α tal que F(α) = b y sea ρ el primer elemento
del conjunto {β ∈ α′ : F(β) = b}, además deducimos de (*) que si ψ ∈ β ∈ α,
entonces F(ψ) < F(β), además como ρ es totalmente ordenado tenemos que
F|ρ : ρ −→ a es un monomorfismo, además img(F|ρ ) con el orden heredado
de a es isomorfo a ρ, por lo tanto e sun subconjunto bien ordenado de a, por
lo que img(F|ρ ) tiene cota superior. Si alguna de las cotas superiores fuese
estricta, img(F|ρ ) ∈ c lo cual implica que F(ρ) < b, ∴ toda cota superior de
img(F|ρ ) es un elemento maximal de (a, ≤) ■ □
Definición 2. Sea F una familia de conjuntos. Decimos que F es una familia
de carácter finito si para cada conjunto A, se tiene que A ∈ F si y sólo si cada
subconjunto finito de A pertenece a F .
Teorema 4 (Principio Maximal II (Lema de Tukey)). Sea F una familia de
conjuntos no vacios. Si F tiene un caracter finito, entonces F tiene un elemento
maximal (maximal con respecto a la inclusión ⊆).
Principio de Máximidad de Hausdorff Si R es una relación de orden
parcial sobre X , ∅, entonces existe un ⊆-subconjunto máximo de X que está
linealmente ordenado por R. Vamos a mostrar que el Axioma de Elección y
el Principio de Máximidad de Hausdorff son equivalentes. Primero demos-
tremos que el Axioma de Elección implica el Principio de Máximidad de
Hausdorff
Demostración
Sea X un conjunto parcialmente ordenado tal que ninguno de sus subcon-
juntos linealmente ordenados sea ⊆ −máximo, entonces para cada subcon-
junto linealmente ordenado R ⊆ X y definamos al conjunto como:

C(R) = {x ∈ (X − R) : R ∪ {x}esta linealmente ordenado}.

Ahora tomemos R como lo hemos definido y veamos que C(R) , ∅, supon-
gamos que C(R) = ∅ por lo que tendrı́amos que es ⊆-máximo, lo cual no
puede suceder. Tenemos que por el Axioma de Elección existe una función:
h : P0 (X) → X donde P0 (X) es el conjunto potencia de X sin el conjunto vacı́o,
con g(A) ∈ A para cada A ∈ P0 (X) y sea ϕ el número de Hartogs de X, g(X) = ϕ.
Ahora definamos vı́a recursión transfinita, una función f : ϕ → X dada por
f (β) = h(C{ f (µ) : µ < β}). Veamos que { f (µ) : µ < β} es una cadena, esto para

9
ver que tiene sentido la definición de f . Sean f (µ1 ), f (µ2 ) ∈ { f (µ) : µ < β}, sin
perdida de generalidad, sea µ1 < µ2 , lo cual implica que f (µ1 ) ∈ { f (µ) : µ < µ2 ,
notemos que f (β) = h(C{ f (µ) : µ < β}) < { f (µ) : µ < β ya que como construi-
mos f (β) tenemos que es justamente un elemento que no está en { f (µ) : µ < β}
tal que si { f (µ) : µ < β} ∪ { f (β)} sigue siendo una cadena, entonces tenemos
que f (β) < { f (µ) : µ < β} y { f (µ) : µ < β} ∪ { f (β)} es una cadena. Ahora conti-
nuando con f (µ1 ) ∈ { f (µ) : µ < µ2 y f (µ2 ) es tal que { f (µ) : µ < µ2 } ∪ { f (µ2 )} es
cadena, por lo tanto f (µ1 ) y f (µ2 )son comparables y { f (µ) : µ < β} es una cade-
na. Ahora veamos que f es inyectiva, entonces sean β1 , β2 ∈ ϕ donde β1 , β2
y supongamos que f (β1 ) = f (β2 ), sin perdida de generalidad sea β1 < β2 ,
entonces f (β1 ) ∈ { f (µ) : µ < β2 }, lo cual implica que f (β2 ) ∈ f (µ) : µ < β2
pero f (β2 ) < f (µ) : µ < β2 , pero esto no puede ocurrir. ∴ f es inyectiva. De
lo anterior tenemos que |ϕ| ≤ |X|, lo que es una contradicción. ∴ Xtiene un
subconjunto linealmente ordenado que es ⊆-máximo.
Ahora vamos a demostrar que el principio de Máximidad de Hausdorff
implica el Axioma de Elección Demostración Sea S una colección de conjun-
tos no vacı́os, y sea C la colección de todas las funciones de elección sobre
subconjuntos de S, es claro que C está parcialmente ordenado por la inclusión,
⊆. Ahora por el principio de Máximidad de Hausdorff, existe n, un subcon-
junto ⊆-máximo de C que es un nido, tomemos m = ∪n, m es una función de
elección con Dom(m) = ∪ f ∈n Dom( f ) y Im(m) = ∪ f ∈n Im( f ), por lo que tenemos
que m ∈ n, afirmamos que m es la función de elección que estamos buscando
, ahora supongamos que no lo es, por lo que entonces existe x ∈ S tal que
m(x) < x y sea m∗ = m∪{x, m∗(x) ∈ x}, por lo que es claro que m∗ es comparable
con todos los elementos de n, por lo que n ∪ {m∗} es un nido y como m∗ < n
entonces n ⊊ n ∪ {m∗}, pero esto no puede suceder. ∴ m es función de elección
de S, ∴ el Axioma de Elección y el Principio de Máximidad de Hausdorff son
equivalente ■

10