Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Axioma 1. x + y = y + x, xy = yx (leyes conmutativas) Axioma 2. x + (y + z) = (x + y) + z, x(yz) = (xy)y (leyes asociativas) Axioma 3. x(y + z) = xy + xz (ley distributiva) Axioma 4. Dados cualquier par de nmeros reales x & y, existe un nmero real z tal que x + z = y. Se denota a esta z con y - x; el nmero x x se denota con 0. (Se puede probar que 0 es independiente de x.) Denotamos a -x con 0 - x y llamamos a - x el negativo de x. Axioma 5. Hay al menos un nmero real x 0. Si x & y son dos nmeros reales con x 0, entonces existe un nmero real z tal que xz = y. Se denota a esta z con y/x; el nmero x/x se denota con 1 y se puede demostrar que es independiente de x. Escribimos x ^(-1)con 1/x si x 0 y llamamos a x^(-1) el recproco de x.
Axiomas de Orden
Axioma 6. Se cumple exactamente una de las relaciones x = y, x < y, x > y. NOTA. x > y significa lo mismo que y < x. Axioma 7. Si x < y, entonces para cada z tenemos x + z < y + z. Axioma 8. Si x > 0 & y > 0, entonces xy > 0. Axioma 9. Si x > y & y > z, entonces x > z. NOTA. Un nmero real x se llama positivo si x > 0, y negativo si x < 0. Denotamos con R^+ al conjunto de todos los nmeros reales positivos, y con R^- al conjunto de todos los nmeros reales negativos.
Axioma de Completitud
Axioma 10. Cada conjunto no vaco S de nmeros reales que est acotado por arriba tiene un supremum; esto es, hay un nmero real b tal que b = sup S.