Axiomas de los nmeros reales

2 Axiomas Algebraicos

Para que todos los procedimientos matemticos usados

sean vlidos se debe partir de una base que respalde cada
procedimiento, cada paso lgico usado, y debe, en consecuencia, demostrarse cada armacin no trivial. Son estas
demostraciones los pilares fundamentales de toda rama
de las matemticas, ya que sin ellos puede ponerse en duda la veracidad de cualquier armacin.

Los axiomas algebraicos, pudindose escribir como un

todo, pueden ser subdivididos en dos tipos: los de la adicin y de la multiplicacin.
1. Axiomas de la adicin

Las armaciones a las que se hace referencia se llaman 2. Axiomas de la multiplicacin

axiomas. Sern, por lo tanto, armaciones que se acep- 3. Axioma de distribucin Este axioma conecta la suma
tan como verdaderas debido a su trivialidad, pudiendo en con la multiplicacin:
ocasiones ser demostradas cuando no lo son.
El otro tipo de armaciones a las que se hace referen2.1 Anlisis axiomtico
cia diciendo: "armacin no trivial", son los teoremas,
que son ya, armaciones no tan triviales y muchas veces
El axioma (1.2)conocido como propiedad conmupoco intuitivas. Estas armaciones deben ser demostratativa dice que el orden de los sumandos no altera
das usando los axiomas u otros teoremas ya demostrados.
el valor de la suma. Debe tenerse en cuenta que esto
Una consecuencia inmediata de un teorema se llamar
es vlido slo para sumas nitas.
corolario.
El axioma (1.3) conocido como propiedad asociaHay tres tipos de axiomas:
tiva de la suma dice que la asociacion de la suma
no altera el valor de sta.
Los axiomas algebraicos

El axioma (1.4) dice que existe un elemento en los

nmeros reales que, al ser sumado con cualquier nmero real, sigue siendo ese mismo real. Este real se
llama cero, y se conoce tambin como el elemento
neutro aditivo de este conjunto.

Los axiomas de orden

El axioma topolgico.

El axioma (1.5) dice que dado un nmero real cualquiera existe otro (nico) tal que la suma de ambos
es nula. Si este elemento es x , el nmero tal que la
suma de ste y el otro nmero sea cero es (x) .
Este elemento se llama inverso aditivo de x .

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.

El axioma (2.2) dice que el orden de los factores no

altera el producto.

Existe un conjunto que tiene estas propiedades.

El axioma (2.3) dice que el orden con que elijamos

los productos no afecta el producto. Esta propiedad
se conoce como propiedad asociativa de la multiplicacin.

Axioma fundamental

El conjunto que cumple con estas propiedades se llama

conjunto de los Nmeros Reales y sern los axiomas
de este conjunto, las bases de una rama muy importante
de la matemtica: el Anlisis matemtico.

El axioma (2.4) dice que existe un nmero real tal

que el producto de ste con otro real, sigue siendo
este ltimo. Este elemento denotado por 1 se conoce
como neutro multiplicativo.

Se puede observar que, usando el lenguaje lgico matemtico, los teoremas que se demuestren, sern vlidos si
los axiomas son vlidos, por lo que los teoremas sern
del tipo: Si el axioma Fundamental es cierto, entonces la
armacin es cierta.

El axioma (2.5) dice que para cualquier real x no nulo, existe otro, tal que el producto de ambos da como resultado el neutro multiplicativo. Este elemento
denotado por x1 = 1/x = x1 se conoce como inverso multiplicativo de x .
1

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 nmero es menor que
otro si est contenido en ste, es decir, si su cardinalidad
es menor o igual que otra.
Para establecer una relacin de orden, es necesario introducir el smbolo < que nos dir si un nmero es mayor o
menor que otro. Para la igualdad se usa el smbolo = que
ya conocemos.
Se dir que x < y o y > x slo si x es menor que y . O
dicho de otra forma, si y es mayor que x .
De manera rigurosa, se puede decir que existe un conjunto O R R tal que x < y si y slo si (x, y) O
.
Se dan a continuacin los axiomas de orden

3.1

Anlisis axiomtico

El axioma (1.2) dice geomtrica mente que si x est

a la izquierda de y y ste a su vez a la izquierda de z
, entonces debe estar pe2 x a la izquierda de z . Esta
interpretacin es bastante til.
(R,+, , ) es un cuerpo ordenado.

Axioma topolgico

Claramente los racionales satisfacen los primeros axiomas, pero no se puede con esto, demostrar la existencia
de un nmero irracional, como raz cuadrada de dos por
ejemplo. Para esto es necesario el Axioma topolgico que
dice lo siguiente, si se quiere.

4.1

Anlisis axiomtico

pongan resultados coherentes

Hay varios conceptos en esta breve armacin (pero muy
importante), que deben conocerse para entender el signicado de este axioma. stos, son los de sucesin, creciente, acotado superiormente y convergencia.

Vase tambin
Nmero real
Principio de buena ordenacin
Teorema
Clculo

Sucesin
Convergencia (matemticas)
Acotado

VASE TAMBIN

Text and image sources, contributors, and licenses

6.1

Text

Axiomas de los nmeros reales Fuente: http://es.wikipedia.org/wiki/Axiomas%20de%20los%20n%C3%BAmeros%20reales?oldid=

80703719 Colaboradores: CEM-bot, Ggenellina, Rovnet, Technopat, BOTarate, Manw, Camiloalcubo2, Nicop, Farisori, Raulshc, UA31,
AVBOT, MarcoAurelio, Diegusjaimes, MystBot, Jkbw, Botarel, Jerowiki, Mister Roboto, Elio puma, Ileana n, Acratta, rico Jnior Wouters, Addbot, Jarould y Annimos: 40

6.2

Images

Archivo:Spanish_Language_Wiki.svg Fuente: http://upload.wikimedia.org/wikipedia/commons/2/2a/Spanish_Language_Wiki.svg Licencia: CC BY-SA 3.0 Colaboradores: Derived from Wiki puzzle.svg by user:Kimbar Artista original: James.mcd.nz

6.3

Content license

Creative Commons Attribution-Share Alike 3.0