Spazio normato

In matematica, uno spazio vettoriale normato, o più semplicemente spazio normato, è uno spazio vettoriale in cui ogni vettore ha definita una lunghezza (cioè una norma).

Introduzione informale

L'idea di "lunghezza" di un vettore a 2 o 3 dimensioni con componenti a valori reali è intuitiva e può essere facilmente estesa ad un qualunque spazio vettoriale reale Rⁿ. Risulta che le seguenti proprietà di "lunghezza di un vettore" sono quelle cruciali:

1. un vettore ha sempre lunghezza strettamente positiva. L'unica eccezione è il vettore nullo che ha sempre lunghezza zero.
2. moltiplicare un vettore per un numero positivo ha lo stesso effetto sulla sua lunghezza.
3. la disuguaglianza triangolare.

La loro generalizzazione per più astratti spazi vettoriali, porta alla nozione di norma.

Definizione

Uno spazio vettoriale semi-normato è una coppia (V,p) dove V è uno spazio vettoriale reale o complesso e p una semi-norma su V.

Uno spazio vettoriale normato è una coppia (V,||·||) dove V è uno spazio vettoriale reale o complesso e ||·|| una norma su V.

Quando è chiaro dal contesto, spesso si omette di descrivere la (semi-)norma p o ||·|| e si scrive semplicemente V.

Struttura topologica

Metrica e topologia

Uno spazio vettoriale normato è anche uno spazio metrico: la distanza tra due vettori u e v è definita come ||u-v||. In particolare, è quindi anche uno spazio vettoriale topologico.

Se lo spazio è dotato solo di una semi-norma, con vettori non nulli v con norma nulla ||v||=0, lo spazio non è naturalmente dotato di una metrica (una definizione come quella sopra genererebbe dei punti a distanza zero), ma può essere comunque dotato di una topologia, che non è però di Hausdorff (non è neppure T0).

In ogni caso, metrica e/o topologia permettono la definizione di nozioni quali continuità e convergenza.

Completezza

Di speciale interesse sono gli spazi normati completi chiamati spazi di Banach.

Ogni spazio vettoriale normato V risiede come sottospazio denso in uno spazio di Banach; questo spazio di Banach è essenzialmente definito unicamente da V ed è chiamato il completamento di V. Gli spazi di Banach hanno molte proprietà notevoli, e per questo motivo è spesso più agevole studiare le proprietà di uno spazio normato come sottoinsieme del suo completamento.

Dimensione finita

Sfere unitarie sul piano associate a diverse norme.

Uno spazio vettoriale reale o complesso di dimensione $n$ è isomorfo allo spazio $\mathbb {R} ^{n}$ o $\mathbf {C} ^{n}$. Un tale spazio ammette molte norme differenti fra loro. Queste norme possono essere visualizzate geometricamente disegnando la sfera unitaria, cioè il sottoinsieme formato da tutti i vettori aventi norma 1.

Tutte le norme su uno spazio vettoriale finito-dimensionale sono però equivalenti da un punto di vista topologico, in quanto inducono la stessa topologia, detta topologia euclidea. Poiché tale topologia è completa, tutti gli spazi vettoriali normati finito-dimensionali sono spazi di Banach.

Palla unitaria e intorni

Uno spazio vettoriale normato V è finito-dimensionale se e solo se la palla unitaria

B = {x : ||x|| ≤ 1}

è compatta, il che si verifica se e solo se V è localmente compatto.

La topologia di uno spazio vettoriale semi-normato ha molte interessanti proprietà. Dato un sistema di intorni ${\mathcal {N}}(0)$ dello zero possiamo costruire tutti gli altri sistemi di intorni come

${\mathcal {N}}(x)=x+{\mathcal {N}}(0):=\{x+N\mid N\in {\mathcal {N}}(0)\}$

con

$x+N:=\{x+n\mid n\in N\}$.

