2  El sistema de los números reales

En este capítulo se estudia el conjunto de los números reales R ya que el Análisis Matemático estudia conceptos y construcciones realizadas a partir de este conjunto de números y sus propiedades.

Antes de presentar el conjunto de los números reales se presentan otros subconjuntos suyos más elementales que suelen introducirse antes. Iremos ampliando sucesivamente estos conjuntos para dotarlos de nuevas propiedades hasta llegar al conjunto de los números reales.

2.1 El conjunto de los números naturales N

El primer conjunto de números que tradicionalmente suele estudiarse en el colegio son los números naturales N, ya que sirven para contar.

En los números naturales se define una relación de orden < (1<2<3<), y dos operaciones binarias, la suma (+) y el producto (), con una serie de propiedades que dotan al conjunto de una estructura de semianillo unitario conmutativo bien ordenado:

  1. Propiedad de cierre de la suma: a+bN a,bN.
  2. Propiedad asociativa de la suma: (a+b)+c=a+(b+c) a,b,cN.
  3. Propiedad conmutativa de la suma: a+b=b+a a,bN. d.Propiedad de cierre del producto: abN a,bN.
  4. Propiedad asociativa del producto: (ab)c=a(bc) a,b,cN.
  5. Propiedad conmutativa del producto: ab=ba a,bN.
  6. Elemento neutro del producto: 1a=a aN.
  7. Propiedad distributiva del producto sobre la suma: a(b+c)=(ab)+(ac) a,b,cN.

En el conjunto de los números naturales todo número tiene un posterior, pero no un anterior.

2.2 El conjunto de los números enteros Z

Los números naturales no tienen simétrico (opuesto) para la suma, de manera que no puede definirse la resta. Para ello es necesario extender el conjunto de los naturales con los números negativos (1,2,3,), y el cero (0).

Extendiendo el orden y las operaciones de los naturales a estos números se obtiene el conjunto de los números enteros Z con las siguientes propiedades que lo dotan de estructura de anillo conmutativo unitario y totalmente ordenado:

  1. Propiedad de cierre de la suma: a+bZ a,bZ.
  2. Propiedad asociativa de la suma: (a+b)+c=a+(b+c) a,b,cZ.
  3. Propiedad conmutativa de la suma: a+b=b+a a,bZ.
  4. Elemento neutro de la suma: 0+a=a aZ.
  5. Elemento simétrico (u opuesto) de la suma: a+(a)=0 aZ.
  6. Propiedad de cierre del producto: abZ a,bZ.
  7. Propiedad asociativa del producto: (ab)c=a(bc) a,b,cZ.
  8. Propiedad conmutativa del producto: ab=ba a,bZ.
  9. Elemento neutro del producto: 1a=a aZ.
  10. Propiedad distributiva del producto sobre la suma: a(b+c)=(ab)+(ac) a,b,cZ.

Al introducir el opuesto de la suma, se puede definir bien la resta como ab=a+(b) a,bZ.

En el conjunto de los enteros todo número tiene un anterior y un posterior.

2.3 El conjunto de los números racionales Q

Los números enteros (salvo el -1 y 1) no tienen elemento simétrico (inverso) para el producto, de manera que no puede definirse la división. Para ello es necesario extender el conjunto de los enteros con los números fraccionarios, que se definen de la forma a/b donde el numerador a y el denominador b son números enteros primos entre si (por ejemplo 1/2 o 5/3).

Extendiendo el orden y las operaciones de los enteros a estos números se obtiene el conjunto de los números racionales Q con las siguientes propiedades que lo dotan de estructura de cuerpo conmutativo totalmente ordenado:

  1. Propiedad de cierre de la suma: a+bQ a,bQ.
  2. Propiedad asociativa de la suma: (a+b)+c=a+(b+c) a,b,cQ.
  3. Propiedad conmutativa de la suma: a+b=b+a a,bQ.
  4. Elemento neutro de la suma: 0+a=a aQ.
  5. Elemento simétrico (u opuesto) de la suma: a+(a)=0 aQ.
  6. Propiedad de cierre del producto: abQ a,bQ.
  7. Propiedad asociativa del producto: (ab)c=a(bc) a,b,cQ.
  8. Propiedad conmutativa del producto: ab=ba a,bQ.
  9. Elemento neutro del producto: 1a=a aQ.
  10. Elemento simétrico (inverso) del producto: aa1=1 a0Q.
  11. Propiedad distributiva del producto sobre la suma: a(b+c)=(ab)+(ac) a,b,cQ.

