NUMEROS REALES

Axiomas
Hay tres tipos de axiomas:
Los axiomas algebraicos
Los axiomas de orden
El axioma topolgico
El primero, trata de las propiedades de suma, resta, multiplicacin y
divisin; el segundo establece un orden para los elementos de cada
conjunto dado; el tercero trata sobre la nocin de continuidad.
Existe un conjunto que tiene estas propiedades. Nace entonces el
primer axioma
Axioma Fundamental
Existe un conjunto que se denota por que satisace los tres tipos de
axiomas mencionados, de orden, algebraicos y topolgicos.
El conjunto que cumple con estas propiedades se llama conjunto de
los Nmeros Reales y ser!n los axiomas de este conjunto, las bases
de una rama muy importante de la matem!tica: el "n!lisis
matem!tico.
#e puede observar que, usando el lenguaje lgico matem!tico, los
teoremas que se demuestren, ser!n v!lidos si los axiomas son
v!lidos, por lo que los teoremas ser!n del tipo: #i el axioma
$undamental es cierto, entonces la airmacin es cierta.
1. Axiomas de la adicin
% &ara todo , existe un 'nico elemento, tambi(n en ,
denotado por que llamamos la suma de e .
% para todo .
% para todo .
% Existe un elemento de , denotado por tal que
para todo
.
% &ara cada existe un tal que .
2. Axiomas de la multilicacin
! &ara todo , existe un 'nico elemento, tambi(n en ,
denotado por
que llamaremos el producto de e .
% para todo .
% para todo .
% Existe un elemento de , que denotaremos por tal que
% &ara cada tal que no sea cero, existe un tal que .
". Axioma de distri#ucin
Este axioma conecta la suma con la multiplicacin:
&ara todo .
An$lisis axiom$tico
El axioma )*.+,conocido como -propiedad conmutativa- dice
que el orden de los sumandos no altera el valor de la suma.
.ebe tenerse en cuenta que esto es v!lido slo para sumas
initas.
El axioma )*./, conocido como roiedad asociati%a de la
suma dice que la asociacion de la suma no altera el valor de
(sta.
El axioma )*.0, dice que existe un elemento en los n'meros
reales que, al ser sumado con cualquier n'mero real, sigue
siendo ese mismo real. Este real se llama cero, y se conoce
tambi(n como el elemento neutro aditi%o de este conjunto.
El axioma )*.1, dice que dado un n'mero real cualquiera existe
otro )'nico, tal que la suma de ambos es nula. #i este elemento
es , el n'mero tal que la suma de (ste y el otro n'mero sea
cero es . Este elemento se llama in%erso aditi%o de .
El axioma )+.+, dice que el orden de los actores no altera el
producto.
El axioma )+./, dice que el orden con que elijamos los
productos no aecta el producto. Esta propiedad se conoce
como roiedad asociati%a de la multilicacin.
El axioma )+.0, dice que existe un n'mero real tal que el
producto de (ste con otro real, sigue siendo este 'ltimo. Este
elemento denotado por se conoce como neutro
multilicati%o.
El axioma )+.1, dice que para cualquier real no nulo, existe
otro, tal que el producto de ambos da como resultado el neutro
multiplicativo. Este elemento denotado por se
conoce como in%erso multilicati%o de .
Axiomas de Orden
Los axiomas de orden establecen una relacin de -cantidad- (vase
construccin de los naturales). Esta relacin es del tipo mayor o igual.
En realidad, cuando se construyen los naturales, se dice que un
n'mero es menor que otro si est! contenido en (ste, es decir, si su
cardinalidad es menor o igual que otra.
&ara establecer una relacin de orden, es necesario introducir el
s2mbolo que nos dir! si un n'mero es mayor o menor que otro. &ara
la igualdad se usa el s2mbolo que ya conocemos.
Se dir que o slo si es menor que . O dicho de otra
forma, si es mayor que .
.e manera rigurosa, se puede decir que existe un conjunto
tal que si y slo si .
#e dan a continuacin los Axiomas de Orden
% #i , entonces se cumple una y solamente una de
las siguientes
airmaciones:
; ;
% #i y adem!s , entonces .
% #i , entonces para todo
% #i y , entonces .
An$lisis axiom$tico
El axioma )*.+, dice geom(tricamente que si est! a la i3quierda de
y (ste a su ve3 a la i3quierda de , entonces debe estar a la
i3quierda de . Esta interpretacin es bastante 'til.
)4,5, 6 , 7, es un cuerpo ordenado.
Axioma tool&ico
8laramente los racionales satisacen los primeros axiomas, pero no se
puede con esto, demostrar la existencia de un n'mero irracional,
como ra23 cuadrada de dos por ejemplo. &ara esto es necesario el
"xioma topolgico que dice lo siguiente.
9oda sucesin creciente y acotada superiormente es
convergente.
Axioma de comletitud
" continuacin enunciaremos el ultimo axioma que satisacen
los n'meros reales, el cual nos permite dierenciar los n'meros
reales de los racionales intuitivamente nos asegura que los
reales son completos, esto es que en la recta real, todos los
puntos corresponden a un n'mero real; lo cual no sucede con
los racionales.
12.' 9odo conjunto # no vac2o de los n'meros reales que este
acotado superiormente admite un supremo, es decir existe un
n'mero real b tal que b : sup. #
;eamos un ejemplo en donde el axioma de complete3 no se
satisace para los racionales.
Ejemlo
#ea " : < x = > ? x@+ A + B ; evidentemente por deinicin de
"; " C >. "dem!s " es acotado superiormente y tenemos que el
sup ", b; es tal que b@+ : +; pero Dab2amos probado que no
existe ning'n n'mero racional tal que b@+ : +. Esto prueba que
> no es completo; pues para serlo el extremo superior de
cualquier subconjunto de > no vac2o y acotado superiormente
deber2a tener un supremo que sea tambi(n un n'mero racional.
(EOREMA 1)
9odo conjunto no vac2o # acotado ineriormente posee extremo
inerior
*emostracin.' #ea E# el conjunto de los n'meros opuestos a
los de #. Entonces E# es no vac2o y acotado superiormente; por
el axioma %, F# por ser acotado superiormente y no vac2o tiene
un extremo superior; sea este b; luego Eb es el in. #
Entonces por el axioma *+ y el teorema *G tenemos que
cualquier conjunto acotado superiormente o ineriormente
posee supremo o 2nimo; siempre que no sea vacio.