Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Captulo
Los nmeros: desde los naturales hasta
los reales
Matemticas de Nivelacin en Internet 1
Observacin
1
Copyright
c J. Rafael Rodrguez Galvn. Este documento es libre. Se otorga permiso para copiarlo, distribuirlo y/o modificar-
lo bajo los trminos de la Licencia de Documentacin Libre GNU, versin 1.2 o cualquier otra versin posterior publicada por la
Fundacin de Software Libre, http://es.gnu.org/Licencias/fdles.html
2 Los nmeros: desde los naturales hasta los reales
Cada cultura invent su propio sistema de numeracin, de los cuales hoy solamente utilizamos el
romano (I, II, III, IV, ..) y el rabe-hind (1, 2, 3, 4...).
Al tipo de nmero ms simple, que surge al hombre de forma espontnea en tiempos prehistricos
para contar objetos, se les llama nmeros naturales. Formalmente, un nmero natural, se puede
definir como el cardinal o nmero de elementos de un conjunto2 .
El conjunto de todos los nmeros naturales se representa con el smbolo N y est formado por
N = {1, 2, 3, 4, 5, . . . }.
Sobre los nmeros naturales definimos las operaciones aritmticas suma y producto, as como sus
inversas, resta y la divisin (todas estas operaciones sern tratadas con ms detalle en prximos
captulos).
Pero la resta de nmeros naturales no siempre tendr solucin en N, por ejemplo, 3 7 (pues la
solucin sera 3 7 = 4 6 N). Para salvar esta dificultad, es necesario introducir un concepto
de nmero ms amplio: los nmeros enteros, conjunto formado por los nmeros naturales junto
con todos los nmeros negativos y el cero (que se puede definir como el cardinal o nmero de
elementos del conjunto vaco). Lo designamos con el smbolo Z:
Enteros negativos Enteros positivos
z }| { z }| {
Z =. . . , 3, 2, 1 , 0, 1, 2, 3, . . .
En el conjunto de los nmeros enteros siempre tiene sentido la operacin resta, pero no siempre
tendr sentido la divisin. Por ejemplo,
10
=2
5
2
La definicin abstracta del nmero natural puede llevarse a cabo de forma sencilla siguiendo la idea de nmero
de objetos de un conjunto. Para ello, llamamos cardinal de un conjunto finito, A, a la cantidad de elementos contenidos
en el conjunto y lo representamos como
card(A).
Denotamos a los cardinales de los conjuntos
{a}, {a, b}, {a, b, c}, {a, b, c, d}, {a, b, c, d, e}
mediante los smbolos (respectivamente):
1, 2, 3, 4, 5, . . .
Es preciso sealar aqu que la definicin de estos nmeros no depende del conjunto concreto que se elija antes de
tomar su cardinal, pues todos los conjuntos biyectivos tienen el mismo nmero de elementos. As, por ejemplo,
3 = card{a, b, c} = card{blanco 00 , verde 00 , azul 00 } = . . .
En definitva, todos los conjuntos entre los que se pueda establecer una biyeccin tienen el mismo cardinal, y ste
cardinal comn lo llamamos nmero natural.
Adems, definimos el nmero cero como el cardinal del conjunto vaco, 0 = card() = card{}. Por convencin, el
primer nmero natural es el uno y, por lo tanto, el cero no es un nmero natural.
El conjunto de los nmeros naturales es infinito, pues siempre podremos construir conjuntos cuyo nmero de ele-
mentos sea tan grande como podamos imaginar. Nunca existir un conjunto con ms elementos que ningn otro pues,
por muy grande que sea un conjunto, siempre ser posible aadirle un elemento ms y obtener as un conjunto mayor.
1.3 Los nmeros racionales 3
N Z Q R C
Por este motivo, surge de nuevo la necesidad de ampliar nuestra nocin de nmero, definiendo los
nmeros racionales, formados por toda fraccin o quebrado de la forma
a
b
donde tanto a como b son nmeros enteros (b 6= 0). Los nmeros a y b son llamados, respectiva-
mente, numerador y denominador .
Por supuesto, el conjunto de los nmeros racionales, al que denotaremos con el smbolo Q, con-
tiene a todos los nmeros enteros (y por tanto a los naturales), por ejemplo,
3 7 0
= 3, = 7, =0
1 1 1
Existen muchas fracciones que, aun escribindose de forma distinta, tienen el mismo valor, por
ejemplo
3 6 9
3 = = = =
1 2 3
Se dice que todas ellas son fracciones equivalentes. En general, ab y dc son dos fracciones
equivalentes si y solo si ad = bc. Dada una fraccin, el conjunto de todas las (infinitas) fracciones
equivalentes a ella definen a un mismo nmero racional.
Todos los nmeros racionales pueden representarse tambin en forma decimal: una serie de d-
gitos, una coma y ms dgitos detrs de ella. Por ejemplo, 1, 25 3, 0. Por supuesto, no existe una
4 Los nmeros: desde los naturales hasta los reales
Dado el nmero racional 5, 024 (escrito en forma decimal), su parte entera es E(5, 024) = 5
y su parte decimal es 0, 024 (0, 024 = 5, 024 E(5, 024) = 5, 024 5)
Todo nmero racional, qp Q, se puede expresar de forma dcimal, para lo cual, es suficiente
calcular los sucesivos restos de la divisin de p entre q. La expresin decimal de un nmero
racional puede ser de dos formas.
Expresin decimal exacta: aquella cuya parte decimal tiene un nmero finito de cifras,
por ejemplo,
11
= 2, 75
4
Expresin decimal peridica: cuando la parte decimal contiene un patrn de cifras que se
repiten indefinidamente. Aqu existen dos posibilidades:
decimal peridica pura: toda la parte decimal forma parte del patrn que se repite
indefinidamente. Por ejemplo,
1 z{
= 0, 333333.. = 0, 3
3
20 z {
= 1, 818181... = 1, 81
11
11 z {
= 1,571428571428.... = 1, 571428
7
1.3 Los nmeros racionales 5
Dada la expresin decimal de un nmero racional, ste se puede expresar en forma de fraccin de
la siguiente forma:
Decimales peridicos mixtos: Sean x y n como antes y sea m el nmero de cifras previas
al comienzo del periodo. Multiplicamos x por 1 seguido de n + m ceros, multiplicamos x
por 1 seguido de m ceros y restamos, conseguiremos como en el caso anterior un nmero
entero y procediendo de la misma forma, podremos despejar x en forma de fraccin.
Ejemplo:
z{
Sea x = 0, 1233333... = 0, 12 3 . Entonces 1000x = 123, 33333..., 100x = 12, 33333 y
1000x 100x = 111, 00000... = 111. Por lo tanto, 900x = 111 y conseguimos escribir
111
x = 900 .
La forma decimal de un nmero racional siempre se puede escribir de forma peridica, aadiendo
infinitos ceros si se trata de una expresin decimal exacta, por ejemplo:
1 z{
= 0,5 = 0,5000 = 0,5 0
2
z{
1 = 1, 00000 = 1, 0
De hecho, los nmeros racionales se caracterizan por poseer una representacin decimal peri-
dica.
Ahora bien, existen nmeros que no se puedan escribir mediante una representacin decimal pe-
ridica? Es decir, existen nmeros cuya parte decimal contenga infinitas cifras sin que en ellas se
pueda encontrar un patrn que se repita indefinidamente? La respuesta es s, y estos nmeros deci-
males no peridicos constituyen los nmeros irracionales. stos constituyen lo que los griegos
denominaron magnitudes inconmensurables y su descubrimiento plante uno de los problemas
centrales en su universo matemtico y, de hecho, limit su desarrollo de la matemtica. Su resis-
tencia a admitir cantidades que no se puedan escribir como cociente de nmeros enteros provoc
6 Los nmeros: desde los naturales hasta los reales
Llamamos nmeros reales a todos aquellos que se pueden escribir en forma decimal, bien sea
peridica (nmeros racionales) o no peridica (nmeros irracionales). Al conjunto de todos los
nmeros reales se le denota como R.
Ejemplo:
z{
Algnos nmeros reales: 1, 0, 3, 2/3, 0,25, 0,123 4 , 5, 2 , . . .