ndice

(Este mismo ndice aparece en el marco de la izquierda para facilitar consultas sucesivas)

Los nmeros naturales

El principio de induccin matemtica
Divisin exacta y divisin entera
Descomposicin en factores primos
Mximo comn divisor y mnimo comn mltiplo. Algoritmo de Euclides
Representacin de un nmero natural en una base cualquiera
Los nmeros enteros
Los nmeros racionales
Relacin de orden en el conjunto de los racionales
Densidad del conjunto de los racionales.
Propiedad arquimediana
Cardinal de los racionales
Representacin decimal de los nmeros racionales
Los nmeros irracionales

Los nmeros reales

Volver a pgina principal

Los nmeros naturales

Los nmeros naturales surgen de la necesidad de contar, de enumerar:

={1,2,3,4...}

Con los nmeros naturales

se puede sumar. De hecho, con la

operacin suma, los naturales forman un semigrupo conmutativo.

Con la operacin producto los naturales tambin tienen estructura de

semigrupo conmutativo.

El infinito de los nmeros naturales se denomina infinito numerable.

Cualquier conjunto que pueda ponerse en correspondencia biyectiva
con el conjunto de los nmeros naturales se dice que es infinito
numerable. Por ejemplo, el conjunto de las potencias sucesivas de un
nmero
, es decir, el conjunto
cuando
es distinto
de 0, 1 y -1, es un conjunto infinito numerable. El conjunto de los
nmeros enteros y el de los racionales tambin son infinitos
numerables como se ver ms adelante.

El conjunto de los naturales es un conjunto totalmente ordenado,

es decir, existe una relacin de orden total, lo que significa que
existe una relacin de orden y que dos elementos cualesquiera
pueden ser siempre comparados entre s usando dicha relacin. Dicho
de otra forma, dados dos naturales,
e , o bien
, o bien
.

Todo subconjunto
no vaco del conjunto de los naturales tiene
un elemento mnimo, esto es, existe un elemento
tal que
para todo

de

se tiene

Por ejemplo, el subconjunto formado por los nmeros pares tiene

como elemento mnimo a 2.

Principio de induccin matemtica: si un

subconjunto

de

que

, entonces
o

verifica que

y, si

, resulta

Esto nos permite realizar razonamientos por induccin

cuando queremos probar que una determinada propiedad
se cumple para todo
natural. Por ejemplo, si queremos
probar que la suma de los
primeros nmeros naturales
es
podemos hacerlo por induccin en la forma

siguiente:

Para
es claro que la suma de
los 1 primeros nmeros naturales
es
.
Suponiendo cierta la frmula para
, es decir,
,

veamos que tambin es cierta

,
para

Luego la frmula es vlida para

todo n natural.
o

Ejercicio: Demostrar, razonando por induccin, las

siguientes frmulas:

Dados dos nmeros naturales

, no es cierto en general que

exista un natural
tal que
. Si tal
existe se
denomina cociente exacto de
por
, y la divisin se
denomina exacta. En este caso se dice que es divisible por
,o
que
.
es un divisor de , o que
es un mltiplo de
Cuando no es as, siempre es posible encontrar
y
que
verifiquen
con
Los nmeros ,
,
y
se
denominan dividendo, divisor,cociente y resto respectivamente y
el procedimiento para determinar
y
a partir de
y
se
denomina divisin entera.

Descomposicin en factores primos:

Un nmero primo es aqul nmero natural que slo es divisible por
s mismo y por la unidad, por ejemplo 2, 3, 5, 7, 11, 13, 17, 19,
23, ..., son nmeros primos.
Hay infinitos nmeros primos. Un famoso procedimiento para
encontrar nmeros primos es la denominada criba de Eratstenes,
que consiste en tomar una lista de los nmeros naturales e ir
tachando sucesivamente los mltiplos de cada natural que an no
hubiera sido tachado previamente.

El uso de nmeros primos grandes tiene aplicaciones en criptografa

(ocultacin de secretos).
Todo nmero natural admite una descomposicin en producto de
nmeros primos. Esta descomposicin es nica salvo el orden de los
primos considerados. En el siguiente recuadro tienes algunos
ejemplos.

Encontrar la factorizacin de nmeros grandes es un problema con

