Axioma de Elección

Danna Natalia Ocampo Candela1 Juan Pablo Ocampo Gamboa2

1 Universidad Distrital

Julio, 2019

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 1 / 29
 Indice

1 Algunas consideraciones

2 Axioma de Elección equivale a (*)

Axioma de elección implica (*)
(*) implica Axioma de elección

3 Ch1 equivale a Ch2

Ch1 implica Ch2
Ch2 implica Ch1

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 2 / 29
 Algunas Consideraciones

Axioma de Elección Todo conjunto tiene una función de elección

Ch 1 Sea A un conjunto cuyos elementos son conjuntos no vacı́os y
mutuamente disjuntos. Entonces existe un conjunto C el cual consiste de
exactamente un elemento de cada A ∈ A
Ch 2 Sea {Ai }i∈I unQ conjunto de conjuntos. Si I es no vacı́o y cada Ai es
no vacı́o, entonces Ai 6= ∅
i∈I
Ejercicio (*) Sea B un conjunto y sea f : A −→ B una función; entonces
existe conjunto C tal que C ⊆ A y existe g, Gg ⊆ Gf , tal que
g : C −→ B es una función inyectiva y rang = ranf

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 3 / 29
 Indice

1 Algunas consideraciones

2 Axioma de Elección equivale a (*)

Axioma de elección implica (*)
(*) implica Axioma de elección

3 Ch1 equivale a Ch2

Ch1 implica Ch2
Ch2 implica Ch1

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 4 / 29
 Axioma de elección implica (*)

Theorem
Axioma de elección implica, dado B un conjunto y f : A −→ B una
función; entonces existe conjunto C tal que C ⊆ A y existe g, Gg ⊆ Gf ,
tal que g : C −→ B es una función inyectiva y rang = ranf

Demostración:(MD) Sea B un conjunto y sea f : A → B una función.

Considere el conjunto f (y) = {x ∈ A/f (x) = y} con y ∈ ranf
(cualquiera) n o
(1) se va a demostrar que f (y) es un conjunto cuyos elementos
y∈ranf
son conjuntos no vacı́os y mutuamente disjuntos

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 5 / 29
 n o
(1.1) se va a demostrar f (y) es un conjunto cuyos elementos son
y∈ranf
conjuntos no vacios
(MD) Por hipotesis f función entonces A 6= ∅ y B 6= ∅ todo elemento
en ranf tiene por lo
 menos una pre-imagen en A, por lo tanto
(∀y ∈ ranf ) f (y) 6= ∅.
n o
(1.2) se va a demostrar f (y) son mutuamente disjuntos.
y∈ranf
(MCR) sea w ∈ A (cualquiera) tal que
 
w ∈ f (y) ∩ f (z) =⇒ w ∈ f (y) ∧ w ∈ f (z)
def intersecci ón
=⇒ f (w) = y ∧ f (w) = z (1)
def f
=⇒ y=z (2)
f es funci ón

Por
n tantoo f (y) = f (z)
∴ f (y) es un conjunto cuyos elementos son conjuntos no vacı́os y
y∈ranf
mutuamente disjuntos.
Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa
Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 6 / 29
 Como axioma de elección⇒ Ch1
Entonces existe n
un conjunto
o C que consiste de exactamente un elemento
de cada f (b) ∈ f (y)
y∈ranf
sea
g : C −→ B
x 7−→ g(x) = f (x)
(2.1) Se va a demostrar que C ⊆ A

sea x ∈ C =⇒ ∃b ∈ B; x ∈ f (b)
def C
=⇒ x ∈ A ∧ f (x) = b (3)
def f
=⇒ x∈A (4)
simplificaci ón

∴ C⊆A

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 7 / 29
 (2.1) se va a demostrar que Gg ⊆ Gf

sea (x, y) ∈ Gg =⇒ g(x) = y

