Teoremas de densidad

Una de las principales aplicaciones de la propiedad arquimediana, recae en las demostraciones referidas a conjuntos densos. Antes de adentrarnos en ello, damos una definición:

Dado (X,τ) espacio topológico, decimos que YX es denso en X si, y solo si: ¯Y=X. En términos más sencillos y aplicables a este contexto (métrico), Y es denso en X si dados dos elementos en X, encuentro uno entre medio que pertenezca a Y.

Por ejemplo, Y=[0,2]{1} es denso en X=[0,2], pues ¯Y=X y en concreto: a,bX:a<brY:a<r<b. Antes de comenzar a demostrar, trabajamos la conocida como parte entera.

Sea x>0, definimos la parte entera de x como: [x]=sup
(tiene sentido esta definición pues el conjunto del que tomamos supremo es acotado superiormente por x y no vacío, ya que 0 pertenece al mismo)

Veamos ahora que [x]\in \mathbb{N}. Denotamos A= \{n \in \mathbb{N}: n\leq x \}. Por caracterización de supremo, tomando \varepsilon = \frac{1}{2}, se debe encontrar un n_0 \in A: n_0 \geq [x] - \frac{1}{2}. Veamos ahora que n_0 es cota superior de A. En efecto, si tenemos un n\in \mathbb{N}: n > n_0 \Leftrightarrow n\geq n_0 +1. En base a la relación subrayada en rojo: n_0+1 \geq [x] + \frac{1}{2} > \sup(A). En consecuencia n>n_0 no pertenece a A. Teniendo n_0 \in A cota superior, necesariamente: \max A = n_0 = \sup(A) \in \mathbb{N}. Listo ;)

(Densidad de \mathbb{Q} en \mathbb{R}) \forall a,b\in \mathbb{R}: a<b, \exists r\in \mathbb{Q} : a<r<b.

Proof: Se tiene que b-a>0. Por la propiedad arquimediana: \exists n\in \mathbb{N}: n > \frac{1}{b-a} \Rightarrow b-a > \frac{1}{n} \quad (1) Sea p=[na]\in \mathbb{Z} la parte entera de na, se tiene por definición: p \leq na<p+1 \Leftrightarrow \underset{(2)}{\underbrace{a \geq \frac{p}{n}}} \ \wedge \ \underset{(3)}{\underbrace{a < \frac{p+1}{n}}} Finalmente: b=a+(b-a) \underset{1,2}{>} \frac{p}{n} + \frac{1}{n} = \frac{p+1}{n} \underset{3}{>} a En conclusión: a < \frac{p+1}{n} < b \quad , \frac{p+1}{n} \in \mathbb{Q}

\square

(Densidad de \mathbb{R}-\mathbb{Q} = \mathbb{I} en \mathbb{R}) \forall a,b\in \mathbb{R}: a<b, \exists r\in \mathbb{R}-\mathbb{Q} : a<r<b.

Proof: Sea \rho \in \mathbb{R}-\mathbb{Q}: \rho>0. Por axiomática del orden: a-\rho < b-\rho. Aplicando el teorema de densidad de \mathbb{Q} en \mathbb{R}, encontramos q\in \mathbb{Q} verificando: a-\rho < q < b-\rho \equiv a<\rho +q < b. Ya que la suma de un racional con un irracional es irracional, el número que buscamos es \varphi = \rho +q.

\square

De manera alternativa, dados r,s\in \mathbb{Q} tales que a<r<s<b, el número irracional r+ \frac{s-r}{\sqrt{2}}, que es mayor que r y menor que s.


Anterior post - Siguiente post

Volver al artículo (Cálculo Diferencial de una variable real)

Comentarios