elevada complejidad computacional, de hecho no hay ningn
algoritmo eficiente para ello. Por eso varios sistemas criptogrficos se
basan en este problema.

Mximo comn divisor y mnimo comn mltiplo.

Algoritmo de Euclides.
El mximo comn divisor de dos nmeros se define, como su
propio nombre indica, como el divisor ms grande que ambos
nmeros tienen en comn. Si disponemos de la factorizacin de
ambos nmeros, entonces el mximo comn divisor se obtiene
quedndose solamente con aquellos factores comunes a ambas
descomposiciones y elevados al menor de los exponentes con los que
aparezcan.
El mnimo comn mltiplo, nuevamente como indica su nombre, es
el mltiplo ms pequeo que ambos nmeros tienen en comn.
Atendiendo a las descomposiciones de ambos nmeros, el mnimo
comn mltiplo se obtiene considerando todos los factores distintos
que aparecen (comunes y no comunes), cada uno de ellos elevado al
mayor exponente con el que aparezca.

Segn se dijo antes, calcular la factprizacin deoun nmero es un

proceso muy costoso. Sin embargo, puede calcularse el mximo
comn divisor de dos nmeros de una manera eficiente, sin
necesidad de factorizar previamente ambos nmeros. Es lo que se
conoce como algoritmo de Euclides y consiste en lo siguiente:

Dados dos nmeros

divisin entera de

, comenzamos relizando la
entre

Cada paso consiste en una nueva divisin, en la que el

dividendo es el nmero que actu de divisor en la divisin
anterior y el divisor es el nmero que se obtuvo como
resto en la divisin anterior.

Cuando en una divisin se obtiene resto nulo, el mximo

comun divisor de los nmeros de los que partimos ser el
nmero que ha actuado como divisor en esa ltima
divisin efectuada y que result ser una divisin exacta.

Una vez obtenido el mximo comn divisor de esta manera, se te

ocurre cmo obtener el mnimo comn mltiplo sin necesidad de
factorizar los nmeros?

Representacin de un nmero natural en una

base cualquiera:
El mtodo de divisiones enteras sucesivas permite escribir cualquier
nmero natural en forma nica en una base cualquiera p, en la forma
siguiente:

en base p, donde

Para lograr dicha expresin basta con realizar sucesivas divisiones

enteras de n por p y tomar los restos, es decir,

hasta que en la r-sima divisn,

tenga

. Se toma

se
, y hemos terminado.

Ntese que nuestra actual notacin posicional para los

nmeros naturales se corresponde con la representacin
de los nmeros naturales en base decimal (p=10). Se
denomina notacin posicional porque el valor de una cifra
depende de la posicn que sta tenga en el nmero: un 5
en el lugar de las unidades vale 5, mientras que en el
lugar de las centenas vale 500.

La notacin binaria, tan comn en el mundo de la

informtica es el resultado de tomar p=2 y representar los
nmeros naturales en dicha base.

Conoces otras representaciones en bases distintas?

Hexadecimal, sexagesimal...

Los nmeros enteros

Cuando se necesita adems restar surgen los nmeros enteros
3, ...}