Inoltre esiste una base di intorni per lo zero che consiste di insiemi assorbenti e convessi. Siccome questa proprietà è molto utile in analisi funzionale, generalizzazioni di spazi vettoriali normati con questa proprietà vengono studiati sotto il nome di spazi localmente convessi.

Applicazioni lineari e spazi duali

Le più importanti applicazioni tra spazi vettoriali normati sono le applicazioni lineari continue. Insieme con queste applicazioni, gli spazi vettoriali normati formano una categoria.

La norma è una trasformazione lineare continua e anche tutte le applicazioni lineari tra spazi vettoriali finito-dimensionali sono continue.

Una isometria tra due spazi vettoriali normati è una applicazione lineare f che conserva la norma (vale a dire ||f(v)|| = ||v|| per tutti i vettori v). Le isometrie sono sempre continue e iniettive. Una isometria suriettiva tra gli spazi vettoriali normati V e W viene chiamata isomorfismo isometrico, e V e W vengono detti isometricamente isomorfi. Spazi vettoriali normati isometricamente isomorfi sono identici per tutti gli scopi pratici.

Quando parliamo di spazi vettoriali normati, allarghiamo la nozione di spazio duale per tener conto della norma. Il duale V ' di uno spazio vettoriale normato V è lo spazio di tutte le applicazioni lineari continue da V al campo base (quello complesso o quello reale) — tali applicazioni lineari vengono chiamati "funzionali". La norma di un funzionale φ è definita come l'estremo superiore di |φ(v)| dove v varia tra tutti i vettori unitari (ovvero i vettori di norma 1) in V. Questo rende V ' uno spazio vettoriale normato. Un teorema importante riguardo i funzionali lineari continui su uno spazio vettoriale normato è il teorema di Hahn-Banach.

Spazi normati come quoziente di spazi semi-normati

La definizione di molti spazi normati (in particolare, spazi di Banach) coinvolgono una semi-norma definita su uno spazio vettoriale e allora lo spazio normato è definito come lo spazio quoziente rispetto al sottospazio degli elementi di semi-norma zero. Per esempio, con gli spazi L^p, la funzione definita da

$\|f\|_{p}=\left(\int |f(x)|^{p}\;dx\right)^{1/p}$

è una seminorma sullo spazio vettoriale di tutte le funzioni per cui l'integrale di Lebesgue del membro di destra è definito e finito. Comunque, la semi-norma è uguale a zero per ogni funzione avente per supporto un insieme di misura di Lebesgue zero. Queste funzioni formano un sottospazio chhe possiamo "quozientare via", rendendole equivalenti alla funzione nulla.

Spazi prodotto finiti

Dati n spazi semi-normati X_i con semi-norme p_i possiamo definire lo spazio prodotto come

$X:=\prod _{i=1}^{n}X_{i}$

con somma vettoriale definita come

$(x_{1},\ldots ,x_{n})+(y_{1},\ldots ,y_{n}):=(x_{1}+y_{1},\ldots x_{n}+y_{n})$

e moltiplicazione per scalare definita come

$\alpha (x_{1},\ldots ,x_{n}):=(\alpha x_{1},\ldots ,\alpha x_{n})$.

Definiamo una nuova funzione p

$p:X\mapsto \mathbb {R}$

come

$p:(x_{1},\ldots ,x_{n})\to \sum _{i=1}^{n}p_{i}(x_{i})$.

la quale è una semi-norma su X. La funzione p è una norma se e solo se tutte le p_i sono norme.

Inoltre, una semplice argomentazione che coinvolge algebra lineare elementare mostra che i soli spazi semi-normati finito-dimensionali sono quelli che nascono como prodotto di uno spazio normato e di uno spazio con seminorma banale. Di conseguenza, molti degli esempi e delle applicazioni più interessanti si spazi semi-normati si trovano per spazi vettoriali infinito-dimensionali.

Voci correlate

• spazi localmente convessi, generalizzazioni di spazi vettoriali semi-normati
• spazi di Banach, spazi vettoriali normati che sono completi rispetto alla metrica indotta dalla norma