Tema 2

Nmeros naturales, enteros y racionales

Estudiamos en este tema los nmeros reales que podemos ver como los ms sencillos e
intuitivos. Empezamos detectando dentro de R a los nmeros naturales, a partir de los cuales
deniremos fcilmente los nmeros enteros y racionales. Iremos analizando el comportamiento
de estos tres subconjuntos de R con respecto a la suma, el producto y el orden.
2.1. Nmeros naturales. Induccin
Intuitivamente, el conjunto N de los nmeros naturales est formado por los nmeros que
se obtienen sumando 1 consigo mismo: 1, 1+1 = 2, 1+1+1 = 3, etc. Sabemos ya que todos
estos nmeros son distintos: 1 < 2 < 3... Pero veamos una denicin rigurosa del conjunto N.
Se dice que un conjunto A R es inductivo cuando verica las dos condiciones siguientes:
(i) 1 A
(ii) x A x +1 A
Por ejemplo, R y R
+
son conjuntos inductivos, R

y R

no lo son. Pues bien, denimos el

conjunto N de los nmeros naturales como la interseccin de todos los subconjuntos inductivos
de R. Poco a poco iremos viendo que esta denicin se corresponde perfectamente con nuestra
idea intuitiva.
Empezamos observando que N es un conjunto inductivo. Por una parte, 1 pertenece a todos
los subconjuntos inductivos de R, luego 1 N. Por otra, si n Ny A es un subconjunto inductivo
de R, tenemos que n N A, luego tambin n +1 A, por ser A inductivo. Vemos as que
n+1 pertenece a todos los subconjuntos inductivos de R, es decir, n+1 N, como se quera.
Podramos decir que N es el ms pequeo de todos los subconjuntos inductivos de R, pues est
contenido en todos ellos. Esta idea se refuerza con el siguiente enunciado, que es la propiedad
clave del conjunto N:
Principio de induccin. Si A es un subconjunto de N, y A es inductivo, entonces A =N.
La prueba es evidente: por ser A inductivo tenemos N A, pero hemos supuesto A N,
luego A =N.
9
2. Nmeros naturales, enteros y racionales 10
En el principio anterior se basa un tipo de razonamiento muy frecuente, conocido como
mtodo de demostracin por induccin, que consiste en lo siguiente. Supongamos que para
cada nmero natural n se tiene una armacin P
n
que puede vericarse o no. Si probamos que
P
1
es cierta y que P
n+1
es cierta siempre que lo sea P
n
, entonces podemos asegurar que P
n
es
cierta para todo n N. Para comprobarlo, llamemos A al conjunto de los nmeros naturales n
tales que P
n
es cierta. Por ser P
1
cierta tenemos que 1 A y el haber probado que P
n+1
es cierta
siempre que lo sea P
n
, nos permite asegurar que n+1 A siempre que n A. Por tanto A es un
subconjunto inductivo de N y el principio de induccin nos asegura que A =N.
2.2. Suma y producto de nmeros naturales
Como un primer ejemplo de demostracin por induccin, se puede probar fcilmente que la
suma y el producto de nmeros naturales son nmeros naturales:
m, n N m+n, mn N
En lo que sigue obtenemos algo ms de informacin sobre la suma y el producto de nmeros
naturales. Empezamos observando que el conjunto {x R: x 1} es inductivo, luego contiene
a N. As pues, para todo n N tenemos que n 1, luego n / N; tambin observamos que
1/n N si, y slo si, n = 1. Esto no impide que la diferencia o el cociente de dos nmeros
naturales puedan ser nmeros naturales.
Con respecto a la diferencia, vamos a demostrar que para m, n N se tiene
mn N m > n (1)
La implicacin hacia la derecha es evidente: si mn N se tendr mn 1 > 0, luego m > n.
La otra implicacin se prueba por induccin, usando el conjunto de los nmeros naturales n
que la hacen cierta, es decir, el conjunto A = {n N : m N, m > n mn N}. Bastar
evidentemente probar que A inductivo, lo que puede hacerse como sigue:
(i) 1 A. Deberemos ver que si mN y m >1, entonces m1 N, lo que a su vez haremos
por induccin. Consideramos el conjunto B = {1}{m N : m1 N} y observamos
inmediatamente que B es un subconjunto inductivo de N, luego B =N. Entonces, si mN
y m > 1, de ser m B y m = 1 se deduce que m1 N, como queramos.
(ii) n A n +1 A. Esto tambin es fcil: dado m N con m > n +1, tenemos m > 1,
luego m1 N, y tambin m1 > n; usando que n A deducimos que (m1) n N,
es decir, m(n+1) N, como queramos.
La armacin (1) tiene una consecuencia relevante: si m, n Ny n <m, se tendr mn 1,
es decir, n+1 m. As pues, no puede ocurrir que n < m < n+1. A partir de aqu, la situacin
de los nmeros naturales en la recta real se intuye claramente:
0 1 2 3 ...
2. Nmeros naturales, enteros y racionales 11
Para cada n N, el segmento de extremos n y n+1 es trasladado del de extremos 0 y 1. As
podemos encontrar sucesivamente todos los nmeros naturales, pues acabamos de ver que no
existe ningn nmero natural comprendido estrictamente entre n y n+1.
Con respecto al cociente de nmeros naturales, es obvio tambin que, para m, n N, si
m/n N se deber tener m n, pero esta vez el recproco est lejos de ser cierto. Siguiendo
en esta lnea entraramos en el estudio de la divisibilidad, cosa que no vamos a hacer. De dicha
teora slo usaremos en lo sucesivo algunos hechos elementales.
2.3. Buena ordenacin
El orden de los nmeros naturales tiene una importante propiedad que enseguida vamos a
estudiar. Necesitamos las siguientes nociones, muy intuitivas.
Decimos que un conjunto A de nmeros reales tiene mximo cuando existe un elemento de
A que es mayor o igual que cualquier otro: x A : x a a A. Es evidente que tal elemento
x es nico, se le llama mximo del conjunto A y se denota por m ax A. Anlogamente, se dice
que A tiene mnimo cuando existe un elemento de A que es menor o igual que todos los dems:
y A : y a a A. De nuevo y es nico, se le llama mnimo del conjunto A y se denota
por mn A.
Por ejemplo, el conjunto R no tiene mximo ni mnimo; N no tiene mximo pero s tiene
mnimo: 1 = mn N. Para x R, el conjunto {x, x} tiene mximo y mnimo, concretamente:
|x| = m ax{x, x}, mientras que mn{x, x} =|x|.
La siguiente propiedad del orden de los nmeros naturales es muy til:
Principio de buena ordenacin de los nmeros naturales. Todo conjunto no vaco de
nmeros naturales tiene mnimo.
Demostracin. Sea A N, A = / 0. Si 1 A ser 1 = mn A. En otro caso consideramos el
conjunto de los nmeros naturales que son estrictamente menores que todos los de A, es decir el
conjunto B ={n N : n < a a A}. Ntese que AB = / 0 y que 1 B. Observamos tambin
que B no puede ser inductivo, pues si lo fuera se tendra B =N y A = / 0. Por tanto, deber existir
m B tal que m+1 / B. Por ser m B, para cualquier a A se tiene m < a, luego m+1 a.
Adems debe ser m+1 A, pues de lo contrario se tendra m+1 < a para todo a A, y por
tanto m+1 B, lo cual es una contradiccin. As pues, hemos probado que m+1 = mn A, lo
que concluye la demostracin.
Merece la pena explicar la denominacin del principio recin demostrado. Evidentemente
las deniciones de mximo y mnimo de un conjunto pueden hacerse en cualquier conjunto
ordenado, es decir, cualquier conjunto en el que se disponga de una relacin de orden. Pues bien,
un conjunto bien ordenado es un conjunto ordenado con la propiedad de que todo subconjunto
no vaco suyo tiene mnimo. Por tanto, el principio anterior se resume diciendo que N est bien
ordenado.
2. Nmeros naturales, enteros y racionales 12
2.4. Potencias de exponente natural
Dado un nmero real x, las sucesivas potencias de x nos deben resultar muy familiares. La
denicin rigurosa de x
n
para cualquier n N se hace por induccin, como vamos a ver.
Para x R, se denen las potencias de exponente natural de x de la siguiente forma:
x
1
= x y x
n+1
= x
n
x n N
As pues, empezamos con x
1
= x, seguimos con x
2
= xx, entonces x
3
= x
2
x = xxx, etctera. En
la potencia x
n
solemos decir que x es la base y n es el exponente.
Enunciamos a continuacin varias propiedades importantes de las potencias de exponente
natural, cuya demostracin es un buen ejercicio. Para x, y R y m, n N, se tiene:
x
m+n
= x
m
x
n
(x
m
)
n
= x
mn
(xy)
n
= x
n
y
n
0 x < y x
n
< y
n
x > 1, m < n x
m
< x
n
En vista de la primera de estas propiedades, es plausible denir x
0
= 1 para todo x R.
Las potencias de exponente natural han sido el primer ejemplo de denicin por induccin,
un procedimiento constructivo que se usa muy a menudo, por lo que conviene explicarlo con
ms detalle. Dado x R, con el n de denir x
n
para todo n N, hemos denido primeramente
x
1
y a continuacin hemos explicado cmo se obtiene x
n+1
a partir de x
n
. En general, para un
conjunto cualquiera A (habitualmente A ser un subconjunto de R), nos puede interesar asociar
a cada n N un elemento de A, es decir, denir una aplicacin f : N A. Para ello, igual que
hemos hecho con las potencias, bastar denir f (1) y explicar de manera inequvoca cmo se
obtiene f (n +1) a partir de f (n). Existe un Principio de denicin por induccin que asegura
la legitimidad de este procedimiento, es decir, que al usarlo queda correctamente denido f (n)
para todo n N. Veamos algunos otros ejemplos ilustrativos.
Sumas. Supongamos que para cada k N tenemos un nmero real x
k
. Si queremos denir
rigurosamente, para todo n N, la suma
n

k=1
x
k
= x
1
+x
2
+. . . +x
n
podemos hacerlo por induccin:
1

k=1
x
k
= x
1
y
n+1

k=1
x
k
=
_
n

k=1
x
k
_
+x
n+1
n N
2. Nmeros naturales, enteros y racionales 13
A veces conviene aadir un primer sumando, denotado por x
0
. Ms concretamente, dado x
0
R,
podemos escribir
n

k=0
x
k
= x
0
+
n

k=1
x
k
, o bien,
n

k=0
x
k
=
n+1

k=1
x
k1
Productos. De manera similar podemos denir por induccin el producto
n

k=1
x
k
= x
1
x
2
. . . x
n
para cualquier n N. Basta escribir
1

k=1
x
k
= x
1
y
n+1

k=1
x
k
=
_
n

k=1
x
k
_
x
n+1
n N
Por ejemplo, para n N, el factorial de n viene dado por:
n! =
n

k=1
k = 1 2 . . . n
y su denicin por induccin ser:
1! = 1, y (n+1)! = n! (n+1) n N
Conviene tambin denir 0! = 1.
2.5. Potencias de una suma y sumas de potencias
Una de las propiedades de las potencias de exponente natural enunciadas anteriormente
puede expresarse diciendo que una potencia de un producto de nmeros reales coincide con
el producto de las respectivas potencias. Sin embargo, no tenemos informacin sobre lo que
ocurre con las potencias de una suma. Para obtenerla, empecemos recordando los nmeros
combinatorios. Concretamente, dados n N y k N{0} con k n, se dene:
_
n
k
_
=
n!
k!(nk)!
Obsrvese que
_
n
0
_
=
_
n
n
_
= 1. Para k 1, es fcil ver que:
_
n
k
_
+
_
n
k 1
_
=
_
n+1
k
_
,
lo que permite calcular rpidamente
_
n+1
k
_
para 1 k n, a partir de los valores de
_
n
k
_
.
Podemos ya probar por induccin una igualdad muy til:
2. Nmeros naturales, enteros y racionales 14
Frmula del binomio de Newton: Para cualesquiera x, y R y n N, se tiene:
(x +y)
n
=
n