={ ... -3, -2, -1, 0, 1, 2,

Los enteros se obtienen a partir de los naturales aadiendo los

opuestos para la operacin suma.

Si a y b denotan nmeros naturales, la suma de dos nmeros enteros

a+(-b), se define como:
el entero positivo a-b, si a > b,
0, si a=b
el entero negativo -(b-a) si a < b
La suma de dos enteros negativos se define como (-a)+(-b)=-(a+b)
De hecho, los enteros, con la operacin suma tienen estructura
de grupo conmutativo.

Si adems de la suma, consideramos la operacin de multiplicacin

definida como
o

(-a)(-b)=ab

(-a)b=a(-b)=-(ab),

el conjunto de los enteros, con ambas operaciones tiene estructura

de anillo conmutativo y con unidad.

Por cierto, qu hay ms?, nmeros enteros o nmeros naturales?.

Ntese que se puede establecer una correspondencia biyectiva entre
ambos conjuntos,
, por ejemplo como sta:

si n es un entero positivo

Por tanto, el conjunto de los enteros es tambin infinito numerable.

Tambin es un conjunto totalmente ordenado, cuando se considera
la relacin de orden definida en la forma obvia y que extiende la
relacin de orden que se tiene en
. Tambin es cierto que en los
enteros todo subconjunto acotado inferiormente tiene elemento
mnimo, y recprocamente, todo subconjunto acotado superiormente
tiene elemento mximo.

Los nmeros racionales

Si se necesita adems dividir, surgen los nmeros racionales (o fraccionarios,
o quebrados),
={... 1/2, 5/3, 8/10, 238476/98745, ...... }

Los racionales se obtienen a partir de los enteros aadiendo los

inversos para la multiplicacin.
o

La suma de dos racionales a/b y c/d se define como

a/b+c/d=(ad+cb)/bd.

El producto de dos racionales a/b y c/d se define como

ac/bd.

Dos nmeros racionales a/b y c/d son iguales si y slo si

ad=bc.
(En todo lo anterior, a, b, c y d denotan nmeros
enteros)

Un nmero racional se dice que est expresado mediante

una fraccin irreducible si el numerador y el denominador
no tienen factores comunes.

De este modo, el conjunto de los racionales, con las operaciones de

suma y producto tiene estructura de cuerpo conmutativo.

En

se pueden resolver todas las ecuaciones lineales, es decir,

aqullas de la forma ax+b=0, con a y b racionales.

En

se puede definir un orden total compatible con las

operaciones suma y producto definidas anteriormente y que extienda

el orden existente en
y en
. Para ello basta con definirlo como
sigue:
Dados dos nmeros racionales a/b y c/d, donde b y c son
enteros positivos (esto siempre puede conseguirse, por
ejemplo, si b es negativo basta con multiplicar a y b por -1
para obtener un nmero racional igual que el dado pero con
denominador positivo), se dice que
si y slo si
respecto del orden existente en el conjunto de los enteros.
Por tanto

con dicho orden es un conjunto totalmente ordenado.

Densidad del orden:

Dados dos nmeros racionales distintos,
nmero racional

tal que

, siempre existe otro

Para ello, si

, con b y d positivos,

basta con tomar

Ejercicio: probar que efectivamente

(por

ejemplo, entre 3/5 y 2/3 se encuentra 5/8)

Ahora bien, reiterando el proceso de intoducir un racional entre cada
dos racionales distintos es claro que entre dos racionales distintos
existen infinitos racionales distintos,
Por ejemplo, ahora entre 3/5 y 5/8 se encuentra 8/13, entre
3/5 y 8/13 se encuentra 11/18, etc., tenemos asi 3/5 < ......
< 11/18 < 8/13 < 5/8 < 2/3.
por eso se dice que el conjunto de los racionales es un conjunto
denso. No tiene sentido hablar del racional siguiente o anterior a uno

dado. Esto es algo que no ocurra ni en el conjunto de los naturales ni

en el de los enteros.

Propiedad arquimediana (o de Arqumedes):

Dados dos nmeros racionales
natural tal que
sea

, siempre existe un n

Esto quiere decir que por pequeo que

, si consideramos la sucesin de racionales

llegar un momento en que sobrepasasaremos a

,
, por muy grande

que este sea.

Por ejemplo:

Esta es una propiedad que tambin posean los nmeros naturales y

los enteros.

El cardinal de los racionales:

Cuntos nmeros racionales hay? Qu hay ms, naturales o
racionales?
Puede parecer que la respuesta sera, obviamente hay ms
racionales, puesto que los naturales son tambin nmeros racionales,
y adems hay otros racionales, como 1/2 por ejemplo, que no son
naturales, por lo que podemos concluir que el cardinal de los
racionales es
que el de los naturales.

Pero podemos tambin probar que hay ms naturales que racionales.

Una forma de hacerlo sera seguir el siguiente razonamiento grfico.
Coloquemos los enteros en un eje horizontal, y tambin en un eje
vertical. Cada punto (a,b) del retculo que se forma representar al
racional a/b. Comenzamos ahora a trazar un camino en espiral,
partiendo del origen que recorra uno a uno todos los puntos del
retculo como se ve en la siguiente grfica:

Es claro que podemos poner en correspondencia biyectiva los puntos

del retculo con los naturales sin ms que irlos numerando a medida
que la linea espiral pasa por cada uno de ellos. Ahora bien, no todos
los puntos del retculo se corresponden con nmeros racionales, ya
que los de la forma (n,0) no se corresponden con ningn racional, y
adems muchos puntos del retculo representan al mismo nmero
racional, por ejemplo (1,2) y (2,4) representan al mismo nmero
racional, ya que 1/2=2/4. De aqu se concluye que podemos dar una
correspondencia sobreyectiva de
en
, y por tanto que el cardinal
de

es

que el cardinal de

Combinando ambos resultados podemos concluir que el cardinal

de
es igual que el de
, es decir, que
es un conjunto infinito

numerable.
Ejercicio: encontrar un correspondencia biyectiva entre

Representacin decimal de nmeros racionales:

Todo nmero racional admite una representacin decimal, que es la

que se obtiene al dividir el numerador entre el denominador, por

ejemplo 1/2 tiene como expresin decimal 0.5 ,
3405/25=136.2 y
1/3= 0.33333.......
Esto puede dar lugar a dos tipos de expresiones decimales, las
exactas y las peridicas. stas ltimas pueden a su vez dividirse en
peridicas puras o peridicas mixtas.

Expresin decimal exacta, es aqulla que tiene un nmero

finito de trminos. Por ejemplo: 0.5, 1.348
367.2982345
Esta expresiones surgen de nmeros racionales cuyo
denominador (en la expresin irreducible) slo contiene
los factores 2 y 5. Por ejemplo 1349/1000, 40/25, ...

Expresin decimal peridica es aqulla que tinene un

nmero infinito de cifra decimales, pero de modo que un
grupo finito de ellas se repite infinitamente, de forma
peridica, por ejemplo 0.333333.....,
125.67777777....... 3.2567256725672567......
Surgen de fracciones cuyo denominador contiene factores
distintos de 2 y 5, por ejemplo, 1/3=0.33333.....
La parte que no se repite se denomina anteperodo y la
que se repite, perodo.

Peridica pura es aqulla que no tiene

anteperodo.

Peridica mixta es aqulla que s tiene

anteperodo.

Podra considerarse que las expresionas decimales exactas

son peridicas mixtas pero con perodo 0.

Recprocamente, dada una expresin decimal exacta o

peridica, puede encontrarse una expresin racional para
la misma siguiendo la siguiente norma:

Si la expresin es exacta se coloca como

numerador el nmero entero que resulta de
suprimir el punto decimal y como denominador
la unidad seguida de tantos ceros como cifras
se encontraran a la derecha del punto decimal
en la expresin decimal original.

Si la expresin es peridica, se coloca como

numerador el resultado de restar al nmero
entero formado por el anteperodo seguido de
la primera repeticin del perodo, el entero
formado por el anteperodo, todo ello
multiplicado por la unidad seguida de tantos
ceros como cifras significativas se encuentren a
la izquierda del punto decimal. Como
denominador tantos nueves como cifras tenga
el perodo seguidos de tantos ceros como cifras
tenga el anteperodo.

Ejemplos:

Posteriormente se pueden simplificar las fracciones

obtenidas para conseguir la expresin irreducible.

Los nmeros irracionales

Hay nmeros que no son racionales, es decir que no pueden ser expresados como cociente de
dos nmeros enteros. Por ejemplo, piensa en el nmero cuya representacin decimal es
0.1234567891011121314151617181920........
claramente, esta representacin decimal no es exacta ni peridica, por tanto no puede
corresponderse con ningn nmero racional.
Veamos otros ejemplos.

Se trata de un ejemplo tpico de nmero no racional con una demostracin muy sencilla de que,
en efecto, no puede ser racional

En el siguiente recuadro puedes ver las primeras 100 cifras decimales de

muestra una manera de construir el nmero

. Adems se

sobre la recta real con regla y comps y

finalmente se da una serie de nmeros racionales que converge hacia

Para construir la serie que converge hacia

hemos usado obviamente la sucesin de cifras
decimales indicada ms arriba. Tambin podamos haber definido una sucesin de nmeros
racionales que converge hacia

de la forma siguiente

donde

es el mayor nmero entero que verifica

Otro de los ejemplos csicos de nmeros irracionales que estamos acostumbrados a manejar es
el conocido por la letra griega Pi que representa la relacin entre el permetro y el dimetro de
una circunferencia.

A diferencia de lo que ocurre con

, no es posible dibujar con regla y comps el nmero
sobre la recta real. El problema es conocido como la rectificacin de la circunferencia y hay
mtodos algebraicos para demostrar que no tiene solucin, a pesar de que mucha gente la busc
durante siglos (y algunos siguen buscndola hoy en da). Otros problemas de parecida ndole son
los famosos de la cuadratura del crculo, que consiste en construir con regla y comps un
cuadrado que tenga el mismo rea que un crculo dado, y la triseccin del ngulo, que
consiste en dividir un ngulo dado en tres partes iguales. Todos ellos son imposibles con regla y
comps y puede demostrarse algebraicamente su imposibilidad.
En el siguiente recuadro tienes las primeras cien cifras decimales de
nmeros racionales que converge hacia .

y adems una serie de

La serie indicada es conocida como serie de Leibniz y hemos de advertir que su convergencia es
bastante lenta. Cuntos trminos te hace falta sumar para obtener 10 cifras decimales
correctas?

Tambin el nmero , base de los llamados logaritmos naturales o neperianos es un nmero

irracional. Este nmero surge de forma natural al considerar el inters compuesto.
Supongamos que tenemos un capital unidad a un inters anual
del ao nuestro capital ser

(en tanto por uno). Al cabo

Sin embargo, si dividimos el ao en dos semestres e incorporamos el inters al finalizar cada

uno dos semestres, al final del primer perodo tendremos

y al finalizar el ao

Si dividimos el ao en tres cuatrimestres, incorporando los intereses al capital al final del cada
perodo, tendremos
cuatrimestre.

respectivamente al final de cada

...
Si dividimos el ao en n perodos tendremos al final del ao

Se define
como el lmite del resultado anterior cuando n se hace infinitamente grande
(infinitos perodos infinitamente pequeos), siendo
, es decir

En el recuadro siguiente vemos las 100 primeras cifras decimales de , as como dos formas de
ver
como lmite de sucesiones de nmeros racionales (en el segundo caso se trata de una
serie).

Igual que pasaba con

distancia del origen.

, no es posible dibujar con regla y comps un punto en la recta real a

Si consideramos el conjunto de todas las expresiones decimales, solamente aqullas finitas o

peridicas se correspondern, como ya se vio, con nmeros racionales; el resto forman el
conjunto de los nmeros irracionales.
El conjunto de los irracionales, denotado por

tiene, como

densidad y propiedad arquimediana. En cambio

alguna forma de probar que

, la propiedades de orden total,

no es un conjunto numerable. Se te ocurre

no es numerable?

(pincha aqu para ver una forma de demostrarlo)

Ya se ha visto para los ejemplos mostrados, pero se puede afirmar en general que todos los
nmeros irracionales pueden verse como lmites de sucesiones de nmeros racionales. Para ello
basta con considerar la expresin decimal del nmero en cuestin y construir la sucesin obvia

que consiste en considerar cada vez un cifra decimal ms, de modo que el trmino
es la
fraccin que da lugar a la expresin decimalm exacta formada por las n primeras cifras del
nmero dado.

Los nmeros reales

La unin de los racionales y los irracionales forma el conjunto de los nmeros

reales.

El conjunto de los reales, con el orden inducido por el orden ya visto en

conjunto totalmente ordenado.

es un

Teniendo eso en cuenta, se puede representar grficamente el conjunto de los reales con una
recta, en la que cada punto representa un nmero.

Muchas de las propiedades que hemos visto para los conjuntos

por

son heredadas

Como ya se ha visto,
Podemos considerar
son nmeros racionales.

es denso en

. Tambin

es denso en

como el conjunto de todos los lmites de sucesiones cuyos trminos

A diferencia de lo visto para

demostracin).

, el conjunto de los reales no es numerable. (una

Veamos por ltimo un cuadro resumen de las propiedades que hemos analizado en los distintos
conjuntos de nmeros.

Ordenado Denso Numerable Estructura algebraica

+ Semigrupo
* Semigrupo
+
Grupo

*
Semigrupo
+,* Anillo conmut. con1
+
Grupo
*
Grupo
+,* Cuerpo conmut.
No tiene estructura algebraica al no
ser cerrado para + y *
+
Grupo
*
Grupo
+,* Cuerpo conmut.

EJERC
ICIOS
DE
NME
ROS
REALE
S