2 El sistema de los números reales
En este capítulo se estudia el conjunto de los números reales
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
El primer conjunto de números que tradicionalmente suele estudiarse en el colegio son los números naturales
En los números naturales se define una relación de orden
- Propiedad de cierre de la suma:
. - Propiedad asociativa de la suma:
. - Propiedad conmutativa de la suma:
. d.Propiedad de cierre del producto: . - Propiedad asociativa del producto:
. - Propiedad conmutativa del producto:
. - Elemento neutro del producto:
. - Propiedad distributiva del producto sobre la suma:
.
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
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 (
Extendiendo el orden y las operaciones de los naturales a estos números se obtiene el conjunto de los números enteros
- Propiedad de cierre de la suma:
. - Propiedad asociativa de la suma:
. - Propiedad conmutativa de la suma:
. - Elemento neutro de la suma:
. - Elemento simétrico (u opuesto) de la suma:
. - Propiedad de cierre del producto:
. - Propiedad asociativa del producto:
. - Propiedad conmutativa del producto:
. - Elemento neutro del producto:
. - Propiedad distributiva del producto sobre la suma:
.
Al introducir el opuesto de la suma, se puede definir bien la resta como
En el conjunto de los enteros todo número tiene un anterior y un posterior.
2.3 El conjunto de los números racionales
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
Extendiendo el orden y las operaciones de los enteros a estos números se obtiene el conjunto de los números racionales
- Propiedad de cierre de la suma:
. - Propiedad asociativa de la suma:
. - Propiedad conmutativa de la suma:
. - Elemento neutro de la suma:
. - Elemento simétrico (u opuesto) de la suma:
. - Propiedad de cierre del producto:
. - Propiedad asociativa del producto:
. - Propiedad conmutativa del producto:
. - Elemento neutro del producto:
. - Elemento simétrico (inverso) del producto:
. - Propiedad distributiva del producto sobre la suma:
.
Al introducir el inverso del producto, se puede definir la división como
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
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
Teorema 2.2 (Irracionalidad de
Prueba. Probar que
Supongamos que existe un número
De aquí se puede deducir que
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,
o lo que es lo mismo, simplificando
Si ahora sumamos
de manera que el número
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
Axiomas de cuerpo algebraico
Axioma 1. Propiedad de cierre de la suma:
, .Axioma 2. Propiedad asociativa de la suma:
, .Axioma 3. Propiedad conmutativa de la suma:
, .Axioma 4. Elemento neutro de la suma:
, existe un elemento , tal que .Axioma 5. Elemento simétrico (u opuesto) de la suma:
, existe un número , tal que .Axioma 6. Propiedad de cierre del producto:
, .Axioma 7. Propiedad asociativa del producto:
, .Axioma 8. Propiedad conmutativa del producto:
, .Axioma 9. Elemento neutro del producto:
, existe un número , tal que .Axioma 10. Elemento simétrico (o inverso) del producto:
, existe un número , tal que .Axioma 11. Propiedad distributiva del producto sobre la suma:
, .
Axiomas de orden. Existe un subconjunto no vacío
Axioma 12. Cierre del la suma en los reales positivos:
, .Axioma 13. Cierre del producto en los reales positivos:
, .Axioma 14. Propiedad de tricotomía:
, una y solo una de las siguientes alternativas es cierta: , o .
Axioma de completitud
- Axioma 15. Axioma del supremo: Si un subconjunto no vacío
tiene una cota superior, entonces tiene un supremo .
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
Definición 2.2 (Resta) Dados dos números reales
Definición 2.3 (División) Dados dos números reales
Definición 2.4 (Potencia) Dado un número reales
A
Proposición 2.1 (Propiedades de algebraicas) De los axiomas de cuerpo algebraico de los números reales se deducen las siguientes propiedades:
El elemento neutro de la suma (
) es único: , si , entonces .El elemento neutro del producto (
) es único: , si , entonces .El elemento opuesto de un número real es único:
, si , entonces .El elemento inverso de un número real es único:
, si , entonces .El producto de cualquier número real por el elemento neutro de la suma, es el elemento neutro de la suma:
, .El producto de cualquier número real por el opuesto de
es el opuesto del número: .El opuesto del opuesto de un número real es el propio número:
, .El producto de los opuestos de dos números reales es igual al producto de los números:
, .El inverso de un número real distinto de
también es distinto de : , si , entonces .El inverso del inverso de un número real distinto de 0 es el propio número:
, si , entonces . , si y , entonces .Si el producto de dos números reales es
, entonces alguno de los dos números es : , si , entonces o .El inverso del producto de dos números distintos de
es el producto de los inversos: , si y , entonces .
Prueba. Veamos la prueba de cada propiedad.
Supongamos que existe
tal que . EntoncesSupongamos que existe
tal que . EntoncesSean
tales que . EntoncesSean
tales que . EntoncesPara cualquier
, se tieneAsí pues, por la propiedad (a) se tiene que
.Para cualquier
, se tieneComo
, aplicando la propiedad (c) se tiene .Para cualquier
, se tienePara cualesquiera
,se tieneSea
con . Supongamos ahora que . Entonces,Así pues, llegamos a que
, lo cual es absurdo, por lo que .Para cualquier
, se tieneSean
tales que y . Entonces se tieneSean
tales que . Supongamos que , entonces se tieneSean
, tales que y . Entonces, por la propiedad (l) se tiene , y se tiene
A partir del axioma de tricotomía se puede descomponer el conjunto de los números reales en tres conjuntos disjuntos, los positivos
Definición 2.5 (Números reales positivos y negativos) Dado un número
es estríctamente positivo, y lo notamos , si . es positivo, y lo notamos , si o . es estríctamente negativo, y lo notamos , si . es negativo, y lo notamos , si o .
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
es menor que , y lo notamos , si . es menor o igual que , y lo notamos , si o . es mayor que , y lo notamos , si . es mayor o igual que , y lo notamos , si o .
De esta definición y los axiomas de orden de los números reales se deduce que la relación
Proposición 2.2 La relación menor o igual
- Reflexiva:
, . - Antisimétrica:
, si y , entonces . - Transitiva:
, si y , entonces .
Prueba. Veamos que la relación
Propiedad reflexiva: Para cualquier
se cumple que , luego .Propiedad antisimétrica: Para cualesquiera
, si y , se tiene que y , de donde se deduce, por el axioma de tricotomía, que , y aplicando los axiomas 4 y 5 se llega a .Propiedad transitiva: Para cualesquiera
, tales que y , se tiene que y . Supongamos que y . Entonces, por el axioma 12 se tieneSi
, entonces y como resulta evidente que . El mismo razonamiento puede aplicarse si .
Proposición 2.3 (Propiedades de orden) De los axiomas de orden de los números reales se deducen las siguientes propiedades:
El cuadrado de cualquier número real distinto de
es positivo: , si , entonces .El elemento neutro de la suma es menor que el elemento neutro del producto:
.Cualquier número natural es positivo:
, .La suma preserva el orden:
, si , entonces . , si y , entonces .El producto por un número real positivo preserva el orden:
, si y , entonces .El producto por un número real negativo invierte el orden:
, si y , entonces .El inverso de un número real positivo es positivo y el de un número real negativo es negativo:
, si , entonces , y si , entonces .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:
, si y solo si y , o y .El producto de dos números reales es negativo si y solo si uno de los números es positivo y el otro negativo:
, si y solo si y , o y . , si , entonces .Cualquier número no negativo que es menor que cualquier número positivo es
: , si y , entonces .
Prueba. Veamos la prueba de cada propiedad.
Sea
con . Entonces, por la propiedad de tricotomía se tiene que o .Si
, entonces, por el axioma 13, se tiene , y por tanto , de manera que .Si
, entonces, de nuevo por el axioma 13, se tieney se concluye de nuevo que
.Por el axioma 9 se tiene que
, y por la propiedad anterior se tiene que , con lo que .Haremos la prueba por inducción. Para
ya hemos visto en resultado anterior que . Supongamos ahora que para cualquier se cumple que . Entonces, como , por el axioma 12 se tiene que , de lo que se deduce, por los axiomas 5 y 4 que .Sean
tales que . Entonces . Si tomamos ahora cualquier se cumple queSean
tales que y . Entonces se tieneSean
tales que . Entonces . Si tomamos ahora cualquier con , se cumple queSean
tales que . Entonces . Si tomamos ahora cualquier con , entonces y se cumple queSea
tal que . Entonces, por la propiedad de tricotomía, y, por la propiedad algebraica i, . Supongamos que . Entonces, se tieneDe esta manera llegamos a una contradicción y por consiguiente,
.De forma similar se prueba que si
, entonces .Sean
tales que . Entonces, por la propiedad algebraica e se tiene y , y por la propiedad de tricotomía se tiene que o .Si
, entonces por la propiedad anterior, , y se tieneY si
, entonces, por la propiedad anterior, , y se tienePara probar la otra implicación, si
y , por el axioma 13 se tiene que , y si y entonces se tieneSe demuestra de forma análoga a la propiedad anterior.
Sean
tales que . Entonces se tienePor otro lado,
Así pues, se puede concluir que
y ahora se tieneSea
tal que con . Como se tiene que o . Si , por la propiedad anterior se tiene . Si ahora tomamos se tiene que , lo cual es absurdo, y, por tanto, debe ser .
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
Ejemplo 2.1
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:
El valor absoluto de un número real y de su opuesto es el mismo:
, . , .El valor absoluto del producto de dos números reales es igual que el producto de los valores absolutos de los números:
, . , si entonces si y solo si . , .Desigualdad triangular:
, .
Prueba. Veamos la prueba de cada propiedad.
Sea
. Si entonces |0|=0=|-0|.Si
entonces , de modo que por la propiedad algebraica g se tiene $|a|= a = -(-a) = |-a|.Y si
entonces , de modo que .Para cualesquiera
se tienePara cualesquiera
, se pueden dar varios casos:Si
y , entonces, por el axioma 12, y .Si
y , entonces, por la propiedad de orden j, , y se tieneSi
y , la prueba es similar al caso anterior.Si
y , entonces por la propiedad de orden i, , y se tiene o , entonces por la propiedad algebraica e y es evidente que .
Sean
tales que . Si , entonces y , y para esta última desigualdad, si se tieneY si
entonces , por lo que , y se concluye que .Para probar la otra implicación supongamos que
, entonces y por otro lado , de donde se tiene, siY si
entonces , por lo que , y como se puede concluir que .Sea
. Como , si , por la propiedad anterior, se tiene que , y si , entonces y .Sean
. Por la propiedad anterior se tiene que y de manera que, por la propiedad de orden e, se cumpley por el axioma 11 se tiene
de lo que se deduce por la propiedad d que
.
Veremos ahora una serie de consecuencias del axioma de completitud.
Proposición 2.5 Si un subconjunto no vacío
Prueba. Se deja como ejercicio.
Teorema 2.4 (Propiedad arquimediana) Dado un número real
Prueba. Vamos a demostrarlo por reducción al absurdo. Supongamos que no existe
Corolario 2.1 De la propiedad arquimediana se deducen las siguientes consecuencias:
- Si
, entonces tal que . - Si
, entonces tal que .
Prueba. Se deja como ejercicio.
Teorema 2.5 (Raíz cuadrada) Dado un número real
Prueba. Sea
Supongamos primero que
Por otro lado, se tiene
Por tanto,
Supongamos ahora que
Por otro lado, se tiene
Por tanto,
Así pues,
Del mismo modo se puede probar que para cualquier número real
Teorema 2.6 (Densidad de los números racionales) Dados dos números reales
Prueba. Como
Consideremos ahora el número racional
Corolario 2.2 (Densidad de los números irracionales) Dados dos números reales
Prueba. Sabemos que
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
En particular se cumple que