Qu es un axioma?

Un axioma, en epistemologa, es una verdad evidente que no requiere

demostracin, pues es admitida por todas las personas, y sobre la cual se
construye el resto de conocimientos; aunque, no todos los epistemlogos estn
de acuerdo con esta definicin clsica.
En matemtica, un axioma no es necesariamente una verdad evidente, sino
una expresin lgica utilizada en una deduccin para llegar a una conclusin.
En matemtica se distinguen dos tipos de axiomas: axiomas lgicos y axiomas
no-lgicos.
Cules son las propiedades de los nmeros reales?
a)
b)
c)
d)
e)
f)
g)
h)

La
La
La
La
La
La
La
La

propiedad
propiedad
propiedad
propiedad
propiedad
propiedad
propiedad
propiedad

Conmutativa.
Asociativa
Identidad
de los Inversos
Distributiva
de las Igualdades
Simtrica
Transitiva

En que consiste: El axioma algebraico, el axioma de orden y el axioma

topolgico
Axiomas Algebraicos. Los axiomas algebraicos, que establecen la existencia
de las operaciones suma y multiplicacin de nmeros reales y sus propiedades
bsicas, son los siguientes:
Axiomas de la Suma. (AS)
AS1. Para todo x, y existe un nico elemento de que denotaremos por x
+ y y que llamaremos la suma de x e y.
AS2. x + y = y + x para todo x, y . (Asociatividad)
AS3. (x + y) + z = x + (y + z) para todo x, y, z . (Conmutatividad)
AS4. Existe un elemento de , que denotaremos por 0 tal que x + 0 = x para
todo x . (Elemento neutro)
AS5. Para cada x existe y al que x + y = 0 (Elemento inverso)
Axiomas del Producto. (AP)
AP1. Para todo x, y existe un nico elemento de que denotaremos por
xy [ por x y ] y que llamaremos el producto de x e y .
AP2. xy = yx para todo x, y . (Asociatividad)
AP3. (xy)z = x(yz) para todo x, y, z . (Conmutatividad)

AP4. Existe un elemento de , que denotaremos por 1 tal que x1 = x para

todo x . (Elemento neutro)
AP5. Para cada x tal que x 0, existe y tal que xy = 1. (Elemento
inverso)
Axiomas Mixtos. (AM)
AM1. 1 0.
AM2. (x + y)z = xz + yz para todo x, y, z .
Axiomas de Orden. Los axiomas de orden, establecen la existencia la
existencia de una relacin < en que satisface ciertas propiedades que
llamaremos Axiomas de Orden. El significado de este concepto es que para
cada x, y es posible definir si x < y es verdadero o falso.
Axiomas de Orden. (AO)
AO1. Si x, y , entonces se cumple una y slo una de las siguientes
afirmaciones: x < y; x = y; y < x
AO2. Si x < y e y < z, entonces x < z.
AO3. Si x < y, entonces x + z < y + z para todo z .
AO4. Si x < y y 0 < z, entonces xz < yz .

Axioma Topolgico. Es fcil comprobar que satisface los axiomas

algebraicos y los axiomas topolgicos. Sin embargo, 2 . Por lo tanto, los
Axiomas Algebraicos y de Orden no permiten demostrar la existencia de 2.
Por lo tanto, agregaremos un ltimo axioma que, adems solucionar esto, nos
permitir construir una teora satisfactoria del Clculo.
Axioma Topolgico. (AT)
AT. Toda sucesin creciente y acotada superiormente es convergente.

Bibliografa
Yus, N. (2006). Introduccion al Calculo. Santiago, Chile: Facultad de Ciencias de
la Universidad de Chile.