Al introducir el inverso del producto, se puede definir la división como a/b=ab1 a,bQ.

Teorema 2.1 (Densidad de los números racionales) El conjunto de los números racionales es denso, es decir, entre dos números racionales siempre existe un número racional.

Prueba. Dados dos números racionales a<bQ, el número a+b2Q, y se cumple que a<a+b2<b.

Al ser un conjunto denso, cualquier número racional no tiene un número anterior ni uno posterior como ocurría con los enteros.

2.4 El conjunto de los números irracionales

Muy pronto los griegos se dieron cuenta de que había otra clase de números que no podían representarse como cociente de números enteros y por tanto no pertenecían al conjunto de los números racionales, de manera que este conjunto es incompleto. El ejemplo clásico es el número 2 que se obtiene al aplicar el teorema de Pitágoras para calcular la longitud de la hipotenusa de un triángulo rectángulo con ambos lados de longitud 1.

Teorema 2.2 (Irracionalidad de 2) El número 2 no es racional.

Prueba. Probar que 2 no es racional es equivalente a probar que no existe un número racional m/n tal que (m/n)2=2. La demostración de este último resultado es sencilla por reducción al absurdo.

Supongamos que existe un número m/n con n,mZ primos entre si, tal que (m/n)2=2, o lo que es lo mismo,

m2=2n2.

De aquí se puede deducir que m2 es par, lo que implica que m también es par, pues si m fuese impar, su cuadrado también sería impar. En tal caso, m podría escribirse como m=2k con kZ y se tendría m2=4k2. Sustituyendo ahora en la ecuación inicial se tiene 4k2=2n2, lo que implica que 2k2=n2. Siguiendo el mismo razonamiento anterior, se tendría que n también sería un número par, por lo se obtiene un absurdo ya que partimos de que m y n eran primos entre sí.

Estos números que no son racionales se denominan irracionales, y, al igual que los números racionales, es un conjunto denso.

Teorema 2.3 Entre dos números racionales siempre existe un número irracional.

Prueba. Tomemos para empezar un número irracional entre 0 y 1, como por ejemplo, 1/2=0.7071, y consideremos dos números racionales cualesquiera a,bQ, tales que a<b. Como 0<1/2<1 y ba>0, se tiene que

0(ba)<ba2<1(ba),

o lo que es lo mismo, simplificando

0<ba2<(ba).

Si ahora sumamos a a cada término de la desigualdad se tiene

a<a+ba2<b,

de manera que el número a+ba2 está entre a y b, pero además, se trata de un número irracional, ya que es el producto de un número irracional 1/2 por un racional ba y más otro racional a.

En realidad, se puede probar que entre dos números racionales no solo existe un número irracional, sino una infinidad de ellos. Y del mismo modo, se puede probar que entre dos números irracionales existe una infinidad de números racionales.

2.5 El conjunto de los números reales

La extensión de los números racionales con los irracionales da lugar al conjunto de los números reales. Su construcción formal puede realizarse de distintas maneras (cortaduras de Dedekind o sucesiones de Cauchy), pero todas ellas satisfacen la siguiente definición axiomática:

Definición 2.1 (Números reales) El sistema de los números reales (R,+,,<) está formado por un conjunto no vacío de números R, sobre los que se definen dos operaciones binarias, suma (+) y producto (), que satisfacen los siguientes axiomas:

