Métrica infinito para funciones contínuas

La métrica infinito para funciones continuas (o métrica del supremo) es una distancia abstracta en espacio de funciones continuas, que se define de la siguiente manera:

Sea $(X,\mathcal{T})\,$ un espacio topológico y sea $(Y,d)\,$ un espacio métrico. Definimos el conjunto de las funciones acotadas de $X\,$ en $Y\,$ a partir del diámetro del conjunto imagen:

$B(X,Y)=\{f \colon X \to Y: \mbox{diam}(f(X))<\infty\}$

La métrica infinito dota a este conjunto de la estructura de espacio métrico, definiendo la distancia como:

$d_\infty(f,g) = \sup_{x\in X}|f(x)-g(x)|$

Nótese que es necesario estar trabajando sobre las funciones acotadas, para que esta distancia esté bien definida y nunca valga infinito.

Casos interesantes

• Un caso interesante se da cuando $X\,$ es un espacio compacto, pues en este caso, las funciones continuas son un subconjunto de las acotadas, por lo que tenemos una métrica para el espacio de las funciones continuas que van de X a Y.

• Otro caso interesante es cuando $Y=\mathbb{R}$, pues allí las funciones acotadas (o las continuas) forman un espacio vectorial, y esta distancia resulta ser una norma vectorial.

Algunas propiedades

Esta distancia cumple algunas propiedades bastante importantes:

1. Si $\{f_n\}_{n\in \mathbb{N}}$ es una sucesión de funciones continuas convergentes a f según esta métrica (lo que se conoce como convergencia uniforme de funciones), entonces f será también continua
2. Si $Y\,$ es un espacio métrico completo, entonces $B(X,Y)\,$ , dotado de esta métrica, también lo será.