def grafo
=⇒ g(x) = y ∧ f (x) = g(x) (5)
def g
=⇒ f (x) = y (6)
transitividad igualdad
=⇒ (x, y) ∈ Gf (7)
def grafo

∴ Gg ⊆ Gf

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 8 / 29
 (3) Se va a demostrar que g es inyectiva.
sean x, y ∈ C tales que g (x) = g (y), por definicion de g;

g (x) = f (x) ∧ g (y) = f (y) ∧ g (x) = g (y)

=⇒ f (x) = f (y) (8)
Transitividad de la igualdad

Sea w = f (x) =⇒ w = f (y)

f (x)=f (y)
=⇒ w = f (x) ∧ w = f (y) (9)
Adjunci ón

=⇒ x ∈ f (w) ∧ y ∈ f (w) (10)

def f

Como x, y ∈ C y C consiste de exactamente un elemento de cada f (b),

entonces x = y
∴ g es inyectiva

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 9 / 29
 (4) Se va a demostrar ranf = rang

sea y ∈ rang =⇒ ∃x ∈ C; g (x) = y

def rango
=⇒ ∃x ∈ C; g (x) = y ∧ g (x) = f (x)(11)
ley adjunci ón,def g
=⇒ ∃x ∈ C; f (x) = y (12)
Transitividad igualdad
=⇒ ∃x ∈ A; f (x) = y (13)
C⊆A
=⇒ y ∈ ranf (14)
def rango

∴ rang ⊆ ranf

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 10 / 29
 Sea y ∈ ranf y sea f (y) = {xi }i∈I
Como f (y) = {xi }i∈I , por definición de imagen inversa ∀i ∈ I; f (xi ) = y.
Por construcción de C, exite xj ∈ {xi }i∈I tal que xj ∈ C y f (xj ) = y por
tanto y ∈ rang.
∴ ranf ⊆ rang

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 11 / 29
 Se concluye que Axioma de elección =⇒ Dado B un conjunto y
f : A −→ B una función; entonces existe conjunto C tal que C ⊆ A y
existe g, Gg ⊆ Gf , tal que g : C −→ B es una función inyectiva y
rang = ranf

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 12 / 29
 Indice

1 Algunas consideraciones

2 Axioma de Elección equivale a (*)

Axioma de elección implica (*)
(*) implica Axioma de elección

3 Ch1 equivale a Ch2

Ch1 implica Ch2
Ch2 implica Ch1

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 13 / 29
 (*) implica Axioma de elección

Theorem
Sı́ B es un conjunto y f : A −→ B una función; entonces existe conjunto
C tal que C ⊆ A y existe g, Gg ⊆ Gf , tal que g : C −→ B es una función
inyectiva y rang = ranf implica el axioma de eleccion

Demostración:(MD) Sea A un conjunto cuyos elementos son

mutuamente disjuntos y no vaciós. Sea f : A −→ A una aplicación tal
S
que f (x) = A ⇐⇒ x ∈ A(A ∈ A ).
Se va a probar que f es una función

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 14 / 29
 (i) Se va a probar domf = A
