“Transpose of a linear map”的意思、由来-开放百科全书

词条

Transpose of a linear map

释义

Definition
Properties
Representation as a matrix
Relation to the Hermitian adjoint
Applications to functional analysis
See also
Notes
References

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 of a linear map is often used to study the original linear map. This concept is generalised by adjoint functors.

Definition

Let V and W be vector spaces over the same field. If {{nowrap|f : V → W}} is a linear map, then the transpose^[1] (or dual, or adjoint^[2]), is defined to be

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

The following identity, which characterises the transpose,^[3] holds for all {{nowrap|φ ∈ W^∗}} and {{nowrap|v ∈ V}}:

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 {{nowrap|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^∗. If {{nowrap|1=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 {{nowrap|1=^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 {{nowrap|u : X → Y}} and {{nowrap|v : Y → Z}} are linear maps then {{nowrap|1=^t(v ∘ u) = ^tu ∘ ^tv}}.^[4]
If {{nowrap|u : X → Y}} is a linear map, {{nowrap|A ⊆ X}}, {{nowrap|B ⊆ Y}}, and A° denotes the polar set of a set then^[4]
- [u(A)]° = (^tu)⁻¹(A°), and
- {{nowrap|u(A) ⊆ B}} implies {{nowrap|^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

The identity that characterizes the transpose, that is, {{nowrap|1=[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 {{nowrap|u : X → Y}} is a linear map then the transpose of u and the Hermitian adjoint of u, which we will denote respectively by ^tu and u^∗, are related. Denote by {{nowrap|I : X → X^∗}} and {{nowrap|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]

Applications to functional analysis

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

If {{nowrap|A ⊆ X}} and {{nowrap|B ⊆ Y}} are weakly closed, convex sets containing 0, then {{nowrap|u^∗(B°) ⊆ A°}} implies {{nowrap|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

1. ^Treves (1999) p. 240
2. ^Schaefer (1999) p. 128
3. ^{{harvtxt|Halmos|1974|loc=§44}}
4. ^¹²³⁴Schaefer (1999), pp. 129–130
5. ^Treves (1999) p. 488

References

{{citation|authorlink=Paul Halmos|first=Paul|last=Halmos|title=Finite-dimensional Vector Spaces|year=1974|publisher=Springer|isbn=0-387-90093-4}}
{{Cite book | isbn = 9780387987262 | title = Topological Vector Spaces | last1 = Schaefer | first1 = Helmuth H. | year = 1999 | publisher = Springer-Verlag | location = New York | last2 = Wolff | first2 = M.P. | series = GTM | volume = 3 | pages = }}
{{Cite book | isbn = 9780486453521 | title = Topological Vector Spaces, Distributions and Kernels | last1 = Trèves | first1 = François | year = 1995 | publisher = Dover Publications | pages = }}

1 : Linear algebra

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。