antilinear map

{{Short description|Conjugate homogeneous additive map}}

In mathematics, a function f : V \to W between two complex vector spaces is said to be antilinear or conjugate-linear if

\begin{alignat}{9}

f(x + y) &= f(x) + f(y) && \qquad \text{ (additivity) } \\

f(s x) &= \overline{s} f(x) && \qquad \text{ (conjugate homogeneity) } \\

\end{alignat}

hold for all vectors x, y \in V and every complex number s, where \overline{s} denotes the complex conjugate of s.

Antilinear maps stand in contrast to linear maps, which are additive maps that are homogeneous rather than conjugate homogeneous. If the vector spaces are real then antilinearity is the same as linearity.

Antilinear maps occur in quantum mechanics in the study of time reversal and in spinor calculus, where it is customary to replace the bars over the basis vectors and the components of geometric objects by dots put above the indices. Scalar-valued antilinear maps often arise when dealing with complex inner products and Hilbert spaces.

Definitions and characterizations

A function is called {{em|antilinear}} or {{em|conjugate linear}} if it is additive and conjugate homogeneous. An {{em|antilinear functional}} on a vector space V is a scalar-valued antilinear map.

A function f is called {{em|additive}} if

f(x + y) = f(x) + f(y) \quad \text{ for all vectors } x, y

while it is called {{em|conjugate homogeneous}} if

f(ax) = \overline{a} f(x) \quad \text{ for all vectors } x \text{ and all scalars } a.

In contrast, a linear map is a function that is additive and homogeneous, where f is called {{em|homogeneous}} if

f(ax) = a f(x) \quad \text{ for all vectors } x \text{ and all scalars } a.

An antilinear map f : V \to W may be equivalently described in terms of the linear map \overline{f} : V \to \overline{W} from V to the complex conjugate vector space \overline{W}.

= Examples =

== Anti-linear dual map ==

Given a complex vector space V of rank 1, we can construct an anti-linear dual map which is an anti-linear map l:V \to \Complex sending an element x_1 + iy_1 for x_1,y_1 \in \R to x_1 + iy_1 \mapsto a_1 x_1 - i b_1 y_1 for some fixed real numbers a_1,b_1. We can extend this to any finite dimensional complex vector space, where if we write out the standard basis e_1, \ldots, e_n and each standard basis element as e_k = x_k + iy_k then an anti-linear complex map to \Complex will be of the form \sum_k x_k + iy_k \mapsto \sum_k a_k x_k - i b_k y_k for a_k,b_k \in \R.

== Isomorphism of anti-linear dual with real dual ==

