Atlas (topologiya)

Riyaziyyatda, xüsusən də topologiyada bir atlasdan istifadə edilərək bir çoxobrazlı təsvir olunur. Atlas, təxminən desək, çeşidli ayrı-ayrı bölgələri təsvir edən fərdi qrafiklərdən ibarətdir. Əgər çoxobrazlı Yerin səthidirsə, onda bir atlasın daha çox ümumi mənası var. Ümumiyyətlə, Atlas anlayışı, çox yönlü və əlaqəli quruluşların, məsələn, vektor dəstələri və digər lif dəstələri kimi formal tərifin əsasını təşkil edir.

Qrafiklər

Bir atlasın tərifi bir qrafik anlayışına bağlıdır. Bir topoloji məkan M üçün cədvəl (koordinat cədvəli, koordinat yaması, koordinat xəritəsi və ya yerli çərçivə də deyilir) bir homeomorfluqdur $\varphi$ U açıq bir M-dən Evklid məkanının açıq çoxluqlarlna qədərdir. Qrafik ənənəvi olaraq sifariş edilmiş cüt $(U,\varphi )$ olaraq qeyd olunur.

Atlasın ümumi tərifi

Bir topoloji məkan üçün bir atlas indeksləşdirilmiş $M$ ailəsidir $\{(U_{\alpha },\varphi _{\alpha }):\alpha \in I\}$ qrafikləru üzərində $M$ hansı ki,$M$ əhatə dairəsini təyin edir(yəni, $\textstyle \bigcup _{\alpha \in A}U_{\alpha }=M$). Hər bir cədvəlin kodomaini n ölçülü Evklid məkanıdırsa, onda $M$-in n ölçülü bir çoxobrazlı olduğu deyilir.

Bəzi müəlliflər atlastlardan istifadə etsələr də,atlaslar çoxluğu atlaslardır.

Atlas $\left(U_{i},\varphi _{i}\right)_{i\in I}$ $n$ üzərində $M$ ölçülü çoxluq hər bir cədvəlin görüntüsü olduqda, adekvat atlas adlanır,$\mathbb {R} ^{n}$ or $\mathbb {R} _{+}^{n}$, $\left(U_{i}\right)_{i\in I}$ $M$-in yerli məhdud altçoxluqlar ailələri örtüyüdür,hardaki, $B_{1}$ başlanğıc mərkəzində olan radius 1 açıq topdur və $\mathbb {R} _{+}^{n}$ qapalı yarım boşluqdur. Hər ikinci sayıla bilən çoxluq adekvat bir atlas qəbul edir. Üstəlik, əgər${\mathcal {V}}=\left(V_{j}\right)_{j\in J}$ ikinci sayıla bilən çoxobrazlının açıq örtüyüdürsə, onda $M$ orada adekvat bir atlasdır,$\left(U_{i},\varphi _{i}\right)_{i\in I}$ $M$, üzərində belə $\left(U_{i}\right)_{i\in I}$ ${\mathcal {V}}$ zəifliyidir.

Keçid xəritələri

Bir çoxobrazlıdakı iki qrafik və müvafiq keçid xəritəsi

Bir keçid xəritəsi bir atlasın iki qrafikini müqayisə etmək üçün bir yol təqdim edir. Bu müqayisəni etmək üçün, bir cədvəlin tərkibini digərinin tərsi ilə nəzərdən keçiririk. Bu kompozisiya istisna olmaqla, yaxşı müəyyən edilməmişdir,biz hər iki cədvəlin tərif sahələrinin kəsişməsi ilə məhdudlaşırıq.(Məsələn, Avropanın bir qrafiki və Rusiyanın bir qrafiki varsa, onda bu iki qrafiki üst-üstə düşərsə müqayisə edə bilərik,yəni Rusiyanın Avropa hissəsi.)

Daha dəqiq desək, güman edək ki,$(U_{\alpha },\varphi _{\alpha })$ və $(U_{\beta },\varphi _{\beta })$ belə bir çoxobrazlı M üçün iki qrafikdir,$U_{\alpha }\cap U_{\beta }$ isə boş çoxluqdur. Keçid xəritəsi $\tau _{\alpha ,\beta }:\varphi _{\alpha }(U_{\alpha }\cap U_{\beta })\to \varphi _{\beta }(U_{\alpha }\cap U_{\beta })$ tərəfindən təyin olunan xəritədir:

$\tau _{\alpha ,\beta }=\varphi _{\beta }\circ \varphi _{\alpha }^{-1}.$

Qeyd edək ki,$\varphi _{\alpha }$ və $\varphi _{\beta }$ hər iki homeomorfluqdur, keçid xəritəsi $\tau _{\alpha ,\beta }$ eyni zamanda bir homeomorfluqdur.

Quruluşları

Biri tez-tez sadəcə topoloji quruluşdan daha çoxbir çoxobrazlıda daha çox quruluş istəyir. Məsələn, törəmə funksiyaların fərqləndirilməsi barədə birmənalı bir anlayış istəsən, keçid funksiyaları bir-birindən fərqlənən bir atlas qurmaq lazımdır. Fərqlənən bir müxtəlifliyi nəzərə alsaq, birmənalı olaraq tangent vektorlar və sonra yönlü törəmələr anlayışını təyin etmək olar.

Hər bir keçid funksiyası hamar bir xəritədirsə, onda atlas hamar atlas, çoxobrazlının özü isə hamar adlanır. Alternativ olaraq, keçid xəritələrində yalnız k davamlı törəmələrin olmasını tələb etmək olar, bu halda atlasın $C^{k}$ olduğu deyilir.

Ümumiyyətlə, hər bir keçid funksiyası bir yalançı qrup çevrilmələrinə aiddirsə,${\mathcal {G}}$ Evklid məkanının homeomorfluqlarıdır, onda atlasa ${\mathcal {G}}$ — atlas deyilir.

Bir atlasın qrafikləri arasındakı keçid xəritələri yerli trivializasiyanı qorusa, sonra atlas bir lif dəstəsinin quruluşunu təyin edir.

Həmçinin bax

• Homeomorfluq
• Törəmə
• Topologiya

Ədəbiyyat

• Lee, John M. Introduction to Smooth Manifolds. Springer-Verlag. 2006. ISBN 978-0-387-95448-6.
• Sepanski, Mark R. Compact Lie Groups. Springer-Verlag. 2007. ISBN 978-0-387-30263-8.
• Husemoller, D, Fibre bundles, Springer, 1994, Chapter 5 "Local coordinate description of fibre bundles".

Xarici keçidlər

• Atlas Rouland Todd tərəfindən