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

定義 アトラスの定義にはチャートの概念が必要である 定義 (chart) 位相空間 のチャートは の開集合 と 上で定義されたユークリッド空間の開集合への同相写像 の組 を言う。このとき、 を 上の座標系(座標函数系、座標標構、座標写像などとも)と呼び、 の像空間における各成分を局所座標函数あるいは 上の座標函数と呼ぶ。また、 の各点 に対し、 となるようなチャート を考えるとき、 を の座標近傍、 を の座標と呼ぶ。 定義 位相空間 のアトラスとは、 で添字付けられた のチャートの族 で となるものを言う。

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

座標の取り換え

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

より精確に述べれば、 定義 (transition map) 多様体 の一つのアトラスに属する二つのチャート が となるとき、座標変換あるいはチャート間の遷移とは は と定義される写像(ベクトル値函数) を言う。

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

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

任意の座標変換がとなるとき、アトラスは、多様体は滑らかな多様体と呼ばれる。あるいは座標変換が -回連続的微分可能と仮定すれば、-級アトラス、-級(可微分)多様体が定められる。

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

関連項目

注 注釈

出典

参考文献

, Chapter 5 "Local coordinate description of fibre bundles".

外部リンク