Dual pair

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 form.

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 by a bilinear form. Using the bilinear form, 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.

Contents

Definition

A dual pair is a 3-tuple (X,Y,\langle , \rangle) consisting of two vector spaces X and Y over the same (real or complex) field \mathbb{F} and a bilinear form

\langle , \rangle : X \times Y \to \mathbb{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

We say \langle , \rangle puts X and Y in duality.

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 any two elements of M and N are orthogonal.

Example

A vector space V together with its algebraic dual V * and the bilinear form 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 space E together with its topological dual E' and the bilinear form 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 , \rangle') with

\langle , \rangle': (y,x) \to \langle x , y\rangle

A sequence space E and its beta dual Eβ with the bilinear form 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


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Reductive dual pair — In the mathematical field of representation theory, a reductive dual pair is a pair of subgroups (G,G ′) of the isometry group Sp(W) of a symplectic vector space W, such that G is the centralizer of G ′ in Sp(W) and vice versa, and these groups… …   Wikipedia

  • Dual topology — In functional analysis and related areas of mathematics a dual topology is a locally convex topology on a dual pair, two vector spaces with a bilinear form defined on them, so that one vector space becomes the continuous dual of the other space.… …   Wikipedia

  • Dual object — In category theory, a branch of mathematics, it is possible to define a concept of dual object generalizing the concept of dual space in linear algebra. A category in which each object has a dual is called autonomous or rigid. Contents 1… …   Wikipedia

  • Dual-channel architecture — describes a technology that theoretically doubles data throughput from RAM to the memory controller. Dual channel enabled memory controllers utilize two 64 bit data channels, resulting in a total bandwidth of 128 bits, to move data from RAM to… …   Wikipedia

  • Dual Survival (2010 season) — Country of origin  United States Broadcast …   Wikipedia

  • Dual (grammatical number) — Dual (abbreviated du) is a grammatical number that some languages use in addition to singular and plural. When a noun or pronoun appears in dual form, it is interpreted as referring to precisely two of the entities (objects or persons) identified …   Wikipedia

  • Dual Survival (2011 season) — Country of origin  United States Broadcast …   Wikipedia

  • Dual wield — Dual wielding is to hold a weapon in each hand. In gaming a dual wield may also be called akimbo style, though it has little resemblance to the human position of that name. This most commonly refers to matched pairs of handguns but can refer to… …   Wikipedia

  • Dual (Heroes) — Dual Heroes episode Claire guards Angela against Sylar …   Wikipedia

  • Dual Control — are Mike Ball (also known as Bally) and Phil Davis (also known as DJ Styles) from Manchester, England. They are signed to Grand Central Records independent record label, and their music is primarily instrumental hip hop, with a typical Grand… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”