BAB II TEORI DASAR
Pada skripsi ini, akan dipelajari perbedaan sifat grup fundamental yang dimiliki beberapa ruang topologi, yaitu S 2 , torus , P 2 dan figure eight. Ruang topologi adalah suatu himpunan yang mempunyai topologi, yaitu koleksi dari subhimpunan- subhimpunan yang memenuhi beberapa ketentuan, berikut akan diberikan definisi dari topologi.
Definisi 2.1 Topologi di himpunan X adalah koleksi yang terdiri dari himpunan-himpunan bagian X dengan sifat-sifat : (1).
dan X ada di dalam . n
(2). Jika Ai dengan i 1,2,..., n maka
A . i
i 1
(3). Jika A dengan
anggota himpunan indeks, maka
A .
Himpunan X yang dilengkapi dengan topologi disebut sebagai ruang topologi, dinotasikan dengan ( X , ) dan sering disingkat dengan X yang tetap mengacu pada suatu topologi di X . A disebut himpunan buka jika A dan A disebut himpunan tutup jika Ac adalah himpunan buka.
5 Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
6
Jika U adalah himpunan buka yang memuat x X , maka U disebut sebagai lingkungan dari x . Misalkan Y adalah sembarang subhimpunan dari X , yang menjadi persoalan lebih lanjut adalah mendefinisikan himpunan buka pada Y karena meskipun Y adalah subhimpunan dari X , topologi pada Y tidak sama dengan topologi pada X . Untuk kepentingan ini akan diberikan definisi topologi pada subhimpunan X .
Definisi 2.2 Misalkan X adalah ruang topologi dengan topologi . Jika Y adalah subhimpunan dari X , koleksi Y {Y U | U X } adalah topologi dari Y . Y disebut topologi subruang dari X . Dengan topologi ini Y disebut subruang dari X .
Dengan demikian jika Y adalah sembarang subhimpunan dari X , sebuah subhimpunan pada Y dikatakan buka di Y jika himpunan tersebut merupakan anggota dari Y {Y U | U X } . Kemudian misalkan U adalah subhimpunan buka di Y , U belum tentu buka di X karena U belum tentu merupakan anggota dari topologi X . Tetapi untuk sebaliknya, pada [3] telah dibuktikan jika U merupakan subhimpunan buka di Y , maka U merupakan subhimpunan buka di X .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
7
Lemma 2.1 Misalkan X adalah sebuah ruang topologi dan Y adalah subhimpunan dari X .
Misalkan U adalah subhimpunan dari Y . Jika U
adalah subhimpunan buka di Y , maka U adalah subhimpunan buka di X .
Grup fundamental adalah salah satu topik dasar pada topologi aljabar, salah satu sifat aljabar yang digunakan untuk mempelajari grup fundamental adalah sifat grup,
Definisi 2.3 Himpunan G bersama operator , (G,) , disebut grup jika tertutup terhadap operator , operator bersifat asosiatif, G mempunyai anggota identitas dan setiap anggota dari G mempunyai invers. G dikatakan bersifat abelian jika untuk sembarang a, b G , berlaku a b b a .
Homomorfisma merupakan sebuah fungsi yang sering menjadi dasar relasi antara dua buah grup, hal tersebut juga berlaku dalam mempelajar grup fundamental. Definisi homomorfisma akan diberikan dibawah ini.
Definisi 2.4 Misalkan G dan G' adalah grup. Fungsi : G G ' disebut homomorfisma antara G dan G' jika (a b) (a ) (b ) untuk setiap
a, b G dimana adalah operasi di G , dan adalah operasi di G' . JIka terdapat homomorfisma antara G dan G' maka G disebut homomorfik dengan G' .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
8
Jika suatu fungsi telah diketahui merupakan homomorfisma, biasanya fungsi tersebut akan dipelajari apakah juga bersifat satu-satu. Terdapat cara untuk membantu mengetahui apakah homomorfisma pada grup G ke G' bersifat satu-satu atau tidak, yaitu dengan memeriksa anggota kernel dari G , yang artinya anggota-anggota G yang dipetakan ke elemen identitas di G' .
Lemma 2.2 Misalkan G dan G' adalah grup. Homomorfisma : G G ' satu satu jika dan hanya jika kernel dari G hanya terdiri dari elemen identitas di G .
Homomorfisma yang bersifat satu-satu dan pada disebut isomorfisma, isomofisma adalah fungsi pada aljabar yang mempertahankan struktur aljabar antara dua buah grup.
Definisi 2.5 : G G ' adalah isomorfisma antara G dan G' jika adalah homomorfisma serta
bersifat satu-satu dan pada. G disebut isomorfik
dengan G' .
Jika grup G isomorfik dengan G' maka dapat dikatakan grup G' adalah grup G yang anggota-anggotanya diberi penamaan ulang, keduanya dapat dikatakan mempunyai struktur grup yang sama.
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
9
Produk kartesius dari dua buah grup yang memiliki
operasi yang
sama juga akan membentuk grup, Lemma 2.3 di bawah akan menjelaskan mengenai hal tersebut.
Lemma 2.3 Misalkan A dan B adalah grup dengan operasi
yang sama,
yaitu maka A B {(a, b ) | a A, b B } akan membentuk grup dengan operasi dimana
(a, b ) (c, d ) ((a c ),(b d )), dimana a, c A dan b, d B Bukti. Akan dibuktikan A B membentuk grup dengan operasi . Misalkan
(a, b) dan (c, d ) adalah sembarang elemen A B , maka (a, b ) (c, d ) ((a c ),(b d )), dengan a, c A dan b, d B . Karena (a c ) A , dan (b d ) B , maka ((a c ),(b d )) A B . Jadi A B tertutup terhadap operasi . Sifat asosiatif yang dimiliki A dan B juga diturunkan ke ruang A B , akibatnya A B dengan operasi juga memiliki sifat asosiatif. ea dan eb adalah elemen identitas dari masing-masing grup A dan B. ambil (a, b) sembarang elemen A B , maka (ea , eb ) (a, b) ((ea a ),(eb , b)) (a, b ) (a, b ) (ea , eb ) ((a ea ),(b eb )) (a, b ) Jadi elemen identitas di A B adalah (ea , eb ) .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
10
Misalkan (a, b) sembarang anggota A B , karena A dan B grup maka terdapat a 1 A dan b 1 B sehingga (a 1, b 1 ) A B , akan ditunjukkan (a, b )1 (a 1, b 1 ) (a 1, b 1 ) (a, b ) ((a 1 a ),(b 1, b)) (ea , eb ) (a, b ) (a 1, b 1 ) ((a a 1 ),( b, b 1 )) (ea , eb )
Jadi untuk setiap (a, b ) A B , terdapat (a 1, b 1 ) A B dimana (a 1, b 1 ) adalah invers dari (a, b) atau (a, b )1 (a 1, b 1 ) . Karena A B memenuhi keempat aksioma grup, A B membentuk grup dengan operasi .
Misalkan C adalah sebuah grup yang homomorfik dengan masingmasing grup A dan B , dimana kedua grup ini mempunyai operasi yang sama. Telah diketahui dari Lemma 2.3 bahwa A B juga merupakan sebuah grup, dapat dibangun homomorfisma dari C ke A B .
Lemma 2.4 Misalkan (C, ),( A, ), dan (B, ) adalah grup, dan misalkan terdapat homomorfisma h : C A dan homomorfisma k : C B , maka :C AB
(c ) (h(c ), k (c )) merupakan homomorfisma dari C ke A x B.
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
11
Bukti. Karena A dan B adalah grup dengan operasi
yang sama, yaitu
,maka berdasarkan Lemma 2.3 A B juga akan membentuk grup dengan operasi . Ambil sembarang c dan c’ anggota C,maka
(c c ') (h(c c '), k (c c ')) = ((h(c ) h(c ')),(k (c ) k (c '))) sesuai Lemma 2.3.
(c * c ') ((h(c ) h(c ')),(k (c ) k (c '))) = ((h(c ), k (c )) (h(c '), k (c '))) = (c ) (c ') jadi : C A B adalah homomorfisma.
Salah satu masalah utama pada topologi adalah mencari apakah terdapat homeomorfisma antara dua ruang topologi, Homeomorfisma sendiri merupakan suatu fungsi kontinu yang inversnya juga kontinu. Sebelum diberikan pembahasan mengenai homeomorfisma, terlebih dahulu akan diberikan definisi dari fungsi kontinu.
Definisi 2.6 Misalkan X dan Y adalah ruang topologi. Fungsi f : X Y kontinu jika untuk setiap himpunan buka V di Y , himpunan f 1 (V ) di X juga merupakan himpunan buka.
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
12
Definisi fungsi kontinu di atas tidak bertentangan dengan definisi “ ” yang sering digunakan, kedua definisi tersebut ekuivalen. Sebagian besar lemma dan teorema dalam skripsi ini beserta pembuktiannya merujuk pada beberapa referensi, terdapat beberapa teorema dan lemma yang pembuktiannya tidak disertakan dalam skripsi ini untuk alasan efisiensi penulisan dan hanya diberikan referensinya, seperti untuk Lemma 2.5 dibawah, lemma tersebut memberikan pembahasan mengenai beberapa cara membangun fungsi kontinu antara ruang topologi, karena proses yang panjang dan alasan efisiensi maka pembuktian lemma yang merujuk pada [3] ini tidak dicantumkan.
Lemma 2.5 Misalkan X , Y , dan Z adalah ruang topologi. a) Jika f : X Y memetakan semua anggota X ke sebuah titik y 0 pada Y , maka f kontinu.
b) Jika A adalah subhimpunan dari X , maka fungsi inklusi j : A X kontinu. c) Jika f : X Y dan g : Y Z kontinu, maka g f : X Z kontinu. d) Jika f : X Y kontinu, dan jika A subhimpunan dari X , maka fungsi yang dibatasi daerah asalnya, f | A : X Y , adalah fungsi kontinu. e) Misalkan f : X Y kontinu. Jika Z adalah subhimpunan dari Y yang memuat seluruh daerah hasil dari f , maka fungsi g : X Z yang diperoleh dengan membatasi daerah hasil dari f adalah fungsi kontinu.
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
13
Jika Z adalah himpunan dimana Y merupakan subhimpunan di Z , maka fungsi h : X Z yang diperoleh dengan memperluas daerah hasil dari f juga merupakan fungsi kontinu. f) Fungsi f : X Y kontinu jika X dapat dinyatakan sebagai gabungan dari himpunan himpunan U sedemikian sehingga f | U kontinu untuk setiap .
Setelah
diberikan
definisi
fungsi
kontinu
dan
beberapa
cara
membangun fungsi tersebut pada ruang topologi, definisi berikutnya akan membahas mengenai homeomorfisma.
Definisi 2.7 Misalkan X dan Y adalah ruang topologi dan fungsi f : X Y satu-satu dan pada. Jika f dan inversnya. f 1 : Y X kontinu, maka f disebut homeomorfisma.
Sebelum memasuki pembahasan mengenai grup fundamental, perlu diketahui terlebih dahulu definisi mengenai fungsi homotopi mengenai homotopi. Fungsi ini dapat diartikan sebagai deformasi dari satu fungsi ke fungsi lainnya secara kontinu.
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
14
Definisi 2.8 Misalkan I [0,1] . Jika f dan g fungsi kontinu dari X ke Y , f disebut
homotopik
F : X I Y
dengan
sehingga
g
jika
F ( x,0) f ( x )
terdapat dan
sebuah
F ( x,1) g ( x )
fungsi untuk
kontinu setiap
x X .Fungsi F disebut sebagai homotopi antara f dan g . Jika f
homotopik dengan g , maka ditulis f g .
Ilustrasi dari homotopi dapat dilihat pada Gambar 2.1.
f(x)
F(x,0)=f(x) F(x,i)
g(x)
F(x,1) = g(x)
Gambar 2.1 Gambar homotopi Homotopi pada Definisi 2.8 adalah homotopi antara dua fungsi sembarang f dan g . Terdapat homotopi yang sifatnya lebih khusus, yaitu homotopi antara dua fungsi yang mempunyai titik-titik ujung yang sama, fungsi yang demikian disebut lintasan.
Definisi 2.9 Misalkan I [0,1] . Misalkan x dan y adalah anggota himpunan X . Lintasan di X dari x ke y adalah fungsi kontinu f : I X dimana
f (0) x dan f (1) y . Titik f (0) dan f (1) dinamakan titik-titik ujung dari f
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
15
dimana f (0) dsebut titik awal dari f dan f (1) disebut titik akhir dari f . Lintasan f : I X dimana f( x ) f (1 x ) dinamakan lintasan kebalikan atau invers dari f . Ruang X dikatakan terhubung lintasan jika terdapat lintasan antara sembarang dua titik di X .
Lintasan di X yang memetakan semua elemen I ke sebuah titik a X dinotasikan dengan ea , lintasan ini dinamakan lintasan konstan.
Sedangkan jika sebuah lintasan f memiliki titik awal dan titik akhir yang sama, misalkan di a , maka f disebut loop yang berbasis di a . Karena ea (0) ea (1) a , maka ea juga merupakan loop yang berbasis di a . Selanjutnya, misalkan terdapat dua lintasan dengan titik awal dan titik akhir yang sama, jika kedua lintasan tersebut saling homotopik maka kedua lintasan itu disebut saling homotopik lintasan. Definisi untuk homotopik lintasan akan diberikan pada Definisi 2.10.
Definisi 2.10 Jika f dan g adalah intasan di X dengan titik awal x0 dan titik akhir x1 , f disebut homotopik lintasan dengan g jika terdapat fungsi kontinu F : I I X dimana
F (s,0) f (s ) dan F (s,1) g (s ) F (0, t ) x0 dan F (1, t ) x1 untuk setiap s, t I . F dikatakan sebagai sebuah homotopi lintasan antara f dan g . Jika f homotopik lintasan dengan g , maka ditulis f p g .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
16
Gambaran dari homotopi lintasan dapat dilihat pada Gambar 2.2
Gambar 2.2 Gambar homotopi lintasan Pada [2] diberikan penjelasan bahwa relasi homotopi lintasan atau p adalah sebuah relasi ekuivalen, p adalah suatu relasi antara lintasanlintasan yang mempunyai titik-titik ujung yang sama, misalkan dari x0 ke x1 , p membagi lintasan-lintasan tersebut ke dalam kelas-kelas. Misalkan f
adalah lintasan pada X dari x0 ke x1 , kelas homotopi lintasan [ f ] di X adalah sebuah kumpulan dari lintasan-lintasan di X yang homotopik lintasan dengan f dan dituliskan dengan [f ] {g | g p f , g (0) x0 dan g (1) x1} . Misalkan f adalah lintasan di X dari x0 ke x1 , dan g adalah lintasan di X dari x1 ke x2 , maka terdapat operasi perkalian yang mengoperasikan f dengan g .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
17
Definisi 2.11 Jika f : I X adalah lintasan di X dari x0 ke x1 dan g : I X adalah lintasan di X dari x1 ke x2 . Perkalian f g adalah fungsi h yang diberikan dengan persamaan 1 f (2s ) , s [0, 2 ] h(s ) 1 g (2s 1), s [ 2 ,1].
h adalah lintasan di X dari x0 ke x2 .
Misalkan f dan g adalah lintasan di X dengan f (1) g (0) , maka terdapat operasi antara kelas homotopi lintasan [f ] dan [g ]
yaitu
[f ] [g ] [f g ] dengan adalah operasi seperti pada definisi 2.11. [f ] [g ] tidak terdefinisi jika f (1) g (0) . Misalkan f adalah lintasan di X dari x0 ke x1 , terdapat suatu lemma pada [1] yang mengatakan bahwa [f ] [ex1 ] dan [ex0 ] [f ] tidak akan mengubah bentuk [f ] . Lemma tersebut akan diberikan
pada Lemma 2.6, tetapi pembuktiannya tidak disertakan.
Lemma 2.6 jika f adalah lintasan di X dari x0 ke x1 , maka [f ] [ex1 ] [f ] dan [ex0 ] [f ] [f ]
Operasi perkalian antara dua kelas homotopi lintasan dalam sebuah ruang topologi tidak selalu terdefinisi karena titik-titik ujungnya belum tentu sama, tetapi seandainya diambil sebuah titik x0 pada X sebagai titik basis
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
18
loop, maka
pada kelas-kelas homotopi lintasan loop tersebut, operasi
perkalian antar kelas homotopi lintasan dapat didefinisikan. Himpunan kelaskelas loop ini disebut grup fundamental yang berbasis di x0 .
Definisi 2.12 Himpunan kelas homotopi lintasan dari loop berbasiskan di x0 , dengan operasi , disebut grup fundamental dari X berdasarkan titik basis x0 yang dinotasikan dengan 1( X , x0 ) .
Lemma 2.7 dibawah yang merujuk pada [1] memberikan pernyataan bahwa grup fundamental yang didefinisikan pada Definisi 2.12 akan membentuk suatu grup dengan operasi .
Lemma 2.7 1( X , x0 ) adalah sebuah grup dengan operasi . Elemen identitas di 1( X , x0 ) adalah [ex0 ] {g | g p ex0 , g (0) g (1) x0 } .
Untuk mempelajari sifat grup fundamental pada suatu
ruang yang
terhubung lintasan, cukup dilihat sifat grup fundamental pada sebuah titik x0 pada ruang tersebut karena grup fundamental di titik yang lain isomorfik dengan titik x0 .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008
19
Lemma 2.8 Jika X terhubung lintasan dan x0 ,x1 X , maka 1( X , x0 ) isomorfik dengan 1( X , x1 ) .
Pembuktian dari Lemma 2.8 yang terdapat pada [3] tidak diberikan untuk alasan efisiensi penulisan. Pada ruang yang terhubung lintasan, jika grup fundamentalnya trivial untuk setiap titik pada ruang tersebut, maka ruang tersebut dikatakan terhubung sederhana.
Definisi 2.13 Ruang X dikatakan terhubung sederhana jika X terhubung lintasan dan 1( X , x0 ) adalah grup trivial yaitu 1( X , x0 ) {[ex0 ]} untuk setiap x0 X .
Penggunaan grup fundamental..., Lia Hendri Lukita, FMIPA UI, 2008