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.

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

• un vettore ha sempre lunghezza strettamente positiva. L'unica eccezione è il vettore nullo che ha sempre lunghezza zero.
• moltiplicare un vettore per un numero reale ha l'effetto di moltiplicare la sua lunghezza per il modulo di esso.
• la disuguaglianza triangolare.

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

Uno spazio vettoriale semi-normato è una coppia ${\displaystyle (V,p)}$ dove ${\displaystyle V}$ è uno spazio vettoriale reale o complesso e ${\displaystyle p}$ una seminorma su ${\displaystyle V}$.

Uno spazio vettoriale normato è una coppia ${\displaystyle (V,\|\cdot \|)}$ dove ${\displaystyle V}$ è uno spazio vettoriale reale o complesso e ${\displaystyle \|\cdot \|}$ una norma su ${\displaystyle V}$.

Quando è chiaro dal contesto, spesso si omette di descrivere la (semi-)norma e si scrive semplicemente ${\displaystyle V}$.

Una generalizzazione degli spazi semi-normati sono gli spazi localmente convessi.

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

Se lo spazio è dotato solo di una semi-norma, con vettori non nulli ${\displaystyle v}$ con norma nulla ${\displaystyle \|v\|}$, lo spazio non è naturalmente dotato di una metrica (una definizione come quella sopra genererebbe dei punti a distanza zero), ma di una pseudometrica, e 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.

Lo stesso argomento in dettaglio: Spazio di Banach.

