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

y, si

, resulta que

, entonces

de

verifica que
.

o 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

induccin en la forma siguiente:

Para

podemos hacerlo por

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:

o Dados dos nmeros

de entre .

, comenzamos relizando la divisin entera

o 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.
o 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,

Se toma

se tenga

, y hemos terminado.

o 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.
o 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.
o Conoces otras representaciones en bases distintas? Hexadecimal,
sexagesimal...

Los nmeros enteros

Cuando se necesita adems restar surgen los nmeros enteros

...}

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

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
o (-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.
o El producto de dos racionales a/b y c/d se define como ac/bd.
o 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)
o 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
conjunto de los enteros.
Por tanto

respecto del orden existente en el

con dicho orden es un conjunto totalmente ordenado.

Densidad del orden:

Dados dos nmeros racionales distintos,
racional tal que

, siempre existe otro nmero

Para ello, si

, con b y d positivos, basta con

tomar
Ejercicio: probar que efectivamente
3/5 y 2/3 se encuentra 5/8)

(por ejemplo, entre

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

y , siempre existe un n natural tal que

. Esto quiere decir que por pequeo que sea

sucesin de racionales

, llegar un momento en que

sobrepasasaremos a , por muy grande que este sea.

Por ejemplo:

, si consideramos la

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
que el cardinal de

es

que el cardinal de

en

, y por tanto

Combinando ambos resultados podemos concluir que el cardinal de

igual que el de

, es decir, que

es un conjunto infinito numerable.

Ejercicio: encontrar un correspondencia biyectiva entre

es

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.

o 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, ...
o 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

donde

de la forma siguiente

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
de nmeros racionales que converge hacia .

y adems una serie

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
cabo del ao nuestro capital ser

(en tanto por uno). Al

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
de cada cuatrimestre.

respectivamente al final

...
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 , no es posible dibujar con regla y comps un punto en la recta real
a distancia del origen.
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 , la propiedades de orden
total, densidad y propiedad arquimediana. En cambio no es un conjunto numerable. Se
te ocurre alguna forma de probar que 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

un conjunto totalmente ordenado.

es

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 .
Como ya se ha visto,

es denso en

. Tambin

es denso en

son heredadas

Podemos considerar
como el conjunto de todos los lmites de sucesiones cuyos
trminos son nmeros racionales.
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.