# Spazio localmente convesso

In matematica, uno spazio localmente convesso è uno spazio vettoriale topologico che generalizza il concetto di spazio normato.
La topologia localmente convessa su uno spazio vettoriale topologico (reale o complesso) è una topologia formata da una base di insiemi convessi tale per cui le operazioni lineari sullo spazio sono continue. Non si tratta necessariamente di una topologia di Hausdorff.
Da un punto di vista analitico uno spazio localmente convesso può essere caratterizzato considerando uno spazio vettoriale topologico $X$ nel quale è definita una famiglia $P$ di seminorme. Lo spazio $X$ viene detto localmente convesso se:
    $\cap _{p\in P}\{x\in X|p(x)=0\}=\{0_{X}\}$
La topologia naturale che caratterizza uno spazio localmente convesso è dunque la topologia più debole tale per cui le seminorme della famiglia sono funzioni continue, e continua è l'operazione di addizione.

## Definizione

Sia $V$ uno spazio vettoriale sul un campo $K$, che può essere $\mathbb {R}$ o $\mathbb {C}$. Si può definire la nozione di spazio localmente convesso sia utilizzando insiemi convessi, sia mediate una famiglia di seminorme.

### Insiemi convessi

Un sottoinsieme $C$ di $V$ può essere:
* Un insieme convesso se $tx+(1-t)y$ appartiene a $C$ per tutti gli $x,y\in C$ e per $0\leq t\leq 1$. In altri termini, $C$ contiene tutti i segmenti che congiungono i suoi punti.
* Un insieme circolare se $\lambda x\in C$ per tutti gli $x\in C$ quando $|\lambda |=1$. Se $K=\mathbb {R}$, $C$ è uguale alla sua riflessione rispetto all'origine. Se $K=\mathbb {C}$, allora per tutti gli $x\in C$ l'insieme $C$ contiene la circonferenza centrata nell'origine e passante per $x$ nel sottospazio mono-dimensionale (complesso) generato da $x$.
* Un cono se $\lambda x\in C$ per tutti gli $x\in C$ quando $0\leq \lambda \leq 1$.
* Un insieme bilanciato se $\lambda x\in C$ per tutti gli $x\in C$ quando $|\lambda |\leq 1$. Se $K=\mathbb {C}$, allora per tutti gli $x\in C$ l'insieme $C$ contiene il disco centrato nell'origine e la cui frontiera comprende $x$ nel sottospazio mono-dimensionale (complesso) generato da $x$. In altri termini, si tratta di un cono circolare. Se $K=\mathbb {R}$ e $x\in C$, allora $C$ contiene il segmento congiungente $x$ con $-x$.
* Un insieme assorbente se $V$ è l'unione degli insiemi $tC$ per $t>0$. In modo equivalente, per ogni $x\in V$ si ha che $tx\in C$ per qualche $t>0$.
* Un insieme assolutamente convesso se è bilanciato e convesso.
Uno spazio vettoriale topologico localmente convesso è uno spazio vettoriale topologico che ammette una base di intorni dell'origine che sono di insiemi assorbenti assolutamente convessi.
Dal momento che la traslazione è una mappa continua (per definizione di spazio vettoriale topologico), tutte le traslazioni sono omeomorfismi e dunque ogni base locale può essere traslata nell'intorno di qualsiasi altro vettore diverso dall'origine.

### Seminorme

Uno spazio localmente convesso è uno spazio vettoriale $V$ con una famiglia di seminorme $\{p_{\alpha }\}_{\alpha \in A}$ su $V$. Lo spazio possiede una topologia naturale, la topologia iniziale generata dalla famiglia (numerabile) di seminorme. Si tratta cioè della topologia più grezza tale per cui tutte le funzioni:
    ${\begin{cases}p_{\alpha ,y}:V\to \mathbb {R} \\x\mapsto p_{\alpha }(x-y)&y\in V,\alpha \in A\end{cases}}$
sono continue. Una base di intorni per $V$ si ottiene definendo per ogni sottoinsieme finito $B$ di $A$ e per ogni $\varepsilon >0$:
    $U_{B,\varepsilon }(y)=\{x\in V:p_{\alpha }(x-y)<\varepsilon \ \forall \alpha \in B\}$
Si nota che:
    $U_{B,\varepsilon }(y)=\bigcap _{\alpha \in B}(p_{\alpha ,y})^{-1}([0,\varepsilon ))$
Relativamente alla definizione "insiemistica", lo spazio vettoriale topologico risultante è localmente convesso in quanto ogni $U_{B,\varepsilon }(0)$ è assolutamente convesso e assorbente.

