Axiomas de los nmeros reales
denotado por 0 tal que x + 0 = x
En matemticas para que una
afirmacin sea considerada vlida debe o
bien estar contenida dentro de una base
de afirmaciones de partida, los
denominados axiomas, o debe poder
demostrarse a partir de los mismos. Los
axiomas son por tanto los pilares
fundamentales de toda rama de las
matemticas, y a partir de ellos,
mediante las demostraciones
matemticas, se deduce la veracidad de
cualquier afirmacin.
Los axiomas sern, por tanto,
afirmaciones que se aceptan como
verdaderas y que su veracidad no puede
ser demostrada a partir de otros
axiomas. Un axioma no se caracteriza
por si resulta una afirmacin trivial o
intuitiva, siendo el axioma de eleccin un
ejemplo de un axioma que no resulta
trivial. El otro tipo de afirmaciones a las
que se hace referencia diciendo:
"afirmacin no trivial", son los teoremas,
que son ya, afirmaciones no tan triviales
y muchas veces poco intuitivas. Estas
afirmaciones deben ser demostradas
usando los axiomas u otros teoremas ya
demostrados. Una consecuencia
inmediata de un teorema se llamar
corolario.
Tipos de axiomas
1 axiomas de cuerpo. Asumimos la
existencia de dos operaciones, llamadas
suma y producto, tales que a cada par de
nmeros reales x e y la suma + x y y el
producto xy son nmeros reales
unvocamente determinados por x e y y
satisfacen los siguientes axiomas:
1.1 Axiomas de la suma
(x + y) + z = x + (y + z) para todo
x, y, z R.
x + y = y + x para todo x, y R.
Andrs Fernando Cerino Lpez Ing. En Geociencias
Existe un elemento de R,
para todo x R.
Para cada x R existe un y R
tal que x + y = 0.
1.2 Axiomas del producto.
(xy)z = x(yz) para todo x, y, z
R.
xy = yx para todo x, y R.
Existe un elemento de R, distinto
de 0, que denotaremos por 1 tal
que 1x = x1 = x para todo x
R.
Para cada x R tal que no sea
cero, existe un y R tal que xy =
1.
1.3 Axioma de distributividad
Para todo x, y, z R, (x + y)z = xz
+ yz.
2 axiomas de orden. Asumimos la
existencia de una relacin que
establece un orden entre los nmeros
reales y satisface los siguientes
axiomas:
Si x y e y x entonces x = y.
Si x y e y z entonces x z.
Para todo x, y R, x y y x.
Si x y, entonces x + z y + z
para todo z R.
Si 0 x y 0 y, entonces 0 xy.
Definicin: x < y si x 6= y y x y.
3 Axioma de completitud
Si A R, A 6= , es acotado
superiormente, entonces tiene
supremo en R.
Teorema: (Arquimedianidad) Para
todo x > 0 e y R existe n N tal que
nx > y.
Semestre: 1ro Grupo: A