The anti-linear dual{{Cite book|last=Birkenhake|first=Christina| url=https://www.worldcat.org/oclc/851380558 | title=Complex Abelian Varieties | date=2004 | publisher=Springer Berlin Heidelberg|others=Herbert Lange |isbn=978-3-662-06307-1| edition=Second, augmented| location=Berlin, Heidelberg| oclc=851380558}}pg 36 of a complex vector space V \operatorname{Hom}_{\overline{\Complex}}(V,\Complex) is a special example because it is isomorphic to the real dual of the underlying real vector space of V, \text{Hom}_\R(V,\R). This is given by the map sending an anti-linear map \ell: V \to \Complexto \operatorname{Im}(\ell) : V \to \R In the other direction, there is the inverse map sending a real dual vector \lambda : V \to \R to \ell(v) = -\lambda(iv) + i\lambda(v) giving the desired map.

Properties

The composite of two antilinear maps is a linear map. The class of semilinear maps generalizes the class of antilinear maps.

Anti-dual space

The vector space of all antilinear forms on a vector space X is called the {{em|algebraic anti-dual space}} of X. If X is a topological vector space, then the vector space of all {{em|continuous}} antilinear functionals on X, denoted by \overline{X}^{\prime}, is called the {{em|continuous anti-dual space}} or simply the {{em|anti-dual space}} of X{{sfn|Trèves|2006|pp=112-123}} if no confusion can arise.

When H is a normed space then the canonical norm on the (continuous) anti-dual space \overline{X}^{\prime}, denoted by \|f\|_{\overline{X}^{\prime}}, is defined by using this same equation:{{sfn|Trèves|2006|pp=112–123}}

\|f\|_{\overline{X}^{\prime}} ~:=~ \sup_{\|x\| \leq 1, x \in X} |f(x)| \quad \text{ for every } f \in \overline{X}^{\prime}.

This formula is identical to the formula for the {{em|dual norm}} on the continuous dual space X^{\prime} of X, which is defined by{{sfn|Trèves|2006|pp=112–123}}

\|f\|_{X^{\prime}} ~:=~ \sup_{\|x\| \leq 1, x \in X} |f(x)| \quad \text{ for every } f \in X^{\prime}.

Canonical isometry between the dual and anti-dual

The complex conjugate \overline{f} of a functional f is defined by sending x \in \operatorname{domain} f to \overline{f(x)}. It satisfies

\|f\|_{X^{\prime}} ~=~ \left\|\overline{f}\right\|_{\overline{X}^{\prime}} \quad \text{ and } \quad \left\|\overline{g}\right\|_{X^{\prime}} ~=~ \|g\|_{\overline{X}^{\prime}}

for every f \in X^{\prime} and every g \in \overline{X}^{\prime}.

This says exactly that the canonical antilinear bijection defined by

\operatorname{Cong} ~:~ X^{\prime} \to \overline{X}^{\prime} \quad \text{ where } \quad \operatorname{Cong}(f) := \overline{f}

as well as its inverse \operatorname{Cong}^{-1} ~:~ \overline{X}^{\prime} \to X^{\prime} are antilinear isometries and consequently also homeomorphisms.

If \mathbb{F} = \R then X^{\prime} = \overline{X}^{\prime} and this canonical map \operatorname{Cong} : X^{\prime} \to \overline{X}^{\prime} reduces down to the identity map.

Inner product spaces

If X is an inner product space then both the canonical norm on X^{\prime} and on \overline{X}^{\prime} satisfies the parallelogram law, which means that the polarization identity can be used to define a {{em|canonical inner product on X^{\prime}}} and also on \overline{X}^{\prime}, which this article will denote by the notations

\langle f, g \rangle_{X^{\prime}} := \langle g \mid f \rangle_{X^{\prime}} \quad \text{ and } \quad \langle f, g \rangle_{\overline{X}^{\prime}} := \langle g \mid f \rangle_{\overline{X}^{\prime}}

where this inner product makes X^{\prime} and \overline{X}^{\prime} into Hilbert spaces.

The inner products \langle f, g \rangle_{X^{\prime}} and \langle f, g \rangle_{\overline{X}^{\prime}} are antilinear in their second arguments. Moreover, the canonical norm induced by this inner product (that is, the norm defined by f \mapsto \sqrt{\left\langle f, f \right\rangle_{X^{\prime}}}) is consistent with the dual norm (that is, as defined above by the supremum over the unit ball); explicitly, this means that the following holds for every f \in X^{\prime}:

\sup_{\|x\| \leq 1, x \in X} |f(x)| = \|f\|_{X^{\prime}} ~=~ \sqrt{\langle f, f \rangle_{X^{\prime}}} ~=~ \sqrt{\langle f \mid f \rangle_{X^{\prime}}}.

If X is an inner product space then the inner products on the dual space X^{\prime} and the anti-dual space \overline{X}^{\prime}, denoted respectively by \langle \,\cdot\,, \,\cdot\, \rangle_{X^{\prime}} and \langle \,\cdot\,, \,\cdot\, \rangle_{\overline{X}^{\prime}}, are related by\langle \,\overline{f}\, | \,\overline{g}\, \rangle_{\overline{X}^{\prime}}

= \overline{\langle \,f\, | \,g\, \rangle_{X^{\prime}}}

= \langle \,g\, | \,f\, \rangle_{X^{\prime}} \qquad \text{ for all } f, g \in X^{\prime}

and

\langle \,\overline{f}\, | \,\overline{g}\, \rangle_{X^{\prime}}

= \overline{\langle \,f\, | \,g\, \rangle_{\overline{X}^{\prime}}}

= \langle \,g\, | \,f\, \rangle_{\overline{X}^{\prime}} \qquad \text{ for all } f, g \in \overline{X}^{\prime}.

See also

  • {{annotated link|Cauchy's functional equation}}
  • {{annotated link|Complex conjugate}}
  • {{annotated link|Complex conjugate vector space}}
  • {{annotated link|Fundamental theorem of Hilbert spaces}}
  • {{annotated link|Inner product space}}
  • {{annotated link|Linear map}}
  • {{annotated link|Matrix consimilarity}}
  • {{annotated link|Riesz representation theorem}}
  • {{annotated link|Sesquilinear form}}
  • {{annotated link|T-symmetry|Time reversal}}

Citations

{{reflist}}

{{reflist|group=note}}

References

  • Budinich, P. and Trautman, A. The Spinorial Chessboard. Springer-Verlag, 1988. {{isbn|0-387-19078-3}}. (antilinear maps are discussed in section 3.3).
  • Horn and Johnson, Matrix Analysis, Cambridge University Press, 1985. {{isbn|0-521-38632-2}}. (antilinear maps are discussed in section 4.6).
  • {{Trèves François Topological vector spaces, distributions and kernels}}

Category:Functions and mappings

Category:Linear algebra

Category:Types of functions