Axiomas de cuerpo algebraico.(R,+,) es un cuerpo abeliano:

  • Axioma 1. Propiedad de cierre de la suma: a,bR, a+bR.

  • Axioma 2. Propiedad asociativa de la suma: a,b,cR, (a+b)+c=a+(b+c).

  • Axioma 3. Propiedad conmutativa de la suma: a,bR, a+b=b+a.

  • Axioma 4. Elemento neutro de la suma: aR, existe un elemento 0R, tal que 0+a=a.

  • Axioma 5. Elemento simétrico (u opuesto) de la suma: aR, existe un número aR, tal que a+(a)=0.

  • Axioma 6. Propiedad de cierre del producto: a,bR, abR.

  • Axioma 7. Propiedad asociativa del producto: a,b,cR, (ab)c=a(bc).

  • Axioma 8. Propiedad conmutativa del producto: a,bR, ab=ba.

  • Axioma 9. Elemento neutro del producto: aR, existe un número 1R{0}, tal que 1a=a.

  • Axioma 10. Elemento simétrico (o inverso) del producto: aR{0}, existe un número a1R, tal que aa1=1.

  • Axioma 11. Propiedad distributiva del producto sobre la suma: a,b,cR, a(b+c)=(ab)+(ac).

Axiomas de orden. Existe un subconjunto no vacío R+R, llamado el conjunto de los números reales positivos, que verifica los siguientes axiomas:

  • Axioma 12. Cierre del la suma en los reales positivos: a,bR+, a+bR+.

  • Axioma 13. Cierre del producto en los reales positivos: a,bR+, abR+.

  • Axioma 14. Propiedad de tricotomía: a,bR, una y solo una de las siguientes alternativas es cierta: aR+, a=0 o aR+.

Axioma de completitud

  • Axioma 15. Axioma del supremo: Si un subconjunto no vacío AR tiene una cota superior, entonces tiene un supremo sup(A)R.

El último axioma es el que diferencia el conjunto de los números reales de otros cuerpos totalmente ordenados como los racionales.

A partir de las propiedades de las suma y el producto se pueden definir dos nuevas operaciones en R.

Definición 2.2 (Resta) Dados dos números reales a,bR, se define la resta de a y b, y se denota ab, como la suma de a y el opuesto de b,

ab=a+(b).

Definición 2.3 (División) Dados dos números reales a,bR tal que b0, se define la división de a y b, y se denota a/b, como el producto de a y el inverso de b,

ab=ab1.

Definición 2.4 (Potencia) Dado un número reales aR y un número nN, se define la potencia de a elevado a n, y se denota an, como el producto de a por sí mismo n veces,

an=ana.

A a se le llama la base y a n el exponente de la potencia.

ab=ab1.

Proposición 2.1 (Propiedades de algebraicas) De los axiomas de cuerpo algebraico de los números reales se deducen las siguientes propiedades:

  1. El elemento neutro de la suma (0) es único: a,bR, si a+b=a, entonces b=0.

  2. El elemento neutro del producto (1) es único: a,bR, si ab=a, entonces b=1.

  3. El elemento opuesto de un número real es único: a,bR, si a+b=0, entonces b=a.

  4. El elemento inverso de un número real es único: a,bR, si ab=1, entonces b=a1.

  5. El producto de cualquier número real por el elemento neutro de la suma, es el elemento neutro de la suma: aR, a0=0.

  6. El producto de cualquier número real por el opuesto de 1 es el opuesto del número: aR (1)a=a.

  7. El opuesto del opuesto de un número real es el propio número: aR, (a)=a.

  8. El producto de los opuestos de dos números reales es igual al producto de los números: a,bR, (a)(b)=ab.

  9. El inverso de un número real distinto de 0 también es distinto de 0: a,R, si a0, entonces a10.

  10. El inverso del inverso de un número real distinto de 0 es el propio número: aR, si a0, entonces (a1)1=a.

  11. a,b,cR, si ab=ac y a0, entonces b=c.

  12. Si el producto de dos números reales es 0, entonces alguno de los dos números es 0: a,bR, si ab=0, entonces a=0 o b=0.

  13. El inverso del producto de dos números distintos de 0 es el producto de los inversos: a,bR, si a0 y b0, entonces (ab)1=a1b1.

