Complex conjugate vector space

Complex conjugate vector space

In mathematics, the (formal) complex conjugate of a complex vector space V\, is the complex vector space \overline V consisting of all formal complex conjugates of elements of V\,. That is, \overline V is a vector space whose elements are in one-to-one correspondence with the elements of V\,:

\overline V = \{\overline v \mid v \in V\},

with the following rules for addition and scalar multiplication:

\overline v + \overline w = \overline{\,v+w\,}\quad\text{and}\quad\alpha\,\overline v = \overline{\,\overline \alpha \,v\,}.

Here v\, and w\, are vectors in V\,, \alpha\, is a complex number, and \overline\alpha denotes the complex conjugate of \alpha\,.

More concretely, the complex conjugate is the same underlying real vector space (same set of points, same vector addition and real scalar multiplication) with the conjugate linear complex structure J (different multiplication by i).

In the case where V\, is a linear subspace of \mathbb{C}^n, the formal complex conjugate \overline V is naturally isomorphic to the actual complex conjugate subspace of V\, in \mathbb{C}^n.

Contents

Antilinear maps

If V\, and W\, are complex vector spaces, a function f\colon V \to W\, is antilinear if

f(v+v') = f(v) + f(v')\quad\text{and}\quad f(\alpha v) = \overline\alpha \, f(v)

for all v,v'\in V\, and \alpha\in\mathbb{C}.

One reason to consider the vector space \overline V is that it makes antilinear maps into linear maps. Specifically, if f\colon V \to W\, is an antilinear map, then the corresponding map \overline V \to W defined by

\overline v \mapsto f(v)

is linear. Conversely, any linear map defined on \overline V gives rise to an antilinear map on V\,.

One way of thinking about this correspondence is that the map C\colon V \to \overline V defined by

C(v) = \overline v

is an antilinear bijection. Thus if f\colon \overline V \to W if linear, then composition f \circ C\colon V \to W\, is antilinear, and vice versa.

Conjugate linear maps

Any linear map f \colon V \to W\, induces a conjugate linear map \overline f \colon \overline V \to \overline W, defined by the formula

\overline f (\overline v) = \overline{\,f(v)\,}.

The conjugate linear map \overline f is linear. Moreover, the identity map on V\, induces the identity map \overline V, and

\overline f \circ \overline g = \overline{\,f \circ g\,}

for any two linear maps f\, and g\,. Therefore, the rules V\mapsto \overline V and f\mapsto\overline f define a functor from the category of complex vector spaces to itself.

If V\, and W\, are finite-dimensional and the map f\, is described by the complex matrix A\, with respect to the bases \mathcal B of V\, and \mathcal C of W\,, then the map \overline f is described by the complex conjugate of A\, with respect to the bases \overline{\mathcal B} of \overline V and \overline{\mathcal C} of \overline W.

Structure of the conjugate

The vector spaces V\, and \overline V have the same dimension over the complex numbers and are therefore isomorphic as complex vector spaces. However, there is no natural isomorphism from V\, to \overline V. (The map C\, is not an isomorphism, since it is antilinear.)

The double conjugate \overline{\overline V} is naturally isomorphic to V\,, with the isomorphism \overline{\overline V} \to V defined by

\overline{\overline v} \mapsto v.

Usually the double conjugate of V\, is simply identified with V\,.

Complex conjugate of a Hilbert space

Given a Hilbert space \mathcal{H} (either finite or infinite dimensional), its complex conjugate \overline{\mathcal{H}} is the same vector space as its continuous dual space \mathcal{H}'. There is one-to-one antilinear correspondence between continuous linear functionals and vectors. In other words, any continuous linear functional on \mathcal{H} is an inner multiplication to some fixed vector, and vice versa.

Thus, the complex conjugate to a vector v, particularly in finite dimension case, may be denoted as v * (v-star, a row vector which is the conjugate transpose to a column vector v). In quantum mechanics, the conjugate to a ket vector |\psi\rangle is denoted as \langle\psi| – a bra vector (see bra-ket notation).

See also

References

  • Budinich, P. and Trautman, A. The Spinorial Chessboard. Spinger-Verlag, 1988. ISBN 0-387-19078-3. (complex conjugate vector spaces are discussed in section 3.3, pag. 26).

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Complex conjugate — Geometric representation of z and its conjugate in the complex plane In mathematics, complex conjugates are a pair of complex numbers, both having the same real part, but with imaginary parts of equal magni …   Wikipedia

  • Complex conjugate representation — In mathematics, if G is a group and ρ is a representation of it over the complex vector space V, then the complex conjugate representation ρ* is defined over the conjugate vector space V* as follows: ρ*(g) is the conjugate of ρ(g) for all g in G …   Wikipedia

  • Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …   Wikipedia

  • Linear complex structure — In mathematics, a complex structure on a real vector space V is an automorphism of V that squares to the minus identity, −I. Such a structure on V allows one to define multiplication by complex scalars in a canonical fashion so as to regard V as… …   Wikipedia

  • Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… …   Wikipedia

  • Conjugate transpose — Adjoint matrix redirects here. For the classical adjoint matrix, see Adjugate matrix. In mathematics, the conjugate transpose, Hermitian transpose, Hermitian conjugate, or adjoint matrix of an m by n matrix A with complex entries is the n by m… …   Wikipedia

  • Complex plane — Geometric representation of z and its conjugate in the complex plane. The distance along the light blue line from the origin to the point z is the modulus or absolute value of z. The angle φ is the argument of z. In mathematics …   Wikipedia

  • Conjugate gradient method — A comparison of the convergence of gradient descent with optimal step size (in green) and conjugate vector (in red) for minimizing a quadratic function associated with a given linear system. Conjugate gradient, assuming exact arithmetic,… …   Wikipedia

  • Complex representation — The term complex representation has slightly different meanings in mathematics and physics. In mathematics, a complex representation is a group representation of a group (or Lie algebra) on a complex vector space. In physics, a complex… …   Wikipedia

  • Generalized complex structure — In the field of mathematics known as differential geometry, a generalized complex structure is a property of a differential manifold that includes as special cases a complex structure and a symplectic structure. Generalized complex structures… …   Wikipedia

Share the article and excerpts

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