Definición

Un conjunto A es infinito, si no es un conjunto finito.

Ejemplos:
Los siguientes
p conjuntos son infinitos;
N,Z, Q,Q( 2) ,R (Por qué?)
Los siguientes conjuntos no son infinitos:
In = {1, 2, 3, ..., n}(n ∈ N), X = {a, e, i, o, u}, I24 × {b} .
Definición
Un conjunto A es infinito numerable, si existe una
función f : N → A biyectiva
Definición
Un conjunto A es numerable, si es finito o infinito
numerable

Ejemplo
ϕ, {1, 2, 3, ..., n} donde n ∈ N son numerables.
N es infinito numerable
Ejemplo
Como la función f : N → Z definida por
 n
 − 2 , n par
f (n) =
 n−1
2
, n impar

es biyectiva, Z es numerable.
Lema
Si A ⊆ N es infinito, entonces A es numerable

Demostración.
Definimos h : N → A por inducción. h(1) = mı́n(A), y
suponiendo definidos h(1), h(2), · · · , h(n − 1) definimos

h(n) = mı́n(A \ h(1), h(2), · · · , h(n − 1) )

donde la existencia de tal mínimo está garantizado,

toda vez que A es infinito esta contenido en N.
h es inyectiva:
Sea m 6= n, spg m < n, entonces
h(m) ∈ {h(1), h(2), · · · h(n − 1)} y como por definición
h(n) no pertenece a {h(1), h(2), · · · h(n − 1)}, se
concluye que h(n) 6= h(m).
h es suryectiva:
Sea a ∈ A, si h(n) < a para todo n ∈ N entonces
h(N) ⊂ {1, 2, · · · , a}, que es un absurdo.
Entonces existe n0 ∈ N tal que h(n0 ) ≥ a, así el conjunto
{k ∈ N/ h(k) ≥ a} es no vacío, sea

m = mı́n{k ∈ N/ h(k) ≥ a}

entonces
h(m) ≥ a y ( ∀i < m, h(i) < a ) (1)
luego a 6∈ {h(1), h(2), · · · , h(m − 1)}, equivalentemente

a ∈ A \ {h(1), h(2), · · · , h(m − 1)},

y como

h(m) = mı́n A \ {h(1), h(2), · · · , h(m − 1)}
concluimos que
h(m) ≤ a (2)
Así de (1) y (2), se tiene que a = h(m).
Teorema
Sea B un conjunto no vacío, son equivalentes:
1. B es enumerable.
2. Existe f : N → B suryectiva.
3. Existe g : B → N inyectiva.
1⇒2) Como B es numerable, existe f : N → B biyectiva, en
particular f es suryectiva.
1⇒2) Como B es numerable, existe f : N → B biyectiva, en
particular f es suryectiva.
2⇒3) Si f : N → B es suryectiva, definimos la función
g : B → N por
g(b) = mı́n f −1 ({b})
siendo f suryectiva, f −1 ({b}) 6= ϕ, y por el PBO la
función g está bien definida.
g es inyectiva: Si b 6= b0 , entonces
f −1 ({b}) ∩ f −1 ({b0 }) = ϕ, de donde sus mínimos son
diferentes, esto es g(b) 6= g(b0 ), lo que demuestra
que g es inyectiva.
1⇒2) Como B es numerable, existe f : N → B biyectiva, en
particular f es suryectiva.
2⇒3) Si f : N → B es suryectiva, definimos la función
g : B → N por
g(b) = mı́n f −1 ({b})
siendo f suryectiva, f −1 ({b}) 6= ϕ, y por el PBO la
función g está bien definida.
g es inyectiva: Si b 6= b0 , entonces
f −1 ({b}) ∩ f −1 ({b0 }) = ϕ, de donde sus mínimos son
diferentes, esto es g(b) 6= g(b0 ), lo que demuestra
que g es inyectiva.
3⇒1) Si g : B → N inyectiva, g : B → Im(g) es biyectiva, y
como Im(g) ⊆ N por el lema 1, Im(g) es numerable,
luego existe h : N → Im(g) biyectiva, por lo tanto
g−1 ◦ h : N → B es biyectiva. Por lo tanto B es
numerable.
Corolario (1)
Si A ⊆ B y B es numerable, entonces A es numerable.

Demostración.
Como B es numerable , existe g : B → N inyectiva.
Luego gA : A → N inyectiva, así A es numerable.
Corolario (2)
N × N es numerable.
Demostración.
Por el teorema fundamental de la aritmética, la función
f : N × N → N definida por f (n, m) = 2n × 3m es inyectina.
Por tanto N × N es numerable.
Corolario (3)
 ∞ ∞
[
Si An n=1 es una familia de conjuntos numerables, entonces An
n=1
es numerable.
Demostración.
Para cada nS∈ N, existe fn : N → An suryectiva, luego la función
∞
h : N × N → n=1 An definida por

h(m, n) = fn (m)

también es suryectiva; y considerando una biyeción g : N → N × N,

se tiene que la función
∞
[
h◦g:N→ An
n=1
S∞
es suryectiva. Por lo tanto n=1
An es numerable.
Corolario (4)
Si A y B son numerables, entonces A × B es numerable.

Demostración.
Como B es numerable ∃f : N → B biyectiva, y para cada a ∈ A la
función g : B → {a} × B definida por f (x) = (a, x) es biyectiva, luego
la función g ◦ f : N → {a} × B es biyectiva. Esto demuestra que para
cada a ∈ A el conjunto {a} × B es numerable.
Ahora ]
A×B= {a} × B
a∈A
es una unión numerable (y disjunta) de conjuntos numerables, y
por el corolario 3, A × B es numerable.

Ejemplo
m
Como Z × Z∗ es numerable y f : Z × Z∗ → Q definida por f (m, n) = n
es suryectiva, Q es numerable.
Corolario (5)
Si X es infinito, entonces existe A ⊂ X infinito
numerable.

Demostración.
Sea x1 ∈ X arbitrario, y sea f : N → X definida por

f (2) = x2 ∈ X \ {x1 }, · · · , f (n) = xn ∈ X \ {x1 , · · · , xn−1 }

La función f está bien definida , pues X es infinito.

f es inyectiva:
sean n, m ∈ N tales que n 6= m, spg n < m, entonces

xm ∈ X \ {x1 , x2 , · · · , xm−1 }

es decir xm 6= xi para todo i < m, en particular xm 6= xn .

Así f : N → Im(f ) es biyectiva, por lo tanto existe
A = Im(f ) ⊂ X infinito numerable.
Corolario (6)
Para un conjunto X se cumple que
X es infinito ⇐⇒ ∃f : X → Y biyectiva para algún Y ⊆
/ X.

Demostración.
⇐) Esta implicación es el contrarrecíproco del corolario 1
(conjuntos finitos). Por lo tanto, X es infinito.
⇒) Si X es infinito, por el corolario 5, existe A ⊂ X infinito
numerable, digamos A = {a1 , a2 , · · · , an , · · · }
Y := (X \ A) ∪ {a2 , a4 , · · · } ⊆
/ X pues a1 ∈ X y a1 6 ∈ Y. Luego
definiendo f : X → Y por

f (x) = x ∀x ∈ (X \ A) y f (an ) = a2n

vemos que f es biyectiva.