Prueba. Veamos la prueba de cada propiedad.

  1. Supongamos que existe bR tal que b+a=a aR. Entonces

    b+a=ab+a+(a)=a+(a)(axioma 5)b+0=0(axioma 4)b=0

  2. Supongamos que existe bR tal que ba=a aR. Entonces

    ba=abaa1=aa1(axioma 10)b1=1(axioma 9)b=1

  3. Sean a,bR tales que a+b=0. Entonces

    a+b=0(a)+a+b=(a)+0(axioma 4)(a)+a+b=a(axioma 5)0+b=a(axioma 4)b=a

  4. Sean a,bR tales que ab=1. Entonces

    ab=1a1ab=a11(axioma 9)a1ab=a1(axioma 10)1b=a1(axioma 9)b=a1

  5. Para cualquier aR, se tiene

    (axioma 9)a=a1(axioma 4)=a(1+0)(axioma 11)=(a1)+(a0)(axioma 9)=a+(a0)

    Así pues, por la propiedad (a) se tiene que a0=0.

  6. Para cualquier aR, se tiene

    (axioma 9)a+(1)a=1a+(1)a(axioma 11)=(1+(1))a(axioma 5)=0a(prop. e)=0

    Como a+(1)a=0, aplicando la propiedad (c) se tiene (1)a=a.

  7. Para cualquier aR, se tiene

    (axiomas 5 y 3)a+(a)=0(a)+a=0(prop. c)a=(a)

  8. Para cualesquiera a,bR,se tiene

    (prop. f)(a)(b)=((1)a)((1)b)(axioma 7)=((1)(1))ab(prop. f)=(1)ab(prop. g)=1ab(axioma 9)=ab

  9. Sea aR con a0. Supongamos ahora que a1=0. Entonces,

    (prop. e)0=a0=aa1(axioma 10)=1

    Así pues, llegamos a que 0=1, lo cual es absurdo, por lo que a10.

  10. Para cualquier aR, se tiene

    (axiomas 10 y 8)aa1=1a1a=1(prop. d)a=(a1)1

  11. Sean a,b,cR tales que ab=ac y a0. Entonces se tiene

    ab=aca1(ab)=a1(ac)(axioma 7)(a1a)b=(a1a)c(axioma 10)1b=1c(axioma 9)b=c

  12. Sean a,bR tales que ab=0. Supongamos que a0, entonces se tiene

    ab=0a1(ab)=a10(prop. e)a1(ab)=0(axioma 7)(a1a)b=0(axioma 10)1b=0(axioma 9)b=0

  13. Sean a,bR, tales que a0 y b0. Entonces, por la propiedad (l) se tiene ab0, y se tiene

    (ab)(ab)1=1a1(ab)(ab)1=a11(axioma 9)a1(ab)(ab)1=a1(axioma 7)(a1a)b(ab)1=1(axioma 10)1b(ab)1=a1(axioma 9)b(ab)1=a1b1b(ab)1=b1a1(axioma 8)b1b(ab)1=a1b1(axioma 7)(b1b)(ab)1=a1b1(axioma 10)1(ab)1=a1b1(axioma 9)(ab)1=a1b1

A partir del axioma de tricotomía se puede descomponer el conjunto de los números reales en tres conjuntos disjuntos, los positivos R+, {0} y los negativos R.

Definición 2.5 (Números reales positivos y negativos) Dado un número aR, se dice que:

  • a es estríctamente positivo, y lo notamos a>0, si aR+.
  • a es positivo, y lo notamos a0, si aR+ o a=0.
  • a es estríctamente negativo, y lo notamos a<0, si aR+.
  • a es negativo, y lo notamos a0, si aR+ o a=0.

También se puede definir la siguiente relación que permite comparar dos números.

