Secci´on 4 Conjuntos numerables7
Demostraci´on:Para cada subconjunto no vac´ıoA⊂Xescoge-
mos un elementoxA∈A. A continuaci´on, definimosf:N→X
inductivamente. Hacemosf(1) =xXy, suponiendo ya definidos
f(1), . . . , f(n), escribimosAn=X− {f(1), . . . , f(n)}. ComoXes
infinitoAnno es vac´ıo. Entonces definimosf(n+ 1) =xAn. Esto
completa la definici´on def. Para probar quefes inyectiva, sean
m, n∈N, por ejemplom < n. Entoncesf(m)∈ {f(1), . . . , f(n−
1)}mientras quef(n)∈X− {f(1), . . . , f(n−1)}, luegof(m)6=
f(n).
Corolario.Un conjuntoXes infinito si, y s´olo si, existe una bi-
yecci´onϕ:X→Yes un subconjunto propioY⊂X.
En efecto, seaXinfinito yf:N→Xuna aplicaci´on inyec-
tiva. Escribimos, para cadan∈N,f(n) =xn. Consideremos el
subconjunto propioY=X−{x1}. Definimos entonces la biyecci´on
ϕ:X→Ytomandoϕ(x) =xsixno es ninguno de losxny
ϕ(xn) =xn+1(n∈N). Rec´ıprocamente, si existe una biyecci´on de
Xen un subconjunto propio entoncesXes infinito, en virtud del
Corolario 3 del Teorema 1.
∗
SiN1=N− {1}entoncesϕ:N→N1,ϕ(n) =n+ 1, es
una biyecci´on deNen su subconjunto propioN1={2,3, . . .}. De
forma general, dadop∈Npodemos considerarNp={p+ 1, p+
2, . . .}y definir la biyecci´onϕ:N→Np,ϕ(n) =n+p. Este
tipo de fen´omenos ya eran conocidos por Galileo, el primero en
observar que “hay tantos n´umeros pares como n´umeros naturales”,
que demostr´o que siP={2,4,6, . . .}es el conjunto de los n´umeros
pares entoncesϕ:N→P, dada porϕ(n) = 2n, es una biyecci´on.
Evidentemente, siI={1,3,5, . . .}es el conjunto de los n´umero
impares, entoncesψ:N→I,ψ(n) = 2n−1, tambi´en es una
biyecci´on. En estos dos ´ultimos ejemplos,N−P=IyN−I=P
son infinitos, mientras queN−Np={1,2, . . ., p}es finito.
4. Conjuntos numerables
Un conjuntoXse dicenumerablecuando es finito o cuando exis-
te una biyecci´onf:N→X. En este caso,fse llama numeraci´on de
los elementos deX. Si escribimosf(1) =x1, f(2) =x2, . . . , f(n) =
xn, . . .se tiene entoncesX={x1, x2, . . . , xn, . . .}.