Académique Documents
Professionnel Documents
Culture Documents
Axioma fundamental
Existe un conjunto que se denota por
algebraicos y topolgicos.
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.
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
afirmacin es cierta.
Axiomas Algebraicos
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
A1.1 Para todo
llamamos la suma de
A1.2
para todo
que
.
.
A1.3
para todo
, denotado por
, denotado por
existe un
.
tal que
tal que
para todo
2. Axiomas de la multiplicacin
A2.1 Para todo
llamaremos el producto de
, denotado por
que
2
para todo
A2.3
para todo
tal que
tal que
Anlisis axiomtico
El axioma (1.2)conocido como "propiedad conmutativa" dice que el orden de los sumandos no altera el valor de
la suma. Debe tenerse en cuenta que esto es vlido slo para sumas finitas.
El axioma (1.3) conocido como propiedad asociativa de la suma dice que la asociacion de la suma no altera el
valor de sta.
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.
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 , el nmero tal que la suma de ste y el otro nmero sea cero es
. Este elemento se
llama inverso aditivo de .
El axioma (2.2) dice que el orden de los factores no altera el producto.
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.
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 se conoce como neutro multiplicativo.
El axioma (2.5) 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
multiplicativo 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 nmero es menor que otro si
est contenido en ste, es decir, si su incardina es menor o igual que otra.
Para establecer una relacin de orden, es necesario introducir el smbolo
menor que otro. Para la igualdad se usa el smbolo que ya conocemos.
Se dir que
slo si
es menor que
tal que
es mayor que
si y slo si
O1.2 Si
y adems
O1.3 Si
, entonces
O1.4 Si
;
, entonces
, entonces
.
para todo
.
Anlisis axiomtico
El axioma (1.2) dice geomtrica mente que si
entonces debe estar
a la izquierda de
est a la izquierda de
Axioma patolgico
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 patolgico que dice lo
siguiente.
Toda sucesin creciente y acotada superiormente es convergente.
Anlisis axiomtico
Hay varios conceptos en esta breve afirmacin (pero muy importante), que deben conocerse para entender el
significado de este axioma. stos, son los de sucesin, creciente, acotado superiormente y convergencia.
Licencia
Creative Commons Attribution-Share Alike 3.0 Unported
//creativecommons.org/licenses/by-sa/3.0/