Definición 2.6 (Relaciones de comparación) Dados dos números a,bR, se dice que:

  • a es menor que b, y lo notamos a<b, si baR+.
  • a es menor o igual que b, y lo notamos ab, si baR+ o ba=0.
  • a es mayor que b, y lo notamos a>b, si abR+.
  • a es mayor o igual que b, y lo notamos ab, si abR+ o ab=0.

De esta definición y los axiomas de orden de los números reales se deduce que la relación es una relación de orden.

Proposición 2.2 La relación menor o igual es una relación de orden, es decir, cumple las propiedades

  1. Reflexiva: aR, aa.
  2. Antisimétrica: a,bR, si ab y ba, entonces a=b.
  3. Transitiva: a,b,cR, si ab y bc, entonces ac.

Prueba. Veamos que la relación cumple las propiedades reflexiva, antisimétrica y transitiva.

  1. Propiedad reflexiva: Para cualquier aR se cumple que aa=0, luego aa.

  2. Propiedad antisimétrica: Para cualesquiera a,bR, si ab y ba, se tiene que ba0 y (ba)0, de donde se deduce, por el axioma de tricotomía, que ab=0, y aplicando los axiomas 4 y 5 se llega a a=b.

  3. Propiedad transitiva: Para cualesquiera a,b,cR, tales que ab y bc, se tiene que ba0 y cb0. Supongamos que ba>0 y cb>0. Entonces, por el axioma 12 se tiene

    (axioma 2)(ba)+(cb)>0(axioma 5)(bb)+(ca)>0(axioma 4)0+(ca)>0ca>0ac.

    Si ba=0, entonces a=b y como bc resulta evidente que ac. El mismo razonamiento puede aplicarse si cb=0.

Proposición 2.3 (Propiedades de orden) De los axiomas de orden de los números reales se deducen las siguientes propiedades:

  1. El cuadrado de cualquier número real distinto de 0 es positivo: aR, si a0, entonces a2>0.

  2. El elemento neutro de la suma es menor que el elemento neutro del producto: 0<1.

  3. Cualquier número natural es positivo: nN, 0<n.

  4. La suma preserva el orden: a,b,cR, si a<b, entonces a+c<b+c.

  5. a,b,c,dR, si a<b y c<d, entonces a+c<b+d.

  6. El producto por un número real positivo preserva el orden: a,b,cR, si a<b y c>0, entonces ac<bc.

  7. El producto por un número real negativo invierte el orden: a,b,cR, si a<b y c<0, entonces ac>bc.

  8. El inverso de un número real positivo es positivo y el de un número real negativo es negativo: aR, si a>0, entonces a1>0, y si a<0, entonces a1<0.

  9. El producto de dos números reales es positivo si y solo si los dos números son positivos, o bien los dos números son negativos: a,bR, ab>0 si y solo si a>0 y b>0, o a<0 y b<0.

  10. El producto de dos números reales es negativo si y solo si uno de los números es positivo y el otro negativo: a,bR, ab<0 si y solo si a>0 y b<0, o a<0 y b>0.

  11. a,bR, si a<b, entonces a<a+b2<b.

  12. Cualquier número no negativo que es menor que cualquier número positivo es 0: a,bR, si 0a<b y b>0, entonces a=0.