S
Por hipotesis A 6= ∅
[
sea x ∈ A (cualquiera) =⇒ ∃A ∈ A ; x ∈ A (15)
def union generalizada
=⇒ ∃A ∈ A ; f (x) = A(16)
def f

A
S
∴ domf =

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 15 / 29
 (ii) se va a probrar que la imagen de x (cualquiera) por medio de f es
unica
(MRAA) S
Sean x, y ∈ A tales que x = y y f (x) 6= f (y). Sean B, C ∈ A

sea f (x) = B ∧ f (y) = C =⇒ x∈B∧y ∈C (17)

def f
=⇒ x∈B∧x∈C (18)
Hip x=y
=⇒ x ∈ (B ∩ C) (19)
def intersecci ón

por tanto B ∩ C 6= ∅ contradiccion ya que A es una familia de conjuntos

disjuntos luego , si B 6= C entonces B ∩ C = ∅
∴ f (x) = f (y).
De (i) y (ii), se concluye que f es función.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 16 / 29
 Como f : A −→ A es una función y A es un S
S
conjunto, se cumple la
hipótesis del ejercicio (*) y por tanto, existe C ⊆ A y existe g Gg ⊆ Gf
tal que g : C −→ A es una función inyectiva y rang = ranf
(iii) Se va probar f es una función sobreyectiva.
Sea A ∈ A (cualquiera ). Como por hipotesis A es una familiaSde
conjuntos noS vacios, entonces A 6= ∅ ⇒ existe x ∈ A, y A ⊆ A , por
tanto x ∈ A .
como A ∈ A (cualquiera), existe x ∈ A tal que x ∈ A, por definicion
S
de f se tiene f (x) = A. Por lo tanto f es una función sobreyectiva, quiere
decir ranf = A
Dado que rang = ranf , por transitividad de la igualdad, rang = A , y por
tanto g es sobre, y al ser g inyectiva, por definición de función biyectiva, g
es una función biyectiva.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 17 / 29
 Se va a pobrar que el conjunto C, dado anteriormente, es un conjunto que
consiste de exactamente un elemento de cada A ∈ A .
(i) Sea A ∈ A arbitrario. Como g : C −→ A es una función sobreyectiva,
existe x ∈ C tal que g(x) = A.

Como Gg ⊆ Gf =⇒ ∃x ∈ C; f (x) = A
def contenencia
=⇒ x∈A (20)
def f

Al ser A ∈ A arbitrario, en C hay a lo menos un elemento de cada A ∈ A .

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 18 / 29
 (ii) Sea A ∈ A arbitrario, y sean x, y ∈ C tales que x, y ∈ A.
Puesto que x, y ∈ A =⇒ f (x) = A ∧ f (y) = A =⇒ f (x) = f (y)
def f
Como x, y ∈ C y g : C −→ A es función
=⇒ ∃ X, Y ∈ A ; g(x) = X ∧ g(y) = Y , y puesto que Gg ⊆ Gf
=⇒ f (x) = X ∧ f (y) = Y y dado que f (x) = f (y) =⇒ X = Y ,
de donde, consecuencia de que g(x) = X ∧ g(y) = Y , se tendrá que
g(x) = g(y), y al ser g una función inyectiva, se concluye que x = y.
Al ser A ∈ A arbitrario, en C hay exactamente un elemento de cada
A∈A

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 19 / 29
 Se concluye que Ejercicio (*) =⇒ Ch1. Dado que Ch1 =⇒ Axioma de
Eleccion, se tendra que Ejercicio (*) =⇒ Axioma de Eleccion, tal y como
se queria.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 20 / 29
 Indice

1 Algunas consideraciones

2 Axioma de Elección equivale a (*)

Axioma de elección implica (*)
(*) implica Axioma de elección

3 Ch1 equivale a Ch2

Ch1 implica Ch2
Ch2 implica Ch1

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 21 / 29
 Ch1 implica Ch2

Theorem
Si A es un conjunto cuyos elementos son conjuntos no vacı́os y
mutuamente disjuntos. Entonces existe un conjunto C el cual consiste de
exactamente un elemento de cada A implica, Si {Ai }i∈I es un conjunto
Q de
conjuntos, donde I es no vacı́o y cada Ai es no vacı́o, entonces Ai 6= ∅
i∈I

Demostración:(MD) sea {Ai }i∈I una familia no vacı́a de conjuntos no

vacı́os ; para cada i ∈ I. Sea Bi = {i} × Ai . Bi no es vacı́o y si i 6= j
entonces Bi ∩ Bj = ∅.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 22 / 29
 Si C = {Bi }i∈I , entonces C es una colección no vacı́a de conjuntos no
vacı́os y mutuamente disjuntos, entonces por CH1, existe un S conjunto E
que consiste de exactamente un elemento de cada Bi y E ⊆ C tal que
∀Bi ∈ C, E ∩ Bi = {(i, xi )}. Para cada i ∈ I tan solo existe en E una
única pareja (i, xiS
) con xi en Ai y por tanto E es el grafo de la función
buscada de I en Ai , es decir
S i∈I Q
f : I −→ i∈I Ai ; f (i) ∈ Ai ∀i ∈ I =⇒ f∈ Ai
def producto generalizado i∈I
Q
∴ Ai 6= ∅
i∈I

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 23 / 29
 Indice

1 Algunas consideraciones

2 Axioma de Elección equivale a (*)

Axioma de elección implica (*)
(*) implica Axioma de elección

3 Ch1 equivale a Ch2

Ch1 implica Ch2
Ch2 implica Ch1

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 24 / 29
 Ch2 implica Ch1

Theorem
Si {Ai }i∈I es un conjunto de conjuntos, donde I es no vacı́o y cada Ai es
Ai 6= ∅ implica, dado A un conjunto cuyos
Q
no vacı́o, entonces
i∈I
elementos son conjuntos no vacı́os y mutuamente disjuntos, entonces
existe un conjunto C el cual consiste de exactamente un elemento de cada
A∈A
Demostración:(MD) Sea A (arbitrario) un conjunto cuyos elementos
son conjuntos no vacios y mutuamente disjuntos. Sea A = {CA }A∈A un
conjunto de conjuntos tal que CA = A, ∀A ∈ A .

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 25 / 29
 Por hipotesis A 6= ∅ y A 6= ∅, entonces A es un Q conjunto de conjuntos
que satisface la hipotesis de Ch2, y por lo tanto CA 6= ∅, y al ser
Q A∈A
CA = A, entonces A 6= ∅.
A∈A

Y [
Sea f ∈ A 6= ∅ =⇒ f : A −→ A ∧ f (A) ∈ A, ∀A ∈ A
def . prod. gen.
A∈A A∈A
(21)

Sea C = {f (A)/A ∈ A }.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 26 / 29
 Se probara que el conjunto C dado anteriormente es un conjunto que
consiste de exactamente un elemento de cada A ∈ A .
(i) Sea A ∈ A arbitrario. Puesto que f es funcion y A ∈ A , se asegura la
existencia de f (A), y por definicion del conjunto C, se tendra que
f (A) ∈ C.
Al ser A ∈ A arbitrario, entonces en C hay a lo menos un elemento de
cada A ∈ A .
(ii) Sea A ∈ A arbitrario y sean x, y ∈ C tales que x, y ∈ A. Dado que
x, y ∈ C, por definicion de C, existen D, E ∈ A tales que
f (D) = x ∧ f (E) = y.
Por otro lado, puesto que f (E) ∈ E, entonces y ∈ E, y en consecuencia
de que y ∈ A, se tendra que A ∩ E 6= ∅, y al ser (por hipotesis) A una
famila de conjuntos disjunta, se obtiene que A = E.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 27 / 29
 Mediante un argumento similar, dado que f (D) ∈ D, entonces x ∈ D, y
en consecuencia de que x ∈ A, se tendra que A ∩ D 6= ∅, y al ser (por
hipotesis) A una famila de conjuntos disjunta, se obtiene que A = D.
Por lo que D = E, de donde, por ser f función, f (D) = f (E) y ya que
f (D) = x ∧ f (E) = y, entonces x = y.
En conclusion, en C hay exactamente un elemento de cada A ∈ A , y
puesto que A es arbitrario, se cumple que Ch2 =⇒ Ch1.

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 28 / 29
 ”El Axioma de elección es necesario para seleccionar un conjunto de un
número infinito de calcetines, pero no un número infinito de zapatos.”
-Bertrand Russell

Danna Natalia Ocampo Candela, Juan Pablo Ocampo Gamboa

Axioma
(Universities
de Elecciónof Somewhere and Elsewhere) Julio, 2019 29 / 29