El axioma del supremo
Introducción
El axioma del supremo es lo que hace a los reales los reales. Por ejemplo, los números racionales satisfacen todos los axiomas de campo y de orden de la sección anterior, sin embargo, el cálculo diferencial e integral usa a los números reales por que en éstos se puede asegurar (entre otras muchas cosas): la solución a un gran número de ecuaciones algebráicas, la convergencia de límites y series, la existencia de derivadas. Otras palabras que se usan para expresar lo anterior es que los números reales son completos, lo que se pueden pensar como que la recta real no tiene hoyos. Esta seccíon es muy importante pues trata al axioma del supremo, sus propiedades y consecuencias.
Definición
Un conjunto no vacío \(A \subseteq \mathbb{R}\) se llama:- acotado superiormente si existe \(M\) tal que \(a \leq M\), para toda \(a\in A\).
- acotado inferiormente si existe \(m\) tal que \(m \leq a\), para toda \(a\in A\).
Ejercicio
Sea \(m>0\) y \(a,b\in \mathbb{R}\).- Demuestra que el intervalo solución de \(\{ x: mx+b \leq a \}\) siempre está acotado superiormente.
- Demuestra que el intervalo solución de \(\{x: x^2-3mx+2m^2 \leq 6m^2\}\) está acotado superior e inferiormente.
Ejercicio
Fija \(a>0\) y define \(S=\{ x \geq 0: x^2 \leq a \}\). Demuestra que \(A\) está cotado superiormente.
Sugerencia: primero, usa el Ejercicio 1.26 para notar \(a<(1+a)^2\); después, para \(x\in S\), prueba \(0< (1+a)^2-x^2\); finalmente, usa diferencia de cuadrados para probar \(x< 1+a\), para toda \(x\in S\).
Ejercicio
Con un poco más de trabajo se puede generalizar el Ejercicio 2.4.
Fija \(n\in \mathbb{N}\), \(n \geq 2\) y \(a>0\). Define \(S=\{ x \geq 0: x^n \leq a\}\). Demuestra que \(1+a\) es cota superior de \(S\).
Sugerencia: Primero usa el Ejercicio 1.26 para obtener \(a<(1+a)^n\); para probar \(x< 1+a\) usa el Ejercicio 1.18.
Definición
El supremo de un conjunto \(S\) es la cota superior más chica. Es decir, \(\alpha\) es el supremo de \(S\) si satisface:
- \(x \leq \alpha\), para todo \(x\in S\);
- si \(M\) satisface \( x \leq M \), para todo \(x\in S\) entonces \(\alpha \leq M \).
El ínfimo de un conjunto \(S\) es la cota inferior más grande. Es decir, \(\alpha\) es el ínfimo de \(S\) si satisface:
- \(\alpha \leq x\), para todo \(x\in S\);
- si \(m\) satisface \( m \leq x \), para todo \(x\in S\) entonces \(m \leq \alpha\).
Notación: por \(\sup(A)\), \(\inf(A)\), denotamos el supremo e ínfimo del conjunto \(A\), respectivamente (siempre que éstos existan).
Ejercicio
El supremo de un conjunto (de existir) es único, es decir, demuestra que si \(\alpha\) y \(\beta\) son dos números que satisfacen las dos condiciones de la definición del supremo entonces \(\alpha=\beta\).
El ínfimo de un conjunto (de existir) es único, es decir, demuestra que si \(\alpha\) y \(\beta\) son dos números que satisfacen las dos condiciones de la definición del ínfimo entonces \(\alpha=\beta\).
Ejercicio
Caracterización del supremo.
Demuestra que \(\alpha\) es el supremo de \(S\) si y sólo si \(\alpha\) satisface:
- \(\alpha\) es cota superior de \(S\);
- para todo \(\varepsilon>0\), exsite \(x_0 \in S\) tal que \(\alpha- \varepsilon < x_0\).
Caracterización del ínfimo.
Demuestra que \(\alpha\) es el ínfimo de \(S\) si y sólo si \(\alpha\) satisface:
- \(\alpha\) es cota inferior de \(S\);
- para todo \(\varepsilon>0\), exsite \(x_0 \in S\) tal que \(\alpha + \varepsilon > x_0\).
Axioma del supremo
Todo subconjunto no vacío de reales, acotado superiormente tiene supremo.
Nota: una vez que se estipula el axioma del supremo, no es necesario estipular el axioma del ínfimo, pues a partir del axioma del supremo se puede probar la siguiente propiedad (que sería el enunciado del axioma del ínfimo)
Todo subconjunto no vacío de reales, acotado inferiormente tiene un ínfimo.
Ver Ejercicio 2.15 más adelante.
Teorema.
El principio Arquimideano
Sea \(x>0\) fijo y arbitrario. Demuestra que existe un natural \(n\) que satisface \(x< n\).
Sugerencia: usa el ejercicio anterior.
Ejercicio
Sea \(x>0\) fijo y arbitrario. Demuestra que existe un natural que satisface \(\frac{1}{n}< x\).Sugerencia: aplica la propiedad Arquimideana a \(\frac{1}{x}\).
Ejercicio
Considera el conjunto
\[ A=\left\{ \frac{1}{n}: n=1,2,\dots \right\} \] Demuestra que \(\inf(A)=0\). Sugerencia: usa el Ejercicio 2.12.
Ejercicio
Considera dos conjuntos no vacios, \(A,B \subseteq \mathbb{R}\) y supon que \(A \subseteq B\). Demuestra:
- Si \(B\) está acotado superiormente también \(A\) y \(\sup(A) \leq \sup(B)\).
- Si \(B\) está acotado inferiormente también \(A\) y \(\inf(B)\leq \inf(A).\)
Ejercicio
Sea \(\emptyset \ne A \subseteq \mathbb{R}\). Define
\[ B=\{-a: a\in A\}. \]Demuestra que si \(A\) está acotado superiormente entonces \(B\) está acotado inferiormente y que
\[ \inf(B)=-\sup(A). \]Usa lo anterior junto con el axioma del supremo para probar que todo subconjunto no vacío y acotado inferiormente de \(\mathbb{R}\) admite ínfimo.
Ejercicio
Sea \(\emptyset \ne A \subseteq \mathbb{R}\) y sean \(\gamma \in \mathbb{R}\) y \(\beta \in \mathbb{R}^+\), fijos y arbitrarios. Define el siguiente conjunto
\[ B=\{\beta a : a\in A\}, \quad C=\{\gamma+a: a\in A\}. \]Si \(A\) está acotado superiormente demuestra que \(B\) y \(C\) también están acotados superiormente y que
\[ \sup(B)=\beta \sup(A), \quad \sup(C)=\gamma+\sup(A) \]Notación: por simplicidad denotamos \[ \beta A := \{\beta a : a\in A\}, \quad \gamma+ A:=\{\gamma +a : a\in A\} \] Notar que esto es un abuso de notación, pues en \(\gamma +A\) por ejemplo, \(\gamma\) es un escalar pero \(A\) es un conjunto y el "resultado", \(\gamma+A\), es un conjunto.
Con ésta notación las fórmulas de éste ejercicio se pueden escribir \[ \sup(\beta A)= \beta\sup(A), \quad \sup(\gamma +A)=\gamma +\sup(A). \]
Hay fórmulas similares para el ínfimo: \[ \inf(\beta A)= \beta\inf(A), \quad \inf(\gamma +A)=\gamma +\inf(A). \]
Ejercicio
Sean \(A\) y \(B\) dos conjuntos no vacíos acotados superiormente. Define el conjunto: \[ A+B:=\{a+b| a\in A, b\in B\} \] Prueba que \(A+B\) está acotado superiormente y que \[ \sup(A+B)=\sup(A)+\sup(B) \]
Ejercicio
Cada número real no negativo tiene una única raíz cuadrada no negativa. Es decir, para todo \(a>0\) existe \(\alpha >0\) tal que \(\alpha^2=a\).
Sugerencia: Fija \(a>0\). Define el conjunto
\[ S=\{ x \geq 0: x^2 \leq a \}. \]Como \(0^2=0\), \(0\in S\) asi que \(S \ne \emptyset\), además por el Ejercicio 2.4, \(S\) está acotado superiormente. Por el axioma del supremo existe \(\alpha:= \sup(S)\). Demuestra que \(\alpha^2=a\).
Ejercicio
Sea \(a>0\). Demuestra que si \(\alpha, \beta \in \mathbb{R}^+\) satsfacen \(\alpha^2=a\) y \(\beta^2=a\) entonces \(\alpha=\beta\).
Sugerencia: usa diferencia de cuadrados.
Definición
Dada \(a>0\) por \(\sqrt{a}\) denotamos al único número positivo cuyo cuadrado es \(a\). Por los dos ejercicios anteriores se asegura que, para toda \(a>0\), \(\sqrt{a}\) existe y es única.
Usando ideas similares a los dos ejercicios anteriores, se puede probar que para todo número \(a>0\) y todo natural \(n\geq 2\), existe un único real positivo, denotado \(\sqrt[n]{a}\), con la propiedad de que \((\sqrt[n]{a})^n=a\).
Una propiedad que es muy útil y que se probará más adelante es que si \(0< a < b\) entonces \(0< \sqrt[n]{a} < \sqrt[n]{b}\).
Ejercicio
Sea \(A\) un conjunto no vacío, acotado superiormente y contenido en \([0,\infty)\). Define el conjunto \[ A^2:=\{a^2: a\in A\}. \] Prueba que \(A^2\) está acotado superiormente y \[ \sup(A^2)=(\sup(A))^2. \]
Sugerencia: pudes usar que si \(0< a < b\) entonces \(0< a^2 < b^2\) y \(0 < \sqrt{a}< \sqrt{b}\).
Ejercicio
Fija \(a>0\). Si \(x\in \mathbb{R}\) satisface \(x^2=a\) demuestra que \(x=\sqrt{a}\) o que \(x=-\sqrt{a}\).
Ejercicio
Considera el rectangulo de base \(b\) y altura \(h\).
En el primer paso divide el rectangulo en 4 rectangulos iguales y denota por \(a_1\) al area del rectangulo inferior izquierdo.
En el segundo paso divide el rectangulo superior derecho en 4 partes iguales y denota por \(a_2\) al area del rectangulo inferior izquierdo.
Continua el proceso, como se ve en la figura.
Construye el conjunto \[ A=\{ a_1, a_1+a_2, a_1+a_2+a_3, \dots \} \]
Encuentra el supremo de \(A\).
Sugerencia: Denota por \(a\) al area del rectángulo; usa un argumento geométrico para notar que
\begin{eqnarray*} 3a_1&=& a-\left(\frac{b}{2} \right) \left(\frac{h}{2}\right)\\ 3a_1+3a_2&=&a-\left(\frac{b}{2^2} \right) \left( \frac{h}{2^2} \right)\\ 3a_1+3a_2+3a_3&=&a-\left(\frac{b}{2^3}\right)\left(\frac{h}{2^3} \right) \end{eqnarray*}Ejercicio
Demuestra que \[ \sup \left\{ \sum_{k=1}^n \frac{1}{4^k}: n=1,2,\dots \right\}=\frac{1}{3} \] Sugerencia: usa un método similar al Ejercicio 2.23, usando un cuadrado de lado 1.Ejercicio
Considera un triángulo equilatero, de lado 1.
En el primer paso divide el triángulo en 4 triángulos equilateros congruentes y denota por \(a_1\) el area de dichos triángulo.
En el segundo paso divide uno de los triángulos del paso anterior en 4 triángulos congruentes y denota por \(a_2\) el area de dichos triángulos.
Continua el proceso y construye el conjunto \[ A=\{ a_1, a_1+a_2, a_1+a_2+a_3, \cdots \} \]
Demuestra \(\sup(A)=\frac{\sqrt{3}}{12}\).Sugerencia: usa un método parecido al Ejercicio 2.23.
Ejercicio
Prueba que \[ \sup\left( \left\{ 3-\frac{4}{n^2}+\frac{8}{n}: n=1,2,\dots \right\} \right)=7 \]