Dual pair

This redirect is about dual pairs of vector spaces. For dual pairs in representation theory, see Reductive dual pair.

In functional analysis and related areas of mathematics a dual pair or dual system is a pair of vector spaces with an associated bilinear map to the base field.

A common method in functional analysis, when studying normed vector spaces, is to analyze the relationship of the space to its continuous dual, the vector space of all possible continuous linear forms on the original space. A dual pair generalizes this concept to arbitrary vector spaces, with the duality being expressed as a bilinear map. Using the bilinear map, semi norms can be constructed to define a polar topology on the vector spaces and turn them into locally convex spaces, generalizations of normed vector spaces.

Definition

A dual pair is a 3-tuple $(X,Y,\langle \cdot ,\cdot \rangle )$ consisting of two vector spaces $X$ and $Y$ over the same field $F$ and a bilinear map

$\langle \cdot ,\cdot \rangle :X\times Y\to F$

with

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

and

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

If the vector spaces are finite dimensional this means that the bilinear form is non-degenerate.

We call $\langle \cdot ,\cdot \rangle$ the duality pairing, and say that it puts $X$ and $Y$ in duality.

When the two spaces are a vector space $X$ (or a module over a ring in general) and its dual $X^{*}$, we call the canonical duality pairing $\langle \cdot ,\cdot \rangle :X^{*}\times X\rightarrow F:(\varphi ,x)\mapsto \varphi (x)$ the natural pairing.

We call two elements $x\in X$ and $y\in Y$ orthogonal if

$\langle x,y\rangle =0.$

We call two sets $M\subseteq X$ and $N\subseteq Y$ orthogonal if each pair of elements from $M$ and $N$ are orthogonal.

Example

A vector space $V$ together with its algebraic dual $V^{*}$ and the bilinear map defined as

$\langle x,f\rangle :=f(x)\qquad x\in V{\mbox{ , }}f\in V^{*}$

forms a dual pair.

A locally convex topological vector space $E$ together with its topological dual $E'$ and the bilinear map defined as

$\langle x,f\rangle :=f(x)\qquad x\in E{\mbox{ , }}f\in E'$

forms a dual pair. (To show this, the Hahn–Banach theorem is needed.)

For each dual pair $(X,Y,\langle ,\rangle )$ we can define a new dual pair $(Y,X,\langle \cdot ,\cdot \rangle ')$ with

$\langle \cdot ,\cdot \rangle ':(y,x)\mapsto \langle x,y\rangle$

A sequence space $E$ and its beta dual $E^{\beta }$ with the bilinear map defined as

$\langle x,y\rangle :=\sum _{i=1}^{\infty }x_{i}y_{i}\quad x\in E,y\in E^{\beta }$

form a dual pair.

Comment

Associated with a dual pair $(X,Y,\langle ,\rangle )$ is an injective linear map from $X$ to $Y^{*}$ given by

$x\mapsto (y\mapsto \langle x,y\rangle )$

There is an analogous injective map from $Y$ to $X^{*}$.

In particular, if either of $X$ or $Y$ is finite-dimensional, these maps are isomorphisms.

See also

• Dual topology
• Pairing
• Polar set
• Polar topology
• Reductive dual pair