Archivo de la categoría: Análisis Matemático I

Espacios de funciones

Por Lizbeth Fernández Villegas

Introducción

En las entradas anteriores hablamos de métricas definidas en distintos conjuntos. Trabajamos a partir de las distancias entre elementos representados como puntos. La mayoría de estos ejemplos fueron sobre el conjunto $\mathbb{R}^n$ pero, ¿será posible considerar como elementos objetos, aparentemente más complejos? Observemos ahora conjuntos de funciones y veamos si es posible definir una métrica entre ellas.

Considera el conjunto $C^0[a,b]$, que es el conjunto de funciones continuas que van del intervalo $[a,b] \subset \mathbb{R} \to \mathbb{R}$. Sean $f,g \in C^0[a,b]$. La suma de funciones y el producto de una función por un escalar para $\lambda \in \mathbb{R}$ definidos como:

\begin{align*}
(f+g)(x)&:= f(x)+g(x)\\
(\lambda f)(x)&:= \lambda f(x)
\end{align*}

Nos permiten considerar $C^0[a,b]$ como un espacio vectorial. Presentamos algunas normas para este espacio:

$$\norm{f}_p:= (\int_{a}^{b} |f(x)|^p \,dx)^{1/p} , \text{si } p \in [1,\infty),$$

$$\norm{f}_\infty:= máx\{|f(x)|:a\leq x \leq b \}.$$

En la sección de Espacios normados pudimos observar que una norma induce una métrica en un espacio vectorial. Es importante observar que la distancia entre funciones puede ser diferente según la métrica que se considere. Como ejemplo, consideremos las funciones en $C^0[0,1]$ definidas como:

\begin{align*}
f_k(x) &= \left\{ \begin{array}{lcc}
1-kx & si & 0\leq x \leq \frac{1}{k}\\
0 & si & \frac{1}{k} \leq x \leq 1
\end{array}
\right.\\
g(x)&= 0, \forall x \in [0,1]
\end{align*}

A continuación visualizamos el comportamiento de $f_k(x)$ para $k=1,2,3.$

Mientras que la función $g$ permanece sobre el eje horizontal.

Si calculamos la distancia entre $f_k(x)$ y $g(x)$ con la norma $||\cdot||_\infty$, podemos ver que $\forall \, k \geq 1$

\begin{align*}
||f_k(x)-g(x)||_\infty &= máx\{|f_k(x)-g(x)|:0\leq x \leq 1 \}\\
&= máx\{|1-kx-0|: 0\leq x \leq \frac{1}{k} \}\\
&= máx\{|1-kx|:0\leq x \leq \frac{1}{k} \}\\
&= 1
\end{align*}

La distancia es la línea más grande entre $f_k$ y el eje horizontal.

Pero si consideramos $||\cdot||_p$ para $p=1$
\begin{align*}
\norm{f_k(x)-g(x)}_1&=\norm{f_k(x)-0}_1\\
&=\norm{f_k(x)}_1\\
&= \int_{0}^{1} |f(x)| \,dx)\\
&= \int_{0}^{1/k}1-kx\\
&=\dfrac{1}{2k}
\end{align*}

De modo que cuando $k \to \infty, \norm{f_k(x)-g(x)}_1 \to 0$

La distancia es el área bajo la curva $f_k$

Esto muestra que la distancia entre dos funciones puede variar, considerablemente, al variar también la métrica usada.

Comentarios antes de la proposición

Nota que en el ejemplo anterior las funciones son acotadas, como lo son en general las funciones de $C^0[a,b]$, pues son continuas en un conjunto compacto en $\mathbb{R}$. ¿Qué pasa si alguna de las funciones no es acotada?

Sean $f:[0,1] \to \mathbb{R} \text{ y } g:[0,1] \to \mathbb{R}$ definidas como:
\begin{align*}
f(x) &= \left\{ \begin{array}{lcc}
1/x & si & 0 < x \leq 1\\
0 & si & x = 0
\end{array}
\right.\\
g(x)&= 0
\end{align*}
Entonces $\forall x \in [0,1]$
$|f(x)-g(x)|=|f(x)-0|=|f(x)|=f(x)$
Como $f$ no es acotada en $[0,1]$ no podemos hablar del valor del supremo por lo que la métrica inducida por $\norm{.}_\infty$ no está definida en este caso.

La función no tiene supremo

¿Qué pasa si $f \text{ y }g$ son acotadas pero no necesariamente son continuas?
Sean $f:[a,b] \to \mathbb{R}$ y $g:[a,b] \to \mathbb{R}$ tales que $\forall \, x\in [a,b], |f(x)|\leq M_f \text{ y } |g(x)| \leq M_g$ para $M_f, M_g \in \mathbb{R}$ Entonces:
\begin{align*}
|f(x)-g(x)|&=|f(x)+(-g(x))|\\
&\leq|f(x)|+|g(x)|\\
&\leq M_f + M_g
\end{align*}

Se concluye que el conjunto $\{|f(x)-g(x)|: x \in [a,b]|\}$ es acotado y por tanto aquí sí podemos hablar del supremo.

Podemos pensar que para generalizar esta distancia entre funciones, basta con que esa distancia esté acotada. Veamos lo siguiente:

Definición función acotada: Sea $S$ un conjunto y $X=(X,d)$ un espacio métrico. Decimos que una función $f:S \to X$ es acotada si existe $M \in \mathbb{R}$ y $x_0 \in X$ tales que $\forall \, y \in S$ ocurre que $d(f(y),x_0) \leq M$. El conjunto de funciones acotadas de $f$ en $X$ se denota como:
$$\mathcal{B}(S,X):= \{ f:S \to X:f \text{ es acotada}\}$$.

La bola $B(x_0,M)$ contiene al conjunto $f(S)$


Proposición: La métrica $d$ en $X$ induce una métrica en $\mathcal{B}(S,X)$ dada por:
$$d_\infty (f,g):= \underset{z\in S}{sup}\,d(f(z),g(z))$$
Y recibe el nombre de métrica uniforme.
Demostración:
Sean $f,g,h \in \mathcal{B}$ entonces:
1) \begin{align*} d_\infty(f,g)&=0 \\
\Leftrightarrow \underset{z\in S}{sup}\,d(f(z),g(z))&=0 \\
\Leftrightarrow \forall \, z \in S, d(f(z),g(z))&=0 \\
\Leftrightarrow \forall \, z \in S, f(z)&=g(z) \\
\Leftrightarrow f&=g. \\
\text{Por lo tanto: } d_\infty (f,g)=0 &\Leftrightarrow f=g
\end{align*}

2) \begin{align*}
d_\infty (f,g)&=\underset{z\in S}{sup}\,d(f(z),g(z))\\
&=\underset{z\in S}{sup}\,d(g(z),f(z)) \\
&=d_\infty(g,f).\\
\text{Por lo tanto: } d_\infty(f,g)&=d_\infty(g,f)
\end{align*}

3) \begin{align*}
d_\infty(f,g)&=\underset{z\in S}{sup}\,d(f(z),g(z))\\
&\leq \underset{z\in S}{sup}\,\{d(f(z),h(z))+d(h(z),g(z))\}\\
&\leq \underset{z\in S}{sup}\,d(f(z),h(z)) + \underset{z\in S}{sup}\,d(h(z),g(z))\\
&\leq d_\infty(f,h)+d_\infty(h,g)\\
\text{Por lo tanto: }d_\infty(f,g)&\leq d_\infty(f,h)+d_\infty(h,g)
\end{align*}

Ejemplos de espacios de funciones

Veamos ejemplos de espacios de funciones y analicemos la cercanía entre ellas. Recordemos que esto lo hacemos a través de las bolas abiertas con centro en un elemento del espacio métrico. En este caso, el centro es una función.

Funciones continuas del intervalo $[0,1]$ en $\mathbb{R}$
Si consideramos a $C[0,1]$ podemos observar que la bola abierta con centro en $f=0$ y radio $1$ está dado por $\{h: |h(x)|<1,x \in [0,1]\}$. Entonces, una función $h$ que esté en $B(f=0,1)$ debe satisfacer que $\forall x \in [0,1], -1<h(x)<1$.

La distancia entre la función $h$ y $0$ es menor que $1$.

En consecuencia, la bola abierta queda representada por curvas cuyos puntos se encuentren entre las rectas $y=-1$ y $y=1$.

Funciones cuya distancia a la función $0$ es menor que $1$.

Por otro lado, si consideramos como centro la función identidad $I(x)=x$ la bola de radio $1$ está dada por $\{h:|h(x)-x|<1,x \in [0,1]\}$. Entonces, una gráfica $h$ que esté en $B(I,1)$ debe satisfacer que $\forall x \in [0,1], -1<h(x)-x<1$ es decir $\forall x \in [0,1], x-1<h(x)<x+1$.

La distancia entre la función $h$ y la identidad es menor que $1$.

Entonces, la bola abierta queda representada por curvas cuyos puntos se encuentren entre las rectas $y=x-1$ y $y=x+1$.

Funciones cuya distancia a la función identidad es menor que $1$.

De manera general si consideramos como centro una función $f(x)$ la bola de radio $1$ está dada por $\{h: |h(x)-f(x)|<1,x \in [0,1]\}$. Entonces, una gráfica $h$ que esté en $B(f,1)$ debe satisfacer que $\forall x \in [0,1], -1<h(x)-f(x)<1$ es decir $\forall x \in [0,1], f(x)-1<h(x)<f(x)+1$.

$f: [0,1] \to \mathbb{R}$
La distancia entre la función $h$ y $f$ es menor que $1$.

Entonces, la bola abierta queda representada por curvas cuyos puntos se encuentren entre las curvas de $f(x)-1$ y $f(x)+1$.

Funciones cuya distancia a la función $f$ es menor que $1$.


Funciones continuas del intervalo $[0,1]$ en $\mathbb{R}^2$
Consideremos a $\mathbb{R}^2$ con la métrica euclideana y a $C[0,1] \to \mathbb{R}^2$ el conjunto de funciones continuas. Una función en este conjunto se representa como una curva continua en $\mathbb{R}^2$

$h:[0,1] \to \mathbb{R}^2$

Entonces, una función $h$ que esté en la bola abierta con centro en $f=0$ y radio $1$ debe satisfacer $\{ h: \norm{h(x)-0}<1,x \in [0,1]\}$. Entonces su representación debe estar dentro de la bola de radio $1$ con centro en $0$.

La distancia entre la función $h$ y $0$ es menor que $1$.

Concluimos que $B(f=0,1)=\{ h: \norm{h(x)}<1, x \in [0,1], \}$. Dicho conjunto puede representarse de esta forma:

Funciones cuya distancia a la función $0$ es menor que $1$.

Funciones continuas de $[0,1]^2$ en $\mathbb{R}$

Ahora identifiquemos el conjunto $B(f=0,1)$ en el espacio $C^0[0,1]^2 \to \mathbb{R}$
El cuadrado $[0,1]^2$ visualizado en el plano $x_1 \, x_2$ se muestra como una sábana continua y representa la función $f(x)=0, x \in [0,1]^2$.

Función $f=0$.

Si $h$ está en $B(f=0,1)$ entonces $|h(x)-0|<1,x \in [0,1]^2$, es decir, para todo $x \in [0,1]^2, -1<h(x)<1$. De modo que su gráfica será una sábana que esté entre las gráficas de $f_1(x)=-1 \, y\, f_2(x)=1$.

La distancia entre la función $h$ y $0$ es menor que $1$.

La $B(f=0,1)$ será la colección de todas las sábanas que cumplan esas condiciones:

Funciones cuya distancia a la función $0$ es menor que $1$.

Ahora considera como centro la función $f(x_1,x_2)=x_1$. Observemos el conjunto $B(f,1)$ en el espacio $C^0[0,1]^2 \to \mathbb{R}$.
La gráfica de $f$ se muestra a continuación.

Función $f$.

