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 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 decimal 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).