# 微分可能多様体の定義：チャートとアトラスで曲がった空間に微分を持ち込む > 局所的にユークリッド空間と同一視できる空間で微分を語るために、チャート・座標変換・極大アトラスを厳密に導入する。球面・実射影空間・トーラスのアトラスを具体的に構成し、多様体上の C^k 級関数と多様体間の C^k 級写像までを定義する。 > https://rikai.mugen-giken.com/mathematics/manifolds/smooth-manifolds ## 0. この記事の要点 - 多様体の定義は二段構えです。まず**位相空間として局所的に $\mathbb{R}^n$ と同相**であること、次に**局所座標どうしの貼り合わせ（座標変換）が $C^k$ 級**であること。前者が「かたち」、後者が「微分できること」を担います。 - 座標変換の $C^k$ 性を要求する理由はただ一つ、**「座標を通して定義した微分の概念が、座標の取り方に依らないようにするため」**です。この一点から定義のすべてが導かれます。 - 定義には Hausdorff 性と第二可算性が追加されます。これらは局所的な情報からは出てきません。落とすと二重原点直線のような病理が現れます。 - $S^n$（立体射影）、$\mathbb{RP}^n$（斉次座標）、$T^n = \mathbb{R}^n/\mathbb{Z}^n$（整数平行移動）は、アトラスを最後まで具体的に書き下せます。座標変換はそれぞれ反転 $u \mapsto u/|u|^2$、有理式、平行移動です。 - 多様体上の関数・写像の $C^k$ 性はチャート表示で定義し、両立性のおかげでチャートの取り方に依りません。合成が $C^k$ になることもここから従います。 - 同じ位相空間に異なる微分構造が入ることがあります（$\mathbb{R}$ 上の $t \mapsto t^3$ チャート）。ただしそれらが微分同相になることもあり、「構造が違う」ことと「多様体として違う」ことは別です。 ## 1. 動機：曲がった空間で微分するには 微分は本質的に局所的な操作です。関数 $f$ の点 $a$ における微分係数は、$a$ のいくらでも小さい近傍における $f$ の振る舞いだけで決まります。ところが微分積分学で学ぶ微分は、$\mathbb{R}^n$ の開集合の上でしか定義されていません。球面の上の温度分布を微分したい、時空の上の電磁場を微分したいと思っても、球面も時空も $\mathbb{R}^n$ の開集合ではないので、そのままでは定義が適用できません。 歴史的には、ガウスが 1827 年の曲面論で決定的な一歩を踏み出しました。ガウスは曲面の曲がり方を表す量（ガウス曲率）が、曲面が $\mathbb{R}^3$ にどう置かれているかに依らず、曲面上で測った長さだけから決まることを示しました（驚異の定理）。これは「曲面を外から眺めなくても、曲面の内側の情報だけで幾何が展開できる」という宣言です。1854 年、リーマンはゲッティンゲンでの就任講演で、この立場を任意次元に押し広げました。彼が使った語 Mannigfaltigkeit が、今日の「多様体」です。 内在的な立場を取るとき、私たちに残された道具は**座標**だけです。曲面上の点を経度・緯度で表せば、曲面上の関数は 2 変数関数になり、微分できます。しかし経度・緯度は 1 つの選び方にすぎません。別の座標を使えば別の 2 変数関数が得られます。ここで決定的な問いが生じます。 > 座標を通して定義した「微分できる」という性質は、座標の取り方に依らないか。 依らないためには、2 つの座標系を結びつける写像（座標変換）自身が微分可能でなければなりません。実際、$f$ を座標 $\varphi$ で表した関数を $f \circ \varphi^{-1}$、座標 $\psi$ で表した関数を $f \circ \psi^{-1}$ と書くと、両者は $$ f \circ \psi^{-1} = (f \circ \varphi^{-1}) \circ (\varphi \circ \psi^{-1}) $$ で結ばれます。右辺の $\varphi \circ \psi^{-1}$ が $C^k$ 級なら、連鎖律によって「$f \circ \varphi^{-1}$ が $C^k$ 級」から「$f \circ \psi^{-1}$ が $C^k$ 級」が従います。**多様体の定義とは、この一行が成り立つように舞台を整えたもの**にほかなりません。以下の節は、この直観を定義に翻訳し、代表的な空間で実際に確かめる作業です。 こうした準備が必要な空間は、決して人工的なものではありません。 - **方程式の解集合**：$S^n = \{x \in \mathbb{R}^{n+1} : |x| = 1\}$ は $\mathbb{R}^{n+1}$ の開集合ではありませんが、各点の近くでは $n$ 個の座標で記述できます。 - **配置空間**：二重振り子の状態は 2 つの角度で決まり、その全体はトーラス $T^2$ です。剛体の姿勢の全体は $\mathbb{RP}^3$ と同一視されます。これらの上で運動方程式を書くには、まず微分の意味を確定させなければなりません。 - **一般相対性理論**：時空には特別な座標系（慣性系）が存在しません。したがって物理法則は座標の取り換えに対して不変な形で書かれる必要があります。テンソルの変換則に現れるヤコビ行列 $\partial x'^{\mu}/\partial x^{\nu}$ は、まさに座標変換の微分です。座標変換が $C^k$ 級であるという要請は、一般共変性を語るための最低限の前提です。 この記事では、以上の要請を満たす舞台として $C^k$ 級多様体を定義し、その上の関数と写像の $C^k$ 性まで整えます。接ベクトル・ベクトル場・微分形式といった「多様体上で実際に微分する道具」は、[接ベクトル空間と接バンドル](/mathematics/manifolds/tangent-spaces) と [ベクトル場と微分形式](/mathematics/manifolds/differential-forms) で扱います。 ## 2. 準備：位相と多変数微分から使うこと 記号と前提を確認します。$\mathbb{N} = \{1, 2, \ldots\}$ とし、$\mathbb{R}^n$ の点は $u = (u^1, \ldots, u^n)$ のように上付き添字で書きます（多様体論の慣習で、後の記事のテンソル記法と揃えるためです）。$|u|$ はユークリッドノルムです。 位相空間の言葉は [位相空間の定義と基本概念](/mathematics/topology/topological-spaces) と [連続写像と同相写像](/mathematics/topology/continuous-maps) を前提とします。特に次を使います。 - 位相空間 $X$ が **Hausdorff** とは、相異なる 2 点が交わらない開集合で分離できることです（）。 - $X$ が**第二可算**とは、開集合系の可算な基が存在することです（）。 - **同相写像**とは、全単射かつ両方向に連続な写像です（）。 - 部分空間・積空間・商空間の位相の定義。商写像 $\pi \colon X \to X/\!\sim$ に対し、$W \subset X/\!\sim$ が開 $\iff$ $\pi^{-1}(W)$ が開、です。 分離公理まわりの詳細は [分離公理と距離づけ可能性](/mathematics/topology/separation-axioms) を参照してください。 多変数の微分については [多変数関数の微分と偏微分](/mathematics/calculus/multivariable-differentiation) を前提とし、次の定義を使います。$\Omega \subset \mathbb{R}^n$ を開集合、$F \colon \Omega \to \mathbb{R}^m$ とするとき、$F$ が $C^k$ 級（$k \in \mathbb{N}$）であるとは、$F$ の各成分が $k$ 階までのすべての偏導関数（）を持ち、それらがすべて $\Omega$ 上連続であることをいいます。$C^0$ 級は連続、$C^\infty$ 級はすべての $k$ について $C^k$ 級であることとします。$F$ が $C^1$ 級のとき、点 $a \in \Omega$ における微分（ヤコビ行列）を $DF(a) \in \mathbb{R}^{m \times n}$ と書きます。 この記事で本質的に使うのは、次の 2 つの性質だけです。 $k \in \mathbb{N} \cup \{\infty\}$ とする。 1. （局所性）$\Omega \subset \mathbb{R}^n$ を開集合、$F \colon \Omega \to \mathbb{R}^m$ とする。各点 $a \in \Omega$ に対して $a$ の開近傍 $W_a \subset \Omega$ が存在して $F|_{W_a}$ が $C^k$ 級ならば、$F$ は $\Omega$ 上 $C^k$ 級である。 2. （合成）$\Omega \subset \mathbb{R}^n$, $\Omega' \subset \mathbb{R}^m$ を開集合、$F \colon \Omega \to \mathbb{R}^m$ が $C^k$ 級で $F(\Omega) \subset \Omega'$、$G \colon \Omega' \to \mathbb{R}^l$ が $C^k$ 級とする。このとき $G \circ F \colon \Omega \to \mathbb{R}^l$ は $C^k$ 級であり、$k \ge 1$ のとき各点 $a \in \Omega$ で連鎖律 $D(G \circ F)(a) = DG(F(a)) \, DF(a)$ が成り立つ。 1 は偏導関数が各点の近傍だけで決まることから直ちに従います。2 は連鎖律（）とその帰納的な適用（高階の偏導関数は $DF$ の成分と $DG$ の成分の積と合成で書けるので、$k$ 階まで連続）から従います。詳しい証明は [多変数関数の微分と偏微分](/mathematics/calculus/multivariable-differentiation) を参照してください。 ## 3. チャートとアトラス ### 3.1. 局所座標系としてのチャート $M$ を位相空間、$n$ を $0$ 以上の整数とする。組 $(U, \varphi)$ が $M$ の **$n$ 次元チャート**（座標近傍）であるとは、 1. $U$ は $M$ の開集合であり、 2. $\varphi \colon U \to \varphi(U)$ は $\mathbb{R}^n$ のある開集合 $\varphi(U)$ の上への同相写像である ことをいう。$\varphi$ の第 $i$ 成分を $x^i \colon U \to \mathbb{R}$ と書き、$\varphi = (x^1, \ldots, x^n)$ を $U$ 上の**局所座標系**、$x^i$ を**座標関数**と呼ぶ。点 $p \in U$ に対し $\varphi(p) = (x^1(p), \ldots, x^n(p))$ を $p$ の**座標**という。 $M$ の各点が何らかの $n$ 次元チャートの定義域に含まれるとき、$M$ は **$n$ 次元局所ユークリッド空間**であるという。 チャートとは、$M$ の一部分に「$\mathbb{R}^n$ の開集合との同一視」を与える装置です。地球儀の一部を平面の地図に写すことに対応するので、chart（海図）と呼ばれます。地図が地球全体を一枚では覆えないのと同じく、一般に 1 枚のチャートでは $M$ 全体を覆えません。だから複数枚を用意し、重なりでの整合性を要求することになります。 ### 3.2. 座標変換と両立性 2 枚のチャートの定義域が重なるとき、その重なりの上には 2 通りの座標が入ります。両者を結ぶ写像が座標変換です。 $k \in \mathbb{N} \cup \{\infty\}$ とする。$M$ の $n$ 次元チャート $(U, \varphi)$, $(V, \psi)$ が **$C^k$ 両立する**とは、$U \cap V = \emptyset$ であるか、または $$ \psi \circ \varphi^{-1} \colon \varphi(U \cap V) \longrightarrow \psi(U \cap V), \qquad \varphi \circ \psi^{-1} \colon \psi(U \cap V) \longrightarrow \varphi(U \cap V) $$ がともに $C^k$ 級であることをいう。これらの写像を**座標変換**（推移写像）と呼ぶ。 この定義が意味を持つことを確認しておきます。$U \cap V$ は $M$ の開集合であり、$\varphi$ は $U$ から $\varphi(U)$ への同相写像なので、$\varphi(U \cap V)$ は $\varphi(U)$ の開集合です。$\varphi(U)$ 自身が $\mathbb{R}^n$ の開集合なので、$\varphi(U \cap V)$ は $\mathbb{R}^n$ の開集合です。$\psi(U \cap V)$ も同様です。したがって $\psi \circ \varphi^{-1}$ は $\mathbb{R}^n$ の開集合から $\mathbb{R}^n$ の開集合への写像であり、$C^k$ 級かどうかを問うことができます。なお $\psi \circ \varphi^{-1}$ と $\varphi \circ \psi^{-1}$ は互いに逆写像なので、両者はともに同相写像です。
M U V U ∩ V φ(U) ⊂ ℝⁿ ψ(V) ⊂ ℝⁿ φ ψ ψ ∘ φ⁻¹ 座標変換
$M$ を位相空間、$k \in \mathbb{N} \cup \{\infty\}$ とする。 1. $M$ の $n$ 次元チャートの族 $\mathcal{A} = \{(U_\alpha, \varphi_\alpha)\}_{\alpha \in A}$ が **$n$ 次元 $C^k$ アトラス**であるとは、$\bigcup_{\alpha \in A} U_\alpha = M$ であり、かつ任意の $\alpha, \beta \in A$ について $(U_\alpha, \varphi_\alpha)$ と $(U_\beta, \varphi_\beta)$ が $C^k$ 両立することをいう。 2. $C^k$ アトラス $\mathcal{A}$ が**極大**であるとは、$\mathcal{A}$ のすべてのチャートと $C^k$ 両立するような $M$ の $n$ 次元チャートが、必ず $\mathcal{A}$ に属することをいう。 3. 極大な $n$ 次元 $C^k$ アトラスを、$M$ 上の **$n$ 次元 $C^k$ 級微分構造**（$C^k$ 構造）と呼ぶ。 極大性を要求するのは、「同じ微分構造を定める異なるアトラス」を同一視するためです。たとえば後で見るように、球面 $S^n$ には立体射影による 2 枚のアトラスと、半球によるグラフ表示の $2n+2$ 枚のアトラスがありますが、これらは同じ微分の概念を与えます。極大アトラスを取れば、両者は文字どおり同じ集合になります。 ### 3.3. 極大アトラスの存在と一意性 実際に多様体を作るときに極大アトラスを直接書き下すのは不可能です。次の命題が、「小さなアトラスを 1 つ与えれば十分」という保証を与えます。証明の核は次の補題です。 $\mathcal{A}$ を位相空間 $M$ の $n$ 次元 $C^k$ アトラスとする。$M$ の $n$ 次元チャート $(U, \varphi)$, $(V, \psi)$ がともに $\mathcal{A}$ のすべてのチャートと $C^k$ 両立するならば、$(U, \varphi)$ と $(V, \psi)$ は互いに $C^k$ 両立する。 $U \cap V = \emptyset$ なら主張は定義から成り立つので、$U \cap V \ne \emptyset$ とします。$\psi \circ \varphi^{-1}$ が $\varphi(U \cap V)$ 上 $C^k$ 級であることを示せば、$\varphi$ と $\psi$ の役割を入れ替えて逆向きも同様に従います。 の 1（局所性）により、$\varphi(U \cap V)$ の各点の近傍で $C^k$ 級であることを示せば十分です。そこで $a \in \varphi(U \cap V)$ を任意に取り、$p = \varphi^{-1}(a) \in U \cap V$ とおきます。 $\mathcal{A}$ は $M$ を覆うので、$p \in W$ となるチャート $(W, \chi) \in \mathcal{A}$ が存在します。$U \cap V \cap W$ は $p$ を含む $M$ の開集合であり、$\varphi$ は同相写像なので $\varphi(U \cap V \cap W)$ は $a$ を含む $\mathbb{R}^n$ の開集合です。 この開集合の上で $$ \psi \circ \varphi^{-1} = (\psi \circ \chi^{-1}) \circ (\chi \circ \varphi^{-1}) $$ が成り立ちます。実際、$s \in \varphi(U \cap V \cap W)$ に対し $q = \varphi^{-1}(s) \in U \cap V \cap W$ であり、$\chi \circ \varphi^{-1}(s) = \chi(q) \in \chi(U \cap V \cap W) \subset \chi(V \cap W)$ なので右辺は定義され、その値は $\psi(q) = \psi \circ \varphi^{-1}(s)$ です。 ここで $\chi \circ \varphi^{-1}$ は $\varphi(U \cap W)$ 上 $C^k$ 級です（仮定より $(U, \varphi)$ は $(W, \chi) \in \mathcal{A}$ と $C^k$ 両立するから）。同様に $\psi \circ \chi^{-1}$ は $\chi(V \cap W)$ 上 $C^k$ 級です（仮定より $(V, \psi)$ は $(W, \chi)$ と $C^k$ 両立するから）。よって の 2（合成）より、$\psi \circ \varphi^{-1}$ は $\varphi(U \cap V \cap W)$ 上 $C^k$ 級です。 $a$ は任意だったので、局所性により $\psi \circ \varphi^{-1}$ は $\varphi(U \cap V)$ 全体で $C^k$ 級です。 $M$ を位相空間、$\mathcal{A}$ を $M$ の $n$ 次元 $C^k$ アトラスとする。このとき $\mathcal{A}$ を含む $n$ 次元極大 $C^k$ アトラスがただ 1 つ存在する。それは $$ \mathcal{A}^{*} = \{ (U, \varphi) : (U,\varphi) \text{ は } M \text{ の } n \text{ 次元チャートで、} \mathcal{A} \text{ の任意のチャートと } C^k \text{ 両立する} \} $$ で与えられる。 **（1）$\mathcal{A} \subset \mathcal{A}^{*}$。** $\mathcal{A}$ はアトラスなので、その任意の 2 枚は互いに $C^k$ 両立します。したがって $\mathcal{A}$ の各チャートは $\mathcal{A}^{*}$ の条件を満たします。特に $\mathcal{A}^{*}$ のチャートの定義域は $M$ を覆います。 **（2）$\mathcal{A}^{*}$ はアトラスである。** 覆うことは（1）で示しました。$(U, \varphi), (V, \psi) \in \mathcal{A}^{*}$ とすると、両者は $\mathcal{A}$ のすべてのチャートと $C^k$ 両立するので、 により互いに $C^k$ 両立します。 **（3）$\mathcal{A}^{*}$ は極大である。** $n$ 次元チャート $(U, \varphi)$ が $\mathcal{A}^{*}$ のすべてのチャートと $C^k$ 両立するとします。（1）より $\mathcal{A} \subset \mathcal{A}^{*}$ なので、特に $(U,\varphi)$ は $\mathcal{A}$ のすべてのチャートと $C^k$ 両立します。これは $(U, \varphi) \in \mathcal{A}^{*}$ を意味します。 **（4）一意性。** $\mathcal{B}$ を $\mathcal{A} \subset \mathcal{B}$ なる極大 $C^k$ アトラスとします。$\mathcal{B}$ の各チャートは $\mathcal{B}$ の他のすべてのチャートと $C^k$ 両立し、特に $\mathcal{A} \subset \mathcal{B}$ のすべてと両立するので、$\mathcal{B} \subset \mathcal{A}^{*}$ です。逆に $(U, \varphi) \in \mathcal{A}^{*}$ とし、$(V, \psi) \in \mathcal{B}$ を任意に取ります。$(V,\psi) \in \mathcal{B} \subset \mathcal{A}^{*}$ なので、$(U,\varphi)$ と $(V,\psi)$ はともに $\mathcal{A}$ のすべてのチャートと $C^k$ 両立します。よって より両者は $C^k$ 両立します。$(V,\psi)$ は任意だったので、$\mathcal{B}$ の極大性から $(U, \varphi) \in \mathcal{B}$ です。ゆえに $\mathcal{A}^{*} \subset \mathcal{B}$ となり、$\mathcal{B} = \mathcal{A}^{*}$ を得ます。 実用上の帰結を 2 つ挙げます。 第一に、多様体を構成するときは**アトラスを 1 つ書けばよい**ということです。 により、それが定める $C^k$ 構造は一意に決まります。以下の例ではすべてこの流儀を取ります。 第二に、極大アトラス $\mathcal{A}$ に属するチャート $(U, \varphi)$ と開集合 $\emptyset \ne U' \subset U$ に対し、$(U', \varphi|_{U'})$ もまた $\mathcal{A}$ に属します。理由は次のとおりです。$(U', \varphi|_{U'})$ はチャートであり、任意の $(V, \psi) \in \mathcal{A}$ との座標変換は $(U,\varphi)$ と $(V,\psi)$ の座標変換を開集合 $\varphi(U' \cap V)$ に制限したものなので $C^k$ 級です。よって極大性から $\mathcal{A}$ に属します。つまり**チャートの定義域はいつでも小さくしてよい**わけで、これは §6 で写像の $C^k$ 性を扱うときに使います。 なお、定義を $k = 0$ まで広げると、同じ次元の 2 枚のチャートは常に $C^0$ 両立します（座標変換は同相写像なので連続）。したがって $C^0$ 構造は位相から一意に定まり、新しい情報を持ちません。微分構造が意味を持つのは $k \ge 1$ のときです。 ### 3.4. 次元が矛盾なく定まること では「$n$ 次元チャートの族」と最初から $n$ を固定しました。これが不自然な制限でないことを確認します。 $M$ を位相空間、$(U, \varphi)$ を $M$ の $n$ 次元チャート、$(V, \psi)$ を $M$ の $m$ 次元チャートとし、$U \cap V \ne \emptyset$ とする。さらに座標変換 $\psi \circ \varphi^{-1} \colon \varphi(U \cap V) \to \psi(U \cap V)$ と $\varphi \circ \psi^{-1} \colon \psi(U \cap V) \to \varphi(U \cap V)$ がともに $C^1$ 級であるとする。このとき $n = m$ である。 $p \in U \cap V$ を取り、$a = \varphi(p) \in \mathbb{R}^n$, $b = \psi(p) \in \mathbb{R}^m$ とおきます。§3.2 で見たとおり $\varphi(U \cap V)$ は $\mathbb{R}^n$ の開集合、$\psi(U \cap V)$ は $\mathbb{R}^m$ の開集合です。$F = \psi \circ \varphi^{-1}$, $G = \varphi \circ \psi^{-1}$ とおくと、これらは互いに逆写像なので $$ G \circ F = \mathrm{id}_{\varphi(U \cap V)}, \qquad F \circ G = \mathrm{id}_{\psi(U \cap V)} $$ が成り立ちます。仮定より $F$, $G$ はともに $C^1$ 級なので、 の 2（連鎖律）を第 1 式に点 $a$ で適用して $$ DG(F(a)) \, DF(a) = DG(b) \, DF(a) = I_n $$ を得ます（$F(a) = \psi(\varphi^{-1}(a)) = \psi(p) = b$ を使いました）。同様に第 2 式を点 $b$ で適用して $DF(G(b)) \, DG(b) = DF(a)\, DG(b) = I_m$ を得ます。 したがって線形写像 $DF(a) \colon \mathbb{R}^n \to \mathbb{R}^m$ と $DG(b) \colon \mathbb{R}^m \to \mathbb{R}^n$ は互いに逆な線形同型です。同型なベクトル空間の次元は等しいので（[ベクトル空間と線形変換](/mathematics/linear-algebra/vector-spaces)、とくに を参照）、$n = m$ です。 のおかげで、$C^1$ 以上のアトラスを持つ空間では、各点の周りのチャートの次元は一意に決まります。次元は $M$ 上で局所定数なので、$M$ が連結ならば $M$ 全体で一定です。連結でない場合は成分ごとに異なる次元を許す流儀もありますが、この記事では最初から $n$ を固定します。 なお座標変換に微分可能性を仮定しない場合（$C^0$ の場合）、同じ結論は成り立つものの、証明にはブラウワーの領域不変性定理という位相幾何の深い定理が必要になります。連鎖律だけで済む $C^1$ の場合との差は大きく、微分構造を仮定することの威力がここに現れています。 ## 4. 微分可能多様体の定義 $k \in \mathbb{N} \cup \{\infty\}$、$n$ を $0$ 以上の整数とする。組 $(M, \mathcal{A})$ が **$n$ 次元 $C^k$ 級多様体**であるとは、 1. $M$ は Hausdorff 位相空間であり、 2. $M$ は第二可算であり、 3. $\mathcal{A}$ は $M$ 上の $n$ 次元 $C^k$ 級微分構造（すなわち極大 $n$ 次元 $C^k$ アトラス）である ことをいう。$n$ を $M$ の**次元**と呼び $\dim M = n$ と書く。$k = \infty$ のとき $M$ を**滑らかな多様体**（$C^\infty$ 多様体）という。$\mathcal{A}$ が文脈から明らかなときは単に $M$ と書く。
B["n 次元チャート U, φ を各点に与える"] B --> C["アトラス：チャートの定義域が M を覆う"] C --> D["Ck 両立：どの 2 枚も座標変換が Ck 級"] D --> E["極大アトラス ＝ Ck 級微分構造"] E --> F["n 次元 Ck 級多様体"]`} />
条件 3 は §3 で用意しました。 により、実際には「$n$ 次元 $C^k$ アトラスを 1 つ与える」だけで条件 3 は満たされます。問題は条件 1, 2 です。これらは局所的な条件（局所ユークリッド性）からは出てきません。次の例がそれを示します。 $L$ を、2 つの直線 $\mathbb{R} \times \{0\}$ と $\mathbb{R} \times \{1\}$ の非交和を、$t \ne 0$ のとき $(t, 0) \sim (t, 1)$ と同一視して得られる商空間とします。$[t, i]$ で同値類を表します。$L$ は「原点だけが 2 個ある直線」です。 $U_i = \{[t, i] : t \in \mathbb{R}\}$ $(i = 0, 1)$ とおき、$\varphi_i([t,i]) = t$ で写像を定めます。$U_i$ は開集合であり（$\pi^{-1}(U_i)$ は $\mathbb{R} \times \{i\}$ と $(\mathbb{R}\setminus\{0\}) \times \{1-i\}$ の和で開）、$\varphi_i$ は同相写像です。$U_0 \cup U_1 = L$ なので $\{(U_0, \varphi_0), (U_1, \varphi_1)\}$ は 1 次元アトラスです。座標変換は $$ \varphi_1 \circ \varphi_0^{-1} \colon \mathbb{R} \setminus \{0\} \to \mathbb{R} \setminus \{0\}, \qquad t \mapsto t $$ すなわち恒等写像なので $C^\infty$ 級です。よって $L$ は 1 次元 $C^\infty$ アトラスを持ち、第二可算でもあります（可算個の開区間の像が基をなす）。 ところが $L$ は Hausdorff ではありません。2 点 $0_0 = [0,0]$ と $0_1 = [0,1]$ を取ります。$0_0$ の任意の開近傍は、ある $\varepsilon > 0$ について $\varphi_0^{-1}((-\varepsilon, \varepsilon))$ を含みます。同様に $0_1$ の任意の開近傍はある $\delta > 0$ について $\varphi_1^{-1}((-\delta, \delta))$ を含みます。$\rho = \min(\varepsilon, \delta)/2 > 0$ とおくと、点 $[\rho, 0] = [\rho, 1]$ は両方に属します。よって $0_0$ と $0_1$ を交わらない開集合で分離できません。 その結果、たとえば点列 $[1/j, 0]$ $(j \in \mathbb{N})$ は $0_0$ にも $0_1$ にも収束します。「極限が一意に定まらない」という状況では、微分方程式の解の一意性のような基本的な議論がすべて崩れます。Hausdorff 性を定義に入れるのはこのためです。 第二可算性を課す理由は、その場で見える病理よりも、それがないと使えなくなる道具にあります。Hausdorff かつ第二可算な局所ユークリッド空間はパラコンパクトであり、したがって**1 の分割**が存在します。1 の分割は、局所的に定義された対象（リーマン計量、体積要素、接続）を大域的なものに貼り合わせるための標準的な道具であり、多様体上の積分の定義にも使われます。またホイットニーの埋め込み定理（$n$ 次元多様体は $\mathbb{R}^{2n+1}$ に埋め込める）も第二可算性を前提とします。 第二可算性を落とすとどうなるかは、簡単な例で見えます。非可算集合 $A$ を取り、$X = \bigsqcup_{\alpha \in A} \mathbb{R}$（非交和）に和位相を入れると、$X$ は Hausdorff かつ 1 次元 $C^\infty$ アトラスを持ちますが第二可算ではありません（ 参照）。この例は非連結ですが、連結な反例として「長い直線」が知られています。長い直線は Hausdorff かつ局所ユークリッドですが、第二可算でも距離づけ可能でもありません。 なお、第二可算性の代わりにパラコンパクト性を仮定する流儀もあります。この場合、非可算個の連結成分を持つ多様体が許されるだけの違いです。 **（a）$\mathbb{R}^n$ 自身。** $\mathcal{A}_0 = \{(\mathbb{R}^n, \mathrm{id})\}$ は 1 枚だけからなる $C^\infty$ アトラスです（両立性は $(U,\varphi)$ と自分自身について確かめればよく、座標変換は恒等写像なので $C^\infty$）。$\mathbb{R}^n$ は Hausdorff かつ第二可算なので、$\mathcal{A}_0$ が生成する極大アトラスにより $\mathbb{R}^n$ は $n$ 次元 $C^\infty$ 多様体です。これを $\mathbb{R}^n$ の**標準的な微分構造**と呼びます。 **（b）多様体の開集合。** $(M, \mathcal{A})$ を $n$ 次元 $C^k$ 多様体、$W \subset M$ を空でない開集合とします。$W$ に相対位相を入れると、Hausdorff 性と第二可算性は部分空間に遺伝します。さらに $\mathcal{A}|_W = \{(U \cap W, \varphi|_{U \cap W}) : (U, \varphi) \in \mathcal{A},\ U \cap W \ne \emptyset\}$ は $W$ の $n$ 次元 $C^k$ アトラスです。実際、$U \cap W$ は $W$ の開集合で $\varphi|_{U\cap W}$ は $\varphi(U \cap W)$ の上への同相、これらは $W$ を覆い、座標変換は $\mathcal{A}$ の座標変換の開集合への制限なので $C^k$ 級です。よって より $W$ は $n$ 次元 $C^k$ 多様体になります。これを**開部分多様体**と呼びます。 **（c）一般線形群。** $n$ 次実正方行列全体 $M_n(\mathbb{R})$ は成分を並べることで $\mathbb{R}^{n^2}$ と同一視され、$n^2$ 次元 $C^\infty$ 多様体です。行列式 $\det \colon M_n(\mathbb{R}) \to \mathbb{R}$ は成分の多項式なので連続であり（[行列式とその性質](/mathematics/linear-algebra/determinants) を参照）、 $$ GL(n, \mathbb{R}) = \{A \in M_n(\mathbb{R}) : \det A \ne 0\} = {\det}^{-1}(\mathbb{R} \setminus \{0\}) $$ は開集合です。よって（b）より $GL(n,\mathbb{R})$ は $n^2$ 次元 $C^\infty$ 多様体です。これは [リー群とリー環の基礎](/mathematics/manifolds/lie-groups) の出発点になる例です（）。 ## 5. 例：球面・実射影空間・トーラス ここからは、$\mathbb{R}^n$ の開集合ではない空間にアトラスを具体的に構成します。以下すべて $k = \infty$ で考えますが、議論は任意の $k$ で同じです。まず、複数の多様体から新しい多様体を作る操作を用意します。 ### 5.1. 積多様体 $(M, \mathcal{A})$ を $m$ 次元 $C^k$ 多様体、$(N, \mathcal{B})$ を $n$ 次元 $C^k$ 多様体とする。積位相を入れた $M \times N$ は、アトラス $$ \mathcal{A} \times \mathcal{B} = \{ (U \times V,\ \varphi \times \psi) : (U, \varphi) \in \mathcal{A},\ (V, \psi) \in \mathcal{B} \}, \qquad (\varphi \times \psi)(p, q) = (\varphi(p), \psi(q)) $$ が生成する $C^k$ 構造により $(m+n)$ 次元 $C^k$ 多様体になる。 **位相の条件。** Hausdorff 空間の積は Hausdorff です（$(p,q) \ne (p',q')$ ならどちらかの成分が異なるので、その成分を分離する開集合の逆像を取ればよい）。第二可算空間の積も第二可算です（それぞれの可算基 $\mathcal{U}$, $\mathcal{V}$ に対し $\{B \times B' : B \in \mathcal{U}, B' \in \mathcal{V}\}$ が可算基）。 **チャートであること。** $U \times V$ は積位相の開集合、$\varphi \times \psi$ は $\varphi(U) \times \psi(V) \subset \mathbb{R}^{m} \times \mathbb{R}^{n} = \mathbb{R}^{m+n}$ の上への全単射であり、$\varphi$, $\psi$ が同相なので $\varphi \times \psi$ も同相です。$\varphi(U) \times \psi(V)$ は開集合の積なので $\mathbb{R}^{m+n}$ の開集合です。これらの定義域は $M \times N$ を覆います。 **両立性。** $(U', \varphi') \in \mathcal{A}$, $(V', \psi') \in \mathcal{B}$ を取ると、$(U \times V) \cap (U' \times V') = (U \cap U') \times (V \cap V')$ であり、座標変換は $$ (\varphi' \times \psi') \circ (\varphi \times \psi)^{-1}(u, v) = \big( (\varphi' \circ \varphi^{-1})(u),\ (\psi' \circ \psi^{-1})(v) \big) $$ です。右辺の第 1 成分は $u$ のみの $C^k$ 級関数、第 2 成分は $v$ のみの $C^k$ 級関数なので、$(u,v)$ の関数として $k$ 階までのすべての偏導関数が存在して連続です。よって $C^k$ 級です。 この構成を繰り返すと、有限個の多様体の積が多様体になります。特に円周 $S^1$ が多様体であることが分かれば（次項）、$n$ 次元トーラス $(S^1)^n$ も多様体です。 ### 5.2. 球面 $S^n$ $S^n = \{x = (x^1, \ldots, x^{n+1}) \in \mathbb{R}^{n+1} : |x| = 1\}$ に $\mathbb{R}^{n+1}$ からの相対位相を入れます。$\mathbb{R}^{n+1}$ が Hausdorff かつ第二可算なので、$S^n$ もそうです。北極を $N = (0, \ldots, 0, 1)$、南極を $S = (0, \ldots, 0, -1)$ とし、 $$ U_N = S^n \setminus \{N\}, \quad \varphi_N(x) = \frac{(x^1, \ldots, x^n)}{1 - x^{n+1}}, \qquad U_S = S^n \setminus \{S\}, \quad \varphi_S(x) = \frac{(x^1, \ldots, x^n)}{1 + x^{n+1}} $$ とおきます。$\varphi_N$ は、$N$ と $x$ を通る直線と超平面 $x^{n+1} = 0$ の交点を取る操作（立体射影）です。 **$\varphi_N$ が同相写像であること。** $x \in U_N$ では $x^{n+1} \ne 1$ なので分母は $0$ になりません。よって $\varphi_N$ は連続です。逆写像の候補として $$ \Phi(u) = \frac{(2u^1, \ldots, 2u^n,\ |u|^2 - 1)}{|u|^2 + 1} \qquad (u \in \mathbb{R}^n) $$ を取ります。まず $\Phi(u) \in S^n$ です。実際 $$ 4|u|^2 + (|u|^2 - 1)^2 = |u|^4 + 2|u|^2 + 1 = (|u|^2+1)^2 $$ なので $|\Phi(u)|^2 = 1$ です。また第 $(n+1)$ 成分は $(|u|^2-1)/(|u|^2+1) \ne 1$ なので $\Phi(u) \in U_N$ です。次に $\varphi_N(\Phi(u)) = u$ を確かめます。$\Phi(u)$ の第 $(n+1)$ 成分を $\xi$ とすると $1 - \xi = 2/(|u|^2+1)$ なので $$ \varphi_N(\Phi(u)) = \frac{2u/(|u|^2+1)}{2/(|u|^2+1)} = u . $$ 逆に $x \in U_N$ に対し $u = \varphi_N(x)$ とおくと、$|x|=1$ より $$ |u|^2 = \frac{1 - (x^{n+1})^2}{(1 - x^{n+1})^2} = \frac{1 + x^{n+1}}{1 - x^{n+1}}, \qquad |u|^2 + 1 = \frac{2}{1 - x^{n+1}}, \qquad |u|^2 - 1 = \frac{2 x^{n+1}}{1 - x^{n+1}} $$ なので、$\Phi(u)$ の最初の $n$ 成分は $2u \cdot (1-x^{n+1})/2 = (x^1, \ldots, x^n)$、第 $(n+1)$ 成分は $x^{n+1}$ となり $\Phi(u) = x$ です。$\Phi$ は分母が $1$ 以上の有理式なので連続です。したがって $\varphi_N \colon U_N \to \mathbb{R}^n$ は同相写像であり、$(U_N, \varphi_N)$ は $n$ 次元チャートです。$\varphi_S$ についても、$x^{n+1}$ を $-x^{n+1}$ に置き換えれば同じ計算が通ります。 **アトラスであること。** $N \ne S$ なので $U_N \cup U_S = S^n$ です。 **座標変換。** $U_N \cap U_S = S^n \setminus \{N, S\}$ であり、$\varphi_N(U_N \cap U_S) = \mathbb{R}^n \setminus \{0\}$ です（$\varphi_N(x) = 0$ となるのは $x = S$ のときに限る）。$u \ne 0$ に対し、$\Phi(u)$ の第 $(n+1)$ 成分を用いて $1 + \xi = 2|u|^2/(|u|^2+1)$ なので $$ \varphi_S \circ \varphi_N^{-1}(u) = \frac{2u/(|u|^2+1)}{2|u|^2/(|u|^2+1)} = \frac{u}{|u|^2}. $$ これは $\mathbb{R}^n \setminus \{0\}$ 上の $C^\infty$ 級写像です（各成分が有理関数で分母 $|u|^2$ が $0$ にならない）。しかもこの写像は自分自身の逆写像なので、$\varphi_N \circ \varphi_S^{-1}$ も同じ式で与えられ $C^\infty$ 級です。よって 2 枚は $C^\infty$ 両立し、$S^n$ は $n$ 次元 $C^\infty$ 多様体です。 **グラフによるアトラス。** 別のアトラスも作れます。$i = 1, \ldots, n+1$ と符号 $\epsilon \in \{+1, -1\}$ に対し $$ V_i^{\epsilon} = \{x \in S^n : \epsilon x^i > 0\}, \qquad \psi_i^{\epsilon}(x) = (x^1, \ldots, \widehat{x^i}, \ldots, x^{n+1}) $$ とおきます（$\widehat{\ }$ はその成分を除くことを表します）。$\psi_i^{\epsilon}$ は $V_i^{\epsilon}$ から開球 $B^n = \{u \in \mathbb{R}^n : |u| < 1\}$ の上への同相写像で、逆写像は $u$ の第 $i$ 番目に $\epsilon\sqrt{1 - |u|^2}$ を挿入する写像です。$x \in S^n$ ならどれかの成分が $0$ でないので、これら $2(n+1)$ 枚は $S^n$ を覆います。座標変換は「$\epsilon\sqrt{1-|u|^2}$ を挿入して別の成分を落とす」写像であり、$\sqrt{1 - |u|^2}$ は $B^n$ 上 $C^\infty$ 級（根号の中が正）なので $C^\infty$ 級です。 さらに、このアトラスは立体射影のアトラスと $C^\infty$ 両立します。$\psi_i^{\epsilon} \circ \varphi_N^{-1}$ は $\Phi$ の第 $i$ 成分を落としたものなので $C^\infty$ 級です。逆に $\varphi_N \circ (\psi_i^{\epsilon})^{-1}(u)$ は、$C^\infty$ 級の成分を持つ点 $x = (\psi_i^\epsilon)^{-1}(u)$ に対して $(x^1,\ldots,x^n)/(1 - x^{n+1})$ を作る操作であり、定義域上 $x^{n+1} \ne 1$ なので $C^\infty$ 級です。よって より、両者は同じ極大アトラスを生成します。つまり**どちらのアトラスを使っても得られる微分構造は同じ**です。 ### 5.3. 実射影空間 $\mathbb{RP}^n$ $\mathbb{R}^{n+1} \setminus \{0\}$ に同値関係 $x \sim y \iff \exists \lambda \in \mathbb{R} \setminus \{0\},\ y = \lambda x$ を入れ、商空間 $\mathbb{RP}^n = (\mathbb{R}^{n+1}\setminus\{0\})/\!\sim$ を考えます。商写像を $\pi$ とし、$\pi(x) = [x^0 : x^1 : \cdots : x^n]$ と書きます（**斉次座標**。添字は $0$ から $n$ まで動かします）。$\mathbb{RP}^n$ は「$\mathbb{R}^{n+1}$ の原点を通る直線全体」と同一視されます。 **$\pi$ は開写像。** $V \subset \mathbb{R}^{n+1}\setminus\{0\}$ を開集合とすると $\pi^{-1}(\pi(V)) = \bigcup_{\lambda \ne 0} \lambda V$ です。各 $\lambda \ne 0$ について $x \mapsto \lambda x$ は同相写像なので $\lambda V$ は開、よって和集合も開です。商位相の定義より $\pi(V)$ は開集合です。 **第二可算性。** $\mathcal{U}$ を $\mathbb{R}^{n+1}\setminus\{0\}$ の可算基とすると、$\{\pi(B) : B \in \mathcal{U}\}$ は可算個の開集合の族です。これが基であることを見ます。$W \subset \mathbb{RP}^n$ を開集合、$[x] \in W$ とすると $\pi^{-1}(W)$ は $x$ を含む開集合なので、$x \in B \subset \pi^{-1}(W)$ なる $B \in \mathcal{U}$ が取れます。すると $[x] \in \pi(B) \subset \pi(\pi^{-1}(W)) = W$ です（$\pi$ が全射なので最後の等号が成り立ちます）。 **Hausdorff 性。** $R = \{(x,y) \in (\mathbb{R}^{n+1}\setminus\{0\})^2 : x \sim y\}$ とおきます。$x, y$ がともに $0$ でないとき、$x \sim y$ であることと $x, y$ が線形従属であることは同値で、それは 2 次の小行列式がすべて消えること、すなわち $$ x^i y^j - x^j y^i = 0 \qquad (0 \le i < j \le n) $$ と同値です。左辺は連続関数なので $R$ は有限個の閉集合の交わりとして閉集合です。ここで一般論を使います。$\pi$ が開写像で $R$ が閉ならば商空間は Hausdorff です。実際、$[x] \ne [y]$ なら $(x,y) \notin R$ なので、$R$ が閉であることから $x \in A$, $y \in B$ なる開集合で $(A \times B) \cap R = \emptyset$ となるものが取れます。$\pi$ が開写像なので $\pi(A)$, $\pi(B)$ は開集合で、それぞれ $[x]$, $[y]$ を含みます。もし $\pi(A) \cap \pi(B) \ne \emptyset$ なら $a \in A$, $b \in B$ で $[a] = [b]$ となるものがあり、$(a, b) \in (A\times B) \cap R$ となって矛盾します。よって $\pi(A) \cap \pi(B) = \emptyset$ です。 **チャート。** $i = 0, \ldots, n$ に対し $$ U_i = \{[x] \in \mathbb{RP}^n : x^i \ne 0\}, \qquad \varphi_i([x]) = \left( \frac{x^0}{x^i}, \ldots, \frac{x^{i-1}}{x^i}, \frac{x^{i+1}}{x^i}, \ldots, \frac{x^n}{x^i} \right) \in \mathbb{R}^n $$ とおきます。条件 $x^i \ne 0$ も $\varphi_i$ の値もスケール変換 $x \mapsto \lambda x$ で不変なので、どちらも代表元の取り方に依りません。$U_i = \pi(\{x : x^i \ne 0\})$ は $\pi$ が開写像なので開集合です。 $\varphi_i$ の逆写像を書きます。$u = (u^1, \ldots, u^n) \in \mathbb{R}^n$ に対し、$\mathbb{R}^{n+1}$ の点 $$ \iota_i(u) = (u^1, \ldots, u^i,\ 1,\ u^{i+1}, \ldots, u^n) $$ を、第 $i$ 成分（$0$ から数えて）が $1$ になるように定めます。すると $\varphi_i^{-1}(u) = [\iota_i(u)]$ です。実際 $\varphi_i([\iota_i(u)])$ は $\iota_i(u)$ の第 $i$ 成分 $1$ で割って第 $i$ 成分を除いたものなので $u$ に戻り、逆に $x^i \ne 0$ なら $[x] = [x/x^i] = [\iota_i(\varphi_i([x]))]$ です。 $\varphi_i$ は連続です。$\varphi_i \circ \pi$ は $\{x^i \ne 0\}$ 上の有理写像なので連続であり、$\pi$ を $\{x^i \ne 0\}$ に制限したものは $U_i$ への商写像だからです。$\varphi_i^{-1} = \pi \circ \iota_i$ は連続写像の合成なので連続です。よって $(U_i, \varphi_i)$ はチャートで、$[x]$ にはどれかの $x^i \ne 0$ があるので $\{(U_i, \varphi_i)\}_{i=0}^{n}$ は $\mathbb{RP}^n$ を覆います。 **座標変換。** $\varphi_i(U_i \cap U_j) = \{u \in \mathbb{R}^n : \iota_i(u)^j \ne 0\}$ は開集合であり、その上で $$ \varphi_j \circ \varphi_i^{-1}(u) = \left( \frac{\iota_i(u)^0}{\iota_i(u)^j}, \ldots, \widehat{\ \cdot\ }, \ldots, \frac{\iota_i(u)^n}{\iota_i(u)^j} \right) $$ （第 $j$ 成分を除く）です。各成分は $u$ の 1 次式どうしの商で分母は定義域上 $0$ にならないので、$C^\infty$ 級です。よって $\mathbb{RP}^n$ は $n$ 次元 $C^\infty$ 多様体です。 **具体例（$\mathbb{RP}^2$）。** $\varphi_0([1 : u^1 : u^2]) = (u^1, u^2)$、$\varphi_1([x^0:x^1:x^2]) = (x^0/x^1,\ x^2/x^1)$ なので、$u^1 \ne 0$ の範囲で $$ \varphi_1 \circ \varphi_0^{-1}(u^1, u^2) = \varphi_1([1 : u^1 : u^2]) = \left( \frac{1}{u^1},\ \frac{u^2}{u^1} \right) $$ です。逆向きは $\varphi_0 \circ \varphi_1^{-1}(s, t) = \varphi_0([s : 1 : t]) = (1/s,\ t/s)$（$s \ne 0$）で、やはり $C^\infty$ 級です。 $\mathbb{RP}^n$ は、$S^n$ の対心点を同一視した空間とも同一視されます。物理では $\mathbb{RP}^3$ が剛体の姿勢の空間（回転群 $SO(3)$）と同一視されることが重要です。 ### 5.4. トーラス $T^n$ $\mathbb{Z}^n \subset \mathbb{R}^n$ を整数格子とし、$T^n = \mathbb{R}^n / \mathbb{Z}^n$ を商空間、$\pi \colon \mathbb{R}^n \to T^n$ を商写像とします（$\pi(x) = x + \mathbb{Z}^n$）。 **$\pi$ は開写像。** $V$ が開なら $\pi^{-1}(\pi(V)) = \bigcup_{m \in \mathbb{Z}^n}(V + m)$ は開集合の和なので開、よって $\pi(V)$ は開です。第二可算性は と同じ議論で従います。 **Hausdorff 性。** 写像 $d \colon \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}^n$, $d(x,y) = y - x$ は連続で、$\mathbb{Z}^n$ は $\mathbb{R}^n$ の閉集合です（各点が孤立し、集積点を持たない）。よって関係集合 $R = d^{-1}(\mathbb{Z}^n)$ は閉集合です。$\pi$ が開写像なので、 で使ったのと同じ議論により $T^n$ は Hausdorff です。 **チャート。** $V \subset \mathbb{R}^n$ を、「$x, y \in V$ かつ $x - y \in \mathbb{Z}^n$ ならば $x = y$」を満たす開集合とします（たとえば一辺の長さが $1$ 未満の開立方体はこれを満たします）。このとき $\pi|_V \colon V \to \pi(V)$ は全単射で、連続かつ開写像なので同相写像です。そこで $$ \psi_V = (\pi|_V)^{-1} \colon \pi(V) \longrightarrow V \subset \mathbb{R}^n $$ とおけば $(\pi(V), \psi_V)$ は $n$ 次元チャートです。任意の点 $\pi(x)$ に対し $x$ を中心とする一辺 $1/2$ の開立方体を取ればよいので、これらのチャートは $T^n$ を覆います。 **座標変換。** そのような $V, W$ を取り、$\Omega = \psi_V(\pi(V) \cap \pi(W)) \subset V$ とおきます。$\Omega$ は開集合であり、座標変換は $\tau = \psi_W \circ \psi_V^{-1} = (\pi|_W)^{-1} \circ \pi|_{\Omega}$ です。$x \in \Omega$ に対し $\pi(\tau(x)) = \pi(x)$ なので $\tau(x) - x \in \mathbb{Z}^n$ です。写像 $x \mapsto \tau(x) - x$ は連続で値が離散集合 $\mathbb{Z}^n$ に入るので、各 $m \in \mathbb{Z}^n$ の逆像は $\Omega$ の開かつ閉な部分集合になり、したがってこの写像は局所定数です。すなわち $\Omega$ の各連結成分の上で $$ \tau(x) = x + m \qquad (m \in \mathbb{Z}^n \text{ は定数}) $$ と書けます。平行移動は $C^\infty$ 級なので、座標変換は $C^\infty$ 級です。よって $T^n$ は $n$ 次元 $C^\infty$ 多様体です。 $T^n$ は $\pi([0,1]^n) = T^n$ よりコンパクトです（[コンパクト性](/mathematics/topology/compactness)、とくに を参照）。また $T^n$ は $(S^1)^n$ と微分同相であり（$S^1 = T^1$ と から $(S^1)^n$ が多様体であることは分かります）、二重振り子の配置空間 $T^2$ はこの空間です。 ## 6. 多様体上の $C^k$ 級関数と写像 多様体を定義した目的は、その上で微分を語ることでした。まず実数値関数から始めます。 $(M, \mathcal{A})$ を $n$ 次元 $C^k$ 多様体、$f \colon M \to \mathbb{R}$ とする。$f$ が **$C^k$ 級**であるとは、各点 $p \in M$ に対して $p \in U$ なるチャート $(U, \varphi) \in \mathcal{A}$ が存在して、**チャート表示** $$ \hat{f} = f \circ \varphi^{-1} \colon \varphi(U) \longrightarrow \mathbb{R} $$ が $C^k$ 級であることをいう。$M$ 上の $C^k$ 級関数全体を $C^k(M)$ と書く。 定義は「あるチャートが存在して」という形ですが、実際には「すべてのチャートについて」と同値です。これが両立性を要求したことの見返りです。 $(M, \mathcal{A})$ を $n$ 次元 $C^k$ 多様体、$f \colon M \to \mathbb{R}$ とする。次は同値である。 1. $f$ は の意味で $C^k$ 級である。 2. 任意のチャート $(V, \psi) \in \mathcal{A}$ に対し、$f \circ \psi^{-1}$ は $\psi(V)$ 上 $C^k$ 級である。 2 から 1 は明らかです（各点についてその点を含む任意のチャートを取ればよい）。 1 から 2 を示します。$(V, \psi) \in \mathcal{A}$ を任意に取ります。 の 1（局所性）により、$\psi(V)$ の各点の近傍で $f \circ \psi^{-1}$ が $C^k$ 級であることを示せば十分です。$s \in \psi(V)$ を取り $p = \psi^{-1}(s) \in V$ とおきます。仮定 1 より、$p \in U$ かつ $f \circ \varphi^{-1}$ が $\varphi(U)$ 上 $C^k$ 級となるチャート $(U, \varphi) \in \mathcal{A}$ が存在します。 $\psi(U \cap V)$ は $s$ を含む $\mathbb{R}^n$ の開集合です。その上で $$ f \circ \psi^{-1} = (f \circ \varphi^{-1}) \circ (\varphi \circ \psi^{-1}) $$ が成り立ちます。実際 $t \in \psi(U\cap V)$ に対し $\psi^{-1}(t) \in U \cap V$ なので $\varphi \circ \psi^{-1}(t) \in \varphi(U \cap V) \subset \varphi(U)$ であり、右辺の値は $f(\psi^{-1}(t))$ です。 $(U,\varphi)$ と $(V,\psi)$ はともに極大アトラス $\mathcal{A}$ に属するので $C^k$ 両立し、$\varphi \circ \psi^{-1}$ は $\psi(U \cap V)$ 上 $C^k$ 級です。$f \circ \varphi^{-1}$ は仮定より $\varphi(U) \supset \varphi(U \cap V)$ 上 $C^k$ 級です。よって の 2（合成）から $f \circ \psi^{-1}$ は $\psi(U \cap V)$ 上 $C^k$ 級です。$s$ は任意だったので、局所性により $f\circ\psi^{-1}$ は $\psi(V)$ 上 $C^k$ 級です。 $(M, \mathcal{A})$ を $m$ 次元 $C^k$ 多様体、$(N, \mathcal{B})$ を $n$ 次元 $C^k$ 多様体、$F \colon M \to N$ とする。 1. $F$ が **$C^k$ 級**であるとは、各点 $p \in M$ に対して、$p \in U$ なるチャート $(U, \varphi) \in \mathcal{A}$ と $F(p) \in V$ なるチャート $(V, \psi) \in \mathcal{B}$ で $F(U) \subset V$ を満たすものが存在して、チャート表示 $$ \psi \circ F \circ \varphi^{-1} \colon \varphi(U) \longrightarrow \psi(V) \subset \mathbb{R}^n $$ が $C^k$ 級であることをいう。 2. $F$ が **$C^k$ 微分同相写像**であるとは、$F$ が全単射で、$F$ と $F^{-1}$ がともに $C^k$ 級であることをいう。$M$ から $N$ への $C^k$ 微分同相写像が存在するとき、$M$ と $N$ は**微分同相**であるという。 $N = \mathbb{R}$（チャートは $(\mathbb{R}, \mathrm{id})$）と取れば、この定義は と一致します。定義に連続性を仮定していない点に注意してください。連続性は自動的に従います。 $F \colon M \to N$ が の意味で $C^k$ 級ならば、$F$ は連続である。 $p \in M$ を取り、定義に現れるチャート $(U, \varphi)$, $(V, \psi)$ を取ります。$U$ 上で $$ F|_U = \psi^{-1} \circ (\psi \circ F \circ \varphi^{-1}) \circ \varphi $$ が成り立ちます（$q \in U$ に対し右辺は $\psi^{-1}(\psi(F(q))) = F(q)$）。$\varphi$ は同相写像なので連続、真ん中の写像は $C^k$ 級なので連続、$\psi^{-1}$ は同相写像なので連続です。よって $F|_U$ は連続です。 $N$ の開集合 $O$ を取ると、各 $p$ に対する上の $U$ について $(F|_U)^{-1}(O) = F^{-1}(O) \cap U$ は $U$ の開集合、したがって $M$ の開集合です。$p$ を動かすとこれらの $U$ は $M$ を覆うので $$ F^{-1}(O) = \bigcup_{p \in M} \big( F^{-1}(O) \cap U_p \big) $$ は開集合の和として開です。ゆえに $F$ は連続です。 $M$, $N$, $P$ をそれぞれ $m$, $n$, $l$ 次元の $C^k$ 多様体とし、その微分構造を $\mathcal{A}$, $\mathcal{B}$, $\mathcal{C}$ とする。 1. （チャート非依存性）$F \colon M \to N$ が $C^k$ 級ならば、$F(U) \subset V$ を満たす任意のチャート $(U, \varphi) \in \mathcal{A}$, $(V, \psi) \in \mathcal{B}$ に対し、$\psi \circ F \circ \varphi^{-1}$ は $\varphi(U)$ 上 $C^k$ 級である。 2. （合成）$F \colon M \to N$ と $G \colon N \to P$ がともに $C^k$ 級ならば、$G \circ F \colon M \to P$ は $C^k$ 級である。 **1 の証明。** $(U,\varphi) \in \mathcal{A}$, $(V,\psi) \in \mathcal{B}$ を $F(U) \subset V$ となるように取り、$a \in \varphi(U)$ を任意に取って $p = \varphi^{-1}(a)$ とおきます。 の 1 により、$a$ の近傍で $C^k$ 級であることを示せば十分です。 $F$ が $C^k$ 級であることから、$p \in U'$, $F(p) \in V'$, $F(U') \subset V'$ で $\psi' \circ F \circ \varphi'^{-1}$ が $C^k$ 級となるチャート $(U', \varphi') \in \mathcal{A}$, $(V', \psi') \in \mathcal{B}$ が存在します。$W = U \cap U'$ は $p$ を含む開集合で、$q \in W$ なら $F(q) \in V$ かつ $F(q) \in V'$、すなわち $F(W) \subset V \cap V'$ です。$\varphi(W)$ は $a$ を含む開集合であり、その上で $$ \psi \circ F \circ \varphi^{-1} = (\psi \circ \psi'^{-1}) \circ (\psi' \circ F \circ \varphi'^{-1}) \circ (\varphi' \circ \varphi^{-1}) $$ が成り立ちます。実際、$s \in \varphi(W)$ に対し $q = \varphi^{-1}(s) \in W$ とおくと、右端の写像は $s$ を $\varphi'(q) \in \varphi'(W) \subset \varphi'(U')$ に送り、真ん中の写像はそれを $\psi'(F(q)) \in \psi'(V \cap V')$ に送り、左端の写像はそれを $\psi(F(q))$ に送ります。 3 つの写像はいずれも $C^k$ 級です。$\varphi' \circ \varphi^{-1}$ は $(U,\varphi)$ と $(U',\varphi')$ がともに極大アトラス $\mathcal{A}$ に属することから、$\psi \circ \psi'^{-1}$ は同様に $\mathcal{B}$ の両立性から、真ん中は仮定からです。よって の 2 より合成は $\varphi(W)$ 上 $C^k$ 級です。$a$ は任意だったので主張が従います。 **2 の証明。** $p \in M$ を取ります。$G$ が $C^k$ 級なので、$F(p) \in V_0$, $G(F(p)) \in W_0$, $G(V_0) \subset W_0$ で $\chi \circ G \circ \psi_0^{-1}$ が $C^k$ 級となるチャート $(V_0, \psi_0) \in \mathcal{B}$, $(W_0, \chi) \in \mathcal{C}$ が取れます。 次に $M$ 側のチャートを選びます。 より $F$ は連続なので $F^{-1}(V_0)$ は $p$ を含む開集合です。$p$ を含むチャート $(U_1, \varphi_1) \in \mathcal{A}$ を任意に取り、$U = U_1 \cap F^{-1}(V_0)$, $\varphi = \varphi_1|_U$ とおくと、 より $(U, \varphi) \in \mathcal{A}$ であり、$F(U) \subset V_0$ です。 よって 1 を $(U,\varphi)$ と $(V_0, \psi_0)$ に適用して、$\psi_0 \circ F \circ \varphi^{-1}$ は $\varphi(U)$ 上 $C^k$ 級です。この写像は $\varphi(U)$ を $\psi_0(V_0)$ の中に写し、$\chi \circ G \circ \psi_0^{-1}$ は $\psi_0(V_0)$ 上 $C^k$ 級なので、 の 2 より $$ \chi \circ (G \circ F) \circ \varphi^{-1} = (\chi \circ G \circ \psi_0^{-1}) \circ (\psi_0 \circ F \circ \varphi^{-1}) $$ は $\varphi(U)$ 上 $C^k$ 級です。また $(G\circ F)(U) \subset G(V_0) \subset W_0$ なので、$(U,\varphi)$ と $(W_0, \chi)$ が の条件を満たします。$p$ は任意だったので $G \circ F$ は $C^k$ 級です。 **（a）包含写像 $\iota \colon S^n \hookrightarrow \mathbb{R}^{n+1}$。** $\mathbb{R}^{n+1}$ のチャートとして $(\mathbb{R}^{n+1}, \mathrm{id})$ を、$S^n$ のチャートとして立体射影 $(U_N, \varphi_N)$ を取ります。$\iota(U_N) \subset \mathbb{R}^{n+1}$ は自明に成り立ち、チャート表示は の $\Phi$ そのもの、すなわち $$ \mathrm{id} \circ \iota \circ \varphi_N^{-1}(u) = \frac{(2u^1, \ldots, 2u^n,\ |u|^2-1)}{|u|^2+1} $$ です。分母は $1$ 以上なので各成分は $\mathbb{R}^n$ 上の $C^\infty$ 級有理関数です。$(U_S, \varphi_S)$ についても同様なので、$\iota$ は $C^\infty$ 級です。 **（b）2 重被覆 $\rho \colon S^n \to \mathbb{RP}^n$。** $\rho(x) = [x]$ と定めます（$x \ne 0$ なので定義されます）。$S^n$ の点 $x$ で $x^i \ne 0$ となる $i$ を取り、$S^n$ のグラフチャート $(V_i^{\epsilon}, \psi_i^{\epsilon})$（$\epsilon$ は $x^i$ の符号、ここでは添字を $0$ から $n$ まで動かします）と $\mathbb{RP}^n$ のチャート $(U_i, \varphi_i)$ を取ります。$y \in V_i^\epsilon$ なら $y^i \ne 0$ なので $\rho(V_i^\epsilon) \subset U_i$ です。$u \in B^n$ に対し $y = (\psi_i^\epsilon)^{-1}(u)$ の第 $i$ 成分は $\epsilon\sqrt{1-|u|^2}$、残りの成分は $u$ の成分なので $$ \varphi_i \circ \rho \circ (\psi_i^{\epsilon})^{-1}(u) = \frac{u}{\epsilon\sqrt{1 - |u|^2}} $$ となります。分母は $B^n$ 上で $0$ にならず $C^\infty$ 級なので、この写像は $C^\infty$ 級です。よって $\rho$ は $C^\infty$ 級です。 **（c）商写像 $\pi \colon \mathbb{R}^n \to T^n$。** のチャート $(\pi(V), \psi_V)$ を取ると、$\pi(V) \subset \pi(V)$ かつ $$ \psi_V \circ \pi \circ \mathrm{id}^{-1}|_V = (\pi|_V)^{-1} \circ \pi|_V = \mathrm{id}_V $$ なので、チャート表示は恒等写像であり $C^\infty$ 級です。$\mathbb{R}^n$ の各点はそのような $V$ に含まれるので、$\pi$ は $C^\infty$ 級です。しかもチャート表示が恒等写像であることから、$\pi$ は各点の近傍を像の近傍の上に $C^\infty$ 微分同相に写します（局所微分同相）。 同じ位相空間に異なる微分構造が入ることがあります。$\mathbb{R}$ 上で $h(t) = t^3$ とおくと、$h$ は同相写像なので $\mathcal{A}_1 = \{(\mathbb{R}, \mathrm{id})\}$ と $\mathcal{A}_2 = \{(\mathbb{R}, h)\}$ はともに 1 次元 $C^\infty$ アトラスです。しかし両者は $C^1$ 両立しません。座標変換の一方 $h \circ \mathrm{id}^{-1} = h$ は $C^\infty$ 級ですが、他方 $\mathrm{id} \circ h^{-1}(s) = s^{1/3}$ は $s = 0$ で微分可能でないからです。よって $\mathcal{A}_1$ と $\mathcal{A}_2$ が生成する極大アトラスは異なります。 それでも 2 つの多様体は微分同相です。$F \colon (\mathbb{R}, \mathcal{A}_2^{*}) \to (\mathbb{R}, \mathcal{A}_1^{*})$ を $F(t) = t^3$ で定めると、チャート表示は $\mathrm{id} \circ F \circ h^{-1}(s) = (s^{1/3})^3 = s$ すなわち恒等写像で $C^\infty$ 級、逆写像 $F^{-1}(s) = s^{1/3}$ のチャート表示も $h \circ F^{-1} \circ \mathrm{id}^{-1}(t) = (t^{1/3})^3 = t$ で $C^\infty$ 級です。つまり「微分構造が違う」ことと「多様体として違う」ことは別の主張です。 同相だが微分同相でない多様体が存在するかは深い問題です。ミルナーは 1956 年、$S^7$ と同相だが微分同相でない 7 次元多様体（エキゾチック球面）を構成しました。また 1980 年代の 4 次元トポロジーの成果により、$n \ne 4$ のとき $\mathbb{R}^n$ の微分構造は標準的なものに限る一方、$\mathbb{R}^4$ には標準的でない微分構造が非可算個存在することが知られています。 ## 7. 演習 $A$ を非可算集合とし、$X = \bigsqcup_{\alpha \in A} \mathbb{R}_\alpha$（$\mathbb{R}_\alpha$ はすべて $\mathbb{R}$ のコピー）に和位相を入れる。すなわち $W \subset X$ が開であるとは、各 $\alpha$ について $W \cap \mathbb{R}_\alpha$ が $\mathbb{R}_\alpha$ の開集合であること、と定める。$X$ が Hausdorff かつ 1 次元 $C^\infty$ アトラスを持つが、第二可算でないことを示せ。 **Hausdorff 性。** 相異なる 2 点 $p, q \in X$ を取ります。同じ $\mathbb{R}_\alpha$ に属するなら、$\mathbb{R}$ が Hausdorff なので $\mathbb{R}_\alpha$ の中で交わらない開集合に分離でき、それらは $X$ の開集合です。異なる $\mathbb{R}_\alpha$, $\mathbb{R}_\beta$ に属するなら、$\mathbb{R}_\alpha$ と $\mathbb{R}_\beta$ 自身が交わらない開集合です。 **アトラス。** $U_\alpha = \mathbb{R}_\alpha$、$\varphi_\alpha \colon U_\alpha \to \mathbb{R}$ を自然な同一視とすると、各 $(U_\alpha, \varphi_\alpha)$ は 1 次元チャートで、$\bigcup_\alpha U_\alpha = X$ です。$\alpha \ne \beta$ なら $U_\alpha \cap U_\beta = \emptyset$ なので両立性の条件は自動的に満たされ、$\alpha = \beta$ のときの座標変換は恒等写像で $C^\infty$ 級です。よって $\{(U_\alpha, \varphi_\alpha)\}$ は 1 次元 $C^\infty$ アトラスです。 **第二可算でないこと。** $\mathcal{U}$ を $X$ の開集合系の基とします。各 $\alpha \in A$ について点 $p_\alpha \in \mathbb{R}_\alpha$ を 1 つ選びます。$\mathbb{R}_\alpha$ は $p_\alpha$ を含む開集合なので、基の定義から $p_\alpha \in B_\alpha \subset \mathbb{R}_\alpha$ なる $B_\alpha \in \mathcal{U}$ が存在します。$\alpha \ne \beta$ のとき $B_\alpha \subset \mathbb{R}_\alpha$ と $B_\beta \subset \mathbb{R}_\beta$ は交わらず、どちらも空でないので $B_\alpha \ne B_\beta$ です。したがって $\alpha \mapsto B_\alpha$ は単射で、$\mathcal{U}$ の濃度は $A$ の濃度以上、すなわち非可算です。ゆえに可算基は存在しません。 （この $X$ は の条件 2 を満たさないので多様体ではありません。） $M$, $N$ を $C^k$ 多様体とし、$M \times N$ に の $C^k$ 構造を入れる。次を示せ。 1. 射影 $\mathrm{pr}_M \colon M \times N \to M$, $\mathrm{pr}_N \colon M \times N \to N$ はともに $C^k$ 級である。 2. $P$ を $C^k$ 多様体、$H \colon P \to M \times N$ とする。$H$ が $C^k$ 級であることと、$\mathrm{pr}_M \circ H$ と $\mathrm{pr}_N \circ H$ がともに $C^k$ 級であることは同値である。 **1。** $(p, q) \in M \times N$ を取り、$p \in U$, $q \in V$ なるチャート $(U,\varphi) \in \mathcal{A}$, $(V,\psi) \in \mathcal{B}$ を取ります。積のチャート $(U \times V, \varphi \times \psi)$ に対し $\mathrm{pr}_M(U \times V) = U \subset U$ であり、チャート表示は $$ \varphi \circ \mathrm{pr}_M \circ (\varphi \times \psi)^{-1}(u, v) = \varphi(\varphi^{-1}(u)) = u $$ すなわち $\mathbb{R}^{m+n} \supset \varphi(U)\times\psi(V) \to \mathbb{R}^m$ の第 1 成分への射影です。線形写像なので $C^\infty$ 級、特に $C^k$ 級です。$\mathrm{pr}_N$ も同様です。 **2。** $H$ が $C^k$ 級なら、1 と の 2（合成）より $\mathrm{pr}_M \circ H$, $\mathrm{pr}_N \circ H$ は $C^k$ 級です。 逆に $H_1 = \mathrm{pr}_M \circ H$, $H_2 = \mathrm{pr}_N \circ H$ がともに $C^k$ 級とします。$r \in P$ を取り、$H_1(r) \in U$, $H_2(r) \in V$ なるチャート $(U,\varphi)$, $(V,\psi)$ を取ります。 より $H_1$, $H_2$ は連続なので $H_1^{-1}(U) \cap H_2^{-1}(V)$ は $r$ を含む開集合です。$r$ を含む $P$ のチャートをこの開集合に制限したもの（ よりこれもチャートです）を $(W, \chi)$ とおくと、$H_1(W) \subset U$, $H_2(W) \subset V$ すなわち $H(W) \subset U \times V$ です。チャート表示は $$ (\varphi \times \psi) \circ H \circ \chi^{-1}(w) = \big( \varphi \circ H_1 \circ \chi^{-1}(w),\ \psi \circ H_2 \circ \chi^{-1}(w) \big) $$ であり、 の 1 より各成分は $\chi(W)$ 上 $C^k$ 級です。ベクトル値写像が $C^k$ 級であることは各成分が $C^k$ 級であることと同値なので、全体も $C^k$ 級です。$r$ は任意だったので $H$ は $C^k$ 級です。 $\mathbb{RP}^1$ と $S^1$ が微分同相であることを示せ。ヒント：$\mathbb{R}^2$ を $\mathbb{C}$ と同一視し、$F([z]) = z^2/|z|^2$ を考えよ。 $\mathbb{R}^2 \ni (x^0, x^1) \leftrightarrow z = x^0 + i x^1 \in \mathbb{C}$ と同一視し、$F \colon \mathbb{RP}^1 \to S^1$ を $F([z]) = z^2/|z|^2$ で定めます。 **well-defined。** $\lambda \in \mathbb{R} \setminus \{0\}$ に対し $(\lambda z)^2/|\lambda z|^2 = \lambda^2 z^2/(\lambda^2 |z|^2) = z^2/|z|^2$ なので、代表元に依りません。また $|z^2/|z|^2| = 1$ なので値は $S^1$ に入ります。 **全単射。** $|z| = 1$ と正規化してよく、そのとき $F([z]) = z^2$ です。任意の $w \in S^1$ に対し $z^2 = w$ となる $|z|=1$ の $z$ はちょうど 2 個あり、それらは $z$ と $-z$、すなわち同じ同値類です。よって $F$ は全単射です。 **$C^\infty$ 性。** $\mathbb{RP}^1$ のチャート $\varphi_0([1 : u]) = u$ を取ると $z = 1 + iu$ であり、 $$ F(\varphi_0^{-1}(u)) = \frac{(1+iu)^2}{1+u^2} = \frac{1 - u^2}{1+u^2} + i\,\frac{2u}{1+u^2} $$ すなわち $S^1$ の点 $(a, b) = \big((1-u^2)/(1+u^2),\ 2u/(1+u^2)\big)$ です。$S^1$ 側では北極 $(0,1)$ からの立体射影 $\varphi_N(a,b) = a/(1-b)$ を使います。$F(\varphi_0^{-1}(u)) = (0,1)$ となるのは $1 - u^2 = 0$ かつ $2u = 1 + u^2$、すなわち $u = 1$ のときだけなので、定義域を $u \ne 1$ に制限します。そこで $$ 1 - b = 1 - \frac{2u}{1+u^2} = \frac{(1-u)^2}{1+u^2}, \qquad \varphi_N \circ F \circ \varphi_0^{-1}(u) = \frac{1-u^2}{(1-u)^2} = \frac{1+u}{1-u} $$ を得ます。これは $u \ne 1$ で $C^\infty$ 級です。$u = 1$ の近くでは $S^1$ 側のチャートを南極からの立体射影 $\varphi_S(a,b) = a/(1+b)$ に取り替えます。$1 + b = (1+u)^2/(1+u^2)$ なので $\varphi_S \circ F \circ \varphi_0^{-1}(u) = (1-u)/(1+u)$ となり、$u \ne -1$ で $C^\infty$ 級です。$u = -1$ は $u = 1$ の近くにないので、$\varphi_0$ の定義域はこの 2 枚で覆えます。残る点 $[0:1]$ の近くではチャート $\varphi_1([s : 1]) = s$ を使い、$z = s + i$ について同じ計算を行えば、やはり有理式が得られて $C^\infty$ 級です。よって $F$ は $C^\infty$ 級です。 **逆写像の $C^\infty$ 性。** 上で得た表示 $g(u) = (1+u)/(1-u)$ は $u \ne 1$ から $s \ne -1$ への全単射で、逆は $g^{-1}(s) = (s-1)/(s+1)$ です。これは $s \ne -1$ で $C^\infty$ 級であり、これがちょうど $\varphi_0 \circ F^{-1} \circ \varphi_N^{-1}$ のチャート表示です。他のチャートの組についても同様に有理式が得られ、分母は定義域上で $0$ になりません。よって $F^{-1}$ も $C^\infty$ 級であり、$F$ は微分同相写像です。 $A \in GL(n, \mathbb{R})$ とし、格子 $\Lambda = A\mathbb{Z}^n = \{Am : m \in \mathbb{Z}^n\}$ による商 $\mathbb{R}^n/\Lambda$ を考える。$\mathbb{R}^n/\Lambda$ が $n$ 次元 $C^\infty$ 多様体であり、$T^n = \mathbb{R}^n/\mathbb{Z}^n$ と微分同相であることを示せ。 **多様体であること。** $A$ は線形同相写像なので $\Lambda = A\mathbb{Z}^n$ は $\mathbb{R}^n$ の離散閉部分群です。特に $\delta = \min\{|v| : v \in \Lambda,\ v \ne 0\}$ が存在して $\delta > 0$ です（$\Lambda$ が離散かつ閉なので、原点を中心とする有界閉球に入る $\Lambda$ の点は有限個）。$\pi_\Lambda \colon \mathbb{R}^n \to \mathbb{R}^n/\Lambda$ を商写像とすると、 と同じ議論で $\pi_\Lambda$ は開写像、$\mathbb{R}^n/\Lambda$ は第二可算、また $R = d^{-1}(\Lambda)$（$d(x,y) = y-x$）が閉であることから Hausdorff です。直径が $\delta$ 未満の開集合 $V$ を取れば $\pi_\Lambda|_V$ は同相写像なので、$(\pi_\Lambda(V), (\pi_\Lambda|_V)^{-1})$ がチャートを与え、座標変換は $\Lambda$ の元による平行移動（局所定数）なので $C^\infty$ 級です。よって $\mathbb{R}^n/\Lambda$ は $n$ 次元 $C^\infty$ 多様体です。 **微分同相であること。** $x - y \in \mathbb{Z}^n \iff Ax - Ay \in \Lambda$ なので、写像 $\bar{A}(\pi(x)) = \pi_\Lambda(Ax)$ は well-defined です。$A$ が全単射で $A\mathbb{Z}^n = \Lambda$ なので $\bar{A}$ は全単射で、逆は $A^{-1}$ が誘導する写像 $\overline{A^{-1}}$ です。 $C^\infty$ 性を見ます。$V \subset \mathbb{R}^n$ を、$T^n$ のチャートを与えるだけ小さく、かつ $A(V)$ の直径が $\delta$ 未満になるように取ります（$A$ は連続なのでそのような $V$ は各点の周りに取れます）。このとき $\bar{A}(\pi(V)) = \pi_\Lambda(A(V))$ であり、チャート表示は $$ (\pi_\Lambda|_{A(V)})^{-1} \circ \bar{A} \circ \pi|_V = A|_V $$ です。実際、$x \in V$ に対し左辺は $\pi_\Lambda(Ax)$ を $A(V)$ の中の代表元に戻す操作で、$Ax \in A(V)$ なのでその値は $Ax$ です。線形写像 $A$ は $C^\infty$ 級なので $\bar{A}$ は $C^\infty$ 級です。同じ議論を $A^{-1}$ に適用すれば $\overline{A^{-1}} = \bar{A}^{-1}$ も $C^\infty$ 級です。よって $\bar{A}$ は微分同相写像です。 （一方、$\mathbb{R}^n/\Lambda$ に $\mathbb{R}^n$ の標準内積から誘導される距離を入れると、格子の形の違いは長さや角度の違いとして残ります。微分同相であっても計量的には異なる、というのはリーマン幾何が始まる地点です。） ## 参考文献 - J. M. Lee, *Introduction to Smooth Manifolds*, 2nd edition, Springer, 2013 — Chapter 1 "Smooth Manifolds", Chapter 2 "Smooth Maps"。チャート・アトラス・極大アトラスの扱いは本記事と同じ流儀です。 - 松島与三『多様体入門』裳華房、1965 — 微分可能多様体の定義とアトラスを扱う章。日本語の標準的な入門書です。 - 松本幸夫『多様体の基礎』東京大学出版会、1988 — 多様体の定義と具体例を扱う章。位相の準備から丁寧に書かれています。 - B. Riemann, "Über die Hypothesen, welche der Geometrie zu Grunde liegen", *Abhandlungen der Königlichen Gesellschaft der Wissenschaften zu Göttingen* 13 (1868) — 多様体の概念が最初に提示された 1854 年の就任講演。 - L. A. Steen and J. A. Seebach, Jr., *Counterexamples in Topology*, 2nd edition, Springer, 1978 — 「二重原点直線」「長い直線」などの反例が整理されています。 - J. Milnor, "On manifolds homeomorphic to the 7-sphere", *Annals of Mathematics* 64 (1956), 399–405 — エキゾチック球面の最初の構成。 ## Appendix: チャートから多様体を組み立てる **位相を後から入れる構成。** この記事では、まず位相空間 $M$ を用意し、そこにチャートを載せる、という順序で多様体を作りました。しかし実際には、位相を先に決めるのが面倒な場合があります。たとえば $\mathbb{RP}^n$ で商位相の Hausdorff 性を確かめるのに、2 次の小行列式を持ち出す必要がありました。 こうした場合、順序を逆にできます。集合 $M$ と、部分集合の族 $\{U_\alpha\}_{\alpha \in A}$、および単射 $\varphi_\alpha \colon U_\alpha \to \mathbb{R}^n$ が与えられ、次の 5 条件を満たすとします。(i) 各 $\varphi_\alpha(U_\alpha)$ は $\mathbb{R}^n$ の開集合である。(ii) 各 $\alpha, \beta$ について $\varphi_\alpha(U_\alpha \cap U_\beta)$ は $\mathbb{R}^n$ の開集合である。(iii) $U_\alpha \cap U_\beta \ne \emptyset$ のとき $\varphi_\beta \circ \varphi_\alpha^{-1} \colon \varphi_\alpha(U_\alpha \cap U_\beta) \to \varphi_\beta(U_\alpha \cap U_\beta)$ は $C^k$ 級である。(iv) 可算個の $U_\alpha$ で $M$ が覆える。(v) $M$ の相異なる 2 点 $p, q$ に対し、両者を同時に含む $U_\alpha$ が存在するか、または $p \in U_\alpha$, $q \in U_\beta$ かつ $U_\alpha \cap U_\beta = \emptyset$ なる $\alpha, \beta$ が存在する。 このとき、各 $(U_\alpha, \varphi_\alpha)$ がチャートになるような位相と $C^k$ 構造が $M$ 上にただ 1 つ存在します。位相は $\{\varphi_\alpha^{-1}(B) : \alpha \in A,\ B \subset \varphi_\alpha(U_\alpha)$ は開球$\}$ を基として定義され、(iv) が第二可算性を、(v) が Hausdorff 性を保証します。証明は Lee の教科書（Chapter 1 の Smooth Manifold Chart Lemma）にあります。 **この見方の効用。** この形にすると、多様体を作る作業は「チャートを並べて、座標変換が $C^k$ 級であることを確かめる」ことに一元化されます。§5 の $S^n$, $\mathbb{RP}^n$, $T^n$ はいずれもこの手順で作り直せます。さらに、[ストークスの定理（一般化）](/mathematics/manifolds/stokes-theorem) で扱う境界付き多様体や、ファイバーバンドルの全空間のように「貼り合わせで定義するのが自然な空間」では、この構成法が実質的に唯一の道になります。