Prueba. Veamos la prueba de cada propiedad.

  1. Sea aR con a0. Entonces, por la propiedad de tricotomía se tiene que aR+ o aR+.

    Si aR+, entonces, por el axioma 13, se tiene aaR+, y por tanto a2R+, de manera que a2>0.

    Si aR+, entonces, de nuevo por el axioma 13, se tiene

    (axioma 13)aR+(a)(a)R+(prop. f)(1)a(1)aR+(axioma 7)(1)(1)aaR+(prop. h)1a2R+(axioma 9)a2R+

    y se concluye de nuevo que a2>0.

  2. Por el axioma 9 se tiene que 1=11=12, y por la propiedad anterior se tiene que 12>0, con lo que 1>0.

  3. Haremos la prueba por inducción. Para n=1 ya hemos visto en resultado anterior que 1>0. Supongamos ahora que para cualquier nN se cumple que n1>0. Entonces, como 1>0, por el axioma 12 se tiene que n1+1>0, de lo que se deduce, por los axiomas 5 y 4 que n>0.

  4. Sean a,bR tales que a<b. Entonces ba>0. Si tomamos ahora cualquier cR se cumple que

    (axioma 4)ba>0b+0a>0(axioma 5)b+(cc)a>0(axioma 2)(b+c)(a+c)>0a+c<b+c.

  5. Sean a,b,c,dR tales que a<b y c<d. Entonces se tiene

    (axioma 12)ba>0 y dc>0(ba)+(dc)>0(axioma 12)(b+d)ac>0(prop. f)(b+d)(a+c)>0a+c<b+d.

  6. Sean a,bR tales que a<b. Entonces ba>0. Si tomamos ahora cualquier cR con c>0, se cumple que

    (axioma 13)ba>0 y c>0(ba)c>0(axioma 11)(bc)(ac)>0ac<bc.

  7. Sean a,bR tales que a<b. Entonces ba>0. Si tomamos ahora cualquier cR con c<0, entonces c>0 y se cumple que

    (axioma 13)ba<0 y c>0(ba)(c)>0(axioma 11)(b(c))(a(c))>0(prop. f)(bc)+(ac)>0(axioma 3)(ac)(bc)>0ac>bc.

  8. Sea aR tal que a>0. Entonces, por la propiedad de tricotomía, a0 y, por la propiedad algebraica i, a10. Supongamos que a1<0. Entonces, se tiene

    (prop. de orden f)a>0 y a1<0aa1<a0(prop. algebraica e)aa1<0(prop. orden b)aa11

    De esta manera llegamos a una contradicción y por consiguiente, a1>0.

    De forma similar se prueba que si a<0, entonces a1<0.

  9. Sean a,bR tales que ab>0. Entonces, por la propiedad algebraica e se tiene a0 y b0, y por la propiedad de tricotomía se tiene que a>0 o a<0.

    Si a>0, entonces por la propiedad anterior, a1>0, y se tiene

    (axioma 13)a1>0 y ab>0a1(ab)>0(axioma 7)(a1a)b>0(axioma 10)b>0

    Y si a<0, entonces, por la propiedad anterior, a1<0, y se tiene

    (prop. orden g)a1<0 y ab>0a1(ab)<a10(prop. algebraica e)a1(ab)<0(axioma 7)(a1a)b<0(axioma 10)b<0

    Para probar la otra implicación, si a>0 y b>0, por el axioma 13 se tiene que ab>0, y si a<0 y b<0 entonces se tiene

    (prop. orden g)a<0 y b<0ab>a0(prop. algebraica e)ab>0

  10. Se demuestra de forma análoga a la propiedad anterior.

  11. Sean a,bR tales que a<b. Entonces se tiene

    (axioma 11)2a=(1+1)a=(1a)+(1a)(axioma 9)=a+a(prop. orden d)<a+b

    Por otro lado,

    (axioma 11)2b=(1+1)b=(1b)+(1b)(axioma 9)=b+b(prop. orden d)>a+b

    Así pues, se puede concluir que 2a<a+b<2b y ahora se tiene

    (prop. orden f)2a<a+b<2b21(2a)<21(a+b)<21(2b)(axioma 7)(212)a<21(a+b)<(212)b(axioma 10)1a<21(a+b)<1b(axioma 9)a<21(a+b)<ba<a+b2<b.

  12. Sea aR tal que 0a<b bR con b>0. Como a0 se tiene que a>0 o a=0. Si a>0, por la propiedad anterior se tiene 0<a2<a. Si ahora tomamos b=a2>0 se tiene que a<a2, lo cual es absurdo, y, por tanto, debe ser a=0.

A partir del axioma de tricotomía también se puede definir el valor absoluto de un número real.

Definición 2.7 (Valor absoluto) Dado un número aR, se define el valor absoluto de a, y se denota |a|, como