Si $h$ está en $B(f,1)$ entonces $|h(x)-f(x)|<1,x \in [0,1]^2$, es decir, para todo $x \in [0,1]^2, x_{1}-1<h(x_1,x_2)<x_{2}+1$. De modo que su gráfica será una sábana que esté entre las gráficas de $f_1(x_1,x_2)=x_{1}-1\, y \, f_2(x_1,x_2)=x_{1}+1$.

La distancia entre la función $h$ y $f$ es menor que $1$.

La $B(f,1)$ será la colección de todas las sábanas que cumplan esas condiciones:

Queda como ejercicio al lector hacer el análisis corresponiente para una bola abierta con centro en una función arbitraria.

Funciones cuya distancia a la función $f$ es menor que $1$.
Función $h:[0,1]^2 \to \mathbb{R}^2$

Funciones continuas de $[0,1]^2$ en $\mathbb{R}^2$

Considera $h$ una función en $C^0[0,1]^2 \to \mathbb{R}^2$. Bajo esa función, el cuadrado $[0,1]^2$ es transformado en una superficie como las mostradas en la imagen.

Si buscamos funciones que estén en la bola con centro en la función $0$ y radio $1$, demuestra que las figuras que representan la imagen de estas funciones estarán dentro del círculo unitario.

Más adelante…

Aprenderemos cómo identificar objetos que se aproximan entre sí y las condiciones que debe haber para que esto ocurra. Conoceremos el concepto de sucesión convergente en espacios métricos y descubriremos más particularidades que en el espacio euclideano no ocurren pero en otros espacios sí.

Tarea moral

  1. Describe una representación de la bola abierta en $\mathbb{R}^2$ con un centro en una función distinta a la función cero.
  2. Describe una representación de la bola abierta con centro en una función arbitraria en el espacio de funciones continuas de $\mathbb{R}^2$ en $\mathbb{R}$.
  3. En el espacio de funciones continuas de $[0,1]^2$ en $\mathbb{R}^2$ buscamos funciones que estén en la bola con centro en la función $0$ y radio $1$. Demuestra que las figuras que representan la imagen de estas funciones estarán dentro del círculo unitario.

Enlaces

Nociones topológicas básicas

Por Lizbeth Fernández Villegas

Introducción

Ya que hemos visto cómo son las bolas abiertas en diferentes métricas, procederemos a analizar cómo son cuando las comparamos con un conjunto $A \subset X$. Como recurso, usaremos imágenes representativas con la intención de ayudar en la abstracción de los conceptos que a continuación se anuncian. Aunque las bolas no necesariamente se representan siempre como circunferencias (métrica del taxista), o como objetos con bordes punteados (como el segmento vertical que forma parte de la bola abierta en la métrica del ascensor), para fines gráficos rescataremos la idea de usar líneas punteadas para hacer alusión al «borde» de una bola abierta, sugiriendo que son puntos en el conjunto $X$ que no están en ella. Por el contrario, representaremos con lineas continuas puntos que sí formen parte de un conjunto dado.

Unas breves comparaciones entre subconjuntos y puntos

Para iniciar, pensemos en un espacio métrico $(X,d)$:

Y en un conjunto $A$ contenido en $X$:

Identifiquemos puntos arbitrarios en $X$:

Entonces un punto $x \in X$ puede pertenecer o no al conjunto $A$.
Si $x \in A$, entonces una bola abierta con centro en $x$ puede tener puntos tanto en $A$ como en $X \setminus A$.

o bien, puede tener todos sus puntos en $A$

¿Puede haber una bola con centro en un punto en $A$ que esté totalmente contenida en el conjunto $X \setminus A$?

Por otro lado, si consideramos ahora $x \notin A$ , una bola abierta con centro en $x$ podría tener puntos tanto en $A$ como en $X \setminus A$.

O bien, puede solo tener puntos en $X \setminus A$

¿Es posible que una bola con centro en un punto en $X \setminus A$ esté totalmente contenida en $A$?.

Habiendo hecho estos comentarios generales, asignemos términos a los puntos de $X$ según las condiciones que cumplan las bolas abiertas asociadas.

Conceptos topológicos en un espacio métrico

Definición punto interior de un conjunto: Sea $A$ un subconjunto del espacio métrico $(X,d)$ y sea $x \in X$. Decimos que $x$ es punto interior de $A$ en $(X,d)$ si existe $\varepsilon > 0$ tal que $B(x,\varepsilon) \subset A$.

Aunque $x$ pueda tener alguna bola abierta que no esté totalmente contenida en A, basta con que exista una que sí lo esté para que a $x$ se le considere un punto interior.

De acuerdo a la definición, un punto $x \in X$ no será punto interior de $A$ cuando $\forall \varepsilon >0, B(x,\varepsilon)$ tiene puntos en $X \setminus A$. Los siguientes esquemas muestran puntos que no son puntos interiores del conjunto $A$ (tal vez sí lo sean de otro conjunto).

Definición interior de un conjunto: El conjunto formado por todos los puntos interiores de $A$ se denomina interior de $A$ en $(X,d)$ y se denota como:
$$Int (A) = : \{x \in X|x \text{ es punto interior de A}\}$$

El conjunto $Int(A)$ se representa de la siguiente manera:

Definición conjunto abierto: Diremos que $A \subset X$ es un conjunto abierto en $(X,d)$ si $A=Int(A)$.

Si pruebas que para todo $A \subset X$ se cumple que $Int(A) \subset A$ notarás que un conjunto $A$ es abierto cuando todos sus puntos son puntos interiores, es decir, cuando $A \subset Int(A)$. El conjunto $A$ que estamos considerando no es abierto, pues tiene puntos que no son puntos interiores.

Pero si consideramos un conjunto $A$ de esta forma, sí coincide con su interior y por lo tanto, es abierto.

Definición punto de contacto o punto de adherencia: Sea $A$ un subconjunto del espacio métrico $(X,d)$ y sea $x \in X$. Se dice que $x$ es punto de contacto (o de adherencia) de $A$ en $(X,d)$ si $\forall \, \varepsilon >0$ se cumple que $B(x,\varepsilon) \cap A \neq \emptyset$.

