転置写像のソースを表示

[[線型代数学]]における[[ベクトル空間]]の間の[[線型写像]]の'''転置'''（てんち、{{lang-en-short|''transpose''}}）は、各ベクトル空間の[[双対空間]]の間に誘導される。そのような'''転置写像''' (''transpose of a linear map'') はもとの線型写像を知るためにしばしば有用である。この概念は[[随伴函手]]によって一般化することができる。

== 定義 ==
同じ係数体 {{mvar|F}} 上のベクトル空間 {{mvar|V, W}} と[[線型写像]] {{math|''f'': ''V'' → ''W''}} があるとき、その'''転置''' (transpose){{sfn|Treves|1999|p=240}} または'''双対''' (''dual''), '''随伴''' (''adjoint''){{sfn|Schaefer|1999|p=128}} は
: <math>{}^t\!f\colon W^* \to V^*;\quad \varphi \mapsto \varphi \circ f</math>
と定義される。得られる汎函数 {{math|''{{sup|t}}f''(''φ'')}} を {{mvar|φ}} の {{mvar|f}} に沿った{{仮リンク|引き戻し (微分幾何学)|label=引き戻し|en|pullback (differential geometry)}} と言う。

この転置は以下の等式: 任意の {{math|''φ'' ∈ ''W''*}} および {{math|''v'' ∈ ''V''}} に対して
: <math>[{}^t\!f(\varphi),\, v]_V = [\varphi,\, f(v)]_W\quad (\forall \varphi\in W^*, v\in V)</math>
によって特徴付けられる{{sfn|Halmos|1974|loc=§44}}。ただし、括弧 {{math|[·,·]{{sub|''V''}}}} および {{math|[·,·]{{sub|''W''}}}} はそれぞれ {{mvar|V}} と {{math|''V''*}} および {{mvar|W}} と {{mvar|W*}} の間の[[双対対|自然な双対性]]である。

== 性質 ==
対応 {{math|''f'' ↦ ''{{sup|t}}f''}} は {{mvar|V}} から {{mvar|W}} への線型作用素全体の成す空間 {{math|L(''V'', ''W'')}} と {{math|''W''*}} から {{math|''V''*}}  {{math|L(''W''*, ''V''*)}} の間の[[単射]]線型写像を与える。この準同型が[[同型]]なるための必要十分条件は {{mvar|W}} が有限次元なることである。{{math|1=''V'' = ''W''}} ならば線型写像の空間 {{math|L(''V'', ''V'')}} は[[写像の合成]]のもとで[[体上の多元環|線型環]]を成し、上記の対応は線型環の{{仮リンク|反準同型|en|antihomomorphism}}、つまり {{math|1={{sup|''t''}}(''f'' ∘ ''g'') = ''{{sup|t}}g'' ∘ ''{{sup|t}}f''}} となる。[[圏論]]の言葉では、ベクトル空間の双対と線型写像の転置をとる操作は {{mvar|F}} 上の[[ベクトル空間の圏]]からそれ自身への[[反変函手]]である。二重双対への自然な入射を用いて {{math|{{sup|''t''}}(''{{sup|t}}f'')}} と {{mvar|f}} が同一視できることに注意。

* 線型写像 {{math|''u'': ''X'' → ''Y''}} および {{math|''v'': ''Y'' → ''Z''}} に対し {{math|1={{sup|''t''}}(''v'' ∘ ''u'') = ''{{sup|t}}u'' ∘ ''{{sup|t}}v''}} が成り立つ{{sfn|Schaefer|1999|pp= 129–130}}
* {{math|''u'': ''X'' → ''Y''}} は線型写像とし、部分集合 {{math|''A'' ⊆ ''X''}}, {{math|''B'' ⊆ ''Y''}} および "°" は各部分集合の[[極集合]]を意味するものとすれば以下が成り立つ{{sfn|Schaefer|1999|pp= 129–130}}
** {{math|1=[''u''(''A'')]° = (''{{sup|t}}u''){{sup|−1}}(''A''°)}}, 
** {{math|''u''(''A'') ⊆ ''B''}} ならば {{math|''{{sup|t}}u''(''B''°) ⊆ ''A''°}}.

