APÉNDICE A

PROPIEDADES DE LOS
NÚMEROS REALES

En este libro tomamos los números reales y sus propiedades básicas, como nuestro punto
de partida. Damos un conjunto base de propiedades, llamadas axiomas, aceptándose que
son satisfechas por los números reales y establecemos algunas útiles propiedades que se
pueden deducir de esos axiomas.
Suponemos que existen dos operaciones binarias definidas sobre el conjunto de números
reales, llamadas adición y multiplicación, tales que si a y b son dos números reales cua-
lesquiera, la suma de a y b, denotada a b y el producto de a y b, denotado a b o ab,
también son números reales. Dichas operaciones satisfacen las propiedades de la F1 a la
F6, llamadas axiomas de campo.
F1. Leyes conmutativas. Para todos los números reales a y b,
a b b a y ab b a.
F2. Leyes asociativas. Para todos los números reales a, b y c,
(a b) c a (b c) y (ab)c a(bc).
F3. Leyes distributivas. Para todos los números reales a, b y c,
a(b c) ab ac y (b c)a ba ca.
F4. Existencia de los elementos identidad. Existen dos números reales distintos, que se
denotan por 0 y 1, tales que para cada número real a,
0 a a 0 a y 1a a1 a.
F5. Existencia de inversos aditivos. Para cada número real a, existe un número real, que
se denota por ฀a y se llama el inverso aditivo de a, tal que
a (฀a) (฀a) a 0.
F6. Existencia de recíprocos. Para cada número real a = 0, existe un número real, que
se denota por 1=a o a฀1, llamado el recíproco de a, tal que
1 1
a· = ·a = 1.
a a
Todas las propiedades algebraicas usuales de los números reales que no implican orden,
pueden deducirse de los axiomas de campo. A continuación, se presentan las más impor-
tantes que se establecen como los teoremas del T1 al T16. En todos esos teoremas los
símbolos a, b, c y d representan números reales arbitrarios.

*Adaptado de Tom M. Apostol, Calculus, Volume I (Nueva York: Blaisdell,1961), pp. 13-19.

A-1
A-2 Apéndice A Propiedades de los números reales

T1. Ley de cancelación para la adición. Si a b a c, entonces b c. (En par-

ticular, esto demuestra la unicidad del número 0 del axioma F4.)
T2. Posibilidad de restar. Dados a y b, existe exactamente una x tal que a x b.
Esta x se denota por b ฀ a. En particular, 0 ฀ a es el inverso aditivo de a, ฀a.
T3. b ฀ a b (฀a).
T4. ฀(฀a) a.
T5. a(b ฀ c) ab ฀ ac.
T6. 0 a a 0 0.
T7. Ley de cancelación para la multiplicación. Si ab ac y a = 0, entonces b c.
(En particular, la unicidad del número 1 del axioma F4 es única.)
T8. Posibilidad de dividir. Dados a y b con a = 0, existe exactamente una x tal que
ax b. Esta x se denota por b=a y se llama el cociente de b y a. En particular, 1=a
es el recíproco de a.
T9. Si a = 0, entonces b=a b a฀1.
T10. Si a = 0, entonces (a฀1)฀1 a.
T11. Propiedad del producto cero. Si ab 0, entonces a 0ob 0.
T12. Regla para multiplicar con signos negativos.
(฀a)b a(฀b) ฀(ab), (฀a)(฀b) ab,
y
a −a a
− = = .
b b −b

T13. Propiedad de fracciones equivalentes.

a ac
, si b 0 y c 0.
b bc

T14. Regla para la adición de fracciones.

a c ad bc
, si b 0 y d 0.
b d bd

T15. Regla para la multiplicación de fracciones.

a c ac
, si b 0 y d 0.
b d bd

T16. Regla para división de fracciones.

a
b ad
c , si b 0, c 0, y d 0.
bc
d

Los números reales también satisfacen los siguientes axiomas, llamados axiomas de orden.
Se supone que entre todos los números reales existen algunos, llamados números reales
positivos, que satisfacen las propiedades Ord1-Ord3.
 Apéndice A Propiedades de los números reales A-3

Ord1. Para cualesquiera números reales a y b, si a y b son positivos, entonces a b y ab

también lo son.
Ord2. Para cada número real a = 0, a es positivo o ฀a es positivo, pero no ambos.
Ord3. El número 0 no es positivo.
Los símbolos <, >, y y los números negativos se definen en términos de los números
positivos.

Definición
Dados los números reales a y b,
a < b significa que b (฀a) es positivo. b > a significa a < b.
a b significa a < b o a b. b a significa a b.
Si a < 0, decimos que a es negativo. Si a 0, decimos que a es no-negativo.

De los axiomas de orden Ord1-Ord3 y de la definición anterior, se pueden deducir todas

las reglas usuales para el cálculo con desigualdades. Las más importantes se exponen como
los teoremas del T17 al T27. En todos esos teoremas los símbolos a, b, c y d representan
números reales arbitrarios.
T17. Ley de la tricotomía. Para a y b números reales arbitrarios, se cumple exactamente
una de las siguientes tres relaciones a < b, b < a o a b.
T18. Ley de la transitividad. Si a < b y b < c, entonces a < c.
T19. Si a < b, entonces a c<b c.
T20. Si a < b y c > 0, entonces ac < bc.
T21. Si a = 0, entonces a2 > 0.
T22. 1 > 0.
T23. Si a < b y c < 0, entonces ac > bc.
T24. Si a < b, entonces ฀a > ฀b. En particular, a < 0 implica ฀a > 0
T25. Si ab > 0, entonces a y b son ambos positivos o ambos son negativos.
T26. Si a < c y b < d, entonces a b<c d.
T27. Si 0 < a < c y 0 < b < d, entonces 0 < ab < cd.
Un axioma final distingue al conjunto de números reales del conjunto de números racionales,
el cual es llamado el axioma de mínima cota superior [MCS].
MCS. Cualquier conjunto no vacío S de números reales, acotado por arriba, tiene una
cota superior mínima. Es decir, si B es el conjunto de todos los números reales x
tales que x s, para todas las s en S y si B tiene al menos un elemento, entonces
B tiene un elemento que es el más pequeño. Este elemento es llamado la mínima
cota superior de S.
El axioma de la mínima cota superior es válido para el conjunto de los números reales,
pero no para el conjunto de los números racionales.
√ Por ejemplo, el conjunto de todos los
números racionales que son menores que 2 tiene cotas superiores, pero ninguna mínima
cota superior dentro del conjunto de los números racionales.