Índice general

1. Conjuntos 1
1.1. Operaciones con conjuntos . . . . . . . . . . . . . . . . . . . . 1
1.2. Conjuntos numerables y a lo sumo numerables . . . . . . . . . 3
1.3. Existencia de conjuntos infinitos no numerables . . . . . . . . 12
1.4. Cardinalidad. Teorema de Schröder-Berstein . . . . . . . . . . 15
1.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

References 22

i
Capı́tulo 1

Conjuntos

En este primer capı́tulo se dan las principales definiciones y resultados

concernientes a conjuntos el cual serán usados en este curso.

1.1. Operaciones con conjuntos

La unión y la intersección de dos conjuntos A y B serán denotados, res-
pectivamente, por A ∪ B y A ∩ B. Estas notaciones son extendidas de manera
obvia a la unión y la intersección de una familia de conjuntos Ai (i ∈ T ),
donde T es un conjunto no vacı́o de ı́ndices (los conjuntos de ı́ndices se su-
pondrán no vacı́os). Denotaremos a dicha familia por {Ai }i∈T . Ası́, la unión
de la familia {Ai }i∈T será denotado por ∪i∈T Ai ( también emplearemos la no-
tación ∪i Ai , ó incluso ∪Ai si no hay posibilidad de confusión), y similarmente
para la intersección. Con mayor precisión

∪i∈T Ai = {ω : ω ∈ Ai para algún i ∈ T },

es decir, el conjunto de aquellos elementos ω tal que ω pertenece a Ai para

al menos un ı́ndice i perteneciente a T , y

∩i∈T Ai = {ω : ω ∈ Ai para todo i ∈ T }.

Para cualesquiera dos conjuntos A y B, el nuevo conjunto formado por

aquellos elementos que pertenecen a A pero no a B, se denotará como A − B,
i.e.,
A − B := {ω : ω ∈ A y ω ∈/ B}.

1
CAPÍTULO 1. CONJUNTOS 2

En particular, si todos los conjuntos bajo consideración son vistos como

subconjuntos de algún espacio Ω (un conjunto fijo no-vacı́o, llamado conjunto
universal ), entonces el complemento de A se define como Ω − A, y será de-
notado por Ac . De aquı́ se tiene que A − B = A ∩ B c . El conjunto vacı́o
será denotado por ∅.
Denotaremos a los conjuntos por mayúsculas en itálica A, B, C · · · . Sin
embargo reservaremos la notación P sólo para una medida de probabilidad, y
X, Y , Z denotarán variables aleatorias ([Link]). Como siempre, denotaremos
al conjunto de los números reales por R, al subconjunto de los naturales por
N = {1, 2, · · · }. También denotamos por N0 := N ∪ {0} = {0, 1, 2, · · · }, por
Z al conjunto de todos los enteros, por Q el campo de los racionales, y por
C el campo de los complejos.

Definición 1.1.1. Diremos que una familia {Ai }i∈T de conjuntos es una
familia disjunta si

Ai ∩ Aj = ∅ ∀i, j ∈ T, i 6= j.

En este caso, la unión de esta familia se representará con un puntito

arriba del sı́mbolo de “unión”:

∪˙ i∈T Ai (unión disjunta.)

Sean Ω1 , Ω2 dos conjuntos no vacı́os. Definimos el producto cartesiano

de Ω1 con Ω2 como el conjunto de todos los pares ordenados teniendo como
primer elemento un elemento de Ω1 , y como segundo elemento un elemento
de Ω2 , y lo denotaremos como Ω1 × Ω2 . Ası́,

Ω1 × Ω2 = {(ω1 , ω2 ) : ω1 ∈ Ω1 , ω2 ∈ Ω2 }.

Similarmente, productos cartesianos mayores son definidos:

Y
Ωα = {(ωα )α∈Λ : ωα ∈ Ωα ∀α ∈ Λ},
α∈Λ

Enunciamos el siguiente axioma de la teorı́a de conjuntos:

Axioma de elección. Sea {Ωα }α∈Λ una familia de conjuntos no vacı́os
Q α 6= ∅ for all α ∈ Λ). Entonces su producto cartesiano es también no vacı́o
(Ω
α∈Λ Ωα 6= ∅. Esto es, es posible “escoger“ un elemento simultáneamente de
cada uno de los conjuntos no vacı́os Ωα .
CAPÍTULO 1. CONJUNTOS 3

1.2. Conjuntos numerables y a lo sumo nu-

merables
Definición 1.2.1. Sean A, B dos conjuntos. Diremos que A es equipotente
a B y se escribe A ∼ B si existe una biyección f : A → B de A sobre B.
Observación 1.2.2. Sean A, B, C conjuntos. Claramente se tiene que:
A ∼ A;

Si A ∼ B entonces B ∼ A;

Si A ∼ B, B ∼ C, entonces A ∼ C.
Definición 1.2.3. Sean a, b ∈ N. Se define el intervalo entero [a . . b] de N
por
[a . . b] := {n ∈ N : a ≤ n ≤ b}.
Definición 1.2.4. Un conjunto A se dice conjunto finito si ó bien A = ∅,
ó bien ∃n ∈ N tal que A ∼ [1 . . n] (equiv. [1 . . n] ∼ A).
Teorema 1.2.5. Sean A, B conjuntos, A ⊂ B, A 6= B (A se dice subcon-
junto propio de B). Si A es finito entonces A no es equipotente a B.
Dem. Si A = ∅, la afirmación es clara, pues no puede existir una función
ϕ : A → B, con dominio el conjunto vacı́o.
Supongamos ahora que A 6= ∅, entonces ∃n ∈ N tal que A ∼ [1 . . n], o
sea, existe una biyección ϕ de [1 . . n] sobre A. También por hipótesis existe
b ∈ B tal que b ∈
/ A. Probaremos el teorema por inducción sobre n.
Caso n = 1: En este caso A = {ϕ(1)}. Supongamos que hubiera una biyec-
ción f : A → B, de A sobre B. Puesto que f es suprayectiva y ϕ(1) ∈ B, se
tendrı́a necesariamente que f (ϕ(1)) = ϕ(1) 6= b. Luego no existe x ∈ A tal
que f (x) = b, contradiciendo la suprayectividad de f . El teorema es correcto
en este caso.
Caso n ≥ 2: Supongamos ya probado el teorema para n, y supongamos
además que A ∼ [1 . . n + 1], con ϕ : [1 . . n + 1] → A una biyección, de donde
A = {ϕ(1), · · · , ϕ(n + 1)}.
Razonando por contradicción, supongamos que si existe una biyección f
de A sobre B. Sin pérdida de generalidad, podemos suponer que f (ϕ(n+1)) =
CAPÍTULO 1. CONJUNTOS 4

b ∈ B − A, pues si no fuera ası́ podemos construir una nueva biyección
f ∗ : A → B como sigue:
Sea p ∈ [1 . . n+1] tal que f (ϕ(p)) = b ∈ B−A, y sea c := f (ϕ(n+1)) ∈ B.
Definamos f ∗ : A → B como sigue:

 f (ϕ(k)) si k 6= p, n + 1;
f ∗ (ϕ(k)) = c si k = p;
b si k = n + 1.


∗ ∗
Claramente
 f es también una biyección de A sobre B tal que f (ϕ(n + 1)) =
b∈B−A .

Ası́ pues, sin pérdida de generalidad, supongamos que f es una biyección

de A sobre B tal que f (ϕ(n + 1)) = b ∈ B − A. Por lo tanto, la restricción
de f a A − {ϕ(n + 1)} = {ϕ(1), · · · , ϕ(n)} es una biyección de A0 = A −
{ϕ(n + 1)}(∼ [1 . . n]) sobre B 0 = B − b, con A0 ⊂ B 0 , de tal forma que
ϕ(n + 1) ∈ B 0 − A0 , es decir, A0 ∼ [1 . . n] es un subconjuto propio de B 0 ,
tal que A0 es equipotente a B 0 . Tenemos aquı́ una contradicción con nuestra
hipótesis de inducción. Ası́ pues, tal f no puede existir.
La demostración por inducción está completa.
Definición 1.2.6. Un conjunto que no es finito se llama infinito.

Consecuencias del teorema 1.2.5 :

(a) Si A es un conjunto equipotente a un intervalo entero [1 . . n] de N (luego

A es un conjunto finito), dicho n es único y se llama número cardinal
de A y se designa por Card(A). Convenimos en poner Card(∅) = 0.
Dem. En efecto, supongamos que A ∼ [1 . . n] y A ∼ [1 . . m], con
m < n. De aquı́ resultarı́a que [1 . . m] ∼ [1 . . n]. Pero [1 . . m] es una
parte finita propia de [1 . . n], lo cual no puede ser pues contradice el
teorema 1.2.5.

(b) N es un conjunto infinito.

Dem. En efecto, si N fuese finito, entonces N serı́a equipotente a una
parte finita propia [1 . . n], hecho que contradice al teorema 1.2.5.
CAPÍTULO 1. CONJUNTOS 5

Teorema 1.2.7. Todo subconjunto de un conjunto finito es finito, y el car-

dinal es inferior o igual al cardinal del conjunto entero.

Dem. Sea B un conjunto finito y A una parte de B. Sin pérdida de

generalidad, supongamos de B = [1 . . n]. Si A = ∅, entonces A es finito y
Card(A) = 0 < Card(B) = n.
Supongamos que A 6= ∅, y hagamos la demostración por inducción sobre
la cardinalidad n de B.
Caso n = 1: Entonces B = {1}, y como A 6= ∅, por lo tanto, A = {1} = B,
y el resultado es claro.
Caso n ≥ 2: Supongamos el teorema ya probado para n. Probemos el caso
n + 1, B = [1 . . n + 1].

(i) Supongamos que n + 1 ∈/ A, y como A ⊂ B = [1 . . n + 1], se tiene que

A ⊂ B 0 := B − {n + 1} = [1 . . n] y por hipótesis de inducción A es
finito con Card(A) ≤ Card(B 0 ) = n < n + 1 = Card(B).

(ii) Supongamos ahora que n + 1 ∈ A, y como A ⊂ B = [1 . . n + 1], se tiene

que A0 := A − {n + 1} ⊂ B 0 := B − {n + 1} = [1 . . n]. Por hipótesis de
inducción A0 es finito con Card(A0 ) = p ≤ Card(B 0 ) = n < n + 1 =
Card(B).
Si p = 0 entonces A = {n + 1} y Card(A) = 1 < Card(B) = n + 1.
Si p 6= 0, entonces existe una biyección ϕ : A0 = A − {n + 1} → [1 . . p].
Ampliamos ϕ a todo A definiendo ϕ(n + 1) = p + 1. Claramente, ϕ
ampliada es una biyección de A sobre [1 . . p + 1], de donde A es finito
con Card(A) = p + 1 ≤ n + 1 = Card(B).

Ası́, la demostración por inducción está completa.

Consecuencia de los teoremas 1.2.5 y 1.2.7.

(i) Un conjunto finito no puede ser equipotente a una parte propia. Equiva-
lentemente, si un conjunto es equipotente a una parte propia, entonces
es infinito.
CAPÍTULO 1. CONJUNTOS 6

Dem. Sea B un conjunto finito. Por el teorema 1.2.7, todo subconjuto

A de B es finito, pero por el teorema 1.2.5, si A es parte propia de B,
entonces A no puede ser equipotente a B.

(ii) Otra forma de ver que N es un conjunto infinito:

Dem. Se sigue de (i) arriba, pues N si es equipotente a una parte
propia, en este caso el conjunto de los pares 2N, a través de la biyección
N → 2N, n 7→ 2n.

(iii) Si B es un conjunto que contiene un subconjunto infinito, entonces B

es también infinito.
Dem. Supongamos que A es una parte infinita de B. Si B fuese finito,
por el teorema 1.2.7, A también serı́a finito, contradiciendo su infinitud.

(iv) Los conjuntos Z, Q y R son conjuntos infinitos.

Dem. Se sigue de (iii).

(v) Todo intervalo abierto acotado no vacı́o es infinito.

Dem. Sea (a, b) un intervalo abierto acotado no vacı́o, es decir a < b.
Escojamos α, β ∈ (a, b) tal que a < α < β < b. Entonces la aplicación
 
b−a
x 7→ a + (x − α)
β−α

es una biyección del intervalo (α, β) sobre el intervalo (a, b), es decir,
(a, b) es equipotente a una parte propia. Por (i) arriba (a, b) es infinito.

Definición 1.2.8. (a) Un conjunto se dice numerable si es equipotente al

conjunto de los números naturales N.

(b) Un conjunto se dice a lo sumo numerable si es finito ó numerable.

Lema 1.2.9. Sea ϕ : N → N una aplicación estrictamente creciente, es decir,

ϕ(n + 1) > ϕ(n) para todo n ∈ N. Entonces

ϕ(n) ≥ n ∀n ∈ N.
CAPÍTULO 1. CONJUNTOS 7

Dem. La demostración de hará por inducción sobre n. Se tiene claramente

que ϕ(1) ≥ 1 (pues 1 es el elemento mı́nimo de N).
Supongamos que para n ∈ N, ϕ(n) ≥ n (hipótesis de inducción). Puesto
que ϕ : N → N es estrictamente creciente, ϕ(n + 1) > ϕ(n) ≥ n, de donde
ϕ(n+1)−n ∈ N, es decir, ϕ(n+1)−n ≥ 1, equivalentemente, ϕ(n+1) ≥ n+1.
Ası́, la prueba por inducción está completa.
Recordemos el siguiente resultado de cálculo:
Teorema 1.2.10 (Principio de buena ordenación (PBO)). Todo sub-
conjunto no vacı́o de los naturales N posee un elemento mı́nimo.

Este resultado lo usaremos para demostrar el siguiente:

Teorema 1.2.11. Todo subconjunto de un conjunto numerable es a lo sumo
numerable (finito ó numerable).

Dem. Sin pérdida de generalidad, supondremos que nuestro conjunto

numerable es N. Sea A una parte de N. Si A es finito no hay nada que
probar. Supongamos pues que A es una parte infinita de N, debemos probar
que A es numerable, es decir, vamos a probar que existe una biyección de N
sobre A.
Vamos a definir inductivamente una aplicación ϕ : N → A. Gracias al
PBO (teorema 1.2.10), A posee elemento mı́nimo, por lo que definimos

ϕ(1) := elemento mı́nimo de A = mı́n A.

Supongamos ya definido ϕ(n) para algún n (hipótesis de inducción). Consi-

deremos el conjunto:
{k ∈ A : k > ϕ(n)}.
Este conjunto es una parte no vacı́a de N (pues caso contrario, se tendrı́a
∀k ∈ A =⇒ k ≤ ϕ(n), es decir, A es un subconjunto del intervalo entero finito
[1 . . ϕ(n)], y por el teorema 1.2.7, A es un conjunto finito, lo que constituye
una contradicción). Gracias al PBO, podemos definir

ϕ(n + 1) := mı́n{k ∈ A : k > ϕ(n)}.

Ası́, tenemos ϕ definido inductivamente.

CAPÍTULO 1. CONJUNTOS 8

Por otro lado, por construcción, ϕ : N → A es una aplicación estricta-

mente creciente de N en A. Luego ϕ es inyectiva.
Vamos a probar ahora que ϕ es una aplicación suprayectiva de N sobre
A. Tomemos un elemento arbitrario de A, digamos a ∈ A. Consideremos el
conjunto
S := {k ∈ N : ϕ(k) ≥ a}.
Note que S 6= ∅. En efecto, como ϕ : N → A ⊂ N es una aplicación estric-
tamente creciente, por el lema 1.2.9, se tiene que ϕ(a) ≥ a, de donde a ∈ S.
Una vez más, por el PBO (teorema 1.2.10), S posee un elemento mı́nimo.
Definamos
m = mı́n S = mı́n{k ∈ N : ϕ(k) ≥ a}.
De aquı́, como m ∈ S, se tiene que ϕ(m) ≥ a. Distinguimos dos casos:

(i) Caso m = 1: Se tiene pues que ϕ(m) = ϕ(1) = mı́n A ≤ a. Como

ϕ(m) = ϕ(1) ≥ a, de estas dos desigualdades se tiene que ϕ(1) = a.

(ii) Caso m > 1: Siendo m = mı́n S, entonces m − 1 ∈ N − S, de donde

ϕ(m−1) < a, y de la definición de ϕ(m) = mı́n{k ∈ A : k > ϕ(m−1)},
y estando a en el conjunto de la izquierda, ϕ(m) ≤ a, de donde se tiene
que ϕ(m) = a.

ϕ es pues suprayectiva, por lo tanto, ϕ es una biyección de N sobre A, de

donde A es numerable.
Teorema 1.2.12. Sean A, B dos conjuntos, con A numerable. Supongamos
que existe una aplicación suprayectiva de A sobre B. Entonces B es a lo
sumo numerable.

Dem. Sin pérdida de generalidad, supongamos que A = N. Por hipótesis,

existe f : N → B una aplicación suprayectiva. Dado y ∈ B arbitrario, por ser
f suprayectiva, el subconjunto de N, f −1 ({y}) := {n ∈ N : f (n) = y} es no
vacı́o. Gracias al PBO, podemos definir una aplicación g : B → N poniendo:

g(y) := mı́n f −1 ({y}) = mı́n{n ∈ N : f (n) = y}.

Claramente f ◦ g = idB , con idB : B → B la aplicación idéntica sobre B

(idB (y) = y para todo y ∈ B). De aquı́ se sigue que g : B → N es una
CAPÍTULO 1. CONJUNTOS 9

aplicación inyectiva. En efecto, basta probar la implicación:

y1 , y2 ∈ B, g(y1 ) = g(y2 ) =⇒ y1 = y2 .

Sean y1 , y2 ∈ B, tal que g(y1 ) = g(y2 ), entonces f (g(y1 )) = f (g(y2 )), es

decir, (f ◦g)(y1 ) = (f ◦g)(y2 ), pero como f ◦g = idB , se sigue inmediatamente
que y1 = y2 . Ası́ pues, efectivamente g : B → N es una aplicación inyectiva,
de donde restringiendo el codominio de g al rango de g, tenemos que g : B →
g(B) es una aplicación biyectiva de B sobre g(B), con g(B) un subconjunto
de N. Por el teorema 1.2.11, g(B) es a lo sumo numerable, luego B es también
a lo sumo numerable.
Teorema 1.2.13. El producto cartesiano de dos conjuntos numerables es
numerable.

Dem. Basta probar que N × N es numerable. Definimos una aplicación

ϕ : N × N → N por la fórmula

ϕ(m, n) = 2m−1 · (2n − 1), ∀(m, n) ∈ N × N.

Afirmamos que ϕ : N × N → N es biyectiva:

(i) ϕ : N×N → N es suprayectiva: Sea k ∈ N un número natural arbitrario.

Consideremos el subconjunto de los naturales

S := {m ∈ N : 2m - k (2m no divide a k)}.

Dicho subconjunto es no vacı́o puesto que como lı́mm→∞ 2m = ∞, basta

tomar m suficientemente grande tal que 2m > k, de donde m ∈ S. Por
el PBO (teorema 1.2.10), S posee elemento mı́nimo. Sea m0 = mı́n S.
Consideramos los siguientes casos:
Caso m0 = 1: Entonces 2 no divide a k, es decir, k es un número impar,
luego existe no ∈ N tal que k = 2n0 − 1 = 21−1 · (2n0 − 1) = ϕ(1, n0 ).
Caso m0 > 1: Por la definición de m0 como elemento mı́nimo de S,
entonces m0 − 1 es un natural que no pertenece a S, de donde 2m0 −1
divide a k pero 2m0 - k. Por lo tanto existe k 0 ∈ N tal que se tiene
k = 2m0 −1 ·k 0 , con k 0 claramente un número impar. Luego existe n0 ∈ N
tal que k 0 = 2n0 − 1, es decir, k = 2m0 −1 · (2n0 − 1) = ϕ(m0 , n0 ). Ası́,
ϕ es suprayectiva.
CAPÍTULO 1. CONJUNTOS 10

(ii) ϕ : N × N → N es inyectiva: Sean (m, n), (m0 , n0 ) ∈ N × N tal que

0
ϕ(m.n) = ϕ(m0 , n0 ), es decir, 2m−1 · (2n − 1) = 2m −1 · (2n0 − 1), equi-
0
valentemente, 2n − 1 = 2m −m · (2n0 − 1). Si m0 > m, entonces se tiene
un número que es par e impar a la vez, lo cual no puede ser. Luego
m = m0 y de aquı́ n = n0 , de donde la inyectividad de ϕ.

Ası́, (i) y (ii) prueban que ϕ : N × N → N es una biyección de N × N sobre

N, es decir, N × N es numerable.

Corolario 1.2.14 (Generalización del teorema precedente). Para cada

k ∈ N, el producto cartesiano

Nk := N
| ×N×{z· · · × N}
k−veces

es numerable.

Dem. La demostración es inmediata por inducción sobre k.

Definición 1.2.15. Una familia de conjuntos {Ai }iı∈T se llama familia nu-
merable si el conjunto de ı́ndices T es numerable. Particularmente si T = N.

Corolario 1.2.16. Sea {AnS

}n∈N una familia numerable de conjuntos a lo
sumo numerables. Entonces n∈N An es a lo sumo numerable.

Dem. Sin pérdida de generalidad podemos suponer que An 6= ∅ para todo

n ∈ N. Por hipótesis, cada An es a lo sumo numerable (finito o numerable).
Entonces es fácil ver que existe una aplicación suprayectiva fn : N → An . En
efecto, si An es numerable, luego existe una biyección g : N → An . Tomamos
fn = g. Por otro lado, si An es finito, existe p ∈ N y una biyección h :
[1 . . p] → An . Extendemos h a todo N poniendo fn (k) := h(k) si k ∈ [1 . . p],
y fn (k) = h(1) si k > p. Claramente fn : N → An es suprayectiva.
S
Definimos ϕ : N × N → n∈N An poniendo S ϕ(m, n) := fn (m) para todo
(m, n) ∈ N × N. Claramente, ϕ : N × N → n∈N An es suprayectiva. Ya que
N × N es numerable
S (ver teorema 1.2.13), se sigue del teorema 1.2.12, que el
codominio n∈N An es a lo sumo numerable.

Teorema 1.2.17. El conjunto de los enteros Z es numerable.

CAPÍTULO 1. CONJUNTOS 11

Dem. Sea ϕ : N × N → Z la aplicación ϕ(m, n) = m − n. Se comprueba

inmediatamente que ϕ es suprayectiva con dominio numerable N × N. Por el
teorema 1.2.12, Z es a lo sumo numerable. Pero siendo Z infinito, se sigue
sin más que Z es numerable.

Teorema 1.2.18. El conjunto Q de los números racionales es numerable.

Dem. Z−{0} es numerable pues es una parte infinita del conjunto nume-
rable Z. Luego Z × (Z − {0}) es numerable. Definamos ϕ : Z × (Z − {0}) → Q
n
por ϕ(m, n) = m . Claramente ϕ es suprayectiva, y por el teorema 1.2.12,
Q es a lo sumo numerable. Pero Q es infinito (pues contiene al conjunto
numerable Z), luego Q es numerable.
Recordemos el siguiente teorema de cálculo:

Teorema 1.2.19 (Segundo Principio de Inducción Matemática). Sea S un

subconjunto de N. Supongamos que para todo n ∈ N vale la implicación
siguiente:
{k ∈ N : k < n} ⊂ S =⇒ n ∈ S.
Entonces S = N.

Teorema 1.2.20. Todo conjunto infinito contiene un conjunto numerable.

Dem. Sea X un conjunto infinito. Vamos a definir inductivamente una

aplicación inyectiva ϕ : N → X, n 7→ an . Ya que X 6= ∅, existe a1 ∈ X.
Supongamos ya definidos elementos {a1 , · · · , an } distintos a pares. Como X
es infinito, tenemos que X 6= {a1 , · · · , an }, es decir, X − {a1 , · · · , an } =
6 ∅.
Podemos pues tomar an+1 ∈ X − {a1 , · · · , an }. Por el principio de inducción
matemática, la aplicación n 7→ an está definida inductivamente. La imagen
de esta aplicación es una parte numerable de X.

Observación 1.2.21. Explicitemos la aplicación del segundo principio de in-

ducción matemática en la demostración del teorema 1.2.20. Una vez definido
a1 ∈ X, definamos el conjunto S como sigue:

S := {n ∈ N : an+1 se define, y an+1 6= ak ∀1 ≤ k ≤ n}.

Sea n ∈ N tal que {k ∈ N : k < n} ⊂ S. Ası́ a1 , · · · , an−1 , an están definidos

y son distintos a pares. Como X es infinito, entonces X − {a1 , · · · , an } = 6 ∅,
CAPÍTULO 1. CONJUNTOS 12

por lo que podemos tomar un elemento an+1 ∈ X − {a1 , · · · , an }, equivalen-

temente, n ∈ S. Es decir, se cumple la implicación

{k ∈ N : k < n} ⊂ S =⇒ n ∈ S,

y por el segundo principio de inducción matemática (teorema 1.2.19), S = N,

es decir, para todo n ∈ N, an se define, y si n 6= m entonces an 6= am , en otras
palabras, queda definida inductivamente una aplicación inyectiva N → X,
n 7→ an .

1.3. Existencia de conjuntos infinitos no nu-

merables
Teorema 1.3.1. El conjunto de los números reales R es infinito no nume-
rable.
Dem. Razonando por contradicción, supongamos que existe una biyec-
ción N → R, n 7→ xn , de N sobre R. Vamos a construir una aplicación
ϕ : N → N estrictamente creciente (usando el segundo principio de inducción
matemática). Pongamos ϕ(1) := 1. Definamos

ϕ(2) := mı́n{k ∈ N : xk > x1 }.

∗ ∗
xϕ(1) = x1 xϕ(2)

Figura 1.1: Definición de ϕ(2).

Supongamos ya definidos ϕ(1), ϕ(2), · · · , ϕ(2m − 1), ϕ(2m), de suerte que

ϕ(1) < ϕ(2) < · · · < ϕ(2m − 1) < ϕ(2m), con xϕ(2m−1) < xϕ(2m) . Definamos
n o
ϕ(2m + 1) := mı́n k ∈ N : k > ϕ(2m), xk ∈ (xϕ(2m−1) , xϕ(2m) ) ,

(el conjunto de la derecha es no vacı́o pues el intervalo (xϕ(2m−1) , xϕ(2m) ) es

un conjunto infinito).
También definimos
n o
ϕ(2m + 2) := mı́n k ∈ N : k > ϕ(2m + 1), xk ∈ (xϕ(2m+1) , xϕ(2m) ) ,
CAPÍTULO 1. CONJUNTOS 13

∗ ∗ ∗ ∗
xϕ(2m−1) xϕ(2m+1) xϕ(2m+2) xϕ(2m)

Figura 1.2: Definición de ϕ(2m + 1) y ϕ(2m + 2).

Ahora ϕ está construida inductivamente. Por la propia construcción, ϕ :

N → N es una aplicación estrictamente creciente. También tenemos, por
construcción, que

[xϕ(2m+1) , xϕ(2m+2) ] ⊂ (xϕ(2m−1) , xϕ(2m) ).

De aquı́ se sigue que la sucesión {xϕ(2m−1) }m∈N es estrictamente creciente.

También es acotada superiormente (pues cualquier xϕ(2m) es un mayorante
de dicha sucesión). Por el axioma del supremo, existe

y := sup{xϕ(2m−1) : m ∈ N}.

Claramente y > xϕ(2m−1) para todo m ∈ N. También y < xϕ(2m) para todo
m ∈ N. Equivalentemente

y ∈ (xϕ(2m−1) , xϕ(2m) ) ∀m ∈ N.

Por otro lado, puesto que n 7→ xn es una biyección, existe q ∈ N tal que
y = xq . De lo dicho arriba, se desprende que q 6= ϕ(m) para todo m ∈ N. En
particular q 6= ϕ(1). Definimos:

n = mı́n{k ∈ N : ϕ(k + 1) > q}

pues el conjunto de la derecha es no vacı́o (puesto que contiene a q, ya que

ϕ(q + 1) > ϕ(q) ≥ q). Dicho mı́nimo existe gracias al PBO (teorema 1.2.10).
Por definición de n y lo dicho antes, se tiene pues:

ϕ(n) < q < ϕ(n + 1).

Distinguimos tres casos:

(i) n es par, o sea, n = 2m0 para algún m0 ∈ N, por lo tanto, de nuestras
definiciones anteriores,

ϕ(2m0 ) < q < ϕ(2m0 +1) = mı́n{k ∈ N : k > ϕ(2m0 ), xk ∈ (xϕ(2m0 −1) , xϕ(2m0 ) )}.
CAPÍTULO 1. CONJUNTOS 14

∗ ∗ ∗ ∗
xϕ(2m0 −1) xϕ(2m0 +1) xq xϕ(2m0 )

Figura 1.3: Caso (i).

Como también y = xq ∈ (xϕ(2m0 −1) , xϕ(2m0 ) ), luego q es un elemento

del conjunto a la derecha. De la definición de ϕ(2m0 + 1), se sigue que
ϕ(2m0 + 1) ≤ q, lo cual constituye una contradicción con las desigual-
dades estrictas anteriores.

(ii) n es impar, con n 6= 1. Ası́, n = 2m0 + 1 (para algún m0 ∈ N), ası́ que:

ϕ(2m0 +1) < q < ϕ(2m0 +2) = mı́n{k > ϕ(2m0 +1) : xk ∈ (xϕ(2m0 +1) , xϕ(2m0 ) )}.

Claramente q pertenece al conjunto de la derecha, de donde se si-

∗ ∗ ∗ ∗
xϕ(2m0 +1) xq xϕ(2m0 +2) xϕ(2m0 )

Figura 1.4: Caso (ii).

gue que ϕ(2m0 + 2) ≤ q, lo cual constituye una contradicción con las

desigualdades estrictas precedentes.

(iii) n = 1, o sea,

ϕ(1) = 1 < q < ϕ(2) = mı́n{k ∈ N : xk > x1 }.

Como xq ∈ (x1 , xϕ(2) ), entonces q pertence al conjunto de la derecha,

lo que contradice la definición de ϕ(2).

∗ ∗ ∗
xϕ(1) = x1 xq xϕ(2)

Figura 1.5: Caso (iii).

De la contradicción obtenida se deduce que R no es numerable.

Definición 1.3.2. Se dice que un conjunto tiene la potencia del continuo si
es equipotente a R.
CAPÍTULO 1. CONJUNTOS 15

Teorema 1.3.3. Todo intervalo abierto no vacı́o tiene la potencia del conti-
nuo

Dem.

(i) Afirmamos que dos intervalos abiertos acotados no vacı́os (α, β), (a, b)
son equipotentes. En efecto, la aplicación
 
b−a
x 7→ a + (x − α)
β−α

es una biyección del intervalo (α, β) sobre el intervalo (a, b).

(ii) Sea f : R → (−1, 1) la aplicación definida por

x
f (x) = , ∀x ∈ R. (1.3.1)
1 + |x|
Entonces es fácil ver que f aplica biyectivamente a R sobre el intervalo
abierto acotado (−1, 1) (se deja como ejercicio probar los detalles).
También f transforma biyectivamente todo intervalo abierto (α, +∞)
en el intervalo abierto acotado (f (α), 1), y el intervalo (−∞, α) en
(−1, f (α)). En efecto, basta ver que f es estrictamente creciente.

1.4. Cardinalidad. Teorema de Schröder-Berstein

Definición 1.4.1. Una relación ≺ sobre un conjunto B se llama relación de
orden si satisface:

(i) x ≺ x, ∀x ∈ B (reflexibidad);

(ii) x ≺ y, y ≺ x =⇒ x = y (antisimetrı́a);

(iii) x ≺ y, y ≺ z =⇒ x ≺ z (transitividad).

La relación de orden ≺ sobre B se llama relación de orden total, si además

de (i), (ii) y (iii), se cumple también

(iv) ∀x, y ∈ B vale por lo menos una de las relaciones:

x≺y o bien y ≺ x.
CAPÍTULO 1. CONJUNTOS 16

Una relación de orden que no es total se llama relación de orden parcial.

Un conjunto B provisto de una relación de orden (total, resp. parcial)
se dice conjunto ordenado ( totalmente, resp. parcialmente), y lo denotamos
por el par (B, ≺).

Ejemplo 1.4.2. (a) La relación ≤ en R (o una parte de R) es una relación

de orden total.

(b) La relación a|b (a divide b) en N, es una relación de orden parcial.

(c) Sea Ω un conjunto arbitrario. La relación de inclusión ⊂ sobre el con-

junto de las partes de Ω (o también llamado conjunto potencia), P(Ω)
es una relación de orden parcial.

Definición 1.4.3. Sea (B, ≺) un conjunto ordenado.

(1) Sea S ⊂ B. El subconjunto S de B se llama cadena en B, si la relación

≺ restringida a S, hace de S un conjunto totalmente ordenado, es decir,
(S, ≺) es un conjunto totalmente ordenado.

(2) Sea S ⊂ B, y a ∈ B. El elemento a ∈ B se llama mayorante o cota

superior del subconjunto S de B si:

s ≺ a, ∀s ∈ S.

(3) Un elemento a ∈ B se llama elemento maximal de B si ocurre la

implicación:
x ∈ B, a ≺ x =⇒ x = a.
Si existe elemento maximal, no necesariamente es único (proporcione
un ejemplo).

Un importante teorema de la teorı́a de conjuntos es:

Teorema 1.4.4 (Lema de Zorn). Sea (B, ≺) un conjunto ordenado. Supon-

gamos que toda cadena en B admite un mayorante en B. Entonces B posee
un elemento maximal.

Observación 1.4.5. El Lema de Zorn es equivalente al axioma de elección.

CAPÍTULO 1. CONJUNTOS 17

Definición 1.4.6. A todo conjunto B le asignamos un sı́mbolo llamado

número cardinal de B, y notado por Card(B), de tal forma que Card(B) =
Card(C) si y sólo si B ∼ C.
Ya lo hicimos en el caso en que B sea finito, entonces Card(B) ∈ N0 .
Ponemos Card(N) := ℵ0 ( alef cero). Ası́, Card(B) = ℵ0 si y sólo si B es
numerable.
En este curso pondremos Card(R) := ℵ ( alef). También es frecuente
denotar al cardinal asociado a R por ℵ1 ( aleph uno), o por c. Ası́ pues,
Card(B) = ℵ si y sólo si B ∼ R (en este caso diremos que B tiene la
potencia del continuo).
Definición 1.4.7. Sean α, β números cardinales. Sean A, B conjuntos tales
que α = Card(A), β = Card(B). Se escribe α ≤ β si existe una aplicación
inyectiva de A en B.
Teorema 1.4.8. Dos números cardinales arbitrarios α, β son comparables,
es decir, vale α ≤ β, o bien, β ≤ α.
Dem. Sean A, B dos conjuntos arbitrarios (no vacı́os, con α = Card(A),
β = Card(B)). Debemos probar que ó bien existe una inyección de A en B,
ó bien una inyección de B en A.
Sea S el conjunto de todas las ternas (C, D, f ), donde C ⊂ A, D ⊂ B, y
f es una biyección de C sobre D.
El conjunto S es no vacı́o. En efecto, tomemos arbitrariamente algunos
puntos x ∈ A, y ∈ B, y pongamos C := {x}, D := {y}, f : C → D la
aplicación f (x) = y. Entonces (C, D, f ) ∈ S.
Vamos a definir una relación de orden en S: Sean (C, D, f ), (C 0 , D0 , f 0 ) ∈
S. Escribimos (C, D, f ) ≺ (C 0 , D0 , f 0 ) si C ⊂ C 0 , D ⊂ D0 , y la restricción
f 0 |A coincide con f . Se comprueba inmediatamente que ≺ es una relación de
orden en S.
Sea ahora {(Ci , Di , fi )}i∈I una cadena en S. Es decir, vale la implicación

∀i, j ∈ I =⇒ (Ci , Di , fi ) ≺ (Cj , Dj , fj ) ó (Cj , Dj , fj ) ≺ (Ci , Di , fi ).

S S
Definimos C := i∈I Ci , D := i∈I Di . Definimos también f : C → D como
sigue: Sea x ∈ C arbitrario. Luego existe i0 ∈ I tal que x ∈ Ci0 . Definimos
f (x) := fi0 (x) ∈ Di0 ⊂ D.
(i) Mostremos la univocidad de la definición de f : Sea j ∈ I otro ı́ndi-
ce tal que x ∈ Cj . Como {(Ci , Di , fi )}i∈I es una cadena, entonces
CAPÍTULO 1. CONJUNTOS 18

(Ci , Di , fi ) ≺ (Cj , Dj , fj ) ó (Cj , Dj , fj ) ≺ (Ci , Di , fi ). Supongamos

que (Ci , Di , fi ) ≺ (Cj , Dj , fj ), luego como x ∈ Ai ⊂ Aj , se tiene que
fj (x) = fj |Ai (x) = fi (x), demostrándose la univocidad de la definición.

(ii) Probemos que f : C → D es inyectiva: Sean x, x0 ∈ C tal que f (x) =

f (x0 ). Luego existen i, j ∈ I tal que x ∈ Ci , x0 ∈ Cj . Por ser {(Ci , Di , fi )}i∈I
una cadena se tiene por ejemplo que (Ci , Di , fi ) ≺ (Cj , Dj , fj ). Luego
f (x) = fi (x) = fj |Ci (x) = fj (x), y f (x0 ) = fj (x0 ). Como f (x) = f (x0 ),
se sigue que fj (x) = fj (x0 ). Siendo fj una biyección de Cj sobre Dj , se
sigue sin más que x = x0 .

(iii) Probemos que f es suprayectiva: Sea y ∈ D arbitrario. Luego existe

i ∈ I tal que y ∈ Di . Siendo fi una biyección de Ci sobre Di , existe
x ∈ Ci tal que y = fi (x) = f (x), probando la suprayectividad de f .

Queda pues probado que f es una biyección de C sobre D, de donde

(C, D, f ) ∈ S, y por construcción de esta terna, claramente (Ci , Di , fi ) ≺
(C, D, f ) para toda terna (Ci , Di , fi ) de la cadena. En otras palabras, (C, D, f )
es un mayorante de la cadena {(Ci , Di , fi )}i∈I . Por el lema de Zorn, S posee
un elemento maximal. Abandonando las notaciones anteriores, designaremos
a este elemento maximal por (C, D, f ).
Afirmamos que bien C = A ó bien D = B. Razonando por contradicción,
supongamos que existen elementos x ∈ A − C, y ∈ B − D. Definamos C 0 :=
C ∪ {x}, D0 := D ∪ {y}, y sea f 0 : C 0 → B 0 definida de la forma f 0 |C =
f , y f 0 (x) = y. Ası́, f 0 es claramente una biyección de C 0 sobre B 0 , luego
(C 0 , D0 , f 0 ) ∈ S, con (C, D, f ) ≺ (C 0 , D0 , f 0 ), y (C, D, f ) 6= (C 0 , D0 , f 0 ). Esto
contradice la maximalidad de (C, D, f ). Hemos probado pues que:

(1) C = A ó (2) D = B.

En el caso (1), f es una inyección de A en B. En el caso (2), f −1 es una

inyección de B en A.

Teorema 1.4.9 (Teorema de Schröder-Berstein). Sea α, β numeros cardina-

les. Si α ≤ β y β ≤ α, entonces α = β.

Dem. El enunciado del teorema equivale a lo siguiente: Sean A, B con-

juntos. Si existe una inyección de A en B y una inyección de B en A, entonces
existe una biyección de A sobre B.
CAPÍTULO 1. CONJUNTOS 19

Sean A, B conjuntos, f : A → B, g : B → A inyecciones. Sea a ∈ A,

pongamos a0 := a, a0 se llama antecesor de ı́ndice cero de a. Si existe b1 ∈ B
tal que g(b1 ) = a0 (b1 será necesariamente único) b1 se llama antecesor de
ı́ndice 1 de a. Si existe a2 ∈ A (necesariamente único) tal que f (a2 ) = b1 , a2
se llama antecesor de ı́ndice 2 de a. Si existe b3 ∈ B (necesariamente único)
tal que g(b3 ) = a2 , b3 se llama antecesor de ı́ndice 3 de a. Inductivamente, se
define el antecesor de ı́ndice arbitrario de a (si existe).
Análogamente, sea b ∈ B. Ponemos b0 := b y le llamamos antecesor de
ı́ndice cero de b. Si existe a1 ∈ A tal que f (a1 ) = b0 , a1 se llama antecesor de
ı́ndice 1 de b. Si existe b2 ∈ B tal que g(b2 ) = a1 , b2 es antecesor de ı́ndice
2 de b. Inductivamente, se define el antecesor de ı́ndice arbitrario de b (si
existe). Definimos
A∞ := {a ∈ A : a tiene una infinidad de antecesores}
Ap := {a ∈ A : el último antecesor de a es de ı́ndice par, o sea, está en A}
Ai := {a ∈ A : el último antecesor de a es de ı́ndice impar, o sea, está en B}.
Claramente dichos tres conjuntos son disjuntos a pares, y también
A = A∞ ∪ Ap ∪ Ai .
Análogamente
B∞ := {b ∈ B : a tiene una infinidad de antecesores}
Bp := {b ∈ B : el último antecesor de b es de ı́ndice par, o sea, está en B}
Bi := {b ∈ Bel último antecesor de b es de ı́ndice impar, o sea, está en A}.
Los tres conjuntos B∞ , Bp , Bi son disjuntos a pares y
B = B∞ ∪ Bp ∪ Bi .
Se ve inmediatamente que
(i) f aplica biyectivamente A∞ sobre B∞ ;
(ii) f aplica biyectivamente Ap sobre Bi ;
(iii) g aplica biyectivamente Bp sobre Ai .
Finalmente, definimos h : A → B como

 f (a) si a ∈ A∞ ∪ Ap
h(a) :=
 −1
g (a) si a ∈ Ai .
CAPÍTULO 1. CONJUNTOS 20

Claramente, h es una biyección de A sobre B.

Aplicación del teorema de Schröder-Berstein. Sea K ⊂ R tal que K
contiene un intervalo abierto no vacı́o. Entonces Card(K) = ℵ.
Dem. En efecto, puesto que K ⊂ R , entonces (1) Card(K) ≤ Card(R) =
ℵ. También, siendo I un intervalo abierto no vacı́o tal que I ⊂ K,tenemos
(2) ℵ = Card(I) ≤ Card(K). Por el teorema de Schröder-Berstein, se sigue
de (1) y (2) que Card(K) = ℵ, es decir K tiene la potencia del continuo.

Definición 1.4.10. Sean α,β números cardinales. Por definición, la relación

α < β significará α ≤ β, pero α 6= β. En otras palabras, si α = Card(A),
β = Card(B), entonces α < β significará que : Existe una inyección de
A en B, pero no existe una biyección de A sobre B (y por el teorema de
Schröder-Berstein, esto dice que no existe una inyección de B sobre A).

Teorema 1.4.11 (Y definición). Para todo número cardinal α existe un

número cardinal β tal que α < β. Más precisamente, para todo conjunto A
se tiene que
Card(A) < Card(P(A)).
Si Card(A) = α, definimos Card(P(A)) := 2α .

Dem. Sea A un conjunto arbitrario. La aplicación a 7→ {a} es una in-

yección de A en P(A). Luego Card(A) ≤ Card(P(A)). Resta probar que no
existe una biyección de A sobre P(A).
Razonando por contradicción, supongamos que hubiera una biyección f
de A sobre P(A). Definimos C el subconjunto de A dado por

C := {a ∈ A : a ∈
/ f (a)}.

Por ser f una biyección, existe b ∈ A tal que f (b) = C.

(i) Si b ∈ C, por definición de C se tiene b ∈

/ f (b) = C, lo cual es una
contradicción.

(ii) Si b ∈
/ C, por definición de C se tiene b ∈ f (b) = C, lo cual es una
contradicción.
CAPÍTULO 1. CONJUNTOS 21

Esto demuestra que la biyección f no puede existir.

Hipótesis del continuo.
Si ocurre ℵ0 ≤ α ≤ ℵ entonces ó bien α = ℵ0 , ó bien α = ℵ (no se puede
demostrar la hipótesis del continuo).
CAPÍTULO 1. CONJUNTOS 22

1.5. Ejercicios
1. Demuestre que el conjunto de los números primos es numerable.

2. Sea p un numero natural primo y definamos el conjunto:

√ √
Q( p) := {a + b p : a, b ∈ Q}.
√
Demuestre que Q( p) es numerable.

3. Sea n ∈ N fijo, y denotemos por Qn [x] todos los polinomios p(x) =

a0 + a1 x + · · · + an xn de grado ≤ n, con coeficientes a0 , a1 , · · · , an ∈ Q.
Demuestre que Qn [x] es numerable.

4. Sea Q[x] el anillo de todos los polinomios en la variable x, con coefi-

cientes en el campo Q. Demuestre que Q[x] es numerable.

5. Un número real α ∈ R se llama algebraico si existe p(x) ∈ Q[x] tal

que p(α) = 0. Demuestre que el conjunto de todos los números alge-
braicos de R es numerable. Un número que no es algebraico se llama
trascendente (por ejemplo π y el número de Euler e).

6. Pruebe que la aplicación ϕ : N × N → N dada por

(m + n)(m + n + 1)
ϕ(m, n) := +n
2
Pruebe que ϕ es una aplicación inyectiva. De aquı́ concluya que N × N
es numerable.

7. Demuestre que el conjunto F(N) formado por todos los subconjuntos

finitos de N es numerable.

8. Sea F(N, {0, 1}) la colección de todas las sucesiones {xn } en R tal que
xn = 0 ó 1, para cada n. Demuestre que F(N, {0, 1}) ∼ P(N).

9. Usando la hipótesis del continuo, demuestre que Card(P(N)) = ℵ.

Bibliografı́a

[1] Ash, R., Doléans-Dade C., Probability & Measure Theory, Acade-
mic Press, Reimpreso 2008.

[2] Bergström, H., Weak Convergence of Measures, Academic Press,

2014.

[3] Billingsley, P., Convergence of Probability Measures, Wiley, New

York, 1999.

[4] Cohn, D. L., Measure Theory, Birkhäuser, segunda edición, 2010.

[5] Dudley, R. M., Real Analysis and Probability, Cambridge University

Press, segunda edición, 2011.

[6] Durrett, R., Probability. Theory and examples, Cambridge University

Press; cuarta edición, 2010.

[7] Ethier, S., Kurtz, T., Markov Processes: Characterization and Con-
vergence, Wiley-Interscience; 2nd edition, 2005.

[8] Föllmer, H., Schied, A., Stochastic Finance: An Introduction in

Discrete Time, de Gruyter; Edición: 4th Rev., ed. 2016.

[9] Gnedenko, B.V., Kolmogorov, A.N., Limit Distributions for Sums

of Independent Random Variables, Addison-Wesley, 1968.

[10] Iglehart, D. L. Weak convergence in applied probability, Stoch. Proc.

Appl. 2, pp. 211 − 241, 1974.

[11] Kallenberg, O., Foundations of Modern Probability, Springer, Pro-

bability and its Applications, 2001.

23
BIBLIOGRAFÍA 24

[12] Kallenberg, O., Random Measures, Theory and Applications, Sprin-

ger, Probability Theory and Stochastic Modelling, 2017.

[13] Kushner, H., Approximation and Weak Convergence Methods with Ap-
plications to Stochastic Systems Theory, MIT Press, 2008.

[14] Kushner, H., Numerical Methods for Stochastic Control Problems in

Continuous Time, Springer, serie: Stochastic Modelling and Applied
Probability (Book 24), 2000.

[15] Royden, H. L., Real Analysis, Prentice Hall College, tercera edición
1988.

[16] Tucker, H. G., A graduate Course in Probability, Dover Publications,

Inc., 2014.