Di speciale interesse sono gli spazi normati completi, gli spazi di Banach. Ogni spazio vettoriale normato ${\displaystyle V}$ risiede come sottospazio denso in uno spazio di Banach: questo spazio di Banach è essenzialmente definito unicamente da ${\displaystyle V}$ ed è chiamato il completamento di ${\displaystyle 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.

Uno spazio vettoriale reale o complesso di dimensione ${\displaystyle n}$ è isomorfo allo spazio ${\displaystyle \mathbb {R} ^{n}}$ o ${\displaystyle \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.

Uno spazio vettoriale normato ${\displaystyle V}$ è finito-dimensionale se e solo se la palla unitaria:

${\displaystyle B=(\mathbf {x} :\|\mathbf {x} \|\leq 1)}$

è compatta, il che si verifica se e solo se ${\displaystyle V}$ è localmente compatto.

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

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

con:

${\displaystyle 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.

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 continua. Inoltre tutte le applicazioni lineari tra spazi vettoriali finito-dimensionali sono continue.

Un'isometria tra due spazi vettoriali normati è una applicazione lineare ${\displaystyle f}$ che conserva la norma:

${\displaystyle \|f(\mathbf {v} )\|=\|\mathbf {v} \|\qquad \forall \mathbf {v} }$

Le isometrie sono sempre continue e iniettive. Una isometria suriettiva tra gli spazi vettoriali normati ${\displaystyle V}$ e ${\displaystyle W}$ viene chiamata isomorfismo isometrico, e ${\displaystyle V}$ e ${\displaystyle 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 ${\displaystyle V'}$ di uno spazio vettoriale normato ${\displaystyle V}$ è lo spazio di tutte le applicazioni lineari continue da ${\displaystyle V}$ al campo base (quello complesso o quello reale) — tali applicazioni lineari vengono chiamati "funzionali". La norma di un funzionale ${\displaystyle \phi }$ è definita come l'estremo superiore di ${\displaystyle |\phi (\mathbf {v} )|}$ dove ${\displaystyle \mathbf {v} }$ varia tra tutti i vettori unitari (ovvero i vettori di norma 1) in ${\displaystyle V}$. Questo rende ${\displaystyle V'}$ uno spazio vettoriale normato. Un teorema importante riguardo ai funzionali lineari continui su uno spazio vettoriale normato è il teorema di Hahn-Banach.

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 vettoriale quoziente rispetto al sottospazio degli elementi di semi-norma zero. Per esempio, con gli spazi L^p, la funzione definita da:

${\displaystyle \|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. Le funzioni aventi seminorma nulla sono quelle il cui supporto ha misura di Lebesgue zero: queste funzioni formano un sottospazio. Lo ${\displaystyle L^{p}}$ è ottenuto quozientando lo spazio di funzioni su questo sottospazio.

Dati n spazi semi-normati ${\displaystyle X_{i}}$ con semi-norme ${\displaystyle p_{i}}$ si può definire lo spazio prodotto come:

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

con somma vettoriale definita come:

${\displaystyle (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:

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

Definendo una nuova funzione ${\displaystyle p:X\mapsto \mathbb {R} }$ come:

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

essa è una semi-norma su ${\displaystyle X}$. La funzione ${\displaystyle p}$ è una norma se e solo se tutte le ${\displaystyle 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.

• (EN) A.N. Kolmogorov, S.V. Fomin, Elements of the theory of functions and functional analysis , 1–2 , Graylock (1957–1961) (Translated from Russian)
• (EN) W.I. [V.I. Sobolev] Sobolew, Elemente der Funktionalanalysis , H. Deutsch , Frankfurt a.M. (1979)
• (EN) G.E. Shilov, Mathematical analysis , 1–2 , M.I.T. (1974)
• (EN) Frank M. Callier, Linear System Theory, Springer-Verlag, 1991.

• Norma (geometria)
• Pseudometrica
• Seminorma
• Spazio di Banach
• Spazio localmente convesso
• Spazio Lp
• Spazio metrico

• (EN) Eric W. Weisstein, Spazio normato, su MathWorld, Wolfram Research.
• (EN) Spazio normato, su Encyclopaedia of Mathematics, Springer e European Mathematical Society.

V · D · M Topologia
Concetti di Topologia generale	Spazio topologico · Base · Prebase · Ricoprimento · Assiomi di chiusura di Kuratowski · Invariante topologico · Relazione di finezza · Partizione dell'unità · Proprietà dell'intersezione finita Sottoinsiemi Intervallo · Aperto · Intorno · Chiuso · Insieme localmente chiuso · Insieme chiuso-aperto · Parte interna · Chiusura · Frontiera · Insieme derivato · Insieme limite · Insieme perfetto · Insieme denso · Insieme mai denso Punti Punto isolato · Punto di accumulazione · Punto di aderenza Funzioni Funzione continua · Omeomorfismo · Funzione aperta · Funzione chiusa · Funzione propria · Contrazione · Retrazione · Germe di funzione · Funzione a supporto compatto Successioni Limite · Limite di una successione · Successione · Rete · Convergenza · Successione di Cauchy Teoremi Teorema di Weierstrass · Heine-Borel · Tichonov · Lemma del tubo · Urysohn · Tietze · Baire · Brouwer · punto fisso · Teorema di Borsuk · Teorema di Borsuk-Ulam · Teorema della curva di Jordan · Teorema della mappa di Riemann Applicazioni pratiche Topologia dello spazio-tempo · Teoria quantistica dei campi topologica · K-teoria ritorta · Topologia di rete · Controllo della topologia · Topologia molecolare
Spazi topologici	Topologie classiche Topologia banale · Spazio di Sierpiński · Cofinita · Topologia della semicontinuità inferiore · di Zariski · Euclidea · del limite inferiore o di Sorgenfrey · Discreta · Topologia degli interi equispaziati · Insieme reale esteso · Topologia di ordine · Piano di Moore · Topologia p-adica Costruzioni topologiche Topologia prodotto · Topologia di sottospazio · Topologia quoziente · Compattificazione (di Alexandrov · di Stone-Čech) · Cono · Bouquet · Rosa · Sospensione Topologie in Analisi funzionale Spazio funzionale · Topologia iniziale o debole · Topologia operatoriale · Topologia finale o forte · Topologia di Mackey · Topologia polare · Topologie operatoriali debole e forte Altri oggetti topologici Sfera · Palla · Toro · Corpo con manici · Bottiglia di Klein · Bottiglia di Klein solida · Anello · Nastro di Möbius · Retta proiettiva · Piano proiettivo · Superficie di Riemann · Nodo · Nodo torico · Link Frattali Insieme di Cantor · Spazio di Cantor · Polvere di Cantor · Spugna di Menger · Sfera di Alexander · Curva di Peano · Laghi di Wada Strutture miste Spazio vettoriale topologico · Gruppo topologico · Gruppo di Lie · Spazio uniforme · Algebra di Borel
Proprietà degli spazi topologici	Numerabilità Assioma di numerabilità · Spazio primo-numerabile · Spazio separabile · Spazio sequenziale Separazione Assioma di separazione · Spazio T0 · Spazio T1 · Spazio di Hausdorff · Spazio regolare · Spazio di Tichonov · Spazio normale Compattezza Spazio compatto · Spazio paracompatto · Spazio localmente compatto · Spazio di Lindelöf · Sottospazio relativamente compatto · Immersione compatta Connessione Spazio connesso · Spazio semplicemente connesso Metrizzabilità Spazio metrico · Spazio metrico completo · Spazio metrizzabile · Spazio ultrametrico · Spazio pseudometrico · Spazio polacco · Spazio normato · Spazio totalmente limitato Altre proprietà Spazio di Baire · Spazio topologico noetheriano · Spazio omogeneo · Orientazione
Topologia differenziale	Varietà (differenziabile · parallelizzabile · 3-varietà · 3-varietà irriducibile) · Atlante · Diffeomorfismo (locale · di Anosov) · Immersione · Curva · Superficie · Campo vettoriale · Fibrato (principale · vettoriale · Varietà fibrata) · Fibrato tangente · Spazio tangente · Fibrazione di Hopf · Varietà con bordo · Teorema dell'intorno tubolare · Somma connessa · Teorema di Kneser-Milnor · Congettura di geometrizzazione di Thurston · Cobordismo · Dimensione topologica · Topologia in dimensione bassa · Chirurgia di Dehn · Trasversalità · Eversione della sfera · Teoria delle foliazioni · Decomposizione JSJ
Topologia algebrica	Fondamenti Spazio semplicemente connesso · Gruppo fondamentale Omotopia Arco · Nerbo · Omotopia · Gruppi di omotopia Omologia e coomologia Omologia · Omologia singolare · Omologia ciclica · Algebra omologica · Coomologia di De Rham · Categoria abeliana Sollevamento Sollevamento · Teorema del sollevamento dell'omotopia · Teorema di unicità del sollevamento · Teorema di Van Kampen Topologia algebrica avanzata Grado topologico · Indice di avvolgimento · Indice di un campo vettoriale · Rivestimento · Numero di Betti · Successione di Mayer-Vietoris · Successione esatta · Successione spettrale · Complesso simpliciale · Complesso di celle · Complesso di catene · Schema simpliciale Superfici Caratteristica di Eulero · Formula di Eulero per i poliedri · Genere · Taglio · Superficie incompressibile · Classificazione delle superfici · Mapping class group · Teorema della palla pelosa · Teorema di Poincaré-Hopf · Congettura di Poincaré · Congettura di Hodge
Topologi di rilievo	Henri Poincaré · Felix Hausdorff · Georg Cantor · Eduard Čech · John Milnor · Pierre Samuel · Norman Steenrod · René Thom · Samuel Eilenberg · Andrej Nikolaevič Kolmogorov · Stephen Smale · Michael Atiyah · William Thurston · Marston Morse · Luitzen Brouwer

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica