線型写像のちょっとした拡張について
行列の基本的な事柄について見直し中。今回は双対変換と双一次形式、その行列表示に関する三位一体のお話。
-線型写像
体の拡大及び-同型について考える。-ベクトル空間について、が-線型であるとは、が加法的かつを満たすことをいう。
例えばのときは普通の線型写像、でのときは共役線型(conjugate-linear)写像になる。これらを一つに纏めた議論を行うのが今回の目的でもある。
さて、の基底を、の基底をとする。このとき-線型写像がに関する行列表示を持つことを示そう。まずに対して
と一意的に表せるので、について
が従う。そこでと定めればであり、行列について
が成り立つ。逆にを与えれば上の式より-線型写像が定まり、この対応は互いに逆を定める。このときをのに関する行列表示という。
この議論から次の命題が成り立つことが分かる。
命題 -線型写像全体は「普通の」線型空間になり、その次元はとなる。
基底を変えると、行列表示はどのように変化するだろうか。今、の基底及びの基底を取り、可逆な行列を用いて
が成り立つとする。ただし、これらの式はの意味で用いている。さて、の及びに関する行列表示をそれぞれとしよう。即ち
が成り立つとする。
より、
を得る。以上より行列表示の一意性からが成り立つことが分かる。
この関係()は反射的かつ推移的だが、対称的とは限らない。であれば対称的となり、同値関係を定める。
-双対空間
ここではについて考える。このとき上の-線型写像全体をと表し、の-双対空間と呼ぶ。前節の通りは線形空間であり、その次元はの次元に等しい。
の基底に関しては次が言える。
命題 の基底をとする。このときで定まる-線型写像について、はの基底を定める。
(証明)が-線型写像になることは明白なので、基底であることを示そう。に対し、と定める。すると
となるので、と表せる。またならとなるので、達は一次独立である。
命題のを-双対基底と呼ぶ。
ここで-ペアリングというものを考えよう。に対しと定めれば、第一成分について-線型、第二成分について線型な写像(-双線型写像とも呼ぶ)を与えることができる。
基底を取れば、その成分表示
を得ることができる。
命題 に対してを、により定める。このときはとの線形空間としての同型写像を与える。
(証明)は上の-線型写像となる。実際
が成り立つ。またの基底を取れば、に対しと表せば、あるについてとなる。ここでについてが成り立つが、なので、結局が分かる。つまりは単射であり、より同型となることが分かる。
以下もほぼ明らかだろう。
- を次元部分空間とする。はの次元部分空間となる。
- を次元部分空間とする。はの次元部分空間となる。
-双対変換と-双一次形式
-線型写像のことを-一次変換と呼ぶことにしよう。このとき任意のに対して
を満たす-一次変換のことを、の-反傾(contragradient)と呼ぶ。
命題 -反傾は一意的に存在する。
(証明)とすると、が常に成り立つ。任意ので成り立つので、でなければならない。これが任意ので成り立つことからが従うので一意性が分かる。またの基底を取り、のに関する行列表示を、記号の乱用を許してと置く。するとについて、であるから
が成り立つ。故に
となる。よってはの-反傾である。
行列についてと書くことにする。また-一次変換の-反傾もと書く。
特にのとき、-一次変換のことを-双対変換と呼ぶ。また-双線型写像のことを-双一次形式と呼ぶ。
-双対変換について、基底を変えると行列表示はどのように変化するだろうか。の基底 を取り、その-双対基底をとしよう。としたとき、の-双対基底たちはと表せる。このを求めるには、を計算すればよい。実際であり、一方であるから、を得る。故に行列表示はとなる。
定理 -双対変換と-双一次形式は一対一に対応する。
(証明)-双対変換について、は-双一次形式である。また-双一次形式に対し、は-双対変換を定める。これらの対応は互いに逆を定める。
-双対変換がを満たすとき、-対称変換という。また-双一次形式がを満たすとき、-対称形式という。
系 -対称変換と-対称形式は、定理の対応で一対一に対応する。
(証明)-対称変換に対しては、
より-対称形式を定める。また逆に-対称形式に対しては、についてであり、またとなる。よってが従う。故には-対称変換となる。
行列表示を見てみると、のとき
となる。よって-対称行列(を満たす)は、のとき、基底の変換(-合同変換)で-対称行列に移り合う。
以上より、のときには、
及び
という三位一体が得られる。
例えば体の拡大としてを考えて、とすると上記の対応が作れる。
所感
今回の議論は線型代数のどんな教科書にも載っているような話。エルミート変換は色々な場面で現れるので、似たような理論が-変換でも行えると思う。いずれにせよ対称や歪対称といった話を、体の拡大という立場から統一的に議論できるので便利かなと思う。
追記:-線型は-半線型(semi-linear)とも呼ぶそうです。