Los n´ umeros reales
Axiomas de campo
Axiomas de orden
Desigualdades
Axiomas de campo
AC5 Invertividad: Para cada x ∈ R, existe un u ´nico n´ umero real llamado el inverso aditivo u opuesto de x y denotado por −x, tal que x + (−x) = 0. Para cada n´ umero real x 6= 0, existe un u ´nico n´ umero real llamado el inverso multiplicativo de x y denotado por x1 ´ o x1 , tal que x · x−1 = x ·
1 = 1. x
AC6 Distributiva: Para cada x, y, z ∈ R, x · (y + z) = x · y + x · z.