Norma uniforme

Rappresentazione geometrica in R 2 {\displaystyle \mathbb {R} ^{2}} di x = 1 {\displaystyle \|x\|_{\infty }=1}

In analisi matematica, la norma uniforme, norma del sup o norma di Chebyshev di una funzione f {\displaystyle f} definita in un dominio D {\displaystyle D} a valori reali o complessi è la quantità non negativa:

f = sup x D | f ( x ) | {\displaystyle \|f\|_{\infty }=\sup _{x\in D}\left|f(x)\right|}

Se f {\displaystyle f} non è una funzione limitata in D {\displaystyle D} , questa quantità risulta infinita (ad esempio per la funzione esponenziale in R {\displaystyle \mathbb {R} } ). Restringendosi invece allo spazio vettoriale delle funzioni definite in D {\displaystyle D} e limitate, | | | | {\displaystyle ||\cdot ||_{\infty }} assume sempre valore finito e soddisfa le proprietà di una norma.

Se f {\displaystyle f} è una funzione continua su un insieme compatto, allora l'estremo superiore è raggiunto per il teorema di Weierstrass, quindi possiamo sostituire l'estremo superiore con il massimo. In questo caso, la norma è anche chiamata norma del massimo.

In particolare, nel caso di un vettore x = ( x 1 , . . . , x n ) {\displaystyle x=(x_{1},...,x_{n})} in uno spazio di dimensione finita, prende la forma:

x = max { | x 1 | , . . . , | x n | } {\displaystyle \|x\|_{\infty }=\max\{|x_{1}|,...,|x_{n}|\}}

La ragione del pedice "∞" è data dal seguente limite, valido se f L ( D ) {\displaystyle f\in L^{\infty }(D)} e la misura di D {\displaystyle D} è finita:

lim p f p = f {\displaystyle \lim _{p\rightarrow \infty }\|f\|_{p}=\|f\|_{\infty }}

dove:

f p = ( D | f | p d μ ) 1 / p {\displaystyle \|f\|_{p}=\left(\int _{D}\left|f\right|^{p}\,d\mu \right)^{1/p}}

dove p {\displaystyle \|\cdot \|_{p}} è la norma p (e l'integrale diventa una somma se D {\displaystyle D} è un insieme discreto).

La funzione binaria:

d ( f , g ) = f g {\displaystyle d(f,g)=\|f-g\|_{\infty }}

è quindi una metrica nello spazio di tutte le funzioni limitate nel particolare dominio. Una successione { f n : n = 1 , 2 , 3 , } {\displaystyle \{f_{n}:n=1,2,3,\dots \}} converge uniformemente alla funzione f {\displaystyle f} se e solo se:

lim n f n f = 0 {\displaystyle \lim _{n\rightarrow \infty }\|f_{n}-f\|_{\infty }=0}

Bibliografia

  • (EN) Walter Rudin, Principles of Mathematical Analysis, New York, McGraw-Hill, 1964, p. 151, ISBN 0-07-054235-X.
  • (EN) Taylor, A. E. and Lay, D. C. Introduction to Functional Analysis, 2nd ed. New York: Wiley, 1980

Voci correlate

Collegamenti esterni

  • (EN) Eric W. Weisstein, Norma uniforme, su MathWorld, Wolfram Research. Modifica su Wikidata
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica