Este artículo necesita citas adicionales para su verificación . ( diciembre de 2009 ) |
En análisis matemático , la norma uniforme (o norma sup ) asigna a real o complejos -valued funciones acotadas f definida en un conjunto S el número no negativo
Esta norma también se llama la norma supremum, la norma Chebyshev, la norma infinita o, cuando el supremum es de hecho el máximo, la norma máxima . El nombre "norma uniforme" se deriva del hecho de que una secuencia de funciones converge por debajo de la métrica derivada de la norma uniforme si y solo si converge a uniformemente . [1]
La métrica generada por esta norma se llama métrica de Chebyshev , en honor a Pafnuty Chebyshev , quien fue el primero en estudiarla sistemáticamente.
Si permitimos funciones ilimitadas, esta fórmula no produce una norma o métrica en sentido estricto, aunque la llamada métrica extendida obtenida todavía permite definir una topología en el espacio funcional en cuestión.
Si f es una función continua en un intervalo cerrado , o más generalmente un compacto conjunto, entonces es limitada y el extremo superior en la definición anterior se consigue mediante la Weierstrass valor extremo teorema , así que podemos reemplazar el supremo por el máximo. En este caso, la norma también se llama norma máxima . En particular, para el caso de un vector en un espacio de coordenadas de dimensión finita , toma la forma
La razón del subíndice "∞" es que siempre que f es continua
donde
donde D es el dominio de f (y la integral equivale a una suma si D es un conjunto discreto ).
La función binaria
es entonces una métrica en el espacio de todas las funciones limitadas (y, obviamente, cualquiera de sus subconjuntos) en un dominio particular. Una secuencia { f n : n = 1, 2, 3, ...} converge uniformemente a una función f si y solo si
Podemos definir conjuntos cerrados y cierres de conjuntos con respecto a esta topología métrica; Los conjuntos cerrados en la norma uniforme a veces se denominan cierres uniformemente cerrados y cierres cierres uniformes . El cierre uniforme de un conjunto de funciones A es el espacio de todas las funciones que pueden aproximarse mediante una secuencia de funciones convergentes uniformemente en A. Por ejemplo, una reformulación del teorema de Stone-Weierstrass es que el conjunto de todas las funciones continuas en es el cierre uniforme del conjunto de polinomios en .
Para funciones continuas complejas en un espacio compacto, esto lo convierte en un álgebra C * .