Incluso un punto que no esté en $A$ puede ser punto de contacto de $A$.

Incluso si alguna bola interseca al conjunto $A$, si hay alguna que no lo haga, no será punto de contacto de $A$.

Definición cerradura o adherencia de un conjunto: El conjunto formado por todos los puntos de contacto es denominado la cerradura de $A$ en $(X,d)$, y se denota como:

$$ \overline {A} =: \{x \in X| x \text{ es punto de contacto de A}\}$$

Todos los puntos de contacto de $A$.

Definición conjunto cerrado: Diremos que un conjunto $A \subset X$ es un conjunto cerrado en $(X,d)$ si $A=\overline{A}$.
Si pruebas que para todo $A \subset X$ se satisface que $A \subset \overline{A}$ notarás que un conjunto $A$ es cerrado cuando todos sus puntos de contacto están en $A$, es decir, cuando $\overline{A} \subset A$. En el ejemplo que estamos manejando, $A$ no es cerrado, pues tiene puntos de contacto que no están en $A$:

Si $A$ fuera considerado inicialmente de esta forma, sí coincide con su cerradura y por tanto, es cerrado:

Al final de esta sección se te propondrá como ejercicio demostrar que $A \subset X$ es un conjunto cerrado en $(X,d)$ si y solo sí su complemento $X \setminus A$ es un conjunto abierto en $(X,d)$.

Definición bola cerrada: Sea $(X,d)$ un espacio métrico. Considera un punto $x \in X$ y $\varepsilon \in \mathbb {R}, \varepsilon>0$. La bola cerrada con centro en $x$ y radio $\varepsilon$ se define como el conjunto de puntos en $X$ tales que el valor de su distancia al punto $x$ es menor o igual que $\varepsilon$. Se denota como:

$$\overline{B}(x,\varepsilon) := \{y \in X | d(x,y) \leq \varepsilon \}$$

Nota: A diferencia de la bola abierta, la bola cerrada sí incluye a los puntos cuya distancia al centro sea exactamente $\varepsilon$.

Antes de poner un círculo cerrado como representación de una bola cerrada, enunciemos la siguiente:
Proposición: La cerradura de una bola abierta $B(x,\varepsilon)$ (denotado como $\overline{B(x,\varepsilon)}$) no coincide, necesariamente con la bola cerrada $\overline{B}(x,\varepsilon)$. Veamos un contraejemplo con la métrica discreta en $\mathbb{R}^2$ y con $\varepsilon=1$.

Dado un punto $x$ en $\mathbb{R}^2$, según la definición, la bola cerrada de radio $1$ con centro en $x$ es el conjunto:

\begin{align*}
\overline{B}(x,1) :&= \{y \in \mathbb{R}^2 | d(x,y) \leq 1\}\\
&= \mathbb{R}^2
\end{align*}

Pues la distancia entre dos puntos en la métrica discreta solo puede ser $0$ o $1$.

Pero si consideramos que para todos los puntos $y$ de $\mathbb{R}^2$ la bola abierta $B(y,1)= \{y\}$, (pues la distancia entre $y$ y el resto de los puntos en $\mathbb{R}^2$ no es menor que $1$), veremos que todos los puntos en $\mathbb{R}^2$ que son distintos de $x$ tienen una bola abierta que no interseca a $B(x,1)$, por lo tanto no hay ningún punto de $\mathbb{R}^2$ diferente de $x$ que esté en la cerradura de $B(x,1)= \{x\}$. En conclusión $\overline{B(x,1)}=\{x\}$.

Proposición. En espacios normados la cerradura de una bola abierta sí es la bola cerrada. Es decir $\overline{B(x,\varepsilon)} = \overline{B}(x,\varepsilon)$. La demostración se propone como ejercicio.

Definición punto de acumulación: Sea $A$ un subconjunto del espacio métrico $(X,d)$ y sea $x \in X$. Decimos que $x$ es punto de acumulación de $A$ en $(X,d)$ si $\forall \, \varepsilon >0$ se cumple que $(B(x,\varepsilon) \setminus \{ x \}) \cap A \neq \emptyset$. Nota que a diferencia del punto de contacto, el punto de acumulación se descarta de la intersección entre las bolas abiertas y $A$.

¿Es un punto de contacto también un punto de acumulación en cualquier métrica?

Proposición: Toda bola abierta que tiene un punto de acumulación de $A$, tiene también una cantidad infinita de puntos en A.

Demostración:
Supón que $x \in X$ es un punto de acumulación de $A$ y que $x \in B(y,\varepsilon), y \in X, \varepsilon>0$.

Supón también que, contrario a lo que se quiere demostrar, esta bola abierta tiene una cantidad finita de puntos en $A$, digamos $\{x_1,x_2,…,x_n\}$ distintos de $x$.

Considera $\varepsilon_{i}=d(x,x_i), i=1,2,…,n$ la distancia entre cada uno de ellos a $x$. Sea $\varepsilon_0>0$ tal que $B(x,\varepsilon_0) \subset B(y,\varepsilon)$ y $\varepsilon_{m}= min\{\varepsilon_{i}|i=0,…,n\}$. Entonces el conjunto $B(x,\varepsilon_{m})\setminus \{x\}$ deja fuera todos los puntos de $A$, pues $\forall \, x_i, i=1,…,n$ pertenecientes a $A \cap B(y,\varepsilon), \varepsilon_{m} \leq d(x,x_i)$, por lo tanto existe una bola abierta que, al quitarle el punto $x$ no interseca a $A$.

Entonces $x$ no es un punto de acumulación de $A$, lo cual es una contradición a la hipótesis. Por lo tanto una bola abierta que tenga un punto de acumulación de $A$, tiene también una cantidad infinita de puntos en $A$.

Nota: Se puede concluir también que un conjunto finito no tiene puntos de acumulación.

