Insieme polare
# Insieme polare

In matematica, in particolare in analisi funzionale, un insieme polare di un sottoinsieme di uno spazio vettoriale è un insieme nello spazio duale che soddisfa determinate proprietà.

## Definizione

Si definisce coppia duale una tripla composta 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$

Due elementi $x\in X$ e $y\in Y$ sono ortogonali se $\langle x,y\rangle =0$, mentre due insiemi $M\subseteq X$ e $N\subseteq Y$ sono ortogonali se ogni coppia di elementi in $M$ e $N$ è formata da vettori ortogonali fra loro.

L'insieme polare di un sottoinsieme $A$ in $X$ è l'insieme $A^{\circ }$ in $Y$ definito come:

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

L'insieme detto insieme bipolare di un sottoinsieme $A$ di $X$ è il polare in $X$ di $A^{\circ }$, e si denota con $A^{\circ \circ }$.

## Proprietà

* $A^{\circ }$ è assolutamente convesso
* Se $A\subseteq B$ allora $B^{\circ }\subseteq A^{\circ }$
* $(\gamma A)^{\circ }={\frac {1}{\mid \gamma \mid }}A^{\circ }\qquad \forall \gamma \neq 0$
* $(\bigcup _{i\in I}A_{i})^{\circ }=\bigcap _{i\in I}A_{i}^{\circ }$
* Per una coppia duale $(X,Y)$, $A^{\circ }$ è chiuso in $Y$ rispetto alla topologia debole* su $Y$.
* Il bipolare $A^{\circ \circ }$ di $A$ è l'inviluppo assolutamente convesso di $A$, ovvero il più piccolo insieme assolutamente convesso contenente $A$. Se $A$ è già assolutamente convesso allora $A^{\circ \circ }=A$.
