PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (232)
Orphanage
Unclass'd
Unproven (519)
Corrections (21)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: Low
dual space (Definition)

Dual of a vector space; dual bases

Let $ V$ be a vector space over a field $ k$. The dual of $ V$, denoted by $ V^{\ast}$, is the vector space of linear forms on $ V$, i.e. linear mappings $ V\to k$. The operations in $ V^{\ast}$ are defined pointwise:

$\displaystyle (\varphi + \psi )(v) = \varphi (v) + \psi (v) $
$\displaystyle (\lambda\varphi )(v) = \lambda\varphi (v)$
for $ \lambda\in K$, $ v\in V$ and $ \varphi,\psi\in V^{\ast}$.

$ V$ is isomorphic to $ V^{\ast}$ if and only if the dimension of $ V$ is finite. If not, then $ V^{\ast}$ has a larger (infinite) dimension than $ V$; in other words, the cardinal of any basis of $ V^{\ast}$ is strictly greater than the cardinal of any basis of $ V$.

Even when $ V$ is finite-dimensional, there is no canonical or natural isomorphism $ V\to V^{\ast}$. But on the other hand, a basis $ \mathcal{B}$ of $ V$ does define a basis $ \mathcal{B}^\ast $ of $ V^{\ast}$, and moreover a bijection $ \mathcal{B}\to\mathcal{B}^\ast $. For suppose $ \mathcal{B}=\{b_1,\dots,b_n\}$. For each $ i$ from $ 1$ to $ n$, define a mapping

$\displaystyle \beta_i:V\to k$
by
$\displaystyle \beta_i(\sum_k x_k b_k)=x_i\;.$
It is easy to see that the $ \beta_i$ are nonzero elements of $ V^{\ast}$ and are independent. Thus $ \{\beta_1,\dots,\beta_n\}$ is a basis of $ V^{\ast}$, called the dual basis of $ \mathcal{B}$.

The dual of $ V^{\ast}$ is called the second dual or bidual of $ V$. There is a very simple canonical injection $ V\to V^{\ast\ast}$, and it is an isomorphism if the dimension of $ V$ is finite. To see it, let $ x$ be any element of $ V$ and define a mapping $ x':V^{\ast}\to k$ simply by

$\displaystyle x'(\phi)=\phi(x)\;.$
$ x'$ is linear by definition, and it is readily verified that the mapping $ x\mapsto x'$ from $ V$ to $ V^{\ast\ast}$ is linear and injective.

Dual of a topological vector space

If $ V$ is a topological vector space, the continuous dual $ V^{\prime}$ of $ V$ is the subspace of $ V^{\ast}$ consisting of the continuous linear forms.

A normed vector space $ V$ is said to be reflexive if the natural embedding $ V\to V^{\prime\prime}$ is an isomorphism. For example, any finite dimensional space is reflexive, and any Hilbert space is reflexive by the Riesz representation theorem.

Remarks

Linear forms are also known as linear functionals.

Another way in which a linear mapping $ V\to V^{\ast}$ can arise is via a bilinear form

$\displaystyle V \times V \to k\;.$
The notions of duality extend, in part, from vector spaces to modules, especially free modules over commutative rings. A related notion is the duality in projective spaces.



"dual space" is owned by Daume. [ full author list (3) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: dual homomorphism, double dual embedding, Banach space, unimodular, linear functional, bounded linear functionals on $L^p(\mu)$

Other names:  algebraic dual, continuous dual, dual basis, reflexive, natural embedding, topological dual

Attachments:
duality with respect to a non-degenerate bilinear form (Definition) by alozano
spanning sets of dual space (Theorem) by stevecheng
dual space separates points (Corollary) by asteroid
Log in to rate this entry.
(view current ratings)

Cross-references: projective spaces, commutative rings, free modules, modules, duality, bilinear form, Riesz representation theorem, Hilbert space, finite dimensional, Reflexive, continuous, subspace, topological vector space, injective, isomorphism, canonical injection, independent, easy to see, mapping, bijection, natural isomorphism, canonical, finite-dimensional, even, strictly, basis, cardinal, infinite, finite, dimension, isomorphic, operations, linear mappings, linear forms, field, bases, vector space
There are 44 references to this entry.

This is version 11 of dual space, born on 2002-02-03, modified 2007-04-13.
Object id is 1739, canonical name is DualSpace.
Accessed 27202 times total.

Classification:
AMS MSC: 15A99 (Linear and multilinear algebra; matrix theory :: Miscellaneous topics)
Pending Errata and Addenda
None.
[ View all 8 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)