- 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 un espacio topológico y sea un espacio métrico. Definimos el conjunto de las funciones acotadas de en a partir del diámetro del conjunto imagen:
La métrica infinito dota a este conjunto de la estructura de espacio métrico, definiendo la distancia como:
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 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 , 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:
- Si 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
- Si es un espacio métrico completo, entonces , dotado de esta métrica, también lo será.
Wikimedia foundation. 2010.