Norma uniforme

Función en análisis matemático.

El perímetro del cuadrado es el conjunto de puntos en ℝ ² donde la norma sup es igual a una constante positiva fija. Por ejemplo, los puntos (2, 0) , (2, 1) y (2, 2) se encuentran a lo largo del perímetro de un cuadrado y pertenecen al conjunto de vectores cuya norma sup es 2.

En el análisis matemático , la norma uniforme (onorma sup ) asigna afunciones acotadasde valoresrealesocomplejos⁠⁠definidas en unconjunto⁠⁠el número no negativo ${\displaystyle f}$ ${\displaystyle S}$

${\displaystyle \|f\|_{\infty }=\|f\|_{\infty ,S}=\sup \left\{\,|f(s)|:s\in S\,\right\}.}$

Esta norma también se llamanorma suprema ,lanorma Chebyshev ,lanorma infinita ,o, cuando elsupremoes de hecho el máximo, lanorma máxima . El nombre "norma uniforme" deriva del hecho de que una secuencia de funciones⁠⁠ ${\displaystyle \left\{f_{n}\right\}}$converge a⁠⁠ ${\displaystyle f}$bajo lamétricaderivada de la norma uniformesi y solo si ⁠⁠ ${\displaystyle f_{n}}$converge a⁠⁠ ${\displaystyle f}$ uniformemente.^[1]

Si ⁠ ⁠ ${\displaystyle f}$ es una función continua en un intervalo cerrado y acotado , o más generalmente un conjunto compacto , entonces está acotado y el supremo en la definición anterior se alcanza mediante el teorema del valor extremo de Weierstrass , por lo que podemos reemplazar el supremo por el máximo . En este caso, la norma también se llamanorma máxima . En particular, si⁠⁠ ${\displaystyle x}$es algún vector tal queenun espacio de coordenadasde dimensiónfinita, toma la forma: ${\displaystyle x=\left(x_{1},x_{2},\ldots ,x_{n}\right)}$

${\displaystyle \|x\|_{\infty }:=\max \left(\left|x_{1}\right|,\ldots ,\left|x_{n}\right|\right).}$

Esto se llama norma . ${\displaystyle \ell ^{\infty }}$

Definición

Las normas uniformes se definen, en general, para funciones acotadas valoradas en un espacio normado . Sea un conjunto y sea un espacio normado . En el conjunto de funciones desde hasta , existe una norma extendida definida por ${\displaystyle X}$ ${\displaystyle (Y,\|\|_{Y})}$ ${\displaystyle Y^{X}}$ ${\displaystyle X}$ ${\displaystyle Y}$

${\displaystyle \|f\|=\sup _{x\in X}\|f(x)\|_{Y}\in [0,\infty ].}$

En general, esta es una norma extendida ya que la función puede no estar acotada. Restringir esta norma extendida a las funciones acotadas (es decir, las funciones con una norma finita por encima de la norma extendida) produce una norma (de valores finitos), llamada norma uniforme en . Tenga en cuenta que la definición de norma uniforme no se basa en ninguna estructura adicional del conjunto , aunque en la práctica suele ser al menos un espacio topológico . ${\displaystyle f}$ ${\displaystyle Y^{X}}$ ${\displaystyle X}$ ${\displaystyle X}$

La convergencia en la topología inducida por la norma extendida uniforme es la convergencia uniforme , para secuencias, y también para redes y filtros en . ${\displaystyle Y^{X}}$ ${\displaystyle Y^{X}}$

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 uniformes . La clausura uniforme de un conjunto de funciones A es el espacio de todas las funciones que pueden aproximarse mediante una secuencia de funciones uniformemente convergentes en. 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 ${\displaystyle A.}$ ${\displaystyle [a,b]}$ ${\displaystyle [a,b].}$

Para funciones continuas complejas en un espacio compacto, esto lo convierte en un álgebra C* (cf. representación de Gelfand ).

Estructuras más débiles que inducen la topología de la convergencia uniforme.

Métrica uniforme

La métrica uniforme entre dos funciones acotadas de un conjunto a un espacio métrico está definida por ${\displaystyle f,g\colon X\to Y}$ ${\displaystyle X}$ ${\displaystyle (Y,d_{Y})}$

${\displaystyle d(f,g)=\sup _{x\in X}d_{Y}(f(x),g(x))}$

