前回の記事:tsujimotter.hatenablog.com
前回に引き続き、線形代数の復習編の記事です。今回は 双対空間 というものを導入したいと思います。
「線形写像を単体で考えるのではなく、全体を考えるとよい」というモチベーションのもと、 から への -線形写像全体のなす -線形空間 を導入しました。
今日は、特に として、線形空間 から への -線形写像全体のなす -線形空間
を考えたいと思います。 を の 双対空間 といいます。ちなみに、 の部分は、そのまま に置き換えても構いません。「数の集合」への写像であればよいです。
から のような数の集合に対する写像のことを 関数 と言います。 つまり、 は 上の線形関数全体を表す空間と言えますね。
実は の双対空間は、前回示したように -線形空間になります。関数の値の加法や 倍を使って、関数自身の加法や 倍を定義すれば良いわけですね。
双対空間 は、 についての大部分の情報を持っていて、まさに「双対」と呼べる存在になっています。言い換えると「関数を考えると、その土台の空間を考えたことになる」というわけです。
ここでは、次の定理を示したいと思います。
このとき、次の が成り立つ:
(1) 次を満たす 上の関数 が一意的に存在する:
(3) 写像
は同型写像である。
では、証明しましょう。
(1)の証明
前回の記事で示した事実に として適用します。すると、 の基底 を に写すような線形写像 が一意的に存在します。具体的には
に対して
を対応させる線形写像を考えれば良いのでした。
同様に、 に対して
を対応させる線形写像 を考えると、これは
を満たしますね。
同様に、 について、 に対して
を対応させる線形写像 を考えると、これは
を満たしますね。ゆえに目的の を得ることができました。前回の命題2.13から、このような は一意的です。
(2)の証明
前回の命題2.13で示したように、任意の線形写像 は、 の基底 を写す先によって一意的に表せる。ここで を用いて
で を定めたとき
とすれば、行き先が式 となることが次のように確認できる。
となり、確かに が成り立つ。
式 により、任意の は の1次結合で表せることが示されました。
次に の独立性ですが、()と表せたとします。任意の に対して
が恒等的に成り立つことになります。ここで より が成り立ちます。他も同様に
が成り立ち、よって は1次独立であることが分かります。以上により、 は の基底となることが示されました。
特に、 の基底の個数と の基底の個数は一致しますので
も言えたことになります。
(3)の証明
写像
が同型写像であることを示すために、-線形写像であることを示し、さらに単射かつ全射であることを示します。
まず、 は任意の に対して「任意の を にうつす写像 」を与える写像であることに注意しましょう。つまり、 です。
ここで、、さらに を任意にとったときに、
であり、 の線形性より
が言えることがわかります。これが任意の に対して成り立つので
が言えました。すなわち、 は -線形写像です。
次に単射性を示します。線形写像なので、 を示せば良いことになります。
ここで
のとき、 なる が存在すると仮定します。このとき、 なる が存在しますが、 の少なくとも一つは ではありません。これを とします。
このとき、 とすると
であり、 は 射ではありません。ゆえに、 なる が存在するという仮定が誤りであり、 が示されました。
最後に全射性を示します。線形写像の次元公式より
より、 の像と値域の次元が一致します。したがって、 は全射です。
以上により、 は全単射である -線形写像であることが示され、したがって同型写像であることが示されました。
標準的な同型
(2) では線型空間 とその双対空間 の次元が であることを示しました。これは、 の基底の個数と の基底の個数が一致することを意味します。
一般に、線形空間 の次元が等しいとき、 が成り立ちます。 の基底を 、 の基底を とすると、 なる線形写像 であって
なるものが存在します(前回の命題2.13)。逆に、 と の立場を入れ替えて、 なる線形写像 であって
なるものが存在します。このとき
が成り立つので、 が成り立ちます。したがって、 は同型写像であり、 がなりたちます。
よって、 より、 が成り立ちます。
つまり、 と という2つの同型が得られたわけです。しかしながら、この2つは大きく違う同型です。
は、 の基底の選び方によって異なる同型写像となります。それぞれの選び方について特別な選び方はありません。
一方で、 の方は
なる同型写像があり、この は の基底の選び方に依存していません。このような特別な写像を 標準的な同型 というそうです。
ここで注意しておきたいのは、そもそも上の を考えなくても は と同じ議論によって同型であるということです。つまり、 と については、それぞれの基底を適当に決めることによって、基底に依存した相異なる同型写像をいくらでも作ることができます。
ところが、 と の間には、 という「基底の取り方によらない線形写像」が存在して、それが同型写像でもあることを (3) で示しました。すなわち、 と の間に、基底の取り方に依存しない「特別な」線形写像が存在することが言えたわけですね。
一方で、 と の間には、そのような特別視すべき同型写像が存在しないということです。これが と の違いというわけですね。
そんなわけで、 と では、どちらも同型ではあるものの、異なる立場の同型であるということでした。面白いですね。
おわりに
今回は線形空間 に対する双対空間 を考えて、双対基底という概念や、同型 や同型 を与えました。
前回の記事の冒頭で述べたように、双対空間は「リーマン面」の勉強中に出てきた話です。実際、微分形式を考える上で、次のような形で双対空間や双対基底が現れます。
リーマン面 を2次元の可微分多様体だと思ったときに、 の点 の近傍を座標 で表せます。ここで、点 の接ベクトル空間 というベクトル空間が定義されて、その基底は で表されます。 の双対空間を余接ベクトル空間 といって、 の双対基底を と定義します。
これまで外微分 をなんとなく理解していた気がしていましたが、実際はこんな風に定義されるわけですね。双対空間をきちんと勉強したおかげで、その実体を知ることができて嬉しかったです。いずれこの辺もちゃんと解説できるようになりたいですね。
それでは今日はこの辺で。