|a|={asi a0,asi a<0.

Ejemplo 2.1 |1.5|=1.5 y |1/2|=1/2.

Como se verá en el próximo capítulo, el valor absoluto permite calcular la distancia entre dos números reales en la recta real.

Proposición 2.4 (Propiedades del valor absoluto) Se cumplen las siguientes propiedades del valor absoluto:

  1. El valor absoluto de un número real y de su opuesto es el mismo: aR, |a|=|a|.

  2. a,bR, |ab|=|ba|.

  3. El valor absoluto del producto de dos números reales es igual que el producto de los valores absolutos de los números: a,bR, |ab|=|a||b|.

  4. a,bR, si b>0 entonces |a|b si y solo si bab.

  5. aR, |a|a|a|.

  6. Desigualdad triangular: a,bR, |a+b||a|+|b|.

Prueba. Veamos la prueba de cada propiedad.

  1. Sea aR. Si a=0 entonces |0|=0=|-0|.

    Si a>0 entonces a<0, de modo que por la propiedad algebraica g se tiene $|a|= a = -(-a) = |-a|.

    Y si a<0 entonces a>0, de modo que |a|=a=|a|.

  2. Para cualesquiera a,bR se tiene (prop. valor absoluto a)|ab|=|(ab)|(prop. algebraica f)=|(1)(ab)|(axioma 11)=|((1)a)+((1)(b))|(prop. algebraica f)=|a+(b)|(prop. algebraica g)=|a+b|(axioma 3)=|ba|

  3. Para cualesquiera a,bR, se pueden dar varios casos:

    • Si a>0 y b>0, entonces, por el axioma 12, ab>0 y |ab|=ab=|a||b|.

    • Si a>0 y b<0, entonces, por la propiedad de orden j, ab<0, y se tiene

      |ab|=(ab)(prop. algebraica f)=(1)(ab)(axioma 7)=a((1)b)(prop. algebraica f)=ab=|a||b|.

    • Si a<0 y b>0, la prueba es similar al caso anterior.

    • Si a<0 y b<0, entonces por la propiedad de orden i, ab>0, y se tiene

      |ab|=(ab)(axioma 9)=1(ab)(prop. algebraica g)=(1)(ab)(prop. algebraica f)=(1)(1)(ab)(axioma 7)=((1)a)((1)b)(prop. algebraica f)=ab=|a||b|.

    • a=0 o b=0, entonces por la propiedad algebraica e ab=0 y es evidente que |ab|=0=|a||b|.

  4. Sean a,bR tales que b>0. Si |a|b, entonces ab y ab, y para esta última desigualdad, si a<b se tiene

    (prop. orden g)a<b(1)(a)>(1)b(prop. algebraica f)(a)>b(prop. algebraica g)a>b

    Y si a=b entonces a=b, por lo que ab, y se concluye que bab.

    Para probar la otra implicación supongamos que bab, entonces ab y por otro lado ab, de donde se tiene, si a>b

    (prop. orden g)a>b(1)a<(1)(b)(prop. algebraica f)a<(b)(prop. algebraica g)a<b.

    Y si a=b entonces a=b, por lo que ab, y como b>0 se puede concluir que |a|<b.

  5. Sea aR. Como |a||a|, si |a|>0, por la propiedad anterior, se tiene que |a|a|a|, y si |a|=0, entonces a=0 y |0|0|0|.

  6. Sean a,bR. Por la propiedad anterior se tiene que |a|a|a| y |b|b|b| de manera que, por la propiedad de orden e, se cumple

    (|a|)+(|b|)a+b|a|+|b|

    y por el axioma 11 se tiene

    (|a|+|b|)a+b|a|+|b|

    de lo que se deduce por la propiedad d que |a+b||a|+|b|.

Veremos ahora una serie de consecuencias del axioma de completitud.

Proposición 2.5 Si un subconjunto no vacío AR tiene una cota inferior, entonces tiene un ínfimo mR.

Prueba. Se deja como ejercicio.

Teorema 2.4 (Propiedad arquimediana) Dado un número real aR con a>0, existe un número natural nN tal que a<n.

Prueba. Vamos a demostrarlo por reducción al absurdo. Supongamos que no existe nN tal que x<n. Entonces, x es una cota superior de N. Por tanto, por el axioma del supremo existe un número s=sup(N). Por ser supremo, se cumple que existe un número natural mN tal que s1<m, pero entonces se tiene que s<m+1, y como mN también m+1N, lo que contradice que s sea cota superior de N.

Corolario 2.1 De la propiedad arquimediana se deducen las siguientes consecuencias:

  1. Si a>0R, entonces nN tal que 0<1n<a.
  2. Si a>0R, entonces nN tal que n1a<n.

Prueba. Se deja como ejercicio.

Teorema 2.5 (Raíz cuadrada) Dado un número real aR con a>0, existe un número real xR tal que x>0 y x2=a. A este número se le llama raíz cuadrada de a y se denota por a o a1/2.

Prueba. Sea A={yR:y>0,y2<a}. A está acotado superiormente ya que si a>1, el propio a es una cota superior y si no 1 es una cota superior. Por tanto, según el axioma del supremo, existe xR tal que x=sup(A)>0. Vamos a probar que x2=a.

Supongamos primero que x2<a. Entonces ax2>0 y ax22x+1>0 ya que 2x+1>0 al ser x>0. Por el se tiene que existe nN tal que 1n<ax22x+1>0.

Por otro lado, se tiene

(x+1n)2=x2+1n2+2xn=x2+1n(1n+2x)x2+1n(2x+1)<<x2+ax22x+1(2x+1)=x2+(ax2)=a.

Por tanto, x+1nA, pero x+1n>x lo que contradice que x sea cota superior de A.

Supongamos ahora que x2>a. Entonces x2a>0 y x2a2x>0 al ser x>0. Aplicando de nuevo el se tiene que existe mN tal que 1m<x2a2x y por tanto 2xm<x2a.

Por otro lado, se tiene

(x1m)2=x2+1m22xm>x22xm>x2(x2a)=a.

Por tanto, x1m es una cota superior de A, pero x>x1m, lo que contradice que x=sup(A).

Así pues, x2a y x2a, por lo que tiene que ser x2=a.

Del mismo modo se puede probar que para cualquier número real aR con a>0 y para cualquier número natural nN existe un número real xR tal que x>0 y xn=a. A este número se le llama raíz n-ésima de a.

Teorema 2.6 (Densidad de los números racionales) Dados dos números reales a,bR con a<b, existe un número racional qQ tal que a<q<b.

Prueba. Como a<b se tiene que ba>0, de manera que por la propiedad arquimediana existe un número natural nN tal que 1n<ba. Por otro lado, como a>0 también na>0, y de nuevo por la propiedad arquimediana existe otro número real mN tal que m1na<m, de donde se deduce que m1na<mn.

Consideremos ahora el número racional q=mn. Acabamos de ver que a<q, por lo que solo falta probar que q<b. Para ello, volviendo de nuevo a que 1n<ba, se tiene que

1n<ba1<nbna1+na<nb pero como habíamos visto que m1na se deduce que 1+m1<nb, es decir m<nb, y de aquí se concluye que q=mn<b.

Corolario 2.2 (Densidad de los números irracionales) Dados dos números reales a,bR con a<b, existe un número irracional pRQ tal que a<p<b.

Prueba. Sabemos que 2RQ y que 2>0, por lo que al aplicar el teorema anterior a los números reales a2 y b2 se tiene que existe un número racional qQ tal que a2<q<b2, lo que implica que a<q2<b. Finalmente, si tomamos p=q2, tenemos que es un número irracional que cumple que a<p<q.

2.6 Clasificación de los conjuntos numéricos

Con estas extensiones se obtiene la siguiente clasificación de los conjuntos numéricos (se ha incluido también el conjunto de los números complejos C que no se verán en este manual.)

Complejos C{Reales R{Racionales Q{Enteros Z{Naturales NCero 0Enteros negativosFraccionariosIrracionalesImaginarios

En particular se cumple que NZQRC.