Posts Tagged ‘Axioma del supremo’

El principio de intervalos encajados

21/12/2009

El principio de intervalos cerrados encajados de Cantor es otra expresión de la completitud del cuerpo de los números reales. Un sistema de intervalos encajados es cualquier familia de intervalos \{I_\alpha\}_{\alpha \in \Lambda} con la propiedad de que para cada \alpha, \beta \in \Lambda se tiene I_\alpha \subseteq I_\beta o bien I_\beta \subseteq I_\alpha.

Teorema (Principio de intervalos encajados)
Si \{I_n\}_{n \in \mathbb{N}} es un sistema de intervalos cerrados encajados entonces

\displaystyle{\bigcap_{n \in \mathbb{N}} I_n \neq \emptyset.}

Si además se cumple que para cada \varepsilon >0 existe n \in \mathbb{N} tal que \text{diam}(I_n)<\varepsilon entonces la intersección se reduce a un único punto.

Demostración. Sea I_n = [a_n,b_n], donde a_n \leq b_n para cada n \in \mathbb{N}, y sean A=\{a_n:n \in \mathbb{N}\}, B=\{b_n:n \in \mathbb{N}\}. Está claro que A \neq \emptyset \neq B. Como los intervalos están encajados, se tiene la desigualdad a_n \leq b_m para cada n, m \in \mathbb{N}, y de aquí se deduce que A está acotado superiormente y B está acotado inferiormente. Ahora se sigue del axioma del supremo que existen \alpha=\sup A, \beta = \inf B. Es fácil comprobar que entonces

\displaystyle{\bigcap_{n \in \mathbb{N}} I_n =[\alpha,\beta],}

y que bajo la hipótesis adicional se tiene \alpha=\beta.

Como ilustración del principio de intervalos encajados en acción tenemos una demostración alternativa del teorema de Bolzano acerca de la existencia de ceros para una función continua en un intervalo.

Teorema de Bolzano
Si f:[a,b] \rightarrow \mathbb{R} es una función continua tal que f(a)<0<f(b) entonces existe x_0 \in (a,b) tal que f(x_0)=0.

Demostración. Tomamos el punto medio c=(a+b)/2 del intervalo [a,b]. Si f(c)=0 entonces hemos concluido. Si f(c)>0 entonces elegimos a_1=a, b_1=c, y si f(c)<0 entonces elegimos a_1=c, b_1=b, de modo que f(a_1)<0<f(b_1) y b_1-a_1=(b-a)/2. Ahora tomamos el punto medio c_1=(a_1+b_1)/2 del intervalo [a_1,b_1]. Si f(c_1)=0 entonces hemos concluido. Si f(c_1)>0 entonces elegimos a_2=a_1, b_2=c_1, y si f(c_1)<0 entonces elegimos a_2=c_1, b_2=b_1, de modo que f(a_2)<0<f(b_2) y b_2-a_2=(b-a)/2^2. Continuando este proceso se obtiene una familia \{I_n\}_{n \in \mathbb{N}} de intervalos cerrados encajados I_n=[a_n,b_n] tales que f(a_n)<0<f(b_n) y \text{diam}(I_n)=(b-a)/2^n. Según el principio de intervalos encajados, existe algún número real

\displaystyle{x_0 \in \bigcap_{n \in \mathbb{N}} I_n.}

Afirmamos que f(x_0)=0. Supongamos lo contrario, digamos f(x_0)>0. Como f es continua en x_0, existe \varepsilon >0 tal que f(x)>0 para cada x \in  (x_0-\varepsilon,x_0+\varepsilon). Sea n \in \mathbb{N} tal que \text{diam}(I_n)<\varepsilon. Tenemos x_0 \in I_n \subseteq  (x_0-\varepsilon,x_0+\varepsilon), luego f(a_n)>0, lo cual es absurdo. Cuando f(x_0)<0 se razona de forma análoga.

La propiedad arquimediana

20/10/2009

El axioma del supremo asegura que cualquier conjunto de números reales no vacío y acotado superiormente tiene cota superior mínima. La propiedad arquimediana de la suma es una importante consecuencia de este axioma.

Proposición. Si a, b \in \mathbb{R} son números reales con a > 0 entonces existe un número natural n \in \mathbb{N} tal que na > b.

Demostración. Razonamos por reducción al absurdo. Supongamos por un momento que para cualquier número natural n \in \mathbb{N} se tiene la desigualdad na \leq b. Consideremos el conjunto A=\{na : n \in \mathbb{N}\}. Tenemos a \in A, de modo que A \neq \emptyset. Además, A está acotado superiormente porque b es una cota superior de A. Ahora se sigue del axioma del supremo que existe \alpha = \sup A. Observemos que \alpha - a  < b, de manera que \alpha  < (n+1)a. Esto es una contradicción porque así \alpha no es cota superior de A.


Seguir

Recibe cada nueva publicación en tu buzón de correo electrónico.