二つの ベクトル空間 があり,
の元を
に移す写像
のうち,次の
の性質を満たす写像を 線形写像 と呼ぶのでした.スカラー
は何らかの数(数の集合
の元)だとします.
[*] | ![]() |
いまはまだ線形写像が何の役に立つのかよく分からないと思いますが,『ふむふむ.そんな物もあるんやなぁ』と言う感じに納得しておいて頂ければ十分です.次のセクションで線形写像の性質をより詳しく見ます.
いま,二つの線形写像 を考え,その和を
と定義します.すると,
もやはり線形写像になっていることが示せます.実際に,線形写像の定義
を
が満たすことを確認してみましょう.
[†] | ここで, ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
【 を満たすこと】
【 を満たすこと】
前半の一行目と四行目では線形写像の和の定義式を使い,二行目では,線形写像の性質 を使いました.後半も同様です.もう一つ,線形写像のスカラー積を
と定義しましょう.線形写像のスカラー積も,やはり線形写像になります.
【 を満たすこと】
【 を満たすこと】
線形写像のスカラー積も,やはり線形写像になっていました.むむ,加法とスカラー積がなりたつ・・・・,何かピンと来ませんか?線形写像の集合という,いわば『関数を元とする集合』を考えたとき,この集合もまたベクトル空間になりそうです. ベクトル空間 の記事で,ベクトル空間の定義を確認してください.加法の単位元を恒等写像(何にも写像しない),写像 の逆元を
,スカラー積の零元を
,スカラー積の単位元を
として,確かに 線形写像全体からなる集合はベクトル空間 になることが分かります.
[‡] | 深水さんと言う方から,誤りをご指摘いただきました.加法の単位元は恒等写像(これは何らかの積の単位元です)ではなく, ![]() ![]() |
Important
あるベクトル空間 の線形写像
に,加法
とスカラー積
を定義すると,『線形写像全体からなる集合』もまたベクトル空間になります.
前節で『線形写像全体からなる集合もまたベクトル空間になる』ことを見ましたが, が特にスカラーの集合(実数や複素数など)の場合,この線形写像を 線形汎関数 と呼びます.線形汎関数は,任意の
の元に一つのスカラーに対応させる写像だということです.
線形汎関数の集合,すなわちベクトル空間 を実数
に対応させる写像の集合もベクトル空間になりますが,これを特に
と記し,
の 双対ベクトル空間 もしくは 双対空間 と呼びます.
双対空間 の元は,ベクトル空間
の元を一つの実数に対応させる関数になっています.理解のために,ちょっと幾何ベクトルのイメージに戻って具体例を考えてみましょう.
の元は
の形で表わされるベクトルですが,これを何か一つの数,例えば
に対応させてしまう写像があれば,それは
の元だというわけです.
[§] | 双対には「そうつい」「そうたい」という二つの読み方があるようです.そうたいと言うと相対と紛らわしいので,そうついと読むことの方が多いようです. |
少し面白くなってきました.ここまでに勉強したことを,おさらいしましょう.あるベクトル空間と,そのベクトル空間の元に対する線形汎関数を考えたとき,そのような線形汎関数の全体もまたベクトル空間を作り,もとのベクトル空間の双対空間と呼ばれる,ということでした.
線形汎関数の全体もまたベクトル空間になる,という辺りはちょっと面白いと思いますが,そもそも『線形汎関数全体からなる集合』などというヘンチクリンな集合を考えるという発想に,何か天下り的な気持ち悪さを感じている人がいるかも知れません.しかもそれが双対だとは,一体何を意味しているのでしょうか?
[¶] | 双対とは,数学のあらゆる分野に顔を出す概念で,一言では定義できません.だいたいの状況としては,二つのよく似た物があり,美しい対称性によって,お互いに何かをひっくり返すと相手に変わる,というような裏表も関係にあるものを指します.例えば,正十二面体と正二十面体は,辺の数と面の数がちょうど逆の関係にあり,辺と面を入れ替えると,正十二面体は正二十面体に,正二十面体は正十二面体になります.( 正多面体群3 参照.)双対の関係にある二つの物は,どちらが主でどちらが従といった階層関係ではなく,互いに対等な裏表の関係にあり,相互に生成的です.双対という考えが最初に出てきたのは射影幾何学の分野です.双対関係にある二つの物では,片一方で定理がなりたてば,もう一方の物に関しても内容をひっくり返した定理がなりたちます.これを双対原理と呼びますが,ポンスレ( ![]() ![]() |
[#] | 論理学に『対偶はまた真なり』というものがありますが,一定の類似性はあるものの,これは双対原理とは少し違うものです. |
[♠] | 愛と憎しみ,出会いと別れ,男と女...., 演歌の歌詞は双対原理に満ちています(ToT)/~♪. |
双対のイメージ
意味から言って,『双対の双対は自分自身』のはずですから,本当にそうなっているか,双対空間の双対空間,すなわち を考えてみましょう.線形汎関数の線形汎関数なんてややこしく聞こえますが,これはちょっと視点を変えるだけで済むことです.
私達は, ベクトル空間 の元
を
の元
に移す写像
を次のように定義しました.
ここで私達の念頭にあったのは,ベクトル空間 内の変数
に対し,
の元を一つ(
とします)を取ってくると,
の元
に対応できる,という関係でした.
ここで,加害者と被害者の視点の転換ではありませんが,まったく同じ状況を次のように考えることもできます. をベクトル空間
内の変数と考え.これに対し,
の元を一つ(
とします)取ってくると,
を
の元
に対応させられると見るのです.
この見方を式に書くと次のようになります.
式 と式
は,全く対称な式形になっていますから,まさしく
と
,
と
は双対だと言えるわけです.式
より,
の双対空間は
だということが言えます.まさに,裏の裏は表,双対の関係になっています.
[♥] | ここに至って,最初に双対空間を『線形汎関数の集合』として定義したとき,『線形汎関数の集合だなんて,何てヘンチクリンなものを考えるんだ?』と思った人の目から鱗が落ちて欲しいものであります.確かに ![]() ![]() ![]() ![]() ![]() ![]() ![]() |