La métrica uniforme también se llamaMétrica de Chebyshev , en honora Pafnuty Chebyshev, quien fue el primero en estudiarla sistemáticamente. En este caso,está acotado precisamente sies finito para algunafunción constante. Si permitimos funciones ilimitadas, esta fórmula no produce una norma o métrica en sentido estricto, aunque la llamadamétrica extendidaaún permite definir una topología en el espacio funcional en cuestión; la convergencia sigue siendo entonces laconvergencia uniforme. En particular, una secuenciaconverge uniformementea una funciónsi y sólo si ${\displaystyle f}$ ${\displaystyle d(f,g)}$ ${\displaystyle g}$ ${\displaystyle \left\{f_{n}:n=1,2,3,\ldots \right\}}$ ${\displaystyle f}$ $${\displaystyle \lim _{n\rightarrow \infty }d(f_{n},f)=0.\,}$$

Si es un espacio normado , entonces es un espacio métrico de forma natural. La métrica extendida inducida por la norma extendida uniforme es la misma que la métrica extendida uniforme ${\displaystyle (Y,\|\|_{Y})}$ ${\displaystyle Y^{X}}$

${\displaystyle d(f,g)=\sup _{x\in X}\|f(x)-g(x)\|_{Y}}$

en ${\displaystyle Y^{X}}$

Uniformidad de convergencia uniforme.

Sea un conjunto y sea un espacio uniforme . Se dice que una secuencia de funciones de a converge uniformemente a una función si para cada séquito hay un número natural tal que, pertenece a cuando y . Lo mismo ocurre con una red. Esta es una convergencia en una topología en . De hecho, los conjuntos ${\displaystyle X}$ ${\displaystyle (Y,{\mathcal {E}}_{Y})}$ ${\displaystyle (f_{n})}$ ${\displaystyle X}$ ${\displaystyle Y}$ ${\displaystyle f}$ ${\displaystyle E\in {\mathcal {E}}_{Y}}$ ${\displaystyle n_{0}}$ ${\displaystyle (f_{n}(x),f(x))}$ ${\displaystyle E}$ ${\displaystyle x\in X}$ ${\displaystyle n\geq n_{0}}$ ${\displaystyle Y^{X}}$

${\displaystyle \{(f,g)\colon \forall x\in X\colon (f(x),g(x))\in E\}}$

donde discurre por séquitos de forma un sistema fundamental de séquitos de una uniformidad en , llamado uniformidad de convergencia uniforme en . La convergencia uniforme es precisamente la convergencia bajo su topología uniforme. ${\displaystyle E}$ ${\displaystyle Y}$ ${\displaystyle Y^{X}}$ ${\displaystyle Y^{X}}$

Si es un espacio métrico , entonces está equipado por defecto con la uniformidad métrica. La uniformidad métrica con respecto a la métrica uniforme extendida es entonces la uniformidad de la convergencia uniforme con . ${\displaystyle (Y,d_{Y})}$ ${\displaystyle Y^{X}}$ ${\displaystyle Y^{X}}$

Propiedades

El conjunto de vectores cuya norma infinita es una constante dada, forma la superficie de un hipercubo con longitud de arista  ${\displaystyle c,}$ ${\displaystyle 2c.}$

La razón para el subíndice “ ” es que siempre que sea continuo y para algunos , entonces dónde está el dominio de ; la integral equivale a una suma si es un conjunto discreto (ver p -norm ). ${\displaystyle \infty }$ ${\displaystyle f}$ ${\displaystyle \Vert f\Vert _{p}<\infty }$ ${\displaystyle p\in (0,\infty )}$ $${\displaystyle \lim _{p\to \infty }\|f\|_{p}=\|f\|_{\infty },}$$ $${\displaystyle \|f\|_{p}=\left(\int _{D}|f|^{p}\,d\mu \right)^{1/p}}$$ ${\displaystyle D}$ ${\displaystyle f}$ ${\displaystyle D}$

Ver también

• L-infinito  - Espacio de secuencias acotadas
• Continuidad uniforme  : restricción uniforme del cambio de funciones.
• Espacio uniforme  : espacio topológico con noción de propiedades uniformes.
• Distancia de Chebyshev  - Métrica matemática

Referencias

1. Rudin, Walter (1964). Principios del análisis matemático . Nueva York: McGraw-Hill. págs.151. ISBN 0-07-054235-X.