アトラス (多様体)

数学の特に微分位相幾何学におけるアトラス (英: atlas; 地図帳) あるいは座標近傍系^[1]（ざひょうきんぼうけい、英: coordinate neighbourhood system）は多様体を記述するために必要である。アトラスはチャート (英: chart; 地図) あるいは座標近傍^[2] (coordinate neighbourhood) と呼ばれる元の族であり、各チャートは簡単に言えば多様体の各点の周りの適当な領域に座標を入れて考えられるようにするものである。例えば地表を多様体と見なせば、アトラスとその各チャートは日常的な意味で言う地図帳と各地図と考えられる。一般には、アトラスは多様体の厳密な定義の一部として含まれ、あるいは多様体と関連深いベクトル束などのファイバー束においても同様である。

定義

アトラスの定義にはチャートの概念が必要である

定義 (chart): 位相空間 $M$ のチャートは $M$ の開集合 $U$ と $U$ 上で定義されたユークリッド空間の開集合への同相写像 $φ$ の組 $(U, φ)$ を言う。このとき、 $φ$ を $U$ 上の座標系^[3]（座標函数系、座標標構、座標写像などとも）^{[注釈 1]}と呼び、 $φ$ の像空間における各成分^{[注釈 2]}を局所座標函数あるいは $U$ 上の座標函数と呼ぶ。また、 $M$ の各点 $p$ に対し、 $p \in U$ となるようなチャート $(U, φ)$ を考えるとき、 $U$ を $p$ の座標近傍、 $φ (p)$ を $x$ の座標と呼ぶ。
定義: 位相空間 $M$ のアトラスとは、 $A$ で添字付けられた $M$ のチャートの族 $(U α, φ α) α \in A$ で ${\textstyle \bigcup _{\alpha \in A}U_{\alpha }=M}$ となるものを言う。

$M$ のアトラスに属する任意のチャートが $n$ -次元ユークリッド空間 $R n$ となっているとき、 $M$ は $n$ -次元（位相）多様体と呼ばれる。

座標の取り換え

M

U_{\alpha }

U_{\beta }

\varphi _{\alpha }

\varphi _{\beta }

\tau _{\alpha ,\beta }

\tau _{\beta ,\alpha }

\mathbf {R} ^{n}

\mathbf {R} ^{n}

Two charts on a manifold, and their respective transition map

アトラスにおける二つのチャートを比べる方法として、それらの間の座標変換を与える遷移写像 (transition map; 推移写像) を考えることができる。この遷移を記述するには、一方の座標写像の逆写像に他方の座標写像を合成することを考えればよい。ただし、この合成をきちんと定義するには、両座標写像の定義域をそれぞれの写像の定義域の交わりに制限しなければならない。

より精確に述べれば、

定義 (transition map): 多様体 $M$ の一つのアトラスに属する二つのチャート $(U α, φ α), (U β, φ β)$ が $U α \cap U β \neq \emptyset$ となるとき、座標変換あるいはチャート間の遷移とは $τ α,β : φ α (U α \cap U β) \to φ β (U α \cap U β)$ は $\tau _{\alpha ,\beta }:=\varphi _{\beta }\circ \varphi _{\alpha }^{-1}$ と定義される写像（ベクトル値函数） $R n \to R n$ を言う。

$φ α, φ β$ がともに同相写像であるから、変換函数 $τ α,β$ もまた同相となることに注意。

更なる構造

多様体には単なる位相構造以外にも構造が入っていたほうがよいのが普通である。例えば、多様体上の写像の微分の概念が紛れ無く定義されるようにするならば、そのアトラスは任意の座標変換が可微分函数となるように構成されなければならない。そのような多様体は可微分多様体という。可微分多様体が与えられれば、その接ベクトルそして方向微分の概念が紛れ無く定まる。

任意の座標変換が滑らかな写像（英語版）となるとき、アトラスは滑らかなアトラス（英語版）、多様体は滑らかな多様体と呼ぶ。あるいは、座標変換が $k$ -回連続的微分可能とだけ仮定して $C k$ -級アトラス、 $C k$ -級（可微分）多様体が定められる。

非常に一般に、任意の座標変換函数がユークリッド空間の同相写像からなる擬群（英語版） 𝒢 に属するならば、そのアトラスは 𝒢-アトラスであるという。また、チャート間の遷移写像が局所自明化を保つならば、そのアトラスはファイバー束の構造を定める。

注

注釈

^ あるいは $U$ を特に固定あるいは指定せずに、局所座標系、局所座標函数系、局所座標標構、局所座標写像など
^ 任意の点 $p \in M$ における値が $φ (p) ≔ (φ 1 (p), \dots, φ n (p)) \in R n$ と書けるときの各 $φ i$ , これをしばしば $φ ≔ (x 1, \dots, x n)$ のようにも書く^[3]

出典

^ 松島 1965, p. 25.
^ 松島1965, p. 24.
^ ^a ^b 野水 1981, p. 2.

参考文献

松島与三『多様体入門』裳華房〈数学選書 5〉、1965年。
野水克己『現代微分幾何入門』裳華房〈基礎数学選書 25〉、1981年。ISBN 9784785311278。
Lee, John M. (2006). Introduction to Smooth Manifolds. Springer-Verlag. ISBN 978-0-387-95448-6
Sepanski, Mark R. (2007). Compact Lie Groups. Springer-Verlag. ISBN 978-0-387-30263-8
Husemoller, D (1994), Fibre bundles, Springer , Chapter 5 "Local coordinate description of fibre bundles".

外部リンク

Rowland, Todd. "Atlas". mathworld.wolfram.com (英語).
atlas in nLab
C^r topologies - PlanetMath.（英語）
Definition:Atlas at ProofWiki

[4] あるいは $U$ を特に固定あるいは指定せずに、局所座標系、局所座標函数系、局所座標標構、局所座標写像など

[5] 任意の点 $p \in M$ における値が $φ (p) ≔ (φ 1 (p), \dots, φ n (p)) \in R n$ と書けるときの各 $φ i$ , これをしばしば $φ ≔ (x 1, \dots, x n)$ のようにも書く^[3]

[FOOTNOTE松島196525-1] 松島 1965, p. 25.

[FOOTNOTE松島196524-2] 松島1965, p. 24.

[FOOTNOTE野水19812-3] 野水 1981, p. 2.

[1]

[2]

[3]

[注釈 1]

[注釈 2]

定義

座標の取り換え

更なる構造

関連項目

注

注釈

出典

参考文献

外部リンク