Introduccin a los Nmeros Reales

________Si bien existen varios mtodos para introducir a los nmeros

Reales, tomaremos dos que consideramos fundamentales.

El primero, es el dado por el proceso histrico; esto es, la introduccin de los

nmeros naturales y sus operaciones junto con los procesos que fueron dando
lugar a la construccin de los distintos conjuntos (Enteros, Racionales, etc)
explorando y dando solucin a las limitaciones formales y de operatoria que se
iban sucediendo.
Segn esta concepcin entonces, las limitaciones en la sustraccin en el
conjunto de los naturales dieron lugar a la definicin del conjunto de los
Enteros, y a su vez las limitaciones en el cociente de enteros llev a la
necesidad de los nmeros Racionales, un paso menos intuitivo es el dado para
lograr la definicin y/o necesidad de los nmeros reales.
Los griegos, en la antigedad se ocupaban de resolver problemas matemticos
y estudiar las propiedades de los nmeros, gracias a ellos es que nosotros
llegamos a conocer su importancia y a desarrollar las actuales teoras
numricas .

Es as que se atribuye a los griegos, por sus estudios en geometra; el planteo

de la necesidad de ampliar los conjuntos conocidos hasta el momento, si bien
ellos nunca llegaron a una construccin formal de los Reales, notaron por
ejemplo que la medida de la hipotenusa de un tringulo rectngulo cuyos
catetos tenan medida 1, no corresponda con ningn nmero conocido (no se
poda representar como cociente de un entero y un natural) o la relacin dada
entre la medida del radio de un crculo y la medida de su circunferencia (pi)
tampoco corresponde a un nmero Racional.

De all la necesidad de definir un nuevo conjunto de nmeros llamados

"irracionales" (por no pertenecer al conjunto de los racionales) que podramos
sin ser formalistas, definir como aquellos que no pueden ser representados
como cociente de un Entero y un Natural. (recurdese que sta era la def. de
los Racionales).

Ms adelante y mediante trabajos que no vale la pena profundizar en ste

momento, se lleg a la conclusin que los irracionales superan ampliamente en
cantidad a los nmeros racionales. Sin embargo lo que nos convoca en ste
momento es el conjunto que obtenemos como unin de los racionales y los
irracionales llamado Conjunto de los Nmeros Reales.
stos se notarn mediante el smbolo y tienen definidas las operaciones
hasta ahora vistas (adicin, sustraccin, cociente y producto) sin restricciones
(excepto por el cociente entre 0 que no est definido) y algunas otras que se
trabajarn.

La segunda teora, que data del siglo XIX, es la que detalla una construccin
basada en 10 axiomas, y todas las propiedades de los nmeros Reales estn
entre ellos o se deducen a partir de los mismos.

sta es una construccin formal; basada entonces en axiomas, en la que

tendremos en cuenta que mientras no se exprese otra cosa, cualquier letra
minscula representa a un nmero Real.
Los axiomas se agrupan en 3 grupos, los axiomas de cuerpo, axiomas de orden
y del extremo superior (llamado tambin axioma de completitud o de
continuidad).
Junto con el conjunto de nmeros reales se supone la existencia de dos
operaciones llamadas adicin y producto, tales que a cada par de reales a y b
les corresponde un nmero real que queda nivocamente determinado por
ellos.

AXIOMA 1 Propiedad Conmutativa x + y = y + x, x.y = y.x

AXIOMA 2 Propiedad Asociativa x + (y + z) = (x + y) + z , x(y.z) =

(x.y)z

AXIOMA 3 Propiedad Distributiva x(y + z) = x.y + x.z

AXIOMA 4 Existencia de elementos Neutros: Existen dos nmeros reales

distintos, que se indican por 0 y 1, tales que para cada nmero real x
se tiene:
x + 0 = 0 + x = x y 1.x = x.1 = x.

AXIOMA 5 Existencia de Negativos. Para cada nmero real x existe un

nmero real y tal que x + y = y + x = 0

AXIOMA 6 Existencia del Recproco: Para cada nmero real x<> 0 existe
un nmero real y tal que x.y = y.x = 1

De lo anterior podemos deducir las leyes usuales del lgebra bsica, en esta
ocasin representadas como teoremas.

Teoremas
1.. Ley de Simplificacin de la Adicin: Si a + b = a + c entonces b=c (a
partir de lo cual podemos probar la unicidad del 0)

2.. Posibilidad de la Sustraccin: Dados a y b existe uno y slo un x tal que

a + x = b. El mismo se nota por b - a. En particular 0 - a se nota -a y se
denomina opuesto de a.

3.. b - a = b + (-a)

4.. -(-a) = a

5.. a(b - c) = a.b - a.c

6.. 0.a = a.0 = 0

7.. Ley de simplificacin del producto. Si a.b= a.c y a<>0 entonces b=c
(tambin podemos demostrar que el 1 es nico con esta premisa)

8.. Posibilidad de la Divisin. Dados a y b con a <> 0, existe uno y slo un x

tal que a-x = b. La x se designa por b/a y es llamada cociente de b y a. En
particular 1/a se nota tambin a^-1 y se llama recproco de a.

9.. Si a <> 0 entonces b/a = b. a-

10.. Si a<> 0 entonces (a-)- = a

11.. Si a.b = 0 entonces o a = 0 o bien b = 0.

12.. (-a).b = -(a.b) y (-a).(-b) = a.b

13.. (a/b) + (c/d) = (a.d + bc)/(b.d) si b y d <> 0

14.. (a/b)(c/d) = (a.c)/(b.d) si b y d <> 0

15.. (a/b)/(c/d) = (a.d)/(b.c) si b , d y c <> 0

Este grupo de axiomas establece un orden entre los nmeros reales. Segn
este orden se puede decidir si un real es mayor o menor que otro. Nuevamente
veremos aqu la necesidad de trabajar con conceptos que no vamos a probar,
por ser conceptos primitivos, en este caso el de positivo.

Suponemos que existe cierto subconjunto R+ incluido en R, llamado conjunto

de los reales positivos que satisfacen 3 axiomas de orden
AXIOMA 7 Si x e y pertenecen a R+, lo mismo ocurre con x + y y x.y

AXIOMA 8 Para todo real x <> 0, o bien x pertenece R+ o -x pertenece

a R+, pero no ambos

AXIOMA 9 0 no pertenece a R+

A partir de sto se puede definir los smbolos <, > ,y llamados

respectivamente menor que, mayor que, menor o igual y mayor o igual de la
siguiente manera
x < y significa que y - x es positivo
y>x significa que x<y.
xy significa que o x<y o x=y.
yx significa que x y.