最近、多様体に関する勉強をしているのですが「接ベクトル空間」という概念を習得するのに苦労しています。ちょっと抽象的すぎてよくわからないなと思っていたところに、黒木玄さんからの次のツイートが。
#数楽 伝統的なスタイルでは、まず古典的なℝ³内の曲面論についての講義があって、その一般化として多様体論の講義が続く。
— 黒木玄 Gen Kuroki (@genkuroki) 2021年1月28日
曲面のパラメータ表示 (u,v)↦𝐩(u,v) の偏微分作られる接ベクトル達 ∂𝐩(u,v)/∂u, ∂𝐩(u,v)/∂v の𝐩(u,v)を略したものが ∂/∂u, ∂/∂v だと、思うこともできます。
というわけで、 に埋め込まれた2次元曲面( つの変数でパラメータ表示された図形)を考えて、その1点 に接する平面について考えてみましょう。これは多様体そのものではありませんが、実際このような古典的な対象の計算を考えてみることで、多様体の接ベクトル空間がどうしてそのような定義なのか、理解できた気がします!
今回、多様体や多様体の接ベクトル空間の定義は与えませんが、多様体の勉強をしている人はぜひご自身の本の定義と見比べて考えていただければ幸いです。
今回の記事はtsujimotterが勉強中の内容を自分の言葉でまとめてみたものになります。正しさは保証できませんので、その点にご了承ください。間違っているところなどありましたら、勉強になりますのでご指摘いただければと思います。
曲面のパラメータ表示と方向ベクトル
曲面をパラメータ表示することを考えましょう。 から への関数 を考えます。この はそれぞれ無限回偏微分でき、その結果が連続であると仮定しましょう。こういう関数のことを 級関数といいます。
この3つの関数を使って、パラメータ を動かしたときに
が描く 内の図形を考えます。こういう図形を曲面と言いますね。
この曲面を とし、 上の任意の1点 を固定します。点 のパラメータ における座標を とします。つまり、 ということです。この点 で に接する面(これを接平面といいます)を考えたいと思います。
そもそも「接平面」の定義とは何でしょうか?
ここでは、こんな風に考えましょう。 上の点 を通る曲線 を考えて、点 での の接線を求めます。このような任意の曲線に対する接線が同一の平面内を通るとき、これを点 における接平面と呼ぶことにするのです。
そんなわけで、 上の点 を通る曲線を考えたいと思いますが、一番分かりやすい曲線を考えましょう。 における変数 を固定して だけ動かすと、これは 上の曲線になりますね。この曲線を とします。
この曲線 の点 における接線の方向ベクトルは
になるのはよいでしょうか。
同様に、点 を通る曲線として、 の を固定して だけ動かして得られる曲線 を考えます。 の点 における接線の方向ベクトルは
となります。
上の2つの曲線 および方向ベクトルはあとで重要な役割を果たすので、覚えておいてください。
もう少し一般的に 上の任意の曲線を考えたいと思います。実数 の を含む適当な開区間 の点 に対して、パラメータ を与える 級関数 を考えます。さらに
を考えます。つまり、時刻 に応じて、曲線上の点の座標を与える関数というわけですね。また、
であると仮定します。時刻 で点 を通るというわけですね。この関数により定義される曲線を としましょう。
この関数を で微分して、 を代入すれば、点 で に接する方向ベクトルが得られることになります。
微分を計算すると
となります。右辺は、 だと思って、2変数の連鎖律(チェーン・ルール)を使って計算していますね。
左辺を と定義しておくと、これは に沿った方向ベクトルということになります。
さて、ここで式 の右辺をよく観察すると、 は実数値を取りますので、これは と の線形結合になっていることがわかります。
また、 を任意に取り替えても、同様に に沿った方向微分は と の線形結合で表せます。
したがって、点 の方向微分全体を表す2次元平面は、 と を基底とするベクトル空間であることが分かります。これを点 における の接平面とおくことにしましょう。これを とおくと
ということになります。
接ベクトル空間に向けた抽象化
現在の接平面 は という、 内の曲面 を定義する関数が明示的に入った形になっています。多様体を考えるにあたっては、 のような「入れ物の箱」を考えることはありませんので、このような関数は定義からは捨て去りたいという思いがあるのかなと思っています。この辺の痕跡を消しておくことによって一般化がしやすくなるわけですね。
もう一工夫しましょう。
まず、上の は、実際には の3つの関数の組として定義されているのでした。したがって、式 は3つの式
で構成されています。
ここで、左辺では座標として すなわち から への関数を採用していますが、これを使うのをやめます。曲面 上の点 に対して、その 内の座標を取り出す関数 を使うことにしましょう。すると
とかけます。右側の関数は合成関数
となっていて、入れ物の やパラメータが明示的に現れない関数となっています。
また、偏微分 についても、 に置き換えます。これについては、 のパラメータ についての表示 を点 で偏微分するという意味です。
このようにすると
と書き直せます。同様に、 を用いて
ここで、一般に 上の 級関数 を考えて
とした上で、 に をそれぞれ代入しても同じ式が得られますよね。
左辺を とおきます。 上の 級関数全体の集合を とおいたときに、 は の任意の元 に対して を与える関数だと思うことができます。
もはや、 はとっぱらってしまって、 自体を に沿った方向微分と定義することにしましょう。方向ベクトルの 成分を具体的に求めたければ、 とすればよいのです。 を3つ並べたものが方向ベクトルになるわけですね。
J.Koizumiさんという方から「接ベクトルとは座標を与えるごとにその微分を返すものである」というお気持ちを教えていただきましたが、まさにそのような概念であるわけですね。
再度 の式を与えると
と表すことができますが、両辺ともに に作用する形で表現されていますので、抽象的な作用素として
と定義することができます。ここで
となるように を定義しています。
こんな風に抽象的な作用素になっても、やはり方向微分 は の線形結合として表されていますね。
そこで、点 における方向微分全体の空間を と定義すると、 は2次元のベクトル空間であり
これを改めて接ベクトル空間と呼べば、多様体の接ベクトルの定義とかなり近いものになるかと思います。
微分作用素
実は多様体的な接ベクトルの定義を模倣して考えると、もう少しだけ抽象化をする必要があります。せっかくなので、軽くその点に触れて終わりにしましょう。
先ほどは、 という作用素を方向ベクトルの定義としました。これは という関数であったのでした。この関数の持つ性質として、次の2つのものがあります:
- (線形性) に対して
- (ライプニッツ則) に対して
方向ベクトルは上記の2つの性質を持っているというわけですね。
ここからが発想の飛躍なのですが、逆に上の2つの性質を持つような関数 を接ベクトルの定義としてしまうのです。
正確には、上の2つの性質を満たす関数全体のなすベクトル空間を と表し、 の部分空間であって の生成するものを と表して、その元を接ベクトルというようです。
(今回は しか扱っていないので、 になります。)
だんだんと抽象化が進んできましたが、結局、点 を通る曲線の接線を求めて、その接線のなす平面(空間)を考えたいという目的はずっと一貫していましたね。
これまで抽象的だと思ってきた多様体の接ベクトル空間の定義についても、これでだいぶ理解が深まりそうになってきました。
参考文献
1.曲面の第1基本形式
http://sshmathgeom.private.coocan.jp/diffgeom/1foundamental.pdf
- 作者:松本幸夫
- 発売日: 2019/03/08
- メディア: Kindle版