k=0
_
n
k
_
x
nk
y
k
En efecto, para n = 1 la frmula es evidente y, suponindola cierta para un n N, tenemos:
(x +y)
n+1
= (x +y)(x +y)
n
= (x +y)
n

k=0
_
n
k
_
x
nk
y
k
=
n

k=0
_
n
k
_
x
nk+1
y
k
+
n

k=0
_
n
k
_
x
nk
y
k+1
=
n

k=0
_
n
k
_
x
nk+1
y
k
+
n+1

k=1
_
n
k 1
_
x
nk+1
y
k
= x
n+1
+
n

k=1
__
n
k
_
+
_
n
k 1
__
x
n+1k
y
k
+ y
n+1
=
n+1

k=0
_
n+1
k
_
x
n+1k
y
k
que es la frmula buscada para el nmero natural n+1.
La frmula anterior generaliza algo bien conocido: (x +y)
2
= x
2
+ 2xy + y
2
x, y R.
En lo que sigue vamos a generalizar, en el mismo sentido, otra igualdad archiconocida:
x
2
y
2
= (x y)(x +y) x, y R (2)
Dado z R, empezamos sumando potencias sucesivas de z. Para n N, tenemos claramente
(z 1)
n

k=0
z
k
=
n

k=0
z
k+1

