Атлас (топология)

Атлас — понятие дифференциальной геометрии, позволяющие вводить на многообразии дополнительные структуры; например гладкую структуру или комплексную структуру.

Атлас состоит из отдельных карт, которые описывают отдельные области многообразия. Если под многообразием понимать поверхность Земли, то слова карта и атлас приобретают свои обычные значения.

Определения

Пусть $K$ — числовое поле (например $\mathbb {R}$ или $\mathbb {C}$ ), $X$ — топологическое пространство.

Карта — это пара $(U,f)$ , где

U

— открытое множество в

X

f

— гомеоморфизм из

U

в открытое множество в

K^{n}

Локальная карта вводит в $U$ криволинейные координаты, сопоставляя точке $x=f^{-1}(t)$ набор чисел $t=(t^{1},...,t^{n})$

Если области определения двух карт $(U_{1},f_{1})$ и $(U_{2},f_{2})$ пересекаются ( $U_{1}\cap U_{2}\neq \emptyset$ ), то между множествами $f_{1}^{-1}(U_{2})$ и $f_{2}^{-1}(U_{1})$ имеются взаимно обратные отображения (гомеоморфизмы), называемые функциями сличения или отображением склейки :
${\begin{matrix}f_{12}=f_{1}\circ f_{2}^{-1}|_{f_{2}(U_{1}\cap U_{2})}&:\ f_{2}(U_{1}\cap U_{2})\to f_{1}(U_{1}\cap U_{2})\\f_{21}=f_{2}\circ f_{1}^{-1}|_{f_{1}(U_{1}\cap U_{2})}&:\ f_{1}(U_{1}\cap U_{2})\to f_{2}(U_{1}\cap U_{2})\end{matrix}}$

Атлас — это множество согласованных карт $\{(U_{\alpha },f_{\alpha })\}$ , $\alpha \in {\mathcal {A}}$ , такое, что $\{U_{\alpha }\}$ образует покрытие пространства $X$ . Здесь ${\mathcal {A}}$ — некоторое множество индексов. При этом атлас называется гладким (класса $C^{k}$ ) или аналитическим, если функции замены координат $f_{\alpha _{1}\alpha _{2}}$ для всех карт гладкие (класса $C^{k}$ ) или аналитические.