Definición punto frontera de un conjunto. Sea $A$ un subconjunto del espacio métrico $(X,d)$ y sea $x \in X$. Decimos que $x$ es punto frontera de $A$ en $(X,d)$ si para toda $\varepsilon > 0$ se cumple que $B(x,\varepsilon) \cap A \neq \emptyset$ y también $B(x,\varepsilon) \cap (X/A) \neq \emptyset$ .

Definición conjunto frontera de un conjunto: El conjunto formado por todos los puntos frontera es denominado la frontera de $A$ en $(X,d)$, y se denota como:

$$\partial A =: \{x \in X| x \text{ es punto frontera de A}\}$$

Proposición: Prueba que $\partial A =: \overline{A} \setminus Int(A)$. La demostración se propone como ejercicio.

Para finalizar con esta sección, veamos por qué un espacio métrico es un espacio topológico:

Proposición. Sea $(X,d)$ un espacio métrico. Entonces cumple con los siguientes axiomas:

  • 1. Los conjuntos $X$ y $\emptyset$ son abiertos en $(X,d)$.
  • 2. Si $\{U_i\}:i \in \mathcal{I}$ es una colección de conjuntos abiertos de $X$ entonces la unión $\cup_{i\in \mathcal{I}} \, U_i$ es un conjunto abierto.
  • 3. Si $U$ y $V$ son subconjuntos abiertos de $X$ entonces la intersección $U \cap V$ es un conjunto abierto en $X$.

Demostración: Para demostrar que $X$ es abierto, demostraremos que cada punto en $X$ es un punto interior de $X$. Sea $x \in X$ y $\varepsilon>0$, por definición $B(x,\varepsilon)= \{y \in X|d(x,y)<\varepsilon \} \subset X$ Por lo tanto $\forall \, x\in X, x \in Int(X)$. Se concluye que $X$ es abierto. La propiedad para el conjunto $\emptyset$ se cumple por vacuidad.

Sea $x \in \cup_{i\in \mathcal{I}} \, U_i$ entonces $x \in U_{i_0}$ para algún $i_0 \in \mathcal{I}$. Como particularmente $U_{i_0}$ es un conjunto abierto, entonces existe $\varepsilon>0$ tal que$ B(x,\varepsilon) \subset U_{i_0} \subset \cup_{i\in \mathcal{I}} \, U_i$. Por lo tanto $\forall \, x\in \cup_{i\in \mathcal{I}} \, U_i$ se cumple que $x \in Int(\cup_{i\in \mathcal{I}} \, U_i)$, en consecuencia $\cup_{i\in \mathcal{I}} \, U_i$ es un conjunto abierto en $X$.

Si $x \in U \cap V$ para $U,V$ abiertos en $X$, entonces $x \in U$ y $x \in V$ de modo que existen $\varepsilon_1 >0$ y $\varepsilon_2 >0$ tales que $B(x,\varepsilon_1) \subset U$ y $B(x,\varepsilon_2) \subset V$. Sea $\varepsilon= min \{\varepsilon_1,\varepsilon_2\}$ entonces $B(x,\varepsilon) \subset B(x,\varepsilon_1) \subset U$ y $B(x,\varepsilon) \subset B(x,\varepsilon_2) \subset V$. Así, $B(x,\varepsilon) \subset U \cap V$, probando así que $\forall \, x \in U \cap V, x \in Int(U \cap V)$. Por lo tanto $U \cap V$ es un conjunto abierto en X.

Más adelante…

Pondremos en práctica las nociones aquí aprendidas para analizar espacios métricos de funciones. Una vez conocido mejor ese espacio, continuaremos con la generalización de definiciones vistas en los cursos de cálculo y hablaremos de convergencia de sucesiones, límite y continuidad en espacios métricos.

Tarea moral

Sea $X$ un espacio métrico y $A \subset X$. Demuestra que se cumplen las siguientes afirmaciones:

  1. Una bola abierta en $X$ es un conjunto abierto.
  2. El conjunto $Int(A)$ es abierto.
  3. Para todo $A \subset X$, $Int(A) \subset A$.
  4. Una bola cerrada en $X$ es un conjunto cerrado.
  5. El conjunto $\overline{A}$ es cerrado.
  6. $A = \overline{A}$ si y solo si $A$ es cerrado.
  7. $A$ es un conjunto cerrado en $(X,d)$ si y solo sí su complemento $X \setminus A$ es un conjunto abierto.
  8. La frontera de $A$ es un conjunto cerrado.
  9. Si $A$ es finito, entonces es cerrado.
  10. En espacios normados la cerradura de una bola abierta sí es la bola cerrada. Es decir $\overline{B(x,r)} = \overline{B}(x,r)$.
  11. Es siempre la frontera de una bola abierta $B(x,d)$ el mismo conjunto de puntos $y \in X$ donde se cumple la igualdad $d(x,y)=\varepsilon$ Demuestra que en espacios normados sí ocurre.
  12. $\partial A = \overline{A} \setminus Int(A)$.

Enlaces

La bola abierta en un espacio métrico

Por Lizbeth Fernández Villegas

Introducción

Probablemente recuerdes que en los cursos de Cálculo Diferencial e Integral se habló de bolas de radio $\varepsilon>0$ con centro en un punto $x$. Había otros conjuntos, como los conjuntos abiertos y cerrados, de los que vimos representaciones gráficas. Estas ideas pueden generalizarse a otros espacios con métrica distinta a la euclideana. En la sección que aquí se presenta visualizaremos algunos ejemplos y comprobarás que conjuntos como la bola abierta, quedan representados por figuras diferentes a las ya conocidas. Observarás los cambios que las métricas pueden generar, incluso cuando también se trata del conjunto $\mathbb {R}^n$.
Comencemos por identificar puntos que estén “cerca” entre sí, aquellos cuya distancia no exceda cierta cantidad. Para eso tenemos la siguiente:

Definición bola abierta: Sea $(X,d)$ un espacio métrico. Considera un punto $x \in X$ y $\varepsilon \in \mathbb {R}$ tal que $\varepsilon>0$. La bola abierta con centro en $x$ y radio $\varepsilon$ se define como el conjunto de puntos en $X$ tales que el valor de su distancia al punto $x$ es menor que $\varepsilon$. Se denota como:

$$B(x,\varepsilon) := \{y \in X | d(x,y) < \varepsilon\}$$

Nota que si $x$ es el centro, entonces siempre está en la bola abierta, pues $d(x,x)=0<\varepsilon$

Ejemplos

La bola abierta en la métrica discreta

Recordemos que en la métrica discreta, la distancia entre dos puntos diferentes siempre es $1$. Entonces, si $0<\varepsilon<1$ la bola abierta solo tendrá como elemento al centro.

Por el contrario, si $\varepsilon>1$ la bola abierta tendrá como elementos a todos los elementos del conjunto.

La bola abierta en $\mathbb{R}$ con la métrica euclideana

Considera el conjunto $\mathbb{R}$ con la métrica usual.
\[
d(x,y) = |x-y| = \left\{ \begin{array}{lcc}
x-y & si & x \geq y \\
\\ y-x & si & x < y
\end{array}
\right.
\]
Para $x,y \in \mathbb{R}$

Entonces para un punto $x_{0} \in \mathbb{R}$ y $\varepsilon>0$, la bola abierta $B(x_0,\varepsilon)$ está dada por el intervalo abierto $(x_{0}-\varepsilon,x_{0}+\varepsilon)$.

Más específicamente, la bola abierta con centro en $0$ y radio $3$ es el intervalo $(-3,3)$.

Mientras que la bola abierta con centro en $2$ y radio $3$ es el intervalo $(-1,5)$.

La bola abierta en $\mathbb{R}^2$ con la métrica euclideana

Considera ahora $\mathbb{R}^2$ y la métrica euclideana definida por:
$$d(x,y) = \sqrt{(x_{1}-y_{1})^2+(x_{2}-y_{2})^2}$$
con $x=(x_{1},x_{2})$ y $y=(y_{1},y_{2}) \in \mathbb{R}^2$.

Entonces para un punto $x_{0}=(x_{0_1},x_{0_2}) \in \mathbb{R}^2$ y $\varepsilon>0$, la bola abierta $B(x_0,\varepsilon)$ está dada por el conjunto de puntos que están «dentro de la circunferencia» con centro en $x_0$ y radio $\varepsilon$.

Por ejemplo, si $x_0=(2,3)$ y $\varepsilon=4$ la bola abierta $B((2,3),4)$ está formada por los puntos dentro de la circunferencia con centro en $(2,3)$ y radio $4$.

La bola abierta en $\mathbb{R}^3$ con la métrica euclideana

Si pensamos en $\mathbb{R}^3$ y la métrica euclideana definida por:
$$d(x,y) = \sqrt{(x_{1}-y_{1})^2+(x_{2}-y_{2})^2+(x_{3}-y_{3})^2}$$
con $x=(x_{1},x_{2},x_{3})$ y $y=(y_{1},y_{2},y_{3}) \in \mathbb{R}^3$.


Entonces para un punto $x_0=(x_{0_1},x_{0_2},x_{0_3}) \in \mathbb{R}^3$ y $\varepsilon>0$, la bola abierta $B(x_0,\varepsilon)$ está dada por el conjunto de puntos que están «dentro de la esfera» con centro en $x_0$ y radio $\varepsilon$.

Por ejemplo, si $x_0=(3,2,1)$ y $\varepsilon=3$, la bola abierta $B((3,2,1),3)$ está formada por los puntos “dentro de la esfera” con centro en $(3,2,1)$ y radio $3$.

La bola abierta en la métrica del taxista
En la sección Otros ejemplos de espacios métricos definimos esta métrica en el conjunto $\mathbb{R}^2$ como:
$$d(x,y)=|y_1-x_1|+|y_2-x_2| $$
para $x=(x_{1},x_{2})$ y $y=(y_{1},y_{2}) \in \mathbb{R}^2$.
Entonces para un punto $x_{0}=(x_{0_1},x_{0_2}) \in \mathbb{R}^2$ y $r>0$, la bola abierta $B(x_{0},r)$ está dado por el conjunto de puntos $y=(y_{1},y_{2}) \in \mathbb{R}^2$ que satisfacen:
\begin{align*}
d(x_{0},y)=|y_1-x_{0_1}|+|y_2-x_{0_2}|&<r \\
\Leftrightarrow |y_2-x_{0_2}|&< r -|y_1-x_{0_1}| \\
\Leftrightarrow -r +|y_1-x_{0_1}|< y_2-x_{0_2}&< r -|y_1-x_{0_1}|
\end{align*}
Esto quiere decir que el conjunto buscado está delimitado por las rectas:
\begin{align}
y_{2}-x_{0_2}&= r-(y_1-x_{0_1})\\
y_{2}-x_{0_2}&= r+(y_1-x_{0_1})\\
y_{2}-x_{0_2}&= -r-(y_1-x_{0_1})\\
y_{2}-x_{0_2}&= -r+(y_1-x_{0_1})
\end{align}
Que son representadas a continuación:

Como la desigualdad es estricta concluimos que la bola abierta será un «rombo abierto» cuyas diagonales tienen longitud $2\varepsilon$ con centro en el punto $x_{0}=(x_{0_1},x_{0_2})$.

Como ejemplo considera la bola abierta con centro en $(-3,2)$ y de radio $2$. El conjunto $B(-3,2),2$ se muestra en la siguiente imagen.

La bola abierta en la métrica del ascensor

Recordemos que el desplazamiento entre dos pisos de edificios iguales o diferentes motiva una métrica en $\mathbb{R}^2$. (Ver Otros ejemplos de espacios métricos). Si estamos en el piso marcado con el punto $x_{0}=(x_{0_1},x_{0_2}) \in \mathbb{R}^2$ y tenemos $\varepsilon>0$ como límite de distancia, procedamos a identificar los puntos a los que podemos llegar:

Estando en el mismo edificio, el ascensor puede llevarnos hasta una distancia $\varepsilon$ hacia arriba, o bien, una distancia $\varepsilon$ hacia abajo.

Como la planta baja está a distancia $\varepsilon_1=:|x_{0_2}|$ entonces si $\varepsilon_1> \varepsilon$, nuestro ascensor no llega hasta ahí.

En contraparte, si $\varepsilon_1 \leq \varepsilon$, entonces sí podemos llegar a la planta baja y, quizá también, a otros niveles del sótano.

En este caso, aún nos podemos desplazar hasta una distancia $\varepsilon-\varepsilon_1$, primero sobre el eje $x$ y luego sobre el eje $y$ a modo de la métrica del taxista. En consecuencia, la bola abierta está conformado por una linea vertical de longitud $2\varepsilon$, sin los extremos, que tiene centro en el punto $x_{0}=(x_{0_1},x_{0_2})$. Si $\varepsilon_1 < \varepsilon$, se agrega también a la bola abierta, un «rombo abierto» con centro en el punto $(x_{0_1},0)$ cuyas diagonales miden $2(\varepsilon-\varepsilon_1)$. Esto se representa en la siguiente imagen:

Como ejemplo, la bola con centro en $(-2,1)$ y radio $3$ tendrá la siguiente representación:

La bola abierta en el tablero de ajedrez.
Hemos visto que en un conjunto dado por las casillas del tablero de ajedrez se pueden definir métricas de acuerdo al movimiento de cada pieza. Como ejemplo, considera el movimiento permitido para la reina. En cada turno, esta pieza se puede mover en cualquier dirección y cualquier cantidad de casillas. Como la distancia entre dos casillas se define como el mínimo de movimientos necesarios para que la pieza llegue de una casilla a la otra, entonces tenemos las siguientes bolas abiertas para distintos valores de $\varepsilon$:

Si $0<\varepsilon \leq 1$ entonces la distancia entre dos casillas debe ser menor que $1$. En consecuencia buscamos señalar las casillas a las que se puede desplazar la reina en $0$ movimientos que es, únicamente, la casilla en la que está posicionada.

Si $1<\varepsilon \leq 2$ entonces se permite hacer a lo más un movimiento. Las casillas a las que se puede desplazar la reina están señaladas en tonos amarillos, pues puede elegir cualquier dirección y elegir también, detenerse en cualquiera de ellas.

Si $2<\varepsilon$ entonces ya se permiten hacer 2 movimientos. En la figura anterior podemos visualizar casillas no sombreadas en amarillo. No obstante a cualquiera de ellas se puede llegar desde alguna de las casillas iluminadas. En consecuencia, con dos movimientos es posible que la reina llegue a cualquier casilla del tablero.


En contraparte el rey, que también se puede mover en cualquier dirección, no puede avanzar más que una casilla por turno. Esto origina las siguientes representaciones de bolas abiertas:

Para $\varepsilon \leq 1$ el rey no puede hacer ningún movimento y permanece en la casilla donde esté ubicado.

Para $1 <\varepsilon \leq 2$ el rey puede hacer un movimiento y acceder así, a las casillas adyacentes a su posición.

Para $2 <\varepsilon \leq 3$ el rey puede avanzar hasta dos casillas, lo que se representa iluminando las casillas vecinas con respecto a la imagen anterior.

Para $3 <\varepsilon \leq 4$ una nueva familia de casillas vecinas se agrega a la bola abierta. ¿Puedes decir entonces, cuál es la distancia más grande entre dos casillas con la métrica del rey? ¿Y con la de la reina?

Más adelante

Dado un punto fijo, buscaremos encontrar una bola abierta que lo tenga como centro y veremos cómo son los elementos de la bola, si están todos contenidos en un conjunto determinado o no. Veremos la generalización de otras definiciones a espacios métricos y comprobaremos que estos son también espacios topológicos.

Tarea moral

  1. Representa las bolas abiertas en la métrica del ajedrez con otras piezas.
  2. Muestra un ejemplo de bola abierta en la métrica del ascensor en el que el centro esté fuera del rombo, uno donde esté dentro y uno más donde el centro esté sobre el vértice.
  3. Da un ejemplo de espacio métrico y dos bolas $B(x,\varepsilon_1)$ y $B(y,\varepsilon_2)$ tales que $\varepsilon_1>\varepsilon_2$ pero $B(x,\varepsilon_1) \subset B(y,\varepsilon_2)$.

Enlaces

Espacios normados

Por Lizbeth Fernández Villegas

Introducción

«En el Análisis tropezamos, casi siempre, con espacios provistos tanto de una topología como de operaciones de adición de elementos y multiplicación de éstos por números, es decir, tropezamos con los así llamados espacios topológicos lineales. Entre estos espacios, constituyen una clase importante los espacios normados. La teoría fue desarrollada en los trabajos de S. Banach y de otros autores». (Kolmogorov,1975).

Definición norma. Sea $X$ un espacio vectorial sobre $\mathbb R$. Se dice que una aplicación $\| . \| : V \rightarrow \mathbb R$ es una norma si para todo $x,y \in X$ y para todo $\lambda \in \mathbb R$ se satisface:

  1. $\| x \|=0 \iff x=0$
  2. $\|\lambda x\| = |\lambda| \|x\|$
  3. $\|x + y\| \leq \|x\|+\|y\|$

El espacio vectorial $(X,\|.\|)$ es llamado espacio normado. Este a su vez induce un espacio métrico si se define:

$d(x,y)=\|x-y\|$

lo cual probaremos a continuación:

Demostración: Sean $x,y,z \in V$

  1. $d(x,x)=\|x-x\|=\|0\|\iff x=0$
  2. $d(x,y)=\|x-y\|=\|(-1)(-x+y)\|=|-1|\|-x+y\|=1\|y-x\|=\|y-x\|=d(y,x)$
  3. $d(x,y)=\|x-y\|=\|x-z+z-y\|\leq \|x-z\|+\|z-y\|=d(x,z)+d(z,y)$

El recíproco no siempre es válido, es decir:

Proposición. No todos los espacios métricos son inducidos por espacios normados.

Demostración: Sean $X \neq \{0\}$ y $d$ la métrica discreta definida en Espacios métricos, entonces si $x \neq 0$
$\|2x\|=|2|\|x\|=|2|\|x-0\|=|2|d(x-0)=2(1)=2$
Lo cual no puede ser, pues la distancia únicamente toma valores en ${0,1}$

Ejemplos:

  1. La norma p. Sea p $\in [1, \infty)$ y $x \in \mathbb {R}^n$. Si $x=(x_1,…, x_n)$, definimos:
    $\| x \|_p = (\sum_{i=1}^n |x_i|^p ) ^ {1/p}$ (p_norma).
  2. $\|x\|_\infty = max \{|x_1|,…,|x_n|\}$ (la norma infinito).
  3. En el espacio vectorial $C_{[a,b]}$ donde para $f \in C_{[a,b]}$, $\norm{f}=max_{a \leq t \leq b} |f(t)|$
  4. Sea$(x_{n})$ en el conjunto de sucesiones acotadas. Se define la norma como: $\norm{(x_{n})}:=\sup_{n}|x_{n}|$.

Más adelante

Ya que reconocemos la distancia entre dos puntos procederemos a identificar todos los puntos que están «cerca» de un punto específico. ¿Te suena familiar? Vamos a ver si el conjunto formado por estos puntos es diferente al que estamos acostumbrados a representar como una bola redonda de radio $\epsilon > 0$.

Tarea moral

  1. Demuestra que si $(X,\|.\|)$ es un espacio normado, entonces $\forall \, x \in X, \norm{x} \geq 0$.
  2. Demuestra que la norma $\| x \|_2$ induce la métrica euclideana.
  3. Demuestra que la norma del ejemplo 3 induce la métrica en el espacio de funciones continuas vista en Espacios métricos.
  4. Demuestra que en el conjunto de números complejos $\mathbb{C}$ pueden definirse las métricas 1 y 2.

Enlaces

Otros ejemplos de espacios métricos

Por Lizbeth Fernández Villegas

Introducción

En la sección anterior hablamos sobre la métrica que se asigna entre dos puntos de un conjunto. Estamos tan acostumbrados a unir, automáticamente, dos puntos con el segmento que los une, que es natural que asumamos que la longitud de este segmento definirá la distancia entre ellos. No obstante, puede haber situaciones donde sea necesario considerar factores que nos hagan modificar la manera en que definimos esa distancia. Veamos algunos ejemplos.

Métrica del taxista

Supongamos que nos encontramos en un poblado y nos interesa partir del punto $A$ para llegar al punto $B$ usando el camino más corto. No nos es posible caminar sobre la recta que, en la geometría euclideana une a los dos puntos, pues esto implicaría tener que atravesar las casas y las construcciones que se ubiquen sobre ella. En estas circunstancias lo que resta es desplazarse sobre las calles, en la manera en que lo haría un taxista (suponiendo que no hay restricciones adicionales al recorrido, como el tráfico o el sentido de la vialidad).

En la imagen se pueden visualizar algunas posibles rutas.

Si definimos la distancia como el menor número de cuadras que separan al punto $A$ del punto $B$, podemos observar que los caminos verde, azul y naranja representan rutas de distancia mínima. Cada una de estas cuadras se puede proyectar de manera horizontal y vertical sobre la recta horizontal que tiene a $A$ y la recta vertical que tiene a $B$. En consecuencia, definimos la métrica para dos puntos $A=(a_1,a_2)$ y $B=(b_1,b_2)$ en el conjunto $\mathbb{R}^2$ como:

$$d(A,B)=|b_1-a_1|+|b_2-a_2| $$

Métrica del ascensor

Ahora nos encontramos en cierta planta de un edificio y nos interesa movernos a otra planta. Si el punto al que vamos se encuentra en el mismo edificio, simplemente nos dirigimos al ascensor, en la misma planta, hasta recorrer la cantidad de pisos deseados. Esta situación se representa en la siguiente imagen:

Por otra parte, si nos interesa llegar a un piso de otro edificio que está sobre la misma calle, debemos tomar el ascensor del edificio en que nos ubicamos hasta llegar a la planta baja, caminar hasta el otro edificio y, posteriormente, tomar el ascensor ahí hasta llegar a nuestro destino. Este movimiento puede visualizarse a continuación:

A partir de esto se define la métrica para dos puntos $A=(a_1,a_2)$ y $B(b_1,b_2)$ en el conjunto $\mathbb{R}^2$ como:

\[
d(A,B) = \left\{ \begin{array}{lcc}
|b_2-a_2| & si & a_1 = b_1 \\
\\ |a_2|+|b_1-a_1|+|b_2| & si & a_1 \neq b_1
\end{array}
\right.
\]

Métrica de Hamming

En el ámbito de la Teoría de la Información interesa contar el número de cambios que se requieren para que una palabra se convierta en otra. Por ejemplo:

Para convertir «casa» en «pasa» se requiere cambiar una letra.
Para convertir «casa» en «taza» se requiere el cambio en dos letras.
Para convertir «roca» en «flor» se requiere cambiar cuatro letras.

Este número de cambios define la distancia de Hamming.

El tablero de ajedrez

Consideremos las piezas Rey, Reina, Alfil, Caballo y Torre en el juego de ajedrez. De acuerdo a las reglas, cada una de estas piezas tiene un movimiento particular definido. Una pieza ubicada en la casilla A requiere una mínima cantidad de movimientos para llegar a la casilla B. Demuestra que cada pieza define una métrica en el conjunto de puntos dado por las casillas del tablero de ajedrez.

Más adelante

Recordaremos el concepto de espacio normado. Probablemente ya lo has visto en cursos de cálculo o álgebra lineal. Pues bien, estos espacios inducen también una métrica entre sus puntos. ¿Será que todos los espacios métricos son inducidos por una norma?

Tarea moral

  1. Demuestra que cada uno de los ejemplos anteriores es una métrica.
  2. Define la métrica del taxista para puntos en $\mathbb{R}^n$.
  3. Define la métrica del ascensor para edificios que no necesariamente estén sobre la misma calle. Combina con la métrica del taxista.

Enlaces