Grup dasar: Perbedaan antara revisi
Membuat halaman baru Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.8 |
||
Baris 92: | Baris 92: | ||
=== Grafik === |
=== Grafik === |
||
Grup fundamental didefinisikan untuk struktur diskrit. Secara khusus, pertimbangkan [[Konektivitas (teori grafik)|grafik terhubung]] {{nowrap|''G'' {{=}} (''V'', ''E'')}}, dengan simpul ''v''<sub>0</sub> dengan ''V''. Loop dalam ''G'' adalah siklus yang dimulai dan diakhiri ''v<sub>0</sub>''.<ref>{{Cite web|title=Meaning of Fundamental group of a graph|url=https://math.stackexchange.com/questions/515896/meaning-of-fundamental-group-of-a-graph|access-date=2020-07-28|website=Mathematics Stack Exchange}}</ref> Misalkan ''T'' menjadi [[pohon spaning]] dari ''G''. Loop sederhana ''G'' tepat satu tepi ''E'' \ ''T''; loop ''G'' adalah rangkaian loop sederhana tersebut. Oleh karena itu, grup fundamental dari [[grafik (matematika diskrit)|grafik]] adalah [[grup bebas]], dimana jumlah generator persis dengan jumlah tepi ''E'' \ ''T''. Bilangan sama dengan {{nowrap|{{!}}''E''{{!}} − {{!}}''V''{{!}} + 1}}.<ref>{{Cite web|last=Simon|first=J|date=2008|title=Example of calculating the fundamental group of a graph G|url=http://homepage.divms.uiowa.edu/~jsimon/COURSES/M201Fall08/HandoutsAndHomework/Graph1.pdf}}</ref> |
Grup fundamental didefinisikan untuk struktur diskrit. Secara khusus, pertimbangkan [[Konektivitas (teori grafik)|grafik terhubung]] {{nowrap|''G'' {{=}} (''V'', ''E'')}}, dengan simpul ''v''<sub>0</sub> dengan ''V''. Loop dalam ''G'' adalah siklus yang dimulai dan diakhiri ''v<sub>0</sub>''.<ref>{{Cite web|title=Meaning of Fundamental group of a graph|url=https://math.stackexchange.com/questions/515896/meaning-of-fundamental-group-of-a-graph|access-date=2020-07-28|website=Mathematics Stack Exchange}}</ref> Misalkan ''T'' menjadi [[pohon spaning]] dari ''G''. Loop sederhana ''G'' tepat satu tepi ''E'' \ ''T''; loop ''G'' adalah rangkaian loop sederhana tersebut. Oleh karena itu, grup fundamental dari [[grafik (matematika diskrit)|grafik]] adalah [[grup bebas]], dimana jumlah generator persis dengan jumlah tepi ''E'' \ ''T''. Bilangan sama dengan {{nowrap|{{!}}''E''{{!}} − {{!}}''V''{{!}} + 1}}.<ref>{{Cite web|last=Simon|first=J|date=2008|title=Example of calculating the fundamental group of a graph G|url=http://homepage.divms.uiowa.edu/~jsimon/COURSES/M201Fall08/HandoutsAndHomework/Graph1.pdf|access-date=2021-02-09|archive-date=2021-01-25|archive-url=https://web.archive.org/web/20210125225755/http://homepage.divms.uiowa.edu/~jsimon/COURSES/M201Fall08/HandoutsAndHomework/Graph1.pdf|dead-url=yes}}</ref> |
||
Misalnya, ''G'' memiliki 16 simpul yang disusun dalam 4 baris terdiri dari 4 simpul, dengan tepi yang menghubungkan simpul berdekatan secara horizontal atau vertikal. Maka ''G'' memiliki 24 tepi secara keseluruhan, dan jumlah tepi pohon bentang adalah {{nowrap|16 − 1 {{=}} 15}}, jadi grup fundamental dari ''G'' adalah grup bebas dengan 9 generator.<ref>{{Cite web|title=The Fundamental Groups of Connected Graphs - Mathonline|url=http://mathonline.wikidot.com/the-fundamental-groups-of-connected-graphs|access-date=2020-07-28|website=mathonline.wikidot.com}}</ref> Bahwa ''G'' memiliki 9 "lubang", dengan [[mawar (topologi)|buket]] dari 9 lingkaran, memiliki grup fundamental yang sama. |
Misalnya, ''G'' memiliki 16 simpul yang disusun dalam 4 baris terdiri dari 4 simpul, dengan tepi yang menghubungkan simpul berdekatan secara horizontal atau vertikal. Maka ''G'' memiliki 24 tepi secara keseluruhan, dan jumlah tepi pohon bentang adalah {{nowrap|16 − 1 {{=}} 15}}, jadi grup fundamental dari ''G'' adalah grup bebas dengan 9 generator.<ref>{{Cite web|title=The Fundamental Groups of Connected Graphs - Mathonline|url=http://mathonline.wikidot.com/the-fundamental-groups-of-connected-graphs|access-date=2020-07-28|website=mathonline.wikidot.com}}</ref> Bahwa ''G'' memiliki 9 "lubang", dengan [[mawar (topologi)|buket]] dari 9 lingkaran, memiliki grup fundamental yang sama. |
Revisi per 3 Mei 2021 01.45
Dalam bidang matematika dan topologi aljabar, grup fundamental dari ruang topologi adalah grup kelas ekuivalen di bawah homotopi dengan loop dalam ruang. Informasi tentang bentuk dasar, atau lubang, dari ruang topologi. Grup fundamental adalah grup homotopi sederhana. Grup fundamental adalah homotopi invarian dari ruang topologi ekuivalen homotopi (atau dalam kasus dari homeomorfik) dengan isomorfik.
Intuisi
Artikel ini membutuhkan rujukan tambahan agar kualitasnya dapat dipastikan. |
Dengan ruang (misalnya, permukaan), dan beberapa titik, dan loop dan titik jalur ke titik awal. Dua loop dapat digabungkan dengan: loop pertama ke loop kedua. Dua loop ekuivalen jika salah satu dapat dideformasi menjadi loop lainnya tanpa putus. Himpunan loop dengan metode penggabungan dan ekuivalen di antara grup fundamental untuk ruang.
Sejarah
Henri Poincaré mendefinisikan grup fundamental pada tahun 1895 dalam makalah "Situs Analisis".[1] Konsep tersebut muncul dalam teori permukaan Riemann, dalam karya Bernhard Riemann, Poincaré, dan Felix Klein. Sifat monodromi dari fungsi bernilai kompleks, serta klasifikasi permukaan tertutup topologi lengkap.
Definisi
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/bc/Double_torus_illustration.png/220px-Double_torus_illustration.png)
X adalah ruang topologi, contoh tipikal adalah permukaan digambarkan di sebelah kanan. Selain itu, adalah titik di X yang disebut titik dasar. Gagasan dari definisi grup homotopi adalah untuk mengukur berapa kurva pada X yang dideformasi satu sama lain. Definisi tergantung pada pengertian homotopi loop, yang akan dijelaskan terlebih dahulu.
Homotopi loop
Ruang topologi X dari loop berbasis didefinisikan sebagai fungsi kontinu (juga dikenal sebagai peta kontinu)
sehingga titik awal dan titik akhir adalah .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/67/Homotopy_of_pointed_circle_maps.png/220px-Homotopy_of_pointed_circle_maps.png)
Homotopi adalah interpolasi kontinu antara dua loop. Lebih tepatnya, homotopi antara dua loop (berbasis titik ) adalah peta kontinu
maka
- untuk bagian titik awal homotopi adalah untuk t (sebagai parameter waktu).
- untuk bagian titik akhir tetap untuk t.
- untuk .
Jika homotopi h dari dan adalah homotopik. Relasi " adalah homotopik " dengan relasi ekuivalen pada himpunan kelas ekuivalen dengan:
- .
Himpunan (dengan struktur grup yang dijelaskan di bawah) tersebut adalah grup fundamental dari ruang topologi X pada titik dasar . Tujuan dari kelas ekuivalen dari loop hingga homotopi, sebagai lawan dari himpunan loop (yang disebut ruang loop dari X) adalah titik akhir, meskipun berguna untuk berbagai tujuan dari objek yang besar dan berat.
Struktur grup
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4b/Homotopy_group_addition.svg/220px-Homotopy_group_addition.svg.png)
Dengan definisi di atas, adalah satu himpunan, grup (dan karena grup fundamental) menggunakan rangkaian loop. Lebih tepatnya, dua loop , produk didefinisikan sebagai loop
Maka loop pertama loop dengan "dua kali kecepatan" dan kemudian dengan "dua kali kecepatan".
Produk dari dua kelas homotopi loop dan kemudian didefinisikan sebagai . Dapat ditunjukkan, produk tidak bergantung pada pilihan perwakilan dan oleh karena itu operasi yang terdefinisi dengan himpunan . Operasi ke dalam grup elemen netral loop konstan untuk t. Invers dari loop (kelas homotopi) adalah loop yang sama, tetapi dilintasi dalam oposisi
- .
Tiga loop berbasis produk
adalah gabungan dari loop sehingga dengan kecepatan kuadurupel, maka dengan kecepatan ganda,
jalur yang sama (dalam urutan yang sama), tetapi dengan kecepatan ganda, dan dengan kecepatan kuadurupel. Jadi, karena perbedaan kecepatan, kedua jalur tersebut tidak identik. Aksioma asosiatif
oleh karena itu sangat bergantung pada jalur homotopi. Kedua komposit di atas adalah homotopik, misalnya, pada loop yang melintasi ketiga loop dengan kecepatan tripel. Himpunan loop berbasis hingga homotopi, digunakan dengan operasi di atas karenanya ke grup.
Ketergantungan pada titik dasar
Meskipun grup fundamental pada umumnya bergantung pada pilihan titik dasar, ternyata hingga isomorfisme (sebenarnya, bahkan hingga isomorfisme dalam), pilihan tidak bedanya dengan ruang X adalah jalan koneksi. Untuk ruang terhubung dengan jalur, banyak penulis menggunakan dari .
Contoh konkret
![](http://upload.wikimedia.org/wikipedia/commons/thumb/8/80/Star_domain.svg/220px-Star_domain.svg.png)
Bagian ini mencantumkan beberapa contoh dasar dari kelompok fundamental. Pertama, ruang Euklides () atau himpunan bagian cembung dari kelas loop homotopi dan karena grup fundamental adalah grup trivial dengan satu elemen. Maka, domain bintang dan ruang kontras memiliki grup fundamental trivial. Dengan demikian, grup fundamental tidak membedakan antara ruang.
Bola-2
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/9e/P1S2all.jpg/400px-P1S2all.jpg)
Ruang koneksi dengan grup fundamental trivial disebut koneksi sederhana. Misalnya, bola-2 digambarkan di sebelah kanan, dan juga bidang berdimensi tinggi koneksi dengan mudah. Gambar tersebut mengilustrasikan homotopi satu loop tertentu ke loop konstan. Loop sehingga yaitu tidak pada gambar Namun, karena loop (dari kurva Peano, misalnya), bukti lengkap analisis cermat dengan alat dari topologi aljabar dengan Teorema Seifert–van Kampen atau Teorema pendekatan seluler.
Lingkaran
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3d/Fundamental_group_of_the_circle.svg/220px-Fundamental_group_of_the_circle.svg.png)
Lingkaran (juga dikenal sebagai bola-1)
Sebaliknya, kelas homotopi dari loop lingkaran (positif atau negatif, bergantung pada arah belitan). Hasil kali loop sekitar m dan loop sekitar n adalah loop sekitar . Oleh karena itu, grup fundamental dari lingkaran adalah isomorfik grup aditif dari bilangan bulat . Fakta ini dapat digunakan untuk memberikan pembuktian Teorema titik tetap Brouwer[2] and the Borsuk–Ulam theorem in dimension 2.[3]
Gambar delapan
![](http://upload.wikimedia.org/wikipedia/commons/thumb/6/65/Wedge_of_Two_Circles.png/220px-Wedge_of_Two_Circles.png)
Grup fundamental dari gambar delapan adalah grup bebas pada dua huruf. Ide untuk membuktikannya adalah sebagai berikut: memilih titik dasar untuk menjadi titik pertemuan kedua lingkaran (bertitik hitam pada gambar di sebelah kanan), simpul diuraikan sebagai
dimana a dan b adalah dua loop di sekitar setengah gambar seperti yang digambarkan, dan eksponen adalah bilangan bulat. Maka grup fundamental dari gambar delapan adalah bukan abelian: dua cara a dan b tidak homotopik:
Secara lebih umum, grup fundamental dari lingkaran buket dari lingkaran r adalah grup bebas pada huruf r.
Grup fundamental dari jumlah baji dari dua ruang terhubung jalur X dan Y dihitung sebagai produk bebas dari grup fundamental:
Digeneralisasi dengan pengamatan diatas karena gambar delapan adalah jumlah irisan dua lingkaran.
Grup fundamental dari gambar bidang titik n merupakan grup bebas dengan generator n. Generator ke-i adalah kelas loop gambar ke-i dengan gambar lainnya.
Grafik
Grup fundamental didefinisikan untuk struktur diskrit. Secara khusus, pertimbangkan grafik terhubung G = (V, E), dengan simpul v0 dengan V. Loop dalam G adalah siklus yang dimulai dan diakhiri v0.[4] Misalkan T menjadi pohon spaning dari G. Loop sederhana G tepat satu tepi E \ T; loop G adalah rangkaian loop sederhana tersebut. Oleh karena itu, grup fundamental dari grafik adalah grup bebas, dimana jumlah generator persis dengan jumlah tepi E \ T. Bilangan sama dengan |E| − |V| + 1.[5]
Misalnya, G memiliki 16 simpul yang disusun dalam 4 baris terdiri dari 4 simpul, dengan tepi yang menghubungkan simpul berdekatan secara horizontal atau vertikal. Maka G memiliki 24 tepi secara keseluruhan, dan jumlah tepi pohon bentang adalah 16 − 1 = 15, jadi grup fundamental dari G adalah grup bebas dengan 9 generator.[6] Bahwa G memiliki 9 "lubang", dengan buket dari 9 lingkaran, memiliki grup fundamental yang sama.
Grup simpul
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Trefoil_knot_left.svg/220px-Trefoil_knot_left.svg.png)
Grup simpul adalah definisi grup fundamental dari komplemen dari simpul K dengan Misalnya, grup simpul dari simpul trefoil dikenal sebagai grup braid contoh lain dari grup fundamental non-abelian. Presentasi Wirtinger secara eksplisit mendeskripsikan grup simpul dalam istilah generator dan relasi berdasarkan diagram simpul. Oleh karena itu, grup simpul memiliki beberapa kegunaan dalam teori simpul untuk membedakan simpul: jika bukan isomorfik untuk beberapa grup simpul dari simpul lain K', maka K tidak diubah menjadi Jadi simpul trefoil tidak berubah menjadi lingkaran (juga dikenal sebagai simpul trivial), karena simpul terakhir memiliki grup simpul . Namun, simpul tidak dideformasi menjadi satu, tetapi memiliki grup simpul isomorfik.
Permukaan berorientasi
Grup fundamental dari permukaan orientasi genus n dapat dihitung dalam istilah generator dan relasi sebagai
Torus menjadi genus 1 grup dasarnya adalah
Grup topologi
Grup fundamental dari grup topologi X (dengan titik dasar sebagai elemen netral) selalu komutatif. Secara khusus, kelompok fundamental dari grup Lie adalah komutatif. Maka, struktur grup pada X ke dengan struktur grup: dua loop dan dengan X, loop dapat ditentukan dengan menggunakan perkalian grup dalam X:
Operasi biner himpunan loop adalah priori independen dari yang dijelaskan di atas. Namun, argumen Eckmann–Hilton menunjukkan bahwa sebenarnya setuju dengan rangkaian loop atas.[7][8]
Pemeriksaan bukti menunjukkan adalah abelian untuk setiap ruang-H X, yaitu perkalian tidak menggunakan invers non-asosiatif. Sebagai contoh, grup fundamental dari sebuah ruang lingkaran dari ruang topologi Y, adalah abelian. Ide terkait mengarah pada perhitungan Heinz Hopf dari Kohomologi grup Lie.
Funktorialititas
Jika adalah peta kontinu, dan dengan maka loop X dengan titik dasar dengan f ke loop Y dengan titik dasar Operasi kompatibel dengan relasi ekuivalen homotopi dan dengan komposisi loop. Homomorfisme kelompok yang dihasilkan, disebut homomorfisme terinduksi, sebagai maka:
Pemetaan dari peta kontinu hingga homomorfisme grup kompatibel dengan komposisi peta dan morfisme identitas. Dalam kategori teori, pembentukan asosiasi ke ruang topologi grup fundamental adalah funktor
dari kategori ruang topologi dengan titik dasar ke kategori grup. Funktor peta homotopik relatif terhadap titik dasar: jika f, g : X → Y adalah peta kontinu dengan f(x0) = g(x0) = y0, and f dan g adalah homotopik {x0}, maka f∗ = g∗. Maka, dua ruang jalur ekuivalen homotopi memiliki gugus fundamental isomorfik:
Misalnya, penyertaan lingkaran di bidang citra
adalah ekuivalen homotopi dan isomorfisme grup fundamentalnya.
Funktor grup fundamental dari produk ke produk dan koproduk ke koproduk. Artinya, jika X dan Y adalah jalur terhubung, maka
Lihat pula
Catatan
- ^ Poincaré, Henri (1895). "Analysis situs". Journal de l'École Polytechnique. (2) (dalam bahasa Prancis). 1: 1–123. Diterjemahkan dalam bahasa Poincaré, Henri (2009). "Analysis situs" (PDF). Papers on Topology: Analysis Situs and Its Five Supplements. Diterjemahkan oleh John Stillwell. hlm. 18–99.
- ^ (May 1999, Ch. 1, §6)
- ^ (Massey 1991, Ch. V, §9)
- ^ "Meaning of Fundamental group of a graph". Mathematics Stack Exchange. Diakses tanggal 2020-07-28.
- ^ Simon, J (2008). "Example of calculating the fundamental group of a graph G" (PDF). Diarsipkan dari versi asli (PDF) tanggal 2021-01-25. Diakses tanggal 2021-02-09.
- ^ "The Fundamental Groups of Connected Graphs - Mathonline". mathonline.wikidot.com. Diakses tanggal 2020-07-28.
- ^ (Strom 2011, Problem 9.30, 9.31), (Hall 2015, Exercise 13.7)
- ^ Bukti: dua loop dalam tentukan pemetaan oleh dikalikan dengan Pertimbangkan grup jalur homotopi dalam persegi panjang dari ke yang dimulai dengan jalur horizontal-kemudian-vertikal, bergerak melalui berbagai jalur diagonal, dan diakhiri dengan jalur vertikal-kemudian-horizontal. Menyusun grup dengan memberikan homotopi menunjukkan grup fundamental adalah abelian.
Referensi
- Adams, John Frank (1978), Infinite loop spaces
, Annals of Mathematics Studies, 90, Princeton University Press, ISBN 978-0-691-08207-3, MR 0505692
- Brown, Ronald (2006), Topology and Groupoids, Booksurge, ISBN 1-4196-2722-8
- Bump, Daniel (2013), Lie Groups, Graduate Texts in Mathematics, 225 (edisi ke-2nd), Springer, doi:10.1007/978-1-4614-8024-2, ISBN 978-1-4614-8023-5
- Crowell, Richard H.; Fox, Ralph (1963), Introduction to Knot Theory, Springer
- El Zein, Fouad; Suciu, Alexander I.; Tosun, Meral; Uludağ, Muhammed; Yuzvinsky, Sergey (2010), Arrangements, Local Systems and Singularities: CIMPA Summer School, Galatasaray University, Istanbul, 2007, ISBN 978-3-0346-0208-2
- Forster, Otto (1981), Lectures on Riemann Surfaces, ISBN 0-387-90617-7
- Fulton, William (1995), Algebraic Topology: A First Course
, Springer, ISBN 9780387943275
- Goerss, Paul G.; Jardine, John F. (1999), Simplicial Homotopy Theory, Progress in Mathematics, 174, Basel, Boston, Berlin: Birkhäuser, ISBN 978-3-7643-6064-1
- Grothendieck, Alexandre; Raynaud, Michèle (2003) [1971], Séminaire de Géométrie Algébrique du Bois Marie - 1960-61 - Revêtements étales et groupe fondamental - (SGA 1) (Documents Mathématiques 3), Paris: Société Mathématique de France, hlm. xviii+327, see Exp. V, IX, X., arXiv:math.AG/0206203
, ISBN 978-2-85629-141-2
- Hall, Brian C. (2015), Lie Groups, Lie Algebras, and Representations: An Elementary Introduction, Graduate Texts in Mathematics, 222 (edisi ke-2nd), Springer, ISBN 978-3319134666
- Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0
- Peter Hilton and Shaun Wylie, Homology Theory, Cambridge University Press (1967) [warning: these authors use contrahomology for cohomology]
- Humphreys, James E. (2004), Linear Algebraic Groups, Graduate Texts in Mathematics (21), Springer, ISBN 9780387901084
- Humphreys, James E. (1972), Introduction to Lie Algebras and Representation Theory, ISBN 0-387-90052-7
- Maunder, C. R. F. (January 1996), Algebraic Topology, Dover Publications, ISBN 0-486-69131-4
- Massey, William S. (1991), A Basic Course in Algebraic Topology, Springer, ISBN 038797430X
- May, J. Peter (1999), A Concise Course in Algebraic Topology, ISBN 9780226511832
- Deane Montgomery and Leo Zippin, Topological Transformation Groups, Interscience Publishers (1955)
- Munkres, James R. (2000), Topology, Prentice Hall, ISBN 0-13-181629-2
- Rotman, Joseph (1998-07-22), An Introduction to Algebraic Topology
, Springer-Verlag, ISBN 0-387-96678-1
- Rubei, Elena (2014), Algebraic Geometry, a concise dictionary, Berlin/Boston: Walter De Gruyter, ISBN 978-3-11-031622-3
- Seifert, Herbert; Threlfall, William (1980), A Textbook of Topology
, diterjemahkan oleh Heil, Wolfgang, Academic Press, ISBN 0-12-634850-2
- Singer, Isadore. M.; Thorpe, J. A. (1976-12-10), Lecture Notes on Elementary Topology and Geometry, ISBN 0-387-90202-3
- Spanier, Edwin H. (1989), Algebraic Topology, Springer, ISBN 0-387-94426-5
- Strom, Jeffrey (2011), Modern Classical Homotopy Theory, AMS, ISBN 9780821852866
Pranala luar
- Dylan G.L. Allegretti, Simplicial Sets and van Kampen's Theorem: A discussion of the fundamental groupoid of a topological space and the fundamental groupoid of a simplicial set
- Animations to introduce fundamental group by Nicolas Delanoue
- Sets of base points and fundamental groupoids: mathoverflow discussion
- Groupoids in Mathematics
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)