Transpose of a linear map

In linear algebra, the transpose of a linear map between two vector spaces is an induced map between the dual spaces of the two vector spaces. The transpose of a linear map is often used to study the original linear map. This concept is generalized by adjoint functors.

Definition

If f : V → W is a linear map, then the transpose^[1] (or dual, or adjoint^[2]), is defined to be

{}^{\text{t}}f:W^{*}\to V^{*}:\varphi \mapsto \varphi \circ f.

The resulting functional ^tf(φ) is called the pullback of φ along f.

The following identity, which characterizes the transpose,^[3] holds for all φ ∈ W^∗ and v ∈ V:

[{}^{\text{t}}f(\varphi ),\,v]_{V}=[\varphi ,\,f(v)]_{W},

where the bracket [·,·]_V is the natural pairing of V's dual space with V, and [·,·]_W is the same with W.

Properties

The assignment f ↦ ^tf produces an injective linear map between the space of linear operators from V to W and the space of linear operators from W^∗ to V^∗; this homomorphism is an isomorphism if and only if W is finite-dimensional. If V = W then the space of linear maps is an algebra under composition of maps, and the assignment is then an antihomomorphism of algebras, meaning that ^t(fg) = ^tg ^tf. In the language of category theory, taking the dual of vector spaces and the transpose of linear maps is therefore a contravariant functor from the category of vector spaces over F to itself. Note that one can identify ^t(^tf) with f using the natural injection into the double dual.

If u : X → Y and v : Y → Z are linear maps then ^t(v ∘ u) = ^tu ∘ ^tv.^[4]
If u : X → Y is a linear map, A ⊆ X, B ⊆ Y, and A° denotes the polar set of a set then^[4]
- [u(A)]° = (^tu)⁻¹(A°), and
- u(A) ⊆ B implies ^tu(B°) ⊆ A°

Representation as a matrix

If the linear map f is represented by the matrix A with respect to two bases of V and W, then ^tf is represented by the transpose matrix A^T with respect to the dual bases of W^∗ and V^∗, hence the name. Alternatively, as f is represented by A acting on the left on column vectors, ^tf is represented by the same matrix acting on the right on row vectors. These points of view are related by the canonical inner product on Rⁿ, which identifies the space of column vectors with the dual space of row vectors.

Relation to the Hermitian adjoint

Main article: Hermitian adjoint

The identity that characterizes the transpose, that is, [f^∗(φ), v] = [φ, f(v)], is formally similar to the definition of the Hermitian adjoint, however, the transpose and the Hermitian adjoint are not the same map. The difference stems from the fact that transpose is defined by a bilinear form while the Hermitian adjoint is defined by a sesquilinear form. Furthermore, while the transpose can be defined on any vector space, the Hermitian adjoint is defined on Hilbert spaces.

If X and Y are Hilbert spaces and u : X → Y is a linear map then the transpose of u, which we will denote by ^tu and the Hermitian adjoint of u, which we will denote by u^∗ are related. Denote by I : X → X^∗ and J : Y → Y^∗ the canonical antilinear isometries of the Hilbert spaces X and Y onto their duals. Then u^∗ is the following composition of maps:^[5]

Y{\overset {J}{\longrightarrow }}Y^{*}{\overset {{}^{{{\text{t}}}}u}{\longrightarrow }}X^{*}{\overset {I^{{-1}}}{\longrightarrow }}X

Applications to functional analysis

Suppose that X and Y are topological vector spaces and that u : X → Y is a linear map, then many of u's properties are reflected in u^∗.

If A ⊆ X and B ⊆ Y are weakly closed, convex sets containing 0, then u^∗(B°) ⊆ A° implies u(A) ⊆ B.^[4]
The null space of ^tu is the subspace of Y^∗ orthogonal to the range u(X) of u.^[4]
^tu is injective if and only if the range u(X) of u is weakly closed.^[4]

Notes

↑ Treves (1999) p. 240
↑ Schaefer (1999) p. 128
↑ Halmos (1974, §44)
1 2 3 4 5 Schaefer (1999), pp. 129–130
↑ Treves (1999) p. 488

References

Halmos, Paul (1974), Finite-dimensional Vector Spaces, Springer, ISBN 0-387-90093-4
Schaefer, Helmuth H.; Wolff, M.P. (1999). Topological Vector Spaces. GTM. 3. New York: Springer-Verlag. ISBN 9780387987262.
Trèves, François (1995). Topological Vector Spaces, Distributions and Kernels. Dover Publications. ISBN 9780486453521.

Linear algebra

Basic concepts	Scalar Vector Vector space Scalar multiplication Vector projection Linear span Linear map Linear projection Linear independence Linear combination Basis Column space Row space Dual space Orthogonality Kernel Eigenvalues and eigenvectors Outer product Inner product space Dot product Transpose Gram–Schmidt process Linear equations

Vector algebra	Cross product Triple product Seven-dimensional cross product

Multilinear algebra	Geometric algebra Exterior algebra Bivector Multivector

Matrices	Block Decomposition Invertible Minor Multiplication Rank Transformation Cramer's rule Gaussian elimination

Numerical	Floating point Matrix Laboratory Numerical stability Basic Linear Algebra Subprograms (BLAS) Sparse matrix Comparison of linear algebra libraries Comparison of numerical analysis software

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Ultraweak Weak (operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure Weakly measurable function

This article is issued from Wikipedia - version of the 10/6/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.