== 行列表現 ==
{{mvar|V, W}} の基底をそれぞれとり、線型写像 {{mvar|f}} が[[行列]] {{mvar|A}} で表現されているとき、{{math|''W''*, ''V''*}} の基底は[[双対基底]]をとれば、転置写像 {{mvar|{{sup|t}}f}} は [[転置行列]] {{mvar|{{sup|t}}A}} で表現される（ゆえにこの名がある）。別な言い方として、{{mvar|f}} が列ベクトルに左から作用する行列 {{mvar|A}} で表現されるとき、転置 {{mvar|{{sup|t}}f}} は行ベクトルに右から作用する同じ行列 {{mvar|A}} で表現される。これら二つの観点は、{{math|'''R'''{{sup|''n''}}}} の標準内積によって、列ベクトル空間を行ベクトル空間の双対と同一視すれば同じことを言っている。

== エルミート随伴との関係 ==
{{Main|随伴作用素}}
転置を特徴付ける恒等式 {{math|1=[''f''*(''φ''), ''v''] = [''φ'', ''f''(''v'')]}} は、形の上では[[作用素の随伴]]の定義と同じであるが、転置と随伴は同じではない。その大きな違いは、転置が双線型形式であるのに対し、随伴は[[半双線型形式]]を定めることである。さらに言えば、転置が任意のベクトル空間に対して定まるのに対し、随伴はヒルベルト空間に対して定まる点も異なる。

ヒルベルト空間 {{mvar|X, Y}} と線型写像 {{math|''u'': ''X'' → ''Y''}} に対し、{{mvar|u}} の転置 {{mvar|{{sup|t}}f}} と随伴 {{math|''u''*}} は関係がある。{{math|''I'': ''X'' → ''X''*}} および {{math|''J'': ''Y'' → ''Y''*}} をそれぞれ、ヒルベルト空間 {{mvar|X}} および {{mvar|Y}} のそれぞれの双対空間への自然な反線型等距同型とすれば、{{math|''u''*}} は写像の合成
: <math>Y \overset{J}{{}\to{}} Y^* \overset{{}^{t\!}u}{{}\to{}} X^* \overset{I^{-1}}{{}\to{}} X</math>
に等しい{{sfn|Treves|1999|p=488}}。

== 函数解析学への応用 ==
[[位相線型空間]] {{mvar|X, Y}} と線型写像 {{math|''u'': ''X'' → ''Y''}} に対し、{{mvar|u}} の性質の多くは随伴 {{math|''u''*}} に反映する。
* {{math|''A'' ⊆ ''X''}} および {{math|''B'' ⊆ ''Y''}} はともに[[弱位相|弱閉]][[凸集合]]で {{math|0}} を含むとすれば、{{math|''u''*(''B''°) ⊆ ''A''°}} ならば {{math|''u''(''A'') ⊆ ''B''}} が成り立つ{{sfn|Schaefer|1999|pp=129–130}}。
* {{mvar|{{sup|t}}u}} の[[核空間]]は、{{mvar|u}} の[[値域]] {{math|''u''(''X'')}} に[[直交補空間|直交]]する {{math|''Y''*}} の部分空間である{{sfn|Schaefer|1999|pp=129–130}}。
* {{mvar|{{sup|t}}u}} が単射となるための必要十分条件は、{{mvar|u}} の値域 {{math|''u''(''X'')}} が弱閉となることである{{sfn|Schaefer|1999|pp=129–130}}。

== 関連項目 ==
* [[随伴函手]]
* [[エルミート随伴]]
* [[双対空間]]
* [[転置行列]]

== 注 ==
{{reflist}}

== 参考文献 ==
* {{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 = [[Graduate Texts in Mathematics|GTM]] | volume = 3  | pages =  }} <!-- Schaefer, H.H. (1999) Topological Vector Spaces -->
* {{Cite book | isbn = 9780486453521 | title = Topological Vector Spaces, Distributions and Kernels | last1 = Trèves | first1 = François | year = 1995 | publisher = [[Dover Publications]]  | pages =  }} <!-- Trèves, François (1995) Topological Vector Spaces, Distributions and Kernels -->
{{linear algebra}}
{{Functional Analysis}}

{{DEFAULTSORT:てんちしやそう}}
[[Category:線型代数学]]
[[Category:転置]]
[[Category:数学に関する記事]]