Transpose of a linear map

In linear algebra, the transpose of a linear map between two vector spaces, defined over the same field, is an induced map between the dual spaces of the two vector spaces. The transpose or algebraic adjoint of a linear map is often used to study the original linear map. This concept is generalised by adjoint functors.

Definition

Let $X #$ denote the algebraic dual space of a vector space $X$ . Let $X$ and $Y$ be vector spaces over the same field $𝕂$ . If $u : X \to Y$ is a linear map, then its algebraic adjoint or dual,[1] is the map $# u : Y # \to X #$ defined by $f \mapsto f \circ u$ . The resulting functional $u # (f)$ is called the pullback of $f$ by $u$ .

The continuous dual space of a topological vector space (TVS) $X$ is denoted by $X'$ . If $X$ and $Y$ are TVSs then a linear map $u : X \to Y$ is weakly continuous if and only if $u # (Y') \subseteq X'$ , in which case we let $t u : Y' \to X'$ denote the restriction of $u #$ to $Y'$ . The map $t u$ is called the transpose[2] of $u$ . The following identity characterizes the transpose of $u$ [3]

⟨ t u (f), x ⟩ = ⟨ f, u (x) ⟩

for all

f \in Y'

and

x \in X

where $⟨ •, • ⟩$ is the natural pairing (i.e. defined by $⟨ z, h ⟩ := h (z)$ ).

Properties

The assignment $u \mapsto t u$ produces an injective linear map between the space of linear operators from $X$ to $Y$ and the space of linear operators from $Y #$ to $X #$ . If $X = Y$ 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 (uv) = t v t u$ . 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 $𝕂$ to itself. One can identify $t (t u)$ with $f$ using the natural injection into the double dual.

If $u : X \to Y$ and $v : Y \to Z$ are linear maps then $t (v \circ u) = t u \circ t v$ .[4]
If u : X → Y is a linear map, A ⊆ X, B ⊆ Y, and A° denotes the polar set of the set A then[4]
- $[u (A)]° = (t u) -1 (A °)$ , and
- $u (A) \subseteq B$ implies $t u (B °) \subseteq A °$
if $A$ and $B$ are convex, weakly closed sets containing 0 then $t u (B °) \subseteq A °$ implies $u (A) \subseteq B$ .[5]
If $u : X \to Y$ is a (surjective) vector space isomorphism then so is the transpose $t u : Y' \to X'$ .
The kernel of $t u$ is the subspace of $Y'$ orthogonal to the image of $u$ .[5]
The linear map $u$ is injective if and only if the its image is a weakly dense subset of $Y$ (i.e. the image of $u$ is dense in $Y$ when $Y$ is given the weak topology induced by $ker t u$ ).[5]

Suppose now that $u : X \to Y$ is a continuous linear operator between topological vector spaces $X$ and $Y$ with continuous dual spaces $X'$ and $Y'$ , respectively. For any subset $S$ of $X$ , let $S °$ denote the polar of $S$ in $X'$ .

The transpose $t u : Y' \to X'$ is continuous when both $X'$ and $Y'$ are endowed with the weak-* topology (resp. both endowed with the strong dual topology, both endowed with the topology of uniform convergence on compact convex subsets, both endowed with the topology of uniform convergence on compact subsets).[6]
If $X$ and $Y$ are locally convex then $ker t u = (Im u) °$ .[7]
If $X$ and $Y$ are normed spaces then the norm of $t u$ is equal to the norm of u.[7]
(Surjection of Fréchet spaces): If $X$ and $Y$ are Fréchet spaces then the continuous linear operator $u : X \to Y$ is surjective if and only if (1) the transpose $t u : Y' \to X'$ is injective, and (2) the image of the transpose of $u$ is a weakly closed (i.e. weak-* closed) subset of $X'$ .[8]

Representation as a matrix

If the linear map $u$ is represented by the matrix $A$ with respect to two bases of $X$ and $Y$ , then $t u$ is represented by the transpose matrix $A T$ with respect to the dual bases of $Y'$ and $X'$ , hence the name. Alternatively, as $u$ is represented by $A$ acting to the right on column vectors, $t u$ is represented by the same matrix acting to the left on row vectors. These points of view are related by the canonical inner product on $ℝ n$ , which identifies the space of column vectors with the dual space of row vectors.

Relation to the Hermitian adjoint

The identity that characterizes the transpose, that is, $[u * (f), x] = [f, u (x)]$ , is formally similar to the definition of the Hermitian adjoint, however, the transpose and the Hermitian adjoint are not the same map. The transpose is a map $Y'$ → $X'$ and is defined for linear maps between any vector spaces $X$ and $Y$ , without requiring any additional structure. The Hermitian adjoint maps $Y \to X$ and is only defined for linear maps between Hilbert spaces, as it is defined in terms of the inner product on the Hilbert space. The Hermitian adjoint therefore requires more mathematical structure than the transpose.

