Sia
(
X
,
Y
,
⟨
,
⟩
)
{\displaystyle (X,Y,\langle ,\rangle )}
una coppia duale , cioè una tripla formata da due spazi vettoriali
X
{\displaystyle X}
e
Y
{\displaystyle Y}
sullo stesso campo
F
{\displaystyle \mathbb {F} }
(dei numeri reali o complessi ), e da una forma bilineare
⟨
,
⟩
:
X
×
Y
→
F
{\displaystyle \langle ,\rangle :X\times Y\to \mathbb {F} }
tale che:
∀
x
∈
X
∖
{
0
}
∃
y
∈
Y
:
⟨
x
,
y
⟩
≠
0
{\displaystyle \forall x\in X\setminus \{0\}\quad \exists y\in Y:\langle x,y\rangle \neq 0}
∀
y
∈
Y
∖
{
0
}
∃
x
∈
X
:
⟨
x
,
y
⟩
≠
0
{\displaystyle \forall y\in Y\setminus \{0\}\quad \exists x\in X:\langle x,y\rangle \neq 0}
Un insieme
A
⊆
X
{\displaystyle A\subseteq X}
è un insieme limitato in
X
{\displaystyle X}
rispetto a
Y
{\displaystyle Y}
se per ogni elemento
y
∈
Y
{\displaystyle y\in Y}
l'insieme dei valori
{
⟨
x
,
y
⟩
;
x
∈
A
}
{\displaystyle \{\langle x,y\rangle ;x\in A\}}
è limitato in
F
{\displaystyle \mathbb {F} }
:
sup
x
∈
A
|
⟨
x
,
y
⟩
|
<
∞
∀
y
∈
Y
{\displaystyle \sup _{x\in A}|\langle x,y\rangle |<\infty \qquad \forall y\in Y}
Tale condizione è equivalente alla richiesta che l'insieme polare
A
∘
{\displaystyle A^{\circ }}
dell'insieme
A
{\displaystyle A}
in
Y
{\displaystyle Y}
:
A
∘
=
{
y
∈
Y
:
sup
x
∈
A
|
⟨
x
,
y
⟩
|
≤
1
}
{\displaystyle A^{\circ }=\{y\in Y:\,\sup _{x\in A}|\langle x,y\rangle |\leq 1\}}
sia un insieme assorbente in
Y
{\displaystyle Y}
, ovvero:
⋃
λ
∈
F
λ
⋅
A
∘
=
Y
{\displaystyle \bigcup _{\lambda \in {\mathbb {F} }}\lambda \cdot A^{\circ }=Y}
Sia ora
A
{\displaystyle {\mathcal {A}}}
una famiglia di insiemi limitati di
X
{\displaystyle X}
(limitati rispetto a
Y
{\displaystyle Y}
) che soddisfi le seguenti proprietà:
Ogni punto
x
{\displaystyle x}
di
X
{\displaystyle X}
appartiene a qualche insieme
A
∈
A
{\displaystyle A\in {\mathcal {A}}}
:
∀
x
∈
X
∃
A
∈
A
:
x
∈
A
{\displaystyle \forall x\in X\,\exists A\in {\mathcal {A}}:x\in A}
.
Ogni coppia di insiemi
A
∈
A
{\displaystyle A\in {\mathcal {A}}}
e
B
∈
A
{\displaystyle B\in {\mathcal {A}}}
è contenuta in qualche insieme
C
∈
A
{\displaystyle C\in {\mathcal {A}}}
:
∀
A
,
B
∈
A
∃
C
∈
A
:
A
∪
B
⊆
C
{\displaystyle \forall A,B\in {\mathcal {A}}\,\exists C\in {\mathcal {A}}:A\cup B\subseteq C}
.
A
{\displaystyle {\mathcal {A}}}
è chiusa rispetto alla moltiplicazione per scalare:
λ
⋅
A
∈
A
∀
A
∈
A
∀
λ
∈
F
{\displaystyle \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
∈
A
|
⟨
x
,
y
⟩
|
A
∈
A
{\displaystyle \|y\|_{A}=\sup _{x\in A}|\langle x,y\rangle |\qquad A\in {\mathcal {A}}}
definisce una topologia di Hausdorff localmente convessa su
Y
{\displaystyle Y}
, la topologia polare su
Y
{\displaystyle Y}
generata dalla famiglia di insiemi
A
{\displaystyle {\mathcal {A}}}
. Gli insiemi:
U
B
=
{
x
∈
V
:
‖
φ
‖
B
<
1
}
B
∈
B
{\displaystyle 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
∈
Y
{\displaystyle y_{i}\in Y}
tende a un elemento
y
∈
Y
{\displaystyle y\in Y}
rispetto a questa topologia se e solo se:
‖
y
i
−
y
‖
A
=
sup
x
∈
A
|
⟨
x
,
y
i
⟩
−
⟨
x
,
y
⟩
|
⟶
i
→
∞
0
∀
A
∈
A
{\displaystyle \|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
A
{\displaystyle {\mathcal {A}}}
. La seminorma
‖
y
‖
A
{\displaystyle \|y\|_{A}}
è il gauge dell'insieme polare
A
∘
{\displaystyle A^{\circ }}
.