Instituto Tecnológico de Costa Rica

Matemática Discreta

Proyecto 1

Profesor:
Paulo Garcı́a

Estudiante:
Pablo Pérez

20 de Mayo de 2023
1. Numerabilidad de los enteros y de los racio-
nales.
Para poder decir si los enteros (Z) o los racionales (Q) son numerables, pri-
mero debemos tener claro que es la numerabilidad. En teorı́a de conjuntos se
le conoce a la numerabilidad a la caracterı́stica de un conjunto de ser numera-
ble y un conjunto es numerable si este es finito o tiene la misma cardinalidad
del conjunto de los números naturales (N) [2] .Otra forma de llamarle a estos
conjuntos son conjuntos contables, haciendo referencia a que se pueden contar
o que tienen una cantidad natural de elementos (numerable).Un dato bastante
interesante sobre esto es que la matemática discreta es la que se encarga de
los conjuntos finitos e infinitos numerables. El matemático encargado de hablar
sobre este tipo de conjuntos fue George Cantor en el año 1874 y demostrando
que el conjunto de los números reales (R) no es numerable [3], para ello usó una
prueba en la no era posible definir una función biyectiva entre los reales y los
naturales (más adelante podemos ver una idea de esto). Una vez teniendo
claro que es la numerabilidad, podemos proceder a hacer unas demostraciones
para ver si los conjuntos deseados (Z y Q) son numerables o no. Para ello usa-
remos la misma técnica de utilizar una función biyectiva con los naturales para
probar si son contables. Empezando con los números enteros, a primer vista po-
driamos pensar que existe el doble de elementos que en N∗ pero si planteamos
la siguiente función:
(
n−1
f (n) = −n 2 , si n es impar

2 , si n es par

llegamos a un resultado bastante llamativo, ya que podemos probar que esta

función es biyectiva. Para ello queremos que si f (n1 ) = f (n2 ) =⇒ n1 = n2 .
Esto es fácil de demostrar, ya que sabemos que si n1 , n2 impares entonces
n1 − 1 n2 − 1
=
2 2
multiplicando por 2 y sumando uno a ambos miembros, tenemos n1 = n2 , es
decir, es inyectiva. Por otra parte, n1 , n2 pares entonces
−n1 −n2
=
2 2
multiplicando por −2 a ambos lados tenemos n1 = n2 , o sea, estamos probando
la inyectividad. Ahora, para mostrar sobreyectividad queremos que

∀z ∈ Z, ∃n ∈ N : f (n) = z

Para esto podemos tomar z < 0 , z = 0 y z > 0 para generalizar.

1
Cuando z = 0,
n−1
f (n) = 0 =⇒ 2 = 0 =⇒ n = 1, es decir, existe un n.
Cuando z < 0,
−n
f (n) = z =⇒ 2 = z =⇒ n = −2z, es decir, existe un n (par).
Cuando z > 0,
n−1
f (n) = z =⇒ 2 = z =⇒ n = 2z + 1, es decir, existe un n (impar).

Esto demuestra sobreyectividad, y por tanto, biyectividad, ası́ concluimos Z

numerable.

Ahora para Q numerable, podemos definir el conjunto En = { m n |m ∈ Z} que

usando la misma idea de antes, podemos para cada En establecer una biyección
con los naturales, ya que podemos poner todos los naturales en una lı́nea y a
cada elemento natural asociarle su respectivo m n con m ∈ Z y establecer una fun-
ción biyectiva entre En y N como lo hicimos antes, demostramos que cada En es
contable, pero ahora nosS∞falta ver que la unión de todos los En es numerable, ya
que si nos fijamos bien n=1 En = Q, pero ya prácticamente lo tenemos, ya que
existe un lema que nos dice que la unión de conjuntos numerable es numerable.
Para demostrarlo usamos un recurso usado por George Cantor, el cual consiste
con poner todos los elementos de cada conjunto contable en lı́nea (como en for-
ma de matriz, donde cada fila son los elementos de cada conjunto). Seguido de
esto tomar los elementos en forma de zigzag, como trazando ’diagonales’ y luego
de tener en lı́nea todos estos elementos, a cada elemento asociarle un número
natural y concluir que existe una biyección que lo permite, demostrando asi el
lema. Podemos ver más gráficamente lo anterior para tener una mejor idea.

A = {a11 , a12 , a21 , a31 , a22 ...}

B = {b1 , b2 , b3 , b4 , b5 ...}

Y ası́ |A| = |B|

2
Ası́
S∞ demostramos que la unión de conjuntos numerables es numerable y como
n=1 En = Q concluimos que Q es numerable.
Con esto hemos demostramos que tanto Z como Q son numerables, el cual
era el objetivo de este trabajo. Ahora podemos ver a grandes rasgos que R
no es numerable, porque incluso entre 0 y 1 en los reales, siempre habrá un
componente decimal diferente que no se puede asociar a un número natural y
por tanto no se puede establecer una función biyectiva y esto nos dice que R no es
numerable. Es interesante también conocer la historia de George Cantor, ya que
fue uno de los pioneros en las investigaciones matemáticas sobre infinitos, pero
este gran conocimiento lo llevo a la locura, al empezar a entender la densidad
de los infinitos y esta no es la misma para todos los infinitos. Aún ası́ continuo
haciendo aportes a la teorı́a de conjuntos entre otras áreas, haciéndolo un gran
matemático.
Considero que los materiales que tomé para este trabajo son bastante bue-
nos, ya que se explica todo una forma muy clara y precisa. En el caso del artı́culo
del TEC Digital, me parece que la información está bien concentrada y esto hace
que sea cómodo de leer, ya que no abruma con muchos términos matemáticos
complejos, ni se va por las ramas de lo quiere dar a conocer el artı́culo, a veces
las personas le tienen cierto miedo a las matemáticas y al ver artı́culos extensos
y con lenguaje demasiado técnico hacen que el lector pierda el interés. Por eso
pienso que esta forma de resumir o compactar un tema como lo es la numera-
bilidad es muy acertado. Por otra parte los videos de las demostraciones son
cortos y demuestran muy visualmente y paso por paso lo que se quiere. El video
del matemático y divulgador Eduardo Sáez es un claro ejemplo de como hacer
ver a las matemáticas divertidas y fáciles de entender sin ’perderles el respe-
to’. Me gusta mucho el hecho que cada vez hay más recursos tecnológicos que
ayudan a una mejor comprensión de la matemática, ya que muchas veces una
idea abstracta en un libro nos parece casi imposible de entender, pero con un
enfoque audiovisual nos resulta más sencillo. Por último veo muy provechosas
actividades como esta que promueven realizar una investigación más allá de lo
que se ve en las aulas, con la libertad de repasar un tema que talvez no quedó
del todo claro o investigar de un tema a fin que no se aborda o al menos no
tan detenidamente en el curso. Ya que es demasiado importante complementar
los temas vistos en clases con otros temas u otras explicaciones, esto enriquece
nuestro conocimiento.

3
2. Bibliografı́a
Referencias
[1] Mundo Matemáticas. (s.f.). Algunos Conjuntos Infinitos. Recupera-
do de https://tecdigital.tec.ac.cr/servicios/revistamatematica/
MundoMatematicas/infinito/node4.html

[2] Colaboradores de Wikipedia. (2023). Conjunto numerable. Wikipe-

dia, La Enciclopedia Libre. https://es.wikipedia.org/wiki/Conjunto_
numerable
[3] Colaboradores de Wikipedia. (2023b). Georg Cantor. Wikipedia, La Enci-
clopedia Libre. https://es.wikipedia.org/wiki/Georg_Cantor

[4] Mate A. (2019, October 20). El conjunto de los números enteros Z es numera-
ble (Demostración) [Video]. YouTube. https://www.youtube.com/watch?
v=oMngCSfVreA
[5] Mate A. (2019, October 27). El conjunto de los números racionales Q es infi-
nito numerable (Demostración) [Video]. YouTube. https://www.youtube.
com/watch?v=AFB1IFBZAYU
[6] Derivando. (2015, May 20). ¿Existen infinitos más grandes que otros? [Vi-
deo]. YouTube. https://www.youtube.com/watch?v=TUFQKN5mIWM