However, the transpose is often used in contexts where the vector spaces are both equipped with a nondegenerate bilinear form such as the Euclidean dot product or another real inner product. In this case, the nondegenerate bilinear form is often used implicitly to map between the vector spaces and their duals, to express the transposed map as a map $Y \to X$ . For a complex Hilbert space, the inner product is sesquilinear and not bilinear, and these conversions change the transpose into the adjoint map.

More precisely: if $X$ and $Y$ are Hilbert spaces and $u : X \to Y$ is a linear map then the transpose of $u$ and the Hermitian adjoint of $u$ , which we will denote respectively by $t u$ and $u *$ , are related. Denote by $I : X \to X *$ and $J : Y \to Y *$ the canonical antilinear isometries of the Hilbert spaces $X$ and $Y$ onto their duals. Then $u *$ is the following composition of maps:[9]

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 \to Y$ is a linear map, then many of $u$ 's properties are reflected in $u *$ .

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

gollark: APPARENTLY flying is not enabled on this server.

gollark: You should spawn a dragon with a GTech™-approved neural interface, as a result.

gollark: Anyway, the regex should actually be entirely Lua-compatible, happily.

gollark: If you want to do that you should stop being Lua-specific and learn deep learning.

gollark: Too long.

References

Schaefer (1999) p. 128
Treves (1999) p. 240
Halmos (1974, §44)
Schaefer (1999), pp. 129–130
Schaefer 1999, pp. 128–130.
Treves 2006, pp. 199-200.
Treves 2006, pp. 240-252.
Treves 2006, pp. 382-383.
Treves (1999) p. 488

Halmos, Paul (1974), Finite-dimensional Vector Spaces, Springer, ISBN 0-387-90093-4
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.CS1 maint: ref=harv (link)
Trèves, François (August 6, 2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.CS1 maint: ref=harv (link) CS1 maint: date and year (link)

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Schaefer (1999) p. 128

[2] Treves (1999) p. 240

[3] Halmos (1974, §44)

[Schaefer_(1999),_pp._129–130-4] Schaefer (1999), pp. 129–130

[FOOTNOTESchaefer1999128–130-5] Schaefer 1999, pp. 128–130.

[FOOTNOTETreves2006199-200-6] Treves 2006, pp. 199-200.

[FOOTNOTETreves2006240-252-7] Treves 2006, pp. 240-252.

[FOOTNOTETreves2006382-383-8] Treves 2006, pp. 382-383.

[9] Treves (1999) p. 488

Linear algebra
Basic concepts	Scalar Vector Vector space Scalar multiplication Vector projection Linear span Linear map Linear projection Linear independence Linear combination Basis Change of basis Row and column vectors Row and column spaces Kernel Eigenvalues and eigenvectors Transpose Linear equations
Matrices	Block Decomposition Invertible Minor Multiplication Rank Transformation Cramer's rule Gaussian elimination
Bilinear	Orthogonality Dot product Inner product space Outer product Gram–Schmidt process
Multilinear algebra	Determinant Cross product Triple product Seven-dimensional cross product Geometric algebra Exterior algebra Bivector Multivector Tensor Outermorphism
Vector space constructions	Dual Direct sum Function space Quotient Subspace Tensor product
Numerical	Floating-point Numerical stability Basic Linear Algebra Subprograms (BLAS) Sparse matrix Comparison of linear algebra libraries
Category Outline Mathematics portal Wikibook Wikiversity

Functional analysis (topics, glossary)
Spaces	Hilbert space, Banach space, Fréchet space, topological vector space
Theorems	Hahn–Banach theorem, closed graph theorem, uniform boundedness principle, Kakutani fixed-point theorem, Krein–Milman theorem, min-max theorem, Gelfand–Naimark theorem, Banach–Alaoglu theorem
Operators	bounded operator, compact operator, adjoint operator, unitary operator, Hilbert–Schmidt operator, trace class, unbounded operator
Algebras	Banach algebra, C-algebra, spectrum of a C-algebra, operator algebra, group algebra of a locally compact group, von Neumann algebra
Open problems	invariant subspace problem, Mahler's conjecture
Applications	Besov space, Hardy space, spectral theory of ordinary differential equations, heat kernel, index theorem, calculus of variation, functional calculus, integral operator, Jones polynomial, topological quantum field theory, noncommutative geometry, Riemann hypothesis
Advanced topics	locally convex space, approximation property, balanced set, Schwartz space, weak topology, barrelled space, Banach–Mazur distance, Tomita–Takesaki theory

Duality and spaces of linear maps
Basic concepts	Dual space Dual system Dual topology Duality Polar set Polar topology Topologies on spaces of linear maps
Topologies	Dual norm Ultraweak/Weak-* Weak (polar operator) Mackey Strong dual (polar topology operator) Ultrastrong
Main results	Banach–Alaoglu Mackey–Arens
Maps	Transpose of a linear map
Subsets	Saturated family