Topologia polare
# Topologia polare

In matematica, in particolare in analisi funzionale, una topologia polare consente di definire una topologia localmente convessa su una coppia di spazi vettoriali duali (in generale relazionati mediante una forma bilineare).

## Definizione

Sia $(X,Y,\langle ,\rangle )$ una coppia duale, cioè una tripla formata da due spazi vettoriali $X$ e $Y$ sullo stesso campo $\mathbb {F}$ (dei numeri reali o complessi), e da una forma bilineare $\langle ,\rangle :X\times Y\to \mathbb {F}$ tale che:

* $\forall x\in X\setminus \{0\}\quad \exists y\in Y:\langle x,y\rangle \neq 0$
* $\forall y\in Y\setminus \{0\}\quad \exists x\in X:\langle x,y\rangle \neq 0$

Un insieme $A\subseteq X$ è un insieme limitato in $X$ rispetto a $Y$ se per ogni elemento $y\in Y$ l'insieme dei valori $\{\langle x,y\rangle ;x\in A\}$ è limitato in $\mathbb {F}$:

    $\sup _{x\in A}|\langle x,y\rangle |<\infty \qquad \forall y\in Y$

Tale condizione è equivalente alla richiesta che l'insieme polare $A^{\circ }$ dell'insieme $A$ in $Y$:

    $A^{\circ }=\{y\in Y:\,\sup _{x\in A}|\langle x,y\rangle |\leq 1\}$

sia un insieme assorbente in $Y$, ovvero:

    $\bigcup _{\lambda \in {\mathbb {F} }}\lambda \cdot A^{\circ }=Y$

Sia ora ${\mathcal {A}}$ una famiglia di insiemi limitati di $X$ (limitati rispetto a $Y$) che soddisfi le seguenti proprietà:

* Ogni punto $x$ di $X$ appartiene a qualche insieme $A\in {\mathcal {A}}$: $\forall x\in X\,\exists A\in {\mathcal {A}}:x\in A$.
* Ogni coppia di insiemi $A\in {\mathcal {A}}$ e $B\in {\mathcal {A}}$ è contenuta in qualche insieme $C\in {\mathcal {A}}$: $\forall A,B\in {\mathcal {A}}\,\exists C\in {\mathcal {A}}:A\cup B\subseteq C$.
* ${\mathcal {A}}$ è chiusa rispetto alla moltiplicazione per scalare:

    $\lambda \cdot A\in {\mathcal {A}}\qquad \forall A\in {\mathcal {A}}\quad \forall \lambda \in {\mathbb {F} }$

Allora la seminorma:

    $\|y\|_{A}=\sup _{x\in A}|\langle x,y\rangle |\qquad A\in {\mathcal {A}}$

definisce una topologia di Hausdorff localmente convessa su $Y$, la topologia polare su $Y$ generata dalla famiglia di insiemi ${\mathcal {A}}$. Gli insiemi:

    $U_{B}=\{x\in V:\quad \|\varphi \|_{B}<1\}\qquad B\in {\mathcal {B}}$

formano una base locale di questa topologia. Una rete di elementi $y_{i}\in Y$ tende a un elemento $y\in Y$ rispetto a questa topologia se e solo se:

    $\|y_{i}-y\|_{A}=\sup _{x\in A}|\langle x,y_{i}\rangle -\langle x,y\rangle |{\underset {i\to \infty }{\longrightarrow }}0\qquad \forall A\in {\mathcal {A}}$

A causa di ciò, la topologia polare è spesso detta topologia della convergenza uniforme degli insiemi di ${\mathcal {A}}$. La seminorma $\|y\|_{A}$ è il gauge dell'insieme polare $A^{\circ }$.

