Conjuntos a lo sumo numerables

Para cada n en N, denotamos {1, . . . , n} por Jn . Además, pongamos J0 = ∅.

1 Definición. Un conjunto A se llama finito, si A = ∅ o existe n en N tal que A ∼ Jn .

Otra forma equivalente: un conjunto A se llama finito, si existe n en N0 tal que A ∼ Jn .

2 Definición. Un conjunto A se llama numerable, si A ∼ N.

3 Definición. Un conjunto A se llama a lo sumo numerable, si A es finito o numerable.

4 Ejemplo. Los conjuntos N y Z son numerables.

Conjuntos finitos

5 Ejercicio. Sean A un conjunto, n ∈ N0 , A ∼ Jn , b ∈

/ A. Demuestre que A ∪ {b} ∼ Jn+1 .

6 Ejercicio. Sean A y B dos conjuntos disjuntos, m, n ∈ N0 , A ∼ Jm , B ∼ Jn . Demuestre

que A ∪ B ∼ Jm+n .

7 Lema (sobre Jn+1 sin un elemento). Para cada n en N0 y cada b en Jn+1 ,

Jn ∼ Jn+1 \ {b}.

Demostración. Definimos f : Jn → Jn+1 \ {b} mediante la siguiente regla: f (x) := x para

x < b; f (x) := x + 1 para x ≥ b. Entonces f es una biyección.

8 Proposición (sobre los subconjuntos de Jn ). Para cada n en N0 y cada A ⊆ Jn , existe

m en N0 tal que m ≤ n y A ∼ Jm .

Demostración. Denotemos por A(n) la siguiente afirmación:

∀A ⊆ Jn ∃m ∈ N0 m ≤ n A ∼ Jm .

Demostremos A(n) para todo n en N0 , aplicando la inducción matemática sobre n.

Demostremos A(0). Sea A ⊆ J0 . Entonces A = ∅ = J0 .

Conjuntos a lo sumo numerables, página 1 de 3

Verifiquemos A(1) (este paso no es obligatorio). Sea A ⊆ J1 . Entonces hay dos casos:
A = ∅ o A = J1 . En el primer caso m = 0, en el segundo m = 1.

Supongamos que n ∈ N0 y se cumple A(n). Demostremos A(n + 1). Sea A ⊆ Jn+1 . Si

A = Jn+1 , entonces A ∼ Jm+1 . Supongamos que A 6= Jn+1 . Sea b ∈ Jn+1 \ A. Notemos
que A ⊆ Jn+1 \ {b}. Usando el Lema 7, construimos una biyección f : Jn → Jn+1 \ {b}.
Pongamos C = f −1 [A]. Entonces C ⊆ Jn y C ∼ A. Por la hipótesis de inducción (es decir,
por la afirmación A(n)), aplicada al conjunto C, existe m en N0 tal que C ∼ Jm . Luego
A ∼ C ∼ Jm .
9 Ejercicio. Sea A un conjunto finito y sea B ⊆ A. Demuestre que B es finito.
10 Ejercicio. Sean A y B conjuntos finitos. Demuestre que su unión A ∪ B también es
un conjunto finito.
11 Proposición (sobre la equipotencia de Jn y Jm ). Para cualesquiera m, n en N0 , si
m < n, entonces Jm  Jn .

Demostración. Realicemos la inducción matemática sobre m. En otras palabras, demos-

tremos por inducción matemática la siguiente afirmación A(m):
∀n ∈ N (n > m) ⇒ (Jm  Jn ).
Demostremos A(0). Sea n > 0. Queremos demostrar que Jm  Jn . Razonando por reduc-
ción al absurdo, supongamos que Jm  Jn . Entonces existe una biyección f : J0 → Jn .
Pero f [∅] = ∅ 6= Jn , ası́ que f no puede ser biyección.

Supongamos A(m) y demostremos A(m + 1). Sea n > m + 1. Queremos demostrar que
Jm  Jn . Razonando por reducción al absurdo, supongamos que Jm  Jn . Entonces
existe una biyección f : Jm+1 → Jn . Pongamos b = f (m + 1). Definimos g : Jm → Jn \ {b}
mediante la regla g(x) = f (x). Entonces g es una biyección. Por otro lado, Jn \{b} ∼ Jn−1 .
Obtenemos Jm ∼ Jn−1 , y m < n − 1. Esto contradice a la hipótesis de la inducción
A(m).

La Proposición 11 se puede reformular de la siguiente manera: para cualesquiera m, n en

N0 , Jm ∼ Jn si y solo si m = n.

Subconjuntos de N

12 Definición. Un subconjunto A de N se llama acotado si existe b en N tal que para

cada a en A se cumple la desigualdad a ≤ b.

Conjuntos a lo sumo numerables, página 2 de 3

Es fácil ver que ∅ es acotado y N no es acotado.
13 Proposición. Cualquier subconjunto acotado de N es finito.

Demostración. Sean A ⊆ N, n ∈ N, y A es acotado por n, esto es, para cada a en A se

cumple a ≤ n. Entonces A ⊆ Jn , y por la Proposición 8 existe m en N tal que A ∼ Jm .
14 Proposición. Cualquier subconjunto finito de N es acotado.

Demostración. Se puede demostrar por inducción sobre n la siguiente afirmación: si A ∼

Jn , entonces A es acotado.
15 Proposición. Para cada n en N0 , Jn  N.

Vamos a usar el principio de inducción en la siguiente forma: cualquier subconjunto no

vacı́o de N tiene un elemento mı́nimo.
16 Proposición. Cualquier subconjunto no acotado de N es numerable.

Demostración. Sea A un subconjunto no acotado de N. Vamos a definir f : N → A por

inducción.

En el primer paso notamos que A 6= ∅, y definimos f (1) como el elemento mı́nimo de A.

Supongamos que k ∈ N y los elementos f (j) con j ≤ k ya están construidos. Como f [Jk ]
es acotado y A no es acotado, A 6= f [Jk ], esto es, A \ f [Jk ] 6= ∅. Definimos f (k + 1) como
el elemento mı́nimo de A \ f [Jk ].

Por construcción, la función f es estrictamente creciente. Por inducción es fácil ver que
f (k) ≥ k para cada k.

Demostremos que f (N) = A. Si b ∈ A \ f (N), entonces b 6= f (b). Al mismo tiempo,

b ≤ f (b). Luego b < f (b). Esto contradice a la definición de f .
17 Proposición. Un conjunto es a lo sumo numerable si y solo si es equipotente a algún
subconjunto de N.

Demostración. La necesidad sale directamente de la definición, y la suficiencia de las dos

proposiciones anteriores.
18 Proposición. Todo subconjunto de un conjunto numerable es a lo sumo numerable.

Conjuntos a lo sumo numerables, página 3 de 3