La Recta Real
En este post vamos a comenzar una colección relacionada con el cálculo en una variable. Vamos a ver algunos objetos que podemos considerar en el conjunto de números reales y vamos a ir aprendiendo a utilizarlos y ver cómo detrás de cada elemento matemático siempre hay una razonamiento relativamente "simple".
LA RECTA REAL
Ya hemos hablado anteriormente de cómo los números reales son el primer conjunto que se nos viene a la cabeza y del cual podemos pensar que "no deja huecos" cuando lo representamos gráficamente. Es decir, si pensamos en poner cada número en un punto de una línea recta (de menor a mayor), entonces este conjunto es el primero que llena la recta entera sin dejar huecos. Para esto es esencial la propiedad del supremo, de la cual ya hablamos en el anterior post. Lo que veremos ahora son algunas propiedades algebraicas de $\mathbb{R},$ la función valor absoluto y cómo $\mathbb{R}$ es un espacio métrico, que le otorga una serie de propiedades muy buenas.
PROPIEDADES ALGEBRAICAS DE $\mathbb{R}$
Los números reales forman un cuerpo, es decir, un anillo conmutativo con unidad y en el cual todo elemento (salvo el $0$) tiene inverso multiplicativo. Además, por ser un cuerpo es también un tipo de anillo especial llamado dominio (o dominio de integridad) que posee la propiedad de que si $a$ y $b$ son ambos distintos de $0$ entonces $a\cdot b$ también es distinto de $0.$ Esto no se cumple en cualquier tipo de anillo, pero sí en $\mathbb{R}.$ También ocurre que en $\mathbb{R},$ por ser un grupo abeliano (con la operación suma), la ecuación $x+a=a$ tiene solución única y es $x=0.$ Estas propiedades nos permiten trabajar con ecuaciones con números reales de forma cómoda y poder deducir muchos resultados.
EL VALOR ABSOLUTO
La función valor absoluto es una función definida en $\mathbb{R}$ definida de la forma: $$|x|=\begin{cases} \ \ \ x &\text{ si }x\geq 0 \\-x &\text{ si } x<0 \end{cases}$$ es decir, si un número es positivo (o $0$) entonces su valor absoluto es él mismo, y si es negativo, su valor absoluto es él mismo pero cambiado de signo (para que sea positivo). Por tanto siempre se tiene $x\leq |x|$ y si nos fijamos bien, también se tiene $-|x|\leq x,$ es decir, con poco esfuerzo se puede ver $-|x|\leq x \leq |x|.$
Ahora, si nos damos un número real $b\geq 0$ y otro número $a,$ podemos pensar en cuándo $|a|\leq b.$ No es difícil darse cuenta de que esto ocurre si y sólo si $-b\leq a \leq b$ y de la misma forma ocurriría si hubiésemos considerado la desigualdad estricta, habríamos obtenido el mismo resultado pero con las desigualdades estrictas.
Estas dos pequeñas observaciones son las que nos van a permitir demostrar un resultado muy útil: la desigualdad triangular, que entre otras cosas permite considerar el valor absoluto de la diferencia de dos números como una distancia entre ellos dos, y dota al conjunto de números reales de una métrica, de manera que lo convierte en un espacio métrico, (cosa que es muy conveniente). Vamos a enunciarla:
$\text{Teorema (Desigualdad Triangular).}$ Sean $a,b \in \mathbb{R}.$ Entonces $|a+b|\leq |a|+|b|.$
Sean $a,b\in \mathbb{R}.$ Hemos visto que tenemos las desigualdades $-|a|\leq a \leq |a|$ y $-|b|\leq b \leq |b|.$ Sumándolas, obtenemos $-(|a|+|b|)\leq a+b \leq |a|+|b|.$ Aplicando la segunda observación que hemos hecho antes, tenemos $|a+b|\leq |a|+|b|$ y hemos terminado.
DISTANCIAS
Ahora veamos lo que es una distancia en matemáticas y veamos que precisamente el valor absoluto nos produce una función distancia. En matemáticas, dado un conjunto $X$ y una función $d:X\times X \longrightarrow \mathbb{R},$ decimos que $d$ es una distancia (o métrica) en $X$ cuando cumple:
- $d(x,y)\geq 0$ para todo $x,y \in X$ y $d(x,y)=0 \Longleftrightarrow x=y.$
- $d(x,y)=d(y,x)$ para todo $x,y \in X.$
- $d(x,y)\leq d(x,z) + d(z,y)$ para todo $x,y,z \in X.$
Además, se llama espacio métrico al par $\left(X,d\right),$ o simplemente se dice que $X$ es un espacio métrico con la métrica (o distancia) dada por $d.$
Retomando lo que nos interesa: en efecto, si definimos $d(x,y)=|y-x|$ podemos ver que se cumplen las tres propiedades anteriores y por tanto $d$ es una distancia en $\mathbb{R}.$ Ésta es la distancia habitual en $\mathbb{R},$ la más intuitiva; sin embargo, no es la única que podemos definir en $\mathbb{R},$ se nos pueden ocurrir muchísimas distancias distintas.
Vamos a ver que $d(x,y)=|y-x|$ cumple las $3$ propiedades anteriores:
- Es evidente que $d(x,y)=|y-x|\geq 0,$ pues $|a| \geq 0\ \forall a \in \mathbb{R},$ y si $x,y \in \mathbb{R},$ entonces $y-x \in \mathbb{R}.$
- Es fácil ver que $|a|=|-a|,$ y por tanto: $$d(x,y)=|y-x|=|-(y-x)|=|x-y|=d(y,x).$$
- Si tenemos $x,y,z\in \mathbb{R},$ utilizando la desigualdad triangular tenemos el desarrollo: $$ \begin{align*}d(x,y) &=|y-x|=|y-z+z-x| \leq |y-z|+|z-x|=\\ &=d(z,y)+d(x,z)=d(x,z)+d(z,y). \end{align*}$$Luego $d(x,y)\leq d(x,z)+d(z,y).$
INTERVALOS Y ENTORNOS
Para finalizar el post, vamos a echarle un vistazo a un par de conceptos que podemos precisar ahora que tenemos la noción de lo que es la distancia habitual de $\mathbb{R}.$ De un conjunto que contenga a un número en particular, $x,$ vamos a decir que es un entorno suyo. Además, normalmente nos vamos a referir a unos entornos en particular que son las "bolas". Dado un punto, $x,$ y un radio, $r,$ llamaremos "bola abierta centrada en $x$ y de radio $r$" al conjunto: $$B_r(x)=B(x,r)=\left\lbrace y \in \mathbb{R}: \ d(x,y)=|y-x| < r \right\rbrace.$$De manera similar diremos que la bola es cerrada cuando la desigualdad no sea estricta y lo denotaremos por $\overline{B_r(x)}=\overline{B(x,r)}.$ Esto último de abierto y cerrado tiene que ver con la topología de $\mathbb{R},$ y para lo que vamos a ver nosotros no nos es necesario por ahora, pero está bien utilizar la notación adecuada.
Si nos fijamos bien, en $\mathbb{R}$ podemos pensar en los entornos de los puntos como los trozos de la recta real dentro de los cuales están dichos puntos. En particular, una bola de centro $x$ y radio $r$ es un trozo de la recta real que tiene al punto $x$ y a todos los que estén a una distancia menor que $r$ de $x$, es decir:
$$B_r(x)=\left\lbrace y\in \mathbb{R}: \ x-r < y < x+r \right\rbrace.$$Esto es un ejemplo de un intervalo. Dependiendo de si los extremos están o no, hay $4$ tipos de intervalos distintos:
- $(a,b)=\left\lbrace y\in \mathbb{R}: \ a< y < b \right\rbrace$
- $[a,b)=\left\lbrace y\in \mathbb{R}: \ a\leq y < b \right\rbrace$
- $(a,b]=\left\lbrace y\in \mathbb{R}: \ a< y \leq b \right\rbrace$
- $[a,b]=\left\lbrace y\in \mathbb{R}: \ a \leq y \leq b \right\rbrace$
El primero se conoce como intervalo abierto, y el cuarto como intervalo cerrado. Las bolas abiertas de centro $x$ y radio $r$ son lo mismo que intervalos abiertos de la forma $(x-r,x+r),$ y las cerradas son de la forma $[x-r,x+r].$
Comentarios
Publicar un comentario