Definicin: Un axioma es una verdad evidente o una expresin lgica utilizada en la deduccin para llegar a una conclusin.

1. AXIOMA ETIMOLOGA Proviene del griego : (axioma), que significa " lo que parece justo" o aquello que es considerado evidente y sin necesidad de demostracin. o La palabra viene del griego (axioein) que significa "valorar o Que a su vez procede de (axios) que significa "valuable" o "digno". o DEFINICIN ETIMOLGICA: o Un axioma es aquello que parece ser verdadero sin ninguna necesidad de prueba

o o

1.

PROPIEDADES DE LOS NMEROS REALES La siguiente es una lista con seis propiedades bsicas, las cuales bastan para caracterizar completamente las propiedades algebraicas de campo de los nmeros reales. Esto es, de aqu se pueden deducir las dems propiedades. o Los nmeros reales son el conjunto R con dos operaciones binarias (+) y (x) el cual satisface los siguientes axiomas. 2. AXIOMA 1: CERRADURA O CLAUSURA o Si a y b estn en R entonces a + b y a*b son nmeros determinados en forma nica que estn tambin en R.

DERMUM 3. AXIOMA 2: PROPIEDAD CONMUTATIVA (SUMA Y MULTIPLICACIN) Si a y b estn en R entonces a + b = b + a y a*b = b*a. DERMUM 4. AXIOMA 3: PROPIEDAD ASOCIATIVA (SUMA Y MULTIPLICACIN) o Si a, b y c estn en R entonces a+(b + c) = (a + b)+c y o a*(b*c) = (a*b)*c DERMUM 5. AXIOMA 4: PROPIEDAD DISTRIBUTIVA. Si a, b y c estn en R entonces a*(b+ c) = ab+ ac . DERMUM 6. AXIOMA 5: EXISTENCIA DE ELEMENTOS NEUTROS. R contiene dos nmeros distintos 0 y 1 tales que a+0 = a, a*1 = a para a que pertenece a los reales. DERMUM 7. AXIOMA 6: ELEMENTOS INVERSOS Si a est en R entonces existe un (-a) en R tal que a + (-a) = 0 Si a est en R y a es diferente de 0 entonces existe un elemento 1/a en R tal que a*(1/a) = 1. DERMUM 8. Propiedades en R Si a, b, y c son nmeros reales entonces: a+b = b+c => b = c; Ley de simplificacin para la suma. (-a) es nico; Posibilidad de la sustraccin -(-a) = a -(a+b) = -a + (-b) ab = ac, a 0 => b = c 1 es nico (1)a = -a

o o

o o o o o o o

o o o o

a*0 = 0 (-a)b = a(-b) = -ab (-a)(-b) = ab ab = 0 => a=0 b=0

Hay tres tipos de axiomas:

Los axiomas algebraicos Los axiomas de orden El axioma topolgico

Los axiomas algebraicos, pudindose escribir como un todo, pueden ser subdivididos en dos tipos: los de suma y producto. 1. Axiomas de la suma Axioma A1.1 Para todo , existe un nico elemento, tambin en , denotado por que llamamos la suma de e . A1.2 para todo . A1.3 para todo . A1.4 Existe un elemento de , denotado por tal que para todo . A1.5 Para cada existe un tal que . 2. Axiomas del producto Axioma A2.1 Para todo , existe un nico elemento, tambin en , denotado por que llamaremos el producto de e . A2.2 para todo . A2.3 para todo . A2.4 Existe un elemento de , que denotaremos por tal que A2.5 Para cada tal que no sea cero, existe un tal que .

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 que . o slo si es menor que . O dicho de otra forma, si es mayor

De manera rigurosa, se puede decir que existe un conjunto y slo si . Se dan a continuacin los Axiomas de Orden Axioma

tal que

si

O1.1 Si , entonces se cumple una y solamente una de las siguientes afirmaciones: ; ; O1.2 Si y adems ,entonces . O1.3 Si , entonces para todo O1.4 Si y , entonces .

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. Toda sucesin creciente y acotada superiormente es convergente.

Valor absoluto De un nmero entero es el nmero natural que sigue al signo. Se indica poniendo el nmero entero entre barras.
En matemtica, el valor absoluto o mdulo1 de un nmero real es su valor numrico sin tener en cuenta su signo, sea este positivo (+) o negativo (-). As, por ejemplo, 3 es el valor absoluto de 3 y de -3. El valor absoluto est relacionado con las nociones de magnitud, distancia y norma en diferentes contextos matemticos y fsicos. El concepto de valor absoluto de un nmero real puede generalizarse a muchos otros objetos matemticos, como son los cuaterniones, anillos ordenados, cuerpos o espacios vectoriales.

Valor absoluto
El valor absoluto de un nmero real x se escribe como x y se define como x= X si x es positivo, -X si x es negativo. As, por ejemplo, 3/5 = 3/5 y -523 = -523 http://www.scribd.com/doc/42489/Valor-Absoluto