記法と注意
(級)多様体には連結性と第二可算性を課す。単射ではめ込まれた部分多様体を単に「部分多様体」と呼び、「埋め込まれた部分多様体」とは区別する。
多様体(とその上の何か)に対するある性質が局所的であるとは、任意の開被覆に対し「で成立全体で成立」となることとする。
記法
- 多様体は、部分多様体はで表す。は大抵その次元。
- 級写像、級関数は、で表し、明記しなければ級性を仮定する。
- 近傍はどの点の周りかを表してなどと書く。局所座標はなどを使い、簡単のため像は常に全体とする。
部分多様体
についてはめ込み単射なはめ込み埋め込みという論理包含がある。ここではめ込みとは各点の微分が単射であることで、埋め込みとは更に像への同相を課したものであった。普通は後者を部分多様体と定めるが、Frobeniusの定理から来る積分多様体は埋め込みでないから真ん中を部分多様体と呼ぶ。もっと思い出すために簡単な例を軽く紹介する。
部分多様体 not 埋め込み
- 8の字のやつ(からの単射像だが原点近傍が無限遠方を含む。)
8の字
- トーラスにめっちゃ巻き付くやつ。 をについて考えると、稠密になって滅茶苦茶な絵になる。
非可換回転
前者は悪い、後者は良い部分多様体である。これはというベクトル場の積分曲線であるが、Frobeniusの定理とは積分曲線の次元を上げた(つまり個のベクトル場を積分してできる次元の部分多様体)についての定理である。
部分多様体は単射だから、とはの部分集合とその上の多様体構造の組と言ってもよい。しかし実際にはを指定するだけで「が級になる上の多様体構造は一意」となることが多い。例えば、埋め込まれた多様体は普通(局所的にに微分同相な)部分集合として定まるが、実際そのようなについてはそうなっているため単なる部分集合として定義する。一般の部分多様体については次のような反例があるが、Frobeniusの定理から来る極大積分多様体は局所的にと微分同相であるから、似た理由でこちらも正しい。
複数の多様体構造が入る部分多様体
を8の字とする。図のように二通りからの像だと思える:
8の字のやつ
が、となるの微分同相hogeは存在しない。
これは当たり前なのだが、(について)局所的な話に持ち込むときに有用。
多様体構造が一意的になる部分集合
まずは逆関数定理を呼び出す。どちらも、ある点の微分がopenな条件を満たす場合に局所的な標準形(自明な線形写像)の存在を保証する。
逆関数定理
とについて
(1) 微分が単射なら、ある局所座標が存在し
を標準的な(線形)包含写像とできる。
(2) 微分が全射なら、ある局所座標が存在し
を標準的な(線形)全射とできる。
Frobeniusの定理で得られる積分多様体は次の仮定を満たすので、部分多様体を気にせず単に部分集合として書く。
この本の部分多様体は多様体構造が一意的
が局所的にに含まれるとする。つまり、の各点に対しある内の局所座標と可算部分集合が存在し、となっている。このとき、が部分多様体となる(つまりが級かつはめ込みとなる)多様体構造は一意的である。
スライス
ある局所座標とを用いてと書ける部分集合をスライスと呼ぶ。
上の部分多様体構造を固定する。に対し逆関数定理を用いることで、各点に対しに含まれるスライスが存在し、そのような開集合と全体がアトラスとなる。しかし、全てのスライスがそのの部分多様体構造の局所座標となるわけではなく、あくまでそいつらの一部が開被覆になるというだけである(8の字参照)。というわけで示すべきことは「(アトラスに)一部を許せば全部入る」である。
実際に示すのはもっと強い命題である(とすれば、がどんな二つの多様体構造についても級になる)。
自動的級性
が上の仮定を満たすとする。を部分多様体とする多様体構造を一つ固定する。がとして級なら元のも級性。
級性が局所的性質という理由で、として良い。はの位相を忘れれば自明な多様体構造(と位相)が入るが、これはからの相対位相よりも細かい。「がの部分多様体ならこの位相について開」と「開なら自動的級」に分けて示す。
まず、となるスライスは連結性からあるでとなる。これは微分が消えてないからへの話だから、は開である。故に一つ目(とついでにがから誘導される多様体構造を持つこと)が分かる。
二つ目はが連結な場合に示せばいい。同じ理由ではに含まれているとしていい。普通の微積分の話で「を終域として滑らかならを終域として滑らか」である。
[War]では「上の位相を決めれば部分多様体とする多様体構造が一意」とかも示していた。