Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Gomez - Laveaga - Introduccion - A - La - Teoría Intuitiva de Conjuntos PDF
Gomez - Laveaga - Introduccion - A - La - Teoría Intuitiva de Conjuntos PDF
INTRODUCCIÓN A LA TEORÍA
INTUITIVA DE CONJUNTOS
(CARDINALES Y ORDINALES)
ISBN: 978-970-32-4705-9
Introducción vii
vii
Introducción
viii
Capı́tulo 1
Nociones básicas
§ 1.1 Conjuntos
1
2 Nociones básicas
C = {x ∈ U | x ∈
/ x}.
C∈C oC∈
/ C.
P(A) = {C | C ⊆ A}.
Caso 1: a = b. En este caso {{a}, {a, b}} = {{a}}, lo que significa, por
hipótesis, {{c}, {c, d}} = {{a}} y entonces a = b = c = d.
Caso 2: a = b. Como {a, b} es un elemento de {{c}, {c, d}} se debe tener
que {a, b} = {c} o {a, b} = {c, d}. El primer caso no puede suceder ya que
esto implicarı́a que a = b, que no es el caso. Entonces se debe tener que
{a, b} = {c, d} y por lo tanto c = d. Por otro lado, como {a} ∈ {{c}, {c, d}}
y c = d entonces {a} = {c}, ası́ a = c. Ahora, ya que {a, b} = {c, d}, a = b
y a = c, entonces b = d.
El inverso es obvio.
§ 1.2 Relaciones
Definición 1.2.1.
(i) Una relación de un conjunto X a un conjunto Y es una pareja orde-
nada R = (R, X × Y ), donde R ⊆ X × Y .
(ii) El dominio de la relación R, denotado por Dom(R), es el conjunto
Dom(R) = {x ∈ X | existe y ∈ Y tal que (x, y) ∈ R}.
(iii) La imagen de la relación R, denotado por Im(R) o Ran(R), es el
conjunto
Im(R) = Ran(R) = {y ∈ Y | existe x ∈ X tal que (x, y) ∈ R} .
Nota 3. Usualmente, abusando del lenguaje, al referirnos a una relación
R = (R, X × Y ) usaremos únicamente al subconjunto R de X × Y , en
lugar de la pareja ordenada R = (R, X × Y ) y dejando en claro que
es una relación de X a Y . Esto es, en vez de usar la pareja ordenada
R = (R, X × Y ), diremos simplemente que R es una relación de X a Y
y en este caso, el dominio Dom(R) y la imagen Im(R) de la relación, se
denotarán Dom(R) y Im(R) respectivamente.
De acuerdo a la definición de relación y usando la nueva notación,
queda claro que
Teorema 1.2.1. Las relaciones R de X a Y y R de X a Y son iguales
si y sólo si X = X , Y = Y y R = R .
En el caso de que R sea una relación de X a X, simplemente diremos
que R es una relación en X.
Definición 1.2.2. Sea R una relación de X a Y . La relación inversa
R−1 de R es la relación de Y a X, dada por
R−1 = {(y, x) ∈ Y × X | (x, y) ∈ R} .
El dominio y la imagen de la inversa de una relación son la imagen y el
dominio de la relación respectivamente.
Ejemplo 1.2.1.
(a) Para cualesquiera conjunto X y Y , ∅ es una relación de X a Y y se
llama la relación vacı́a.
(b) Sea X cualquier conjunto y sea ∆X la siguiente relación de X a X
∆X = {(x, x) | x ∈ X}
Entonces Dom(∆X ) = X, Im(∆X ) = X y (∆X )−1 = ∆X .
8 Nociones básicas
§ 1.3 Funciones
Ejemplo 1.3.1.
(a) Sean X = {a, b, c}, Y = {X, ∅}.
f1 = {(a, X), (b, X), (c, ∅)} es una función de X a Y .
f2 = {(a, X), (b, ∅)} no es función de X a Y ya que Dom (f ) = {a, b} = X.
f3 = {(a, ∅), (b, X), (c, X), (a, X)} no es función de X a Y ya que
(a, ∅), (a, X) ∈ f y X = ∅.
(b) Para cada conjunto X, existe una única función f de ∅ en X, que es
f = ∅, llamada la función vacı́a.
(c) Sea X un conjunto. f = {(x, A) ∈ X × P(X) | x ∈ A} es función si y
sólo si X = ∅ o X tiene un único elemento.
(d) Para cada conjunto X, f = {(x, x) | x ∈ X} es una función de X a X,
llamada la función identidad de X y la denotaremos por 1X .
(e) Si X y Y son conjuntos y yo un elemento fijo de Y , la función de X a
Y dada por f = {(x, yo ) | x ∈ X} se llama la función constante igual a
yo .
(f ) Si X y Y son conjuntos arbitrarios no vacı́os, la función π1 , de X × Y
a X dada por π1 = {((x, y) , x) | (x, y) ∈ X × Y } se llama la proyec-
ción de X × Y sobre X y la función π2 de X × Y a Y definida por
π2 = {((x, y) , y) | (x, y) ∈ X × Y } se llama la proyección de X × Y
sobre Y .
Ejemplo 1.3.2. Con esta nueva notación en los incisos (a), (d), (e) y (f )
del Ejemplo 1.3.1 tenemos
(a) f1 : {a, b, c} −→ {X, ∅} dada por f1 (a) = X, f1 (b) = X y f1 (c) = ∅.
(d) 1X : X −→ X definida por 1X (x) = x para toda x ∈ X.
(e) f : X −→ Y dada por f (x) = y0 , donde y0 es un elemento fijo de Y.
(f ) π1 : X × Y −→ X dada por π1 (x, y) = x y π2 : X × Y −→ Y dada
por π2 (x, y) = y.
Ejemplo 1.4.2.
(a) Para cualquier conjunto X = ∅, {X} es una partición de X.
(b) Sean X = {a, b, c, d, e}, X1 = {a, b}, X2 = {c} y X3 = {d, e}.
{X1 , X2 , X3 } es una partición de X.
(c) Sea X = {a, b, c}. Sean X1 = {a, b} y X2 = {a, c}. {X1 , X2 } no es una
partición de X ya que X1 ∩ X2 = ∅ con X1 = X2 , es decir, no satisface la
condición (ii) de la definición.
§ 1.4 Relaciones de equivalencia 15
Ejemplo 1.5.1.
(a) Sea A un conjunto y X = P(A), el conjunto potencia de A. Definimos
para B, B ∈ P(A), B < B si B ⊂ B .
< es un orden parcial sobre P(A). Además si A tiene más de un elemento
entonces existen elementos en P(A) que no son comparables respecto a
esta relación.
(b) Sea X = {a, b, c, d}. Definimos el siguiente orden en X, a < b, b < c,
c < d, a < c, a < d, b < d. Se puede ver fácilmente que < es un orden
parcial en X. Además a diferencia del ejemplo anterior, en este caso todos
los elementos están relacionados, es decir, para cualesquiera dos elementos
de X uno de ellos es menor que el otro.
Definición 1.5.3. Sea (X, ≤) un conjunto parcialmente ordenado y a ∈ X
(i) a se llama máximo (mı́nimo) si para todo elemento a de X se tiene
que a ≤ a (a ≤ a ) .
(ii) a se llama maximal (minimal) si no existe a ∈ X tal que a < a
(a < a).
Un elemento máximo (mı́nimo) es comparable con cada elemento de
X, lo que no sucede en general con los maximales (minimales), es más,
puede suceder que un maximal (minimal) no sea comparable con ningún
elemento de X, salvo con sı́ mismo.
Si un elemento a es máximo (mı́nimo) entonces es maximal (minimal).
El recı́proco en general no es cierto. Más adelante veremos que para ciertos
órdenes, maximal coincide con máximo y minimal con mı́nimo.
Proposición 1.5.4. En un conjunto parcialmente ordenado (X, ≤) a lo
más hay un máximo (mı́nimo).
Demostración. Como un máximo (mı́nimo) es comparable con todos los
demás elementos de X, si hubiese dos máximos (mı́nimos) a y a entonces
tendrı́amos que a ≤ a y a ≤ a; por la Proposición 1.5.2 (2) se tiene que
a = a .
A diferencia de un máximo (mı́nimo) puede haber varios maxima-
les (minimales) en un conjunto parcialmente ordenado. Por ejemplo si
A = {a, b}, entonces (P(A) − {A}, ⊂) tiene dos maximales que son {a} y
{b}, sin embargo como tiene mı́nimo que es ∅, solamente tiene un minimal
que por supuesto es ∅.
§ 1.5 Relaciones de orden 19
§ 1.6 Ejercicios
1.35. Sea B un conjunto, {fi }i∈I una familia de funciones tal que para
cualesquiera i, j ∈ I, fi (x) = fj (x) para todo x ∈ Dom
(fi ) ∩ Dom (fj ).
Probar que existe una función f con dominio D = Dom (fi ) tal que
i∈I
para cada i ∈ I, f (x) = fi (x) para todo x ∈ Dom (fi ).
1.36. Sea B un conjunto, {Ai }i∈I una familia de conjuntos y sea, para
cada i ∈ I, fi : Ai −→ B una función. Suponga que paracada i, j ∈ I,
fi |(Ai ∩Aj ) = fj |(Ai ∩Aj ) . Probar que existe una función f : Ai −→ B tal
i∈I
que f |Ai = fi para todo i ∈ I.
1.37. Sea f : X −→ Y una función. Probar
(i) Si F es un filtro en X(véase, Ejercicio 1.13), entonces f (F) es una di-
rección en Y (véase, Ejercicio 1.12 ). Además, si f es suprayectiva entonces
f (F) es un filtro en Y ,
(ii) Si K es una dirección en Y , entonces f −1 (K) es una dirección en X
si y sólo si G ∩ f (X) = ∅ para todo G ∈ K.
1.38. Demuestre el Corolario 1.4.2.
1.39. Sea R una relación en un conjunto X. Probar que R ∪ R−1 es la
relación simétrica más pequeña que contiene a R y que R ∩ R−1 es la más
grande contenida en R.
1.40. Sea R una relación reflexiva y transitiva en un conjunto X. Probar
que R ◦ R = R.
1.41. Sea R una relación en un conjunto X. Probar que R es de equivalen-
cia si y sólo si ∆X ⊆ R y R ◦ R−1 ◦ R = R, donde ∆X = {(x, x) | x ∈ X}.
1.42. Sean R1 y R2 relaciones de equivalencia en un conjunto X. Probar
que R2 ◦ R1 es una relación de equivalencia en X si y sólo si
R2 ◦ R1 = R1 ◦ R2 . Probar además que cuando esta condición se satisface
entonces R2 ◦ R1 es la intersección del conjunto de todas las relaciones de
equivalencia en X que contienen a R1 y R2 .
1.43. Sea R una relación de equivalencia en un conjunto X. Sea A ⊆ R
tal que la imagen de la proyección π1 en A es X. Probar que R ◦ A = R y
que si S es cualquier relación, entonces (R ∩ S) ◦ A = R ∩ (S ◦ A).
26 Nociones básicas
29
30 El Axioma de Elección y sus equivalencias
Demostración.
(1) =⇒ (2) Sea (X, <) un conjunto parcialmente ordenado y sea
Cad(X) = {C ⊆ X | C es una cadena}.
Como ∅ es una cadena en (X, <), entonces ∅ ∈ Cad(X) y ası́ Cad(X) = ∅.
Consideremos el conjunto parcialmente ordenado (Cad(X), ⊆). Para cada
C ∈ Cad(X), definimos
Comp(C) = {a ∈ X | para todo b ∈ C a ≤ b ó b ≤ a}.
Por definición de cadena (véase Definición 1.5.6 pág. 19) C ⊆ Comp(C)
y además Comp(C) − C = ∅ si y sólo si C no es una cadena maximal.
Sea
Cad0 (X) = {C ∈ Cad(X) | Comp(C) − C = ∅} ⊆ Cad(X).
Si Cad0 (X) = ∅ entonces toda cadena C en X es maximal y el resul-
tado se tiene. Supongamos ahora que Cad0 (X) = ∅, esto implica que la
familia {Comp(C) − C}C∈Cad0 (X) = ∅ y por construcción cada elemento
de dicha familia es no vacı́o; ası́ tenemos una familia no vacı́a de conjuntos
no vacı́os. Por el Axioma de Elección, existe una función
ϕ : {Comp(C) − C}C∈Cad0 (X) / {Comp(C) − C} ,
C∈Cad (X)0
dado C ∈ τ0 , C es comparable con cada uno de ellos, ası́ que puede ocurrir
uno de dos casos
(a) Existe i ∈ I tal que C ⊆ Ci ,
(b) Para todo i ∈ I, Ci ⊆ C.
En el primer caso, como Ci ⊆ Ci , entonces C ⊆ Ci , y en el
i∈I i∈I
segundo caso Ci ⊆ C. Por lo tanto Ci ∈ τ1 .
i∈I i∈I
(iii) Sea C ∈ τ1 probaremos que g(C) ∈ τ1 .
τ0 = {D ∈ τ0 | D ⊆ C ó g(C) ⊆ D} ⊆ τ0
es una torre:
(a ) ∅ ∈ τ0 .
(b ) Si {Di }i∈I es una cadena de cadenas en τ0 , tenemos dos casos
Existe i ∈ I tal que g(C) ⊆ Di , o para todo i ∈ I,
Di ⊆ C.
En el primer caso g(C) ⊆ Di y en el segundo Di ⊆ C por lo que
i∈I i∈I
en ambos casos tenemos que Di ∈ τ0 .
i∈I
(c ) Sea D ∈ τ0 . Queremos probar que g(D) ∈ τ0 .
Como D ∈ τ0 entonces D ⊆ C o g(C) ⊆ D.
En el primer caso, si D = C, entonces g(C) = g(D) y g(D) ∈ τ0 .
Supongamos entonces que D C.
Como D ∈ τ0 y τ0 es una torre, se tiene que g(D) ∈ τ0 , y debido a
que C ∈ τ1 , entonces g(D) ⊆ C o C ⊆ g(D). Si g(D) ⊆ C, se tiene que
g(D) ∈ τ0 y si C ⊆ g(D) = D ∪ f (D), por el hecho de que
D ⊂ C ⊆ D ∪ f (D), debe ser que C = D ∪ f (D) = g(D) y por lo
tanto g(D) ∈ τ0 .
En el segundo caso, es decir, g(C) ⊆ D, se tiene que g(C) ⊆ g(D) y
ası́ g(D) ∈ τ0 .
§ 2.3 Ejercicios
2.2. Sea {Ai }i∈I una familia de conjuntos y B un conjunto arbitrario. Sea
para cada i ∈ I, fi : B −→ Ai una función. Demostrar que existe una
única función F : B −→ × Ai tal que pj ◦ F = fj , donde pj está definida
i∈I
como en el Ejercicio 2.1.
2.3. Demostrar el inverso del Ejercicio 2.2. Sea {Ai }i∈I una familia de con-
juntos y X un conjunto junto con una familia de funciones
pi : X −→ Ai que satisfacen que dado cualquier conjunto B y una fa-
milia de funciones fi : B −→ Ai con i ∈ I, existe una única función
F : B −→ X tal que pj ◦ F = fi . Demostrar que existe una biyección entre
X y × Ai
i∈I
Números cardinales
§ 3.1 Cardinales
37
38 Números cardinales
Demostración.
(1) 1A : A → A, la función identidad es biyectiva.
(2) Si f : A → B es biyectiva entonces f −1 : B → A es biyectiva.
(3) Si f : A → B y g : B → C son biyectivas, entonces g ◦ f : A → C
es biyectiva.
Proposición 3.1.9. Dada una familia de conjuntos {Ai }i∈I , existe una
familia de conjuntos {Bi }i∈I tal que para cualesquiera i, j ∈ I, Bi ∩Bj = ∅
si i = j y |Bi | = |Ai | para toda i ∈ I.
• •
por Ai . Por ejemplo, A ∪ A denota la unión de dos conjuntos B y B
i∈I
donde B ∩ B = ∅ y |A| = |B| y |A | = |B |.
•
En general Ai denota la unión de una familia de conjuntos (no im-
i∈I
porta quienes sean estos conjuntos) {Bi }i∈I donde Bi ∩ Bj = ∅ para i = j
con i, j ∈ I y |Ai | = |Bi |.
Como se verá más adelante, para nuestro propósito no existe problema
alguno en la elección de la familia {Bi }i∈I pues lo que nos interesa no son
en sı́ los conjuntos Bi , sino la propiedad que tienen de ser ajenos dos a
dos y de que |Bi | = |Ai | para todo i ∈ I.
Como justificación de la nota anterior tenemos
Lema 3. 1.10. Sean {Ai }i∈I y {Bi }i∈I familias de conjuntos tales que
para i = j
en I, Ai ∩Aj = ∅ = Bi ∩ Bj , y para cada i ∈ I, |Ai | = |Bi |.
Entonces | Ai | = | Bi |.
i∈I i∈I
Demostración.
Para cada i ∈ I, sea fi : Ai −→ Bi biyectiva. Definimos
f : Ai −→ Bi como f (x) = fi (x) si x ∈ Ai . f está bien definida ya
i∈I i∈I
que Ai es una unión ajena. Además f es biyectiva pues cada fi lo es y
i∈I
Bi es una unión ajena.
i∈I
Proposición 3.2.8. Sean (αi )i∈I y (βj )j∈J dos familias de cardinales y
sea α un cardinal fijo.
(1) Si σ : I −→ I es una función biyectiva, entonces αi = ασ(i) ,
i∈I
i∈I
(2) Si {Ik }k∈K es una partición de I, entonces αi = ( αi ),
i∈I k∈K i∈Ik
(3) Si σ : I −→ I y τ : J −→ J son funciones biyectivas con I ∩ J = ∅,
entonces
⎛ ⎞ ⎧
⎨ ασ(k) si k ∈ I
αi · ⎝ βj ⎠ = γk , donde γk =
⎩
i∈I j∈J
k∈I ∪J βτ (k) si k ∈ J ,
(4) α · βj = (α · βj ).
j∈J j∈J
Demostración.
(1) Sean A, B y C conjuntos ajenos dos a dos tales que α = |A|, β = |B|
y γ = |C|. La función
F : {f : C → AB } −→ {f : B × C → A}
definida por F (f )(b, c) = (f (c))(b) es biyectiva (demuéstrelo).
Ejemplo 3.3.1.
(a) ∅ es un conjunto finito. La única cadena en (P(∅), ⊆) es {∅}.
(b) {∅} es finito ya que las únicas cadenas en (P(∅), ⊆) son {∅}, {{∅}}
y {∅, {∅}} y evidentemente todas tienen máximo.
A partir de conjuntos finitos dados, podemos construir otros conjuntos
finitos, como lo dice el siguiente teorema
Teorema 3.3.2. Sea A un conjunto finito. Entonces
(1) Si B ⊆ A entonces B es finito,
(2) A × {x} es finito,
(3) Si C es un conjunto finito entonces A ∪ C es finito. En particular
A ∪ {x} es finito.
52 Números cardinales
Demostración.
(1) Si τ es una cadena de subconjuntos de B, en particular es una
cadena de subconjuntos de A y como A es finito entonces τ tiene máximo.
(3) Sea τ una cadena en (P(A ∪ B), ⊆). Entonces es fácil ver que
τ1 = {C ∩ A|C ∈ τ } y τ2 = {C ∩ B|C ∈ τ } son cadenas en (P(A), ⊆) y
(P(B), ⊆) respectivamente y por lo tanto, por hipótesis, τ1 tiene elemento
máximo D y τ2 tiene máximo E.
Sean C1 , C2 ∈ τ tales que D = C1 ∩A y E = C2 ∩B. Como τ es cadena,
entonces C1 ⊆ C2 o C2 ⊆ C1 . No se pierde generalidad si suponemos que
C1 ⊆ C2 .
Afirmamos que C2 es el máximo de τ .
Sea C ∈ τ . Entonces C ∩ A ∈ τ1 , y C ∩ B ∈ τ2 , por lo que C ∩ A ⊆
C1 ⊆ C2 y C ∩ B ⊆ C2 , ası́ que C = C ∩ (A ∪ B) = (C ∩ A) ∪ (C ∩ B) ⊆ C2 .
Por lo tanto A ∪ B es finito.
⎧
⎨ a <i b si a, b ∈ Ai para algun i ∈ I
a < b si y sólo si
⎩
i <I j si a ∈ Ai , b ∈ Aj y j = i
Corolario3.3.13.
Sea I finito y {αi }i∈I una familia de cardinales finitos.
Entonces αi y αi son finitos.
i∈I i∈I
Nota 12. El hecho de que un conjunto N sea infinito nos permite asegurar
la existencia de elementos a, b ∈ N tales que a = b. Esto es por la siguiente
razón; como ∅ es finito y N es infinito, entonces N = ∅, por lo que
podemos tomar un elemento a ∈ N . N − {a} es infinito ya que si fuera
finito, entonces por el Teorema 3.3.2 (N − {a}) ∪ {a} = N serı́a finito,
que no lo es. Nuevamente, como N − {a} = ∅, entonces podemos tomar
b ∈ N − {a} y ası́ a, b ∈ N y a = b. En realidad se puede demostrar más,
como lo muestra el Ejercicio 3.48.
Teorema 3.4.5. Dado un conjunto numerable N , existen subconjuntos
numerables A y B de N tales que A ∩ B = ∅.
Demostración. Sea
A = {(A, fA , B)|A, B ⊆ N, A ∩ B = ∅ y fA : A → B función biyectiva}
A = ∅ ya que, por ser N infinito, podemos tomar a, b ∈ N tales que a = b
(Nota 12) y por lo tanto ({a}, f, {b}) ∈ A, donde f (a) = b.
Definimos un orden parcial ≤ sobre A como sigue
(A, fA , B) ≤ (A , fA , B ) si A ⊆ A , B ⊆ B y fA |A = fA
≤ es un orden parcial
(a) Claramente (A, fA , B) ≤ (A, fA , B) para cada (A, fA , B) ∈ A.
(b) Si (A, fA , B) ≤ (A , fA , B ) y (A , fA , B ) ≤ (A, fA , B), entonces
A ⊆ A , B ⊆ B , fA |A = fA y A ⊆ A, B ⊆ B y fA |A = fA . Enton-
ces A = A , B = B y fA = fA y por lo tanto (A, fA , B) = (A , fA , B ).
(c) Si (A, fA , B) ≤ (A , fA , B ) y (A , fA , B ) ≤ (A , fA , B ) entonces
A ⊆ A , B ⊆ B , fA |A = fA , A ⊆ A , B ⊆ B , fA |A = fA . Ası́ que
A ⊆ A , B ⊆ B , fA |A = (fA |A )|A = fA |A = fA y de aquı́
(A, fA , B) ≤ (A , fA , B ).
Corolario 3.4.6. ℵ0 + ℵ0 = ℵ0 .
Demostración. Sea N un conjunto tal que |N | = ℵ0 . Por el Teore-
ma 3.4.5, existen subconjuntos A y B de N tales que A ∩ B = ∅ y
|A| = |B| = ℵ0 . Entonces
ℵ0 + ℵ0 = |A| + |B| = |A ∪ B| ≤ |N | = ℵ0 .
Pero por otro lado ℵ0 ≤ ℵ0 + ℵ0 (Ejercicio 3.14) y de ambas desigual-
dades concluimos entonces que ℵ0 = ℵ0 + ℵ0 .
En realidad el Teorema 3.4.5 es cierto para cualquier conjunto infinito
§ 3.4 Conjuntos numerables y conjuntos infinitos 61
Corolario 3.4.13. ℵ0 · ℵ0 = ℵ0 .
Teorema 3.4.14. Sea A un conjunto infinito. Entonces A × A ∼ A.
Demostración. La demostración es similar a la del Teorema 3.4.12. Sea
A = {(B, fB ) | B ⊆ A B infinito y fB : B → B × B es biyectiva}. A = ∅
ya que por ser A infinito, contiene un subconjunto numerable N y por el
Teorema 3.4.12, N × N ∼ N .
Definimos un orden parcial en A dado por
(B, fB ) ≤ (B , fB ) si y sólo si B ⊆ B y fB |B = fB .
Que ≤ es un orden parcial y que (A, ≤) tiene un maximal queda
como ejercicio. Sea (D, fD ) un maximal de (A, ≤). Demostraremos que
|D| = |A|. Lo primero que haremos será demostrar que |A − D| < |D|
§ 3.4 Conjuntos numerables y conjuntos infinitos 65
Demostración.
Existencia. Sea
U = {A ⊆ N × X | (n0 , x0 ) ∈ A y (n, x) ∈ A ⇒ ((s(n), ϕ(x)) ∈ A)}.
U = ∅ ya queN × X ∈ U.
Sea F = A.
A∈U
Demostraremos que F ∈ U, DomF = N y que F es la función deseada.
(I) F ∈ U
Es inmediato de la definición de F.
(II) DomF = N.
Debemos demostrar que para cada n ∈ N, existe x ∈ X tal que
(n, x) ∈ F. Sea
B = {n ∈ N| existe x ∈ X tal que (n, x) ∈ F}.
Demostraremos que B = N aplicando (c) de la definición de Sis-
tema de Peano
(i) n0 ∈ B ya que (n0 , x0 ) ∈ F.
(ii) Sea n ∈ B. Mostraremos que s(n) ∈ B. n ∈ B implica que
existe x ∈ Xtal que (n, x) ∈ F y como F ∈ U, entonces
(s(n), ϕ(x)) ∈ F. Luego s(n) ∈ B y por lo tanto B = N.
(III) F es función.
Sea C = {n ∈ N | existe una única x ∈ X tal que (n, x) ∈ F}.
Probaremos que C = N, como hicimos en (II), usando el hecho
de que N es un Sistema de Peano.
(i) n0 ∈ C. Sabemos que (n0 , x0 ) ∈ F ası́ que supongamos
que (n0 , x1 ) ∈ F donde x1 = x0 y consideramos el conjunto
A = F −{(n0 , x1 )}. Demostraremos que A ∈ U lo que nos lleva
a un absurdo ya que en este caso se tendrı́a A ⊂ F ⊆ A. Evi-
dentemente (n0 , x0 ) ∈ A. Si (n, x) ∈ A, por ser éste elemento
de F se tiene que (s(n), ϕ(x)) ∈ F y como s(n) = n0 debido
a que n0 ∈ / Im(s) (Teorema 3.5.4), entonces (s(n), ϕ(x)) ∈ A.
Por lo tanto A ∈ U que es un absurdo. Concluimos entonces
que x1 = x0 y ası́ n0 ∈ C.
(ii) Supongamos que n ∈ C. Veremos que existe un único y ∈ X
tal que (s(n), y) ∈ F, es decir s(n) ∈ C. Sea x el único elemen-
to de X tal que (n, x) ∈ F, supongamos que (s(n), y) ∈ F con
y = ϕ(x) y sea A = F − {(s(n), y)}. Probaremos que A ∈ U.
1/◦ (n0 , x0 ) ∈ A puesto que n0 = s(m) para toda m ∈ N, y
§ 3.5 Sistemas de Peano 71
Cabe mencionar que existe otro tipo de demostración para este teore-
ma, sin embargo es de mayor grado de dificultad, ya que utiliza el orden
usual de un Sistema de Peano (Números Naturales), por lo que tendrı́amos
que introducir antes este orden. En lugar de eso lo que nosotros hace-
mos aquı́ es demostrar primero el Teorema de Recursión y a partir de él
definimos la suma de números naturales y finalmente usando la adición
definimos el orden.
Definición 3. 5.2. Dos Sistemas de Peano (N, s, n0 ) y (N , s , n0 ) son
isomorfos si existe una función biyectiva F : N −→ N tal que
F (n0 ) = n0 y F (s(n)) = s (F (n)), es decir el siguiente diagrama
s /N
N
F F
s
N / N
conmuta.
72 Números cardinales
s /
N N
F F
s /
N N 1N
F F
s /
1N N N
F F
s /
N N
Por lo tanto F es biyectiva, F (n0 ) = n0 y F (s(n)) = s (F (n))
(Además es la única con esta propiedad).
Demostración.
Existencia. Sea m ∈ N, fijo y sean X = N, ϕ = ( ) y x0 = m. Por el
Teorema de Recursión, existe una única función
ϕm : N −→ N tal que ϕm (0) = m y ϕm (n ) = (ϕm (n)) .
Haciendo esto para cada m ∈ N, podemos definir ψ : N × N −→ N por
ψ(m, n) = ϕm (n). Claramente ψ satisface las condiciones del teorema, ya
que ψ(m, 0) = ϕm (0) = m y ψ(m, n ) = ϕm (n ) = (ϕm (n)) = (ψ(m, n)) .
Demostración.
(3) m · 1 = m · 0 = m · 0 + m = m.
(4) Sean m y r fijos y sea T = {n ∈ N | r · (m + n) = r · m + r · n} ⊆ N.
Demostraremos que T = N usando (c) de la definición de Sistema de
Peano.
1◦ / 0 ∈ T ya que r · (m + 0) = r · m = r · m + 0 = r · m + r · 0.
2◦ / Supongamos que n ∈ T . Entonces
r · (m + n ) = r · (m + n) = r · (m + n) + r = (r · m + r · n) + r =
r · m + (r · n + r) = r · m + r · n
Dejamos como ejercicio la demostración de (1), (2) y (5).
Definimos ahora una relación de orden en un Sistema de Peano.
Definición 3.5.3. Sea (N, ( ) , 0) un Sistema de Peano. Dados m, n ∈ N,
diremos que n < m si existe r ∈ N − {0} tal que n + r = m.
En el caso en que se use ≤, tendremos que n ≤ m si y sólo si existe
r ∈ N (ya no pedimos r = 0) tal que n + r = m.
Teorema 3.5.13. Sea (N, ( ) , 0) un Sistema de Peano. < es un orden
parcial en N.
Demostración.
(1) a ≮ a, ya que si existiera r ∈ N tal que a + r = a, entonces
a + r = a + 0, lo que implica, por el Teorema 3.5.9, que r = 0.
(2) Si a < b y b < c entonces, por definición existen r1 , r2 ∈ N−{0} tales
que a+r1 = b y b+r2 = c, Entonces a+(r1 +r2 ) = (a+r1 )+r2 = b+r2 = c,
y como (r1 + r2 ) = 0 (ver Ejercicio 3.36), entonces a < c.
§ 3.5 Sistemas de Peano 77
2◦ / f es suprayectiva
Sea T = Im(f ). Probaremos que T = F.
(i) 0 ∈ T ya que f (0) = |{x ∈ N | x < 0}| = |∅| = 0. (Recordemos que
0 ≤ n para toda n ∈ N)
(ii) Supongamos que c ∈ T . Probaremos que c + 1 ∈ T .
Como c ∈ T , existe n ∈ N tal que f (n) = c. Entonces
f (n ) = |{x ∈ N | x < n }|
= |{x ∈ N | x < n} ∪ {n}|
= |{x ∈ N | x < n}| + |{n}|
= c + 1.
Esto es, c + 1 ∈ T . Por lo tanto T = F y entonces f es suprayectiva.
Finalmente de (i) y (ii) observemos que f (0)=0 y f (n )=f (n) + 1=
f (n) . Por lo tanto f es un isomorfismo.
De este teorema se desprenden los siguientes corolarios. Las demostra-
ciones se dejan como ejercicios al lector.
Corolario 3.5.20. Si n ∈ F, entonces |{x ∈ F | x < n}| = n.
Corolario 3.5.21. Un conjunto A es finito si y sólo si existe n ∈ F tal
que A ∼ {x ∈ F | x < n}.
Por último, a cada elemento de un Sistema de Peano lo llamaremos un
número natural, ası́ que, el conjunto de los números naturales será cual-
quier Sistema de Peano.
80 Números cardinales
§ 3.6 Ejercicios
Números ordinales
§ 4.1 Conjuntos bien ordenados
85
86 Números ordinales
Demostración.
Existencia. Sea T ⊆ A el conjunto que consta de todos los elementos
x ∈ A tales que existe una única función fx : {y ∈ A | y ≤ x} −→ B que
satisface fx (y) = G(fx |Ay ) para todo y ≤ x.
Supongamos que Aa ⊆ T . Demostraremos que a ∈ T y por el Princi-
pio de Inducción Transfinita tendremos entonces que T = A, con lo que
quedarı́a demostrada la existencia de f del teorema.
Para esto observemos que para x, z ∈ Aa (⊆ T ), con x ≤ z, por la
unicidad de las funciones fx y fz se debe tener que fz |{y∈A|y≤x} = fx ,
ası́ que si tal función única fa existiese, entonces fa |{y∈A|y≤x} = fx para
todo x < a. Esto nos da la idea de que para definir la función fa es
suficiente definirla en a, ya que para las x < a debe coincidir con fx . Para
definirla en a debemos tomar en cuenta que debe satisfacer la condición
requerida. Definamos pues fa : {y ∈ A | y ≤ a} −→ B como sigue
⎧
⎨ fx (x) si x < a
fa (x) =
⎩
G(fa |Aa ) si x = a
Evidentemente esta función satisface la condición requerida para que
a ∈ T y por lo tanto T = A. Definimos entonces la función buscada,
f : A −→ B como f = fx , donde
x∈A
f (a) = fx (a) = fa (a)
x∈A
y
f (a) = fa (a) = G(fa |Aa ) = G(f |Aa )para todaa ∈ A.
Unicidad. Supongamos que f y g son dos funciones de A en B que
satisfacen f (a) = G(f |Aa ) y g(a) = G(g|Aa ) para toda a ∈ A y sea
T = {x ∈ A | f (x) = g(x)}. Mostraremos que T = A aplicando Inducción
Transfinita.
Supongamos que Aa ⊆ T . Entonces f |Aa = g|Aa y esto implica que
G(f |Aa ) = G(g|Aa ), lo que significa f (a) = g(a) y por lo tanto a ∈ T .
Definición 4. 1.2. Sean (A, <A ) y (B, <B ), conjuntos bien ordenados.
Una función f : A −→ B preserva el orden si a <A a implica
f (a) <B f (a ).
88 Números ordinales
Definición 4. 1.3. Sean (A, <A ) y (B, <B ), conjuntos bien ordenados.
Diremos que (A, <A ) y (B, <B ) son isomorfos (o semejantes, o del
mismo tipo de orden), y lo denotaremos por (A, <A ) ∼ = (B, <B ), si
existe una función biyectiva f : A −→ B que preserva el orden.
Proposición 4.1.6. La relación de isomorfismo entre conjuntos bien or-
denados es reflexiva, simétrica y transitiva.
Demostración. Ejercicio 4.1.
Corolario 4.1.11. Sea (A, <A ) un conjunto bien ordenado. Para cual-
quier a ∈ A no puede existir un isomorfismo de conjuntos bien ordenados
de (A, <A ) en (Aa , <A ).
Demostración. Supongamos que para alguna a ∈ A, la función
f : (A, <A ) −→ (Aa , <A ) es un isomorfismo de conjuntos bien ordena-
dos. Entonces por el Teorema 4.1.9 a ≤ f (a), pero por otro lado, como
f (a) ∈ Aa entonces f (a) < a lo que es una contradicción. Por lo tanto no
puede existir tal isomorfismo.
Teorema 4. 1.14. Sean (A, <A ) y (B, <B ) conjuntos bien ordenados.
Entonces se cumple una y sólo una de las siguientes afirmaciones
(1) Existe un isomorfismo de conjuntos bien ordenados de (A, <A ) en
(B, <B ).
(2) Existe b ∈ B tal que existe un isomorfismo de conjuntos bien ordena-
dos de (A, <A ) en (Bb , <B ).
(3)Existe a ∈ A tal que existe un isomorfismo de conjuntos bien ordenados
de (Aa , <A ) en (B, <B ).
90 Números ordinales
Teorema 4.1.17. Sea (A, <A ) un conjunto bien ordenado, <B un orden
total en un conjunto B y f : A −→ B una función biyectiva que preserva
el orden. Entonces <B es un buen orden en B.
Demostración. Sea S ⊆ B y S = ∅. Mostraremos que S tiene elemento
mı́nimo.
Como S = ∅ y f es biyectiva, entonces ∅ = f −1 (S) ⊆ A y por ser <A un
buen orden, f −1 (S) tiene elemento mı́nimo z.
Afirmamos que f (z) es el elemento mı́nimo de S.
Sea b ∈ S, por ser f supreyectiva b = f (a) para alguna a ∈ A. Entonces
a ∈ f −1 (S), por lo que z ≤ a, y como f preserva el orden, f (z) ≤ f (a) = b.
Por lo tanto f (z) es el mı́nimo de S.
Para cada ordinal α = ord (A, <A ), denotaremos por W (α) al conjunto
W (α) = {β | β es un ordinal y β < α}
Nota 14. W (α) es un conjunto, ya que si β = ord(B, <B ) < α, enton-
ces (B, <B ) ∼
= (Aa , <A ) para alguna a ∈ A, lo que significa que B es
equipotente con un subconjunto de A.
Teorema 4.1.18. Sea α = ord(A, <A ). Entonces (W (α), <) es un con-
junto bien ordenado y ord(W (α), <) = α.
§ 4.1 Conjuntos bien ordenados 93
(3) ⇒ (1) No puede ser que α sea sucesor de algún ordinal β, ya que en
este caso W (α) tendrı́a como elemento máximo a β, y por lo tanto serı́a
el supremo de W (α), por lo que deberı́a ser β = α, lo que es imposible, ya
que α = β . Entonces α debe ser ordinal lı́mite.
cardinal y (A, <A ), (B, <B ) son conjuntos bien ordenados, no necesaria-
mente se tiene que ord(A, <A ) = ord(B, <B ). Por ejemplo, si consideramos
el conjunto N, de los números naturales, con el orden usual <N , es decir,
el de un Sistema de Peano, y consideramos ahora el orden <N , definido
como sigue:
Para n = 0 y m = 0 n <N m si n <N m y n <N 0 para toda n = 0.
<N es un buen orden y (N, <N ) no es isomorfo a (N, <N ), ya que (N, <N )
tiene máximo y (N, <N ) no lo tiene.
Como cada conjunto no vacı́o de ordinales tiene primer elemento, denota-
remos por al primer ordinal infinito, es decir, si α es un ordinal
infinito,
= mı́n{β | β es un ordinal inf inito y β ≤ α}.
Teorema 4.1.28.
(1) El ordinal de un conjunto finito de n elementos es n.
(2) ord(N, <N ) = .
Demostración.
(1) Ya hemos demostrado que dos buenos órdenes sobre un conjunto
finito son isomorfos (Teorema 4.1.20), ası́ que para un conjunto finito F ,
con n elementos, y <F un buen orden sobre F , entonces
(F, <F ) ∼
= (W (n), <) = n.
(2) Como es el primer ordinal infinito, y todo ordinal finito es menor
que entonces
(W (), <) = ({β | β es un ordinal y β < }, <)
= ({β | β es un ordinal f inito}, <)
= ({β | β es un cardinal f inito}, <)
∼
= (N, <N ).
Finalmente, como = ord(W (), <), entonces = ord(N, <N ).
Este último teorema nos dice que podemos identificar los cardinales
finitos con los ordinales finitos, es decir, ord(n) = c(n) = n. Entonces la
sucesión de números ordinales comenzarı́a de la siguiente manera
0, 1, 2, 3, . . . , , , ( ) , . . . , 1 , 1 , (1 ) , . . . , 2 , 2 , (2 ) , . . .
donde , 1 , 2 , ... son los primeros ordinales lı́mites y (i ) es el sucesor
de i .
98 Números ordinales
Demostración.
(1) Basta tomar Bi = Ai × {i} con el orden inducido por el de Ai , es
decir (a, i) < (a , i) si y sólo si a <A a .
Nota 18. Hemos visto (Teorema 4.1.20) que cada conjunto finito A admite
un único buen orden (salvo isomorfismo), ası́ que si α = ord(A, <A ) es un
ordinal finito con |A| = n, ya hemos visto que ord(A, <) = ord(n) = n y
ası́ tenemos entonces que ord(n) + ord(m) = ord(n + m). Por lo anterior
§ 4.2 Suma y producto de números ordinales 101
podemos ver que la suma de dos ordinales finitos coincide con la suma de
números naturales, es decir, ord(n) + ord(m) = c(n) + c(m) = n + m. Por
lo tanto si nos restringimos a la suma finita de ordinales finitos, esta suma
es conmutativa. Sin embargo, en el caso en que alguno de los ordinales
sea infinito, aún cuando se trate de una suma finita, esta propiedad no se
cumple. Por ejemplo 1 + = y + 1 = .
Teorema 4.2.2. Sean α, β y γ números ordinales. Entonces
(1) (α + β) + γ = α + (β + γ)
(2) α < β ⇐⇒ existe γ = 0 tal que α + γ = β
(3) α < β ⇐⇒ γ + α < γ + β
(4) α < β =⇒ α + γ ≤ β + γ
Demostración. Sean α = ord (A, <A ), β = ord (B, <B ) y γ = ord (C, <C )
donde A, B y C son ajenos dos a dos.
(1) Es inmediato. Note que en la definición de suma no se usaron parén-
tesis.
f
(2) Supongamos α < β y sea b ∈ B tal que (A, <A ) ∼ = (Bb , <B ).
Sea <A∪(B−Bb ) definido en A ∪ (B − Bb ) como sigue: <A∪(B−Bb ) |A =<A ,
<A∪(B−Bb ) |B−Bb =<B |B−Bb y a < c para todo a ∈ A y para todo
c ∈ B − Bb . <A∪(B−Bb ) es un buen orden en A ∪ (B − Bb ) (fı́jese que
es el buen orden definido para la suma de α + ord(B − Bb , <B−Bb )).
La función F : (A ∪ (B − Bb ), <A∪(B−Bb ) ) −→ (B = Bb ∪ (B − Bb ), <B )
definida por ⎧
⎨ f (x) si x ∈ A
F (x) =
⎩
x si x ∈ B − B0
es un isomorfismo. Por lo tanto si γ = ord(B − Bb , <B ) se tiene que
α + γ = β, donde γ = 0 ya que B − Bb = ∅.
Inversamente, si para algún ordinal γ = ord(C, <C ) = 0, α + γ = β,
donde β = ord(A∪C, <A∪C ), la función iA : (A, <A ) −→ ((A∪C)c , <A∪C )
donde <A∪C es el buen orden dado para la suma α + γ dada por iA (x) = x
∀ x ∈ A y donde c es el mı́nimo de C, es un isomorfismo. Por lo tanto
α < β.
(3) Supongamos α < β y sea f como en (2). Recordemos que el orden
en C ∪ B está definido como sigue
⎧
⎨ x <c y si x, y ∈ C
x < y ⇐⇒ x <B y si x, y ∈ B
⎩
x∈C yy∈B
102 Números ordinales
Demostración. Sean α = ord (A, <A ), β = ord (B, <B ) y γ = ord (C, <C )
(1) Por el ejercicio 4.11, α · β = ord(B × C, <B×C ), donde <B×C es el
orden antilexicográfico en B × C. Entonces
α · (β · γ) = αi ,
i∈(B×C,<B×C )
(2) Consideramos B ∩ C = ∅
α · (β + γ) = α
i∈(B∪C,<B∪C )
(3) Sea α < β y γ = 0. Entonces por (2) del Teorema 4.2.2, existe δ = 0
tal que α + δ = β, luego γ · (α + δ) = γ · β, que es, por el inciso anterior,
γ · α + γ · δ = γ · β y como γ · δ = 0 (Ejercicio 4.9), entonces γ · α < γ · β.
Nota 19.
(i) En general
el producto no es conmutativo
2· = 2 = 2 + 2 + 2 + 2 + . . . = y · 2 = + = .
i∈(N,≤)
(ii) En general no vale la ley distributiva por la derecha
( + 1) · 2 = ( + 1) + ( + 1)
= + (1 + ) + 1
=++1
=·2+1
= · 2 + 2
= · 2 + 1 · 2.
(iii) Un ejemplo del caso del inciso (4) del teorema anterior donde se
da la igualdad serı́a
1 < 2 y sin embargo 1 · = 2 · ya que 1 · = 1 + 1 + 1 + . . . = y
también 2 · = .
Lema 4. 2.4. Para cada conjunto A = ∅ de números ordinales y cada
número ordinal α se tiene que α + supA = sup{α + β | β ∈ A}.
Demostración. Para cualquier β ∈ A se tiene que β ≤ supA y por lo
tanto por (3) del Teorema 4.2.2 α + β ≤ α + supA para toda β ∈ A, por
lo que α + supA es cota superior de {α + β | β ∈ A}.
Veamos ahora que es la mı́nima
Sea δ < α + supA. Si δ < α, entonces δ < α + β para cualquier β ∈ A,
por lo que en este caso δ no puede ser cota superior de {α + β | β ∈ A}.
Si δ ≥ α, entonces por (2) del Teorema 4.2.2, existe un ordinal γ tal que
α + γ = δ. Entonces α + γ < α + supA, y por (3) del Teorema 4.2.2 resulta
que γ < supA, lo que implica que existe ρ ∈ A tal que γ < ρ y por lo tanto
δ = α + γ < α + ρ ≤ α + supA, por lo que δ no puede ser cota superior de
{α + β | β ∈ A}. Por lo tanto α + supA = sup{α + β | β ∈ A}.
•
•
C∼
=( Ab ) (Ab0 )ab0 .
b∈(Bb0 ,<B )
•
Si definimos η = ord( Ab , <Σ ) y δ = ord((Ab0 )ab0 , <A ), enton-
b∈(Bb0 ,<B )
ces γ = α · η + δ, donde claramente η < β y δ < α.
1Aún cuando el codominio de una función debe ser un conjunto en esta ocasión
hemos tomado la clase de los números ordinales para facilitar la escritura de la demos-
tración, pues la imagen dependerá del dominio considerado. Además en la Teorı́a de
Conjunto formal se puede demostrar que la imagen de G es un conjunto y entonces el
Teorema de Recursión Transfinita es aplicable a A y G.
108 Números ordinales
En los tres casos hemos demostrado que δ no puede ser cota supe-
rior de {αβ |β ∈ X}. Por lo tanto, αsup X es la mı́nima cota superior de
{αβ |β ∈ X}, es decir, αsup X = sup{αβ |β ∈ X}.
se tiene
δ < ξ δ+1 ≤ sup{ξ γ+1 | γ < α} = ξ sup{γ+1|γ<α} = ξ sup{γ|γ<α} = ξ α
donde la penúltima igualdad se da porque α es ordinal lı́mite. Por lo tanto
ξ α es cota superior de {γ | γ < α} cuyo supremo es α. Entonces
α ≤ ξ α < ξ α+1 .
Teorema 4.3.2.
(1) α < β si y sólo si rep(α) rep(β) (y por lo tanto rep( ) es inyectiva),
(2) α < β si y sólo si rep(α) ∈ rep(β),
(3) (rep(α), ∈) es un conjunto bien ordenado y ord(rep(α), ∈) = α.
Demostración.
(1) Si α < β, entonces
rep(α) = {rep(γ) | γ < α} ⊆ {rep(γ)| γ < β} = rep(β).
Claramente no se puede dar la igualdad porque rep(α) ∈ rep(β) y si
este último fuera igual a rep(α), entonces se tendrı́a que rep(α) ∈ rep(α)
que por el Lema 4.3.1, no puede ser. Entonces rep(α) rep(β).
Ahora supongamos que rep (α) rep (β). Si se tuviera que β ≤ α
tendrı́amos entonces, por lo que acabamos de demostrar, que
rep (β) ⊆ rep (α) rep (β), es decir, rep(β) rep(β) que es imposible.
Entonces debe ser α < β.
Demostración.
(i) Para un número ordinal s.v.N. C no se puede dar C ∈ C ya que
si ası́ fuera, un elemento de C (que es C mismo) estarı́a relacionado (con
respecto a ∈) consigo mismo lo que no puede ser ya que ∈ es un orden
total. Por lo tanto C ∈/ C.
§ 4.5 Ejercicios
4.5. Sea C una cadena en la cual cada subconjunto numerable está bien
ordenado. Probar que C está bien ordenado.
4.6. Sea (X, ≤) una cadena y sean A y B subconjuntos de X tales que
X = A ∪ B y (A, ≤), (B, ≤) son bien ordenados. Probar que (X, ≤) es
bien ordenado.
4.7. Probar que cualquier cadena tiene un subconjunto cofinal (Un sub-
conjunto A de un conjunto parcialmente ordenado X se llama cofinal en
X si para todo x ∈ X existe a ∈ A tal que x ≤ a) y bien ordenado.
4.8. Demostrar que si α y β son ordinales tales que α ≥ 0 y β > 0,
entonces α + β > 0.
4.9. Demostrar que si α y β son ordinales tales que α = 0 y β = 0,
entonces α · β = 0.
4.10. Demostrar que no puede existir una sucesión monótona decreciente
infinita de números ordinales.
4.11. Sean (A, <A ) y (B, <B ) conjuntos bien ordenados y consideremos
α = ord(A, <A ), β = ord(B, <B ). Definimos el producto de α y β como
α ◦ β = ord(A × B, <A×B )
donde <A×B , llamado el orden antilexicográfico , se define como
(a, b) <A×B (a , b ) si b <B b o (b = b y a <A a )
124 Números ordinales
[Ba] Bartle, R, The elements of integration, John Wiley and Sons Inc.,
New York, 1966.
[En] Enderton, H.B, Elements of Set Theory, Academic Press, New York,
1977.
[Ka] Kaplansky, I, Set theory and metric spaces, Chelsea, New York, 1977
125
126 Bibliografı́a
127
128 Índice alfabético
identidad, 10 minimal, 18
inclusión, 11
inyectiva, 11 número
proyección, 10 cardinal, 38
que preserva el orden, 87 ordinal, 91
restricción de una, 11 no pertenencia, 1
sucesor, 72
orden
suprayectiva, 11
antilexicográfico, 123
vacı́a, 10
parcial, 16
Hipótesis total, 19
Generalizada del Continuo, 66 ordinal
limite, 95
imagen sucesor, 95
de un subconjunto bajo una función,
11 par no ordenado, 2
de un subconjunto bajo una par ordenado, 6
relación, 9 partición, 14
de una función, 9 pertenencia, 1
de una relación, 7 potencia
directa de números cardinales, 49
de una función, 11 de números ordinales, 107
de una relación, 9 primer ordinal infinito, 97
inversa Principio de Inducción Transfinita, 86
de una función, 11 producto
de una relación, 9 cartesiano, 6, 29
infimo, 19 de cardinales, 46
intersección, 2 de ordinales, 102
de una familia de conjuntos, 4
inversa rango
de una relación, 7 de una función, 9
inverso relación, 7
derecho de una función, 12 de orden
izquierdo de una función, 12 lineal, 19
isomorfismo parcial, 16
de conjuntos bien ordenados, 88 sobre cardinales, 38
de Sistemas de Peano, 71 sobre ordinales, 91
total, 19
leyes de equivalencia, 13
de Morgan, 3 asociada a f , 26
distributivas de conjuntos, 3 inversa, 7
retı́cula, 27
máximo, 18 completa, 27
mı́nimo, 18
cardinal infinito, 58 saturación de un conjunto, 26
maximal, 18 segmento inicial, 27
menor o igual, 17 Sistema de Peano, 67
Índice alfabético 129
subconjunto, 2
propio, 2
sucesor, 66
suma
de cardinales, 44
de ordinales, 99
supremo, 19
Teorema
de Cantor, 43
de Recursión Transfinita, 86
de Schröder-Bernstein, 39
torre, 32
unión, 2
ajena, 43
unitario, 1
Introducción a la teoría intuitiva de conjuntos (cardinales y ordinales)
editado por la Facultad de Ciencias de la
Universidad Nacional Autónoma de México,
se terminó de imprimir el 17 de diciembre de 2011
en los talleres de Navegantes de la Comunicación Gráfica, S.A. de C.V.
Pascual Ortiz Rubio No. 40, San Simón Ticumac,
Delegación Benito Juárez, C.P. 03660. México, D.F.