### Equivalenza delle definizioni

Per un insieme assorbente $C$ tale che se $x\in C$ allora $tx\in C$ per $0\leq t\leq 1$, si definisce il funzionale di Minkowski come:
    $\mu _{C}(x)=\inf\{\lambda >0:x\in \lambda C\}$
Da tale definizione segue che $\mu _{C}$ è una seminorma se $C$ è bilanciato e convesso. Viceversa, data una famiglia di seminorme, gli insiemi:
    $\left\{x:p_{\alpha _{1}}(x)<\varepsilon ,\cdots ,p_{\alpha _{n}}(x)<\varepsilon \right\}$
formano una base di insiemi assorbenti e bilanciati.

## Esempi

* Ogni spazio normato è uno spazio di Hausdorff localmente convesso, e parte della teoria degli spazi localmente convessi generalizza i risultati relativi agli spazi normati. Ogni spazio di Banach è uno spazio completo di Hausdorff localmente convesso, ed in particolare gli spazi L$^p$ con $p\geq 1$ sono localmente convessi.
* Più in generale, ogni spazio di Fréchet è uno spazio localmente convesso. Uno spazio di Fréchet può infatti essere definito come uno spazio localmente convesso equipaggiato con una famiglia separata di seminorme.
* Lo spazio $R^{\omega }$ delle successioni a valori reali con la famiglia di seminorme data da:
    $p_{i}\left(\left\{x_{n}\right\}_{n}\right)=\left|x_{i}\right|\qquad i\in \mathbf {N}$
    è uno spazio di Fréchet (non normabile) in quanto la famiglia di seminorme è completa e separabile.
* Dato uno spazio vettoriale $V$ ed una collezione $F$ di funzionali lineari definiti su di esso, $V$ può essere reso uno spazio vettoriale topologico localmente convesso (non normabile) munendolo della topologia più debole tale per cui i funzionali della famiglia sono funzioni continue. In particolare quando $V$ è uno spazio di Banach reale o complesso e $F=V^{*}$ è il suo duale questo induce la topologia debole che rende infatti lo spazio localmente convesso.
* Sullo spazio delle funzioni lisce $f:\mathbb {R} ^{n}\to \mathbb {C}$ tali che $\sup _{x}|x^{a}D^{b}f|<\infty$, dove $a$ e $b$ sono multi-indici, si può definire la famiglia di seminorme data da:
    $p_{a,b}=\sup _{x}|x^{a}D^{b}f(x)|$
    che è separata e numerabile. Dato che lo spazio è completo, si tratta di uno spazio metrizzabile che è uno spazio di Fréchet, ed è noto come spazio di Schwartz o spazio delle funzioni a decrescenza rapida. Il suo spazio duale è lo spazio delle distribuzioni temperate.
* Dato uno spazio topologico $X$, lo spazio $C(X)$ delle funzioni continue (non necessariamente limitate) su $X$ può essere caratterizzato con la topologia della convergenza uniforme su insiemi compatti. Questa topologia è data dalla famiglia di seminorme:
    $\phi _{K}(f)=\max\{|f(x)|:x\in K\}$
    dove $V$ spazia sull'insieme diretto di tutti i sottoinsiemi compatti di $X$. Se $V$ è localmente compatto (ad esempio, può essere un aperto di $\mathbb {R} ^{n}$) allora nel caso di funzioni reali si applica il teorema di approssimazione di Weierstrass: ogni sottoalgebra di $C(X)$ che separa i punti e contiene la funzione costante è un insieme denso.

## Operatori lineari continui

Utilizzando le seminorme è possibile definire una condizione necessaria e sufficiente per la continuità delle mappe definite tra spazi localmente convessi, gli operatori lineari continui.
Dati due spazi localmente convessi $V$ e $W$ in cui sono definite rispettivamente due famiglie di seminorme $\{p_{\alpha }\}_{\alpha }$ e $\{q_{\beta }\}_{\beta }$, una mappa lineare $T:V\to W$ è continua se e soltanto se per ogni $\beta$ esistono $\alpha _{1},\dots \alpha _{n}$ ed esiste $M>0$ tali che per tutti i vettori $v\in V$ si verifica:
    $q_{\beta }(Tv)\leq M\left(p_{\alpha _{1}}(v)+\dotsb +p_{\alpha _{n}}(v)\right)$
In altri termini, ogni seminorma dell'immagine della funzione è limitata superiormente da una qualche somma finita di seminorme nel dominio della funzione.