Está en la página 1de 22

Que son los Numeros Naturales?

Nmero natural, el que sirve para designar la cantidad de elementos que tiene un cierto
conjunto, y se llama cardinal de dicho conjunto.
Los nmeros naturales son infinitos. El conjunto de todos ellos se designa por N:
N = {0, 1, 2, 3, 4,, 10, 11, 12,}
El cero, a veces, se excluye del conjunto de los nmeros naturales.
Adems de cardinales (para contar), los nmeros naturales son ordinales, pues sirven para
ordenar los elementos de un conjunto:
1 (primero), 2 (segundo),, 16 (decimosexto),
Los nmeros naturales son los primeros que surgen en las distintas civilizaciones, ya que las
tareas de contar y de ordenar son las ms elementales que se pueden realizar en el
tratamiento de las cantidades.
Entre los nmeros naturales estn definidas las operaciones adicin y multiplicacin. Adems,
el resultado de sumar o de multiplicar dos nmeros naturales es tambin un nmero natural,
por lo que se dice que son operaciones internas.
La sustraccin, sin embargo, no es una operacin interna en N, pues la diferencia de dos
nmeros naturales puede no ser un nmero natural (no lo es cuando el sustraendo es mayor
que el minuendo). Por eso se crea el conjunto Z de los nmeros enteros, en el que se puede
restar un nmero de otro, cualesquiera que sean stos.
La divisin tampoco es una operacin interna en N, pues el cociente de dos nmeros naturales
puede no ser un nmero natural (no lo es cuando el dividendo no es mltiplo del divisor). Por
eso se crea el conjunto Q de los nmeros racionales, en el que se puede dividir cualquier
nmero por otro (salvo por el cero). La divisin entera es un tipo de divisin peculiar de los
nmeros naturales en la que adems de un cociente se obtiene un resto
Propiedades de la adicion de Numeros Naturales
La adicin de nmeros naturales cumple las propiedades asociativa, conmutativa y elemento
neutro.
1.- Asociativa:
Si a, b, c son nmeros naturales cualesquiera se cumple que:
(a + b) + c = a + (b + c)
Por ejemplo:
(7 + 4) + 5 = 11 + 5 = 16
7 + (4 + 5) = 7 + 9 = 16
Los resultados coinciden, es decir,
(7 + 4) + 5 = 7 + ( 4 + 5)
2.-Conmutativa
Si a, b son nmeros naturales cualesquiera se cumple que:
a + b = b + a
En particular, para los nmeros 7 y 4, se verifica que:
7 + 4 = 4 + 7
Gracias a las propiedades asociativa y conmutativa de la adicin se pueden efectuar largas
sumas de nmeros naturales sin utilizar parntesis y sin tener en cuenta el orden.
3.- Elemento neutro
El 0 es el elemento neutro de la suma de enteros porque, cualquiera que sea el nmero
natural a, se cumple que:
a + 0 = a
Propiedades de la Multiplicacion de Numeros Naturales
La multiplicacin de nmeros naturales cumple las propiedades asociativa, conmutativa,
elemento neutro y distributiva del producto respecto de la suma.
1.-Asociativa
Si a, b, c son nmeros naturales cualesquiera se cumple que:
(a b) c = a (b c)
Por ejemplo:
(3 5) 2 = 15 2 = 30
3 (5 2) = 3 10 = 30
Los resultados coinciden, es decir,
(3 5) 2 = 3 (5 2)
2.- Conmutativa
Si a, b son nmeros naturales cualesquiera se cumple que:
a b = b a
Por ejemplo:
5 8 = 8 5 = 40
3.-Elemento neutro
El 1 es el elemento neutro de la multiplicacin porque, cualquiera que sea el nmero natural a,
se cumple que:
a 1 = a

4.- Distributiva del producto respecto de la suma
Si a, b, c son nmeros naturales cualesquiera se cumple que:
a (b + c) = a b + a c
Por ejemplo:
5 (3 + 8) = 5 11 = 55
5 3 + 5 8 = 15 + 40 = 55
Los resultados coinciden, es decir,
5 (3 + 8) = 5 3 + 5 8

Propiedades de la Sustraccion de Numeros Naturales
Igual que la suma la resta es una operacin que se deriva de la operacin de contar.
Si tenemos 6 ovejas y los lobos se comen 2 ovejas cuantas ovejas tenemos?. Una forma de
hacerlo sera volver a contar todas las ovejas, pero alguien que hubiese contado varias veces el
mismo caso, recordara el resultado y no necesitara volver a contar las ovejas. Sabra que 6 - 2
= 4.
Los trminos de la resta se llaman minuendo (las ovejas que tenemos) y sustraendo (las ovejas
que se comieron los lobos).
Propiedades de la resta:
La resta no tiene la propiedad conmutativa (no es lo mismo a - b que b - a)

Propiedades de la Division de Numeros Naturales
La divisin es la operacin que tenemos que hacer para repartir un numero de cosas entre un
nmero de personas.
Los trminos de la divisin se llaman dividendo (el nmero de cosas), divisor (el nmero de
personas), cociente (el numero que le corresponde a cada persona) y resto (lo que sobra).
Si el resto es cero la divisin se llama exacta y en caso contrario inexacta.
Propiedades de la divisin
La divisin no tiene la propiedad conmutativa. No es lo mismo a/b que b/a.
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 verifica que y,
si , resulta que , entonces .
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 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, cocientey 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 , comenzamos relizando la divisin entera
de entre .
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 tenga . Se
toma , 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 tieneelemento 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 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, , siempre existe otro nmero
racional tal que .
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 y , siempre existe un n natural tal
que . Esto quiere decir que por pequeo que sea , 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 y .


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 . Adems se
muestra una manera de construir el nmero 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 .

p
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 y adems una serie de
nmeros racionales que converge hacia .

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 (en tanto por uno). Al cabo
del ao nuestro capital ser .
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 respectivamente al final de
cada cuatrimestre.
...
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 , y es un
conjunto totalmente ordenado.
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 e son heredadas
por .
Como ya se ha visto, es denso en . Tambin es denso en .
Podemos considerar como el conjunto de todos los lmites de sucesiones cuyos
trminos son nmeros racionales.
A diferencia de lo visto para , y , el conjunto de los reales no es numerable. (una
demostracin).