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 interesantesEditar

  • 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   a  .
  • 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 propiedadesEditar

Esta distancia cumple algunas propiedades bastante importantes:

  1. Si   es una sucesión de funciones continuas convergentes a   según esta métrica (lo que se conoce como convergencia uniforme de funciones), entonces   será también continua
  2. Si   es un espacio métrico completo, entonces   , dotado de esta métrica, también lo será.