k=0
z
k
=
n+1

k=1
z
k

k=0
z
k
= z
n+1
1 (3)
de donde deducimos que:
n

k=0
z
k
=
z
n+1
1
z 1
z R\{1}, n N.
En la suma anterior, el primer sumando es 1 y cada uno de los siguientes es el producto del
anterior por z, as que hemos calculado la suma de una progresin geomtrica de razn z. Si
queremos que el primer sumando sea un R arbitrario, basta pensar que
n

k=0
z
k
=
z
n+1

z 1
z R\{1}, n N
Pero veamos ya la generalizacin de (2) que bamos buscando:
Se verica que:
x
n+1
y
n+1
= (x y)
n

k=0
x
nk
y
k
x, y R, n N
Esto es evidente cuando x = 0. En otro caso, escribimos (3) con z = y/x, obteniendo
_
y
x
1
_ n

k=0
y
k
x
k
=
y
n+1
x
n+1
1
y multiplicando ambos miembros por x
n+1
llegamos claramente a la igualdad buscada.
2. Nmeros naturales, enteros y racionales 15
2.6. Nmeros enteros
Aadiendo a N el cero y los opuestos de los nmeros naturales obtenemos el conjunto Z de
los nmeros enteros. As pues,
Z = N {0} {n : n N}
Ntese que los nmeros naturales coinciden con los enteros positivos: N =ZR
+
.
Observamos tambin que si m, n N la diferencia mn es siempre un nmero entero: si
n < m, sabemos que mn N Z; si m = n tendremos mn = 0 Z y, nalmente, si n > m
ser n m N de donde mn = (n m) Z. Recprocamente, todo nmero entero puede
expresarse como diferencia de dos nmeros naturales, puesto que para n N{0} tenemos
n = (n+1) 1, mientras que n = 1(n+1). Por tanto, podemos escribir:
Z = {mn : m, n N}
Esta otra descripcin de Z permite comprobar rpidamente que la suma y el producto de
nmeros enteros son nmeros enteros:
p
1
, p
2
Z = p
1
+ p
2
, p
1
p
2
Z
En efecto, si escribimos p
1
= m
1
n
1
y p
2
= m
2
n
2
donde m
1
, m
2
, n
1
, n
2
N, usando que
las sumas y productos de nmeros naturales son nmeros naturales, tenemos claramente que
p
1
+ p
2
= (m
1
+m
2
) (n
1
+n
2
) Z y tambin p
1
p
2
= (m
1
m
2
+n
1
n
2
) (m
1
n
2
+n
1
m
2
) Z.
Puesto que 0 Z y p Z para todo p Z, observamos que Z con la operacin suma tiene
exactamente las mismas propiedades que R. Un conjunto dotado de una operacin asociativa
y conmutativa, con elemento neutro, y tal que todo elemento del conjunto tiene un simtrico
para dicha operacin, es lo que se denomina un grupo abeliano. As pues, tanto R como Z son
grupos abelianos con la operacin suma.
Con el producto la situacin es diferente: para p Z con p = 0, es fcil ver que p
1
Z si,
y slo si, p = 1 o p = 1. As pues, con las operaciones de suma y producto, Z no llega a ser
un cuerpo, se dice que es un anillo conmutativo con unidad.
Con respecto al orden de los nmeros enteros, se mantiene una propiedad que ya conocamos
para nmeros naturales, concretamente: p, q Z, p < q = p+1 q. En efecto, se tiene
q p ZR
+
= N, luego q p 1. As pues, para p Z no existe ningn nmero entero
comprendido estrictamente entre p y p+1. La situacin de los nmeros enteros en la recta real
se adivina claramente:
0 1 2 3 ... 1 2 3 ...
Finalmente, es claro que Z no est bien ordenado, pues no tiene mnimo.
2. Nmeros naturales, enteros y racionales 16
2.7. Nmeros racionales
Del mismo modo que los nmeros enteros se obtienen al hacer todas las diferencias de
nmeros naturales, consideramos ahora todos los posibles cocientes de nmeros enteros, para
obtener los nmeros racionales. Es claro que todo cociente de nmeros enteros puede escribirse
de forma que el denominador sea positivo. Por tanto, la denicin del conjunto Qde los nmeros
racionales puede hacerse como sigue:
Q =
_
p
q
: p, q Z, q = 0
_
=
_
p
m
: p Z, m N
_
Es obvio que N Z Q. Pensemos ahora en sumas y productos de nmeros racionales. Si
r, s Q y escribimos r = p/m, s = q/n con p, q Z y m, n N, usando propiedades conocidas
de la suma y producto de nmeros naturales o enteros, tenemos claramente
r + s =
pn + qm
mn
Q y r s =
pq
mn
Q
Adems, 0, 1 Q, r =p/m Q y, si r = 0 tenemos p = 0 y r
1
= mp
1
Q. As pues, en
cuanto a las operaciones suma y producto, Q tiene exactamente las mismas propiedades que R,
es un cuerpo conmutativo.
De hecho, considerando el conjunto de los nmeros racionales positivos Q
+
= R
+
Q, se
cumplen evidentemente las propiedades de tricotoma y estabilidad: Por una parte, para r Q
se verica una sola de las armaciones r Q
+
, r = 0 o r Q
+
; por otra, para r, s Q
+
se
tiene r +s Q
+
y r s Q
+
. En resumen: Q es un cuerpo conmutativo ordenado.
Para entender la situacin de los nmeros racionales sobre la recta real, basta recordar la
construccin geomtrica que permite subdividir un segmento en varios de igual longitud, que
se sugiere en el siguiente dibujo:
0
1/3
u
2/3
1
2u
3u
4/3 1/3
En general, dado m N, podemos usar una construccin similar a la dibujada en el caso
m = 3, para encontrar el punto 1/m. Mediante traslaciones encontraremos entonces cualquier
punto de la forma p/m con p Z. De esta forma podemos situar sobre la recta cualquier nmero
racional.
A simple vista observamos que el orden de los nmeros racionales es muy diferente del que
tenan los enteros: dados dos nmeros racionales distintos siempre existe un nmero racional
comprendido estrictamente entre ellos, y por tanto muchos ms.
2. Nmeros naturales, enteros y racionales 17
En efecto, dados r, s Q con r < s, tomando t = (r +s)/2 se tiene evidentemente que t Q
y r <t < s. Desde luego, este proceso puede iterarse, para encontrar tantos nmeros racionales
comprendidos entre r y s como queramos.
Los razonamientos anteriores podran llevarnos a pensar que todos los nmeros reales son
racionales, cosa que est muy lejos de ser cierta. Ms adelante probaremos la existencia de
nmeros irracionales, esto es, de nmeros reales que no son racionales. A poco que se piense,
para esto ser imprescindible usar el axioma del continuo que, segn hemos visto, es el nico
que puede marcar la diferencia entre Q y R. De hecho, puede decirse que la inmensa mayora
de los nmeros reales son irracionales.
2.8. Ejercicios de revisin
1. Probar que, para cualesquiera x, y R, se tiene: |xy|
x
2
+y
2
2
2. Probar las siguientes armaciones:
a)
n

k=1
k =
n(n+1)
2
n N
b)
n

k=1
(2k 1) = n
2
n N
c) m, n N = m+n, mn N
3. En cada uno de los siguientes casos, averiguar si el conjunto A R tiene o no mximo y
si tiene o no mnimo, justicando la respuesta:
a) A =R

b) A =R
+
0
c) A ={x R : 0 < x < 1}
d) A ={x R : |x| 1}
4. Probar las propiedades de las potencias enunciadas en la seccin 2.4.
5. Probar que para cualquier n N se tiene
n

k=0
_
n
k
_
= 2
n
6. Probar que para cualesquiera y R
+
0
, n N, se tiene: (1+y)
n
1+ny.
7. Probar que para p, q Z y m, n N se tiene
p
m
<
q
n
mqnp N