$\mathit{\text{ MATERIAL EN REVISIÓN}}$

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{array}{rl}(f+g)(x)& :=f(x)+g(x)\\ (\lambda f)(x)& :=\lambda f(x)\end{array}$$

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

$${\Vert f\Vert }_p:=({\int }_a^b|f(x){|}^{p}dx{)}^{1/p},\text{si }p\in [1,\mathrm{\infty }),$$

$${\Vert f\Vert }_{\mathrm{\infty }}:=máx\{|f(x)|:a\le x\le 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{array}{rl}{f}_k(x)& =\{\begin{array}{lcc}1-kx& si& 0\le x\le \frac{1}{k}\\ 0& si& \frac{1}{k}\le x\le 1\end{array}\\ g(x)& =0,\mathrm{\forall }x\in [0,1]\end{array}$$

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 |{|}_{\mathrm{\infty }}$, podemos ver que $\mathrm{\forall }k\ge 1$

$$\begin{array}{rl}||f_k(x)-g(x)|{|}_{\mathrm{\infty }}& =máx\{|f_k(x)-g(x)|:0\le x\le 1\}\\ & =máx\{|1-kx-0|:0\le x\le \frac{1}{k}\}\\ & =máx\{|1-kx|:0\le x\le \frac{1}{k}\}\\ & =1\end{array}$$

Pero si consideramos $||\cdot |{|}_p$ para $p=1$
$$\begin{array}{rl}{\Vert f_k(x)-g(x)\Vert }_1& ={\Vert f_k(x)-0\Vert }_1\\ & ={\Vert f_k(x)\Vert }_1\\ & ={\int }_0^1|f(x)|dx)\\ & ={\int }_0^{1/k}1-kx\\ & ={\displaystyle \frac{1}{2k}}\end{array}$$

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

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?

¿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 $\mathrm{\forall }x\in [a,b],|f(x)|\le M_f\text{ y }|g(x)|\le M_g$ para $M_f,M_g\in \mathbb{R}$ Entonces:
$$\begin{array}{rl}|f(x)-g(x)|& =|f(x)+(-g(x))|\\ & \le |f(x)|+|g(x)|\\ & \le M_f+M_g\end{array}$$

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 $\mathrm{\forall }y\in S$ ocurre que $d(f(y),x_0)\le 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}\}$$.

2) $$\begin{array}{rl}{d}_{\mathrm{\infty }}(f,g)& =\underset{z\in S}{sup}d(f(z),g(z))\\ & =\underset{z\in S}{sup}d(g(z),f(z))\\ & =d_{\mathrm{\infty }}(g,f).\\ \text{Por lo tanto: }{d}_{\mathrm{\infty }}(f,g)& =d_{\mathrm{\infty }}(g,f)\end{array}$$

3) $$\begin{array}{rl}{d}_{\mathrm{\infty }}(f,g)& =\underset{z\in S}{sup}d(f(z),g(z))\\ & \le \underset{z\in S}{sup}\{d(f(z),h(z))+d(h(z),g(z))\}\\ & \le \underset{z\in S}{sup}d(f(z),h(z))+\underset{z\in S}{sup}d(h(z),g(z))\\ & \le d_{\mathrm{\infty }}(f,h)+d_{\mathrm{\infty }}(h,g)\\ \text{Por lo tanto: }{d}_{\mathrm{\infty }}(f,g)& \le d_{\mathrm{\infty }}(f,h)+d_{\mathrm{\infty }}(h,g)\end{array}$$

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.

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 $\mathrm{\forall }x\in [0,1],-1<h(x)-f(x)<1$ es decir $\mathrm{\forall }x\in [0,1],f(x)-1<h(x)<f(x)+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$

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

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

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

• Análisis Matemático.
• Enlace a entrada anterior.
• Enlace a entrada siguiente.