Grup topologis ( topological group ) dapat dipandang sebagai hasil perka- winan silang antara grup aljabar dengan ruang topologis. Untuk memba- ngun pengertian grup topologis mengingat kembali pengerian ruang topo- logis produk lebih dahulu.
Jika (G,π) ruang topologis dan jika (GxG,π) ruang topologis produknya, ma- ka topologi π mempunyai basis terbuka { UxV : U, V π π }.
6.1 Grup topologis dan sifat-sifat dasar
Definisi 6.1.1 : Diketahui G = (G,.) dan (G,π) ruang topologis. Grup G disebut grup topologis ( topological group ) terhadap topologi π jika fungsi f : GxG β G dengan rumus
f(x,y) = x.π¦β1 untuk setiap x, y π G kontinu.
Perlu diperhatikan bahwa elemen netral grup topologis G tersebut ditu-liskan/disimbolkan dengan βeβ ; jadi x.π₯β1 = π₯β1.x = e untuk setiap x π G.
Tetapi jika operasi biner pada G adalah β+β , jadi G = (G,+) grup, elemen netralnya dituliskan/disimbolkan dengan β0β.
Teorema 6.1.2 : Diketahui G = (G,.) dan (G,π) ruang topologis. Grup G grup topologis jika dan hanya jika dua fungsi g dan h :
(i) g(x,y) = x.y untuk setiap x, y π G dan (ii) h(x) = π₯β1 untuk setiap x π G kontinu.
Bukti : Karena f kontinu untuk setiap pasangan x dan y diperoleh maka g dan h kontinu , sebab
g(x,y) = x.y = f(x.π¦β1) dan h(x) = π₯β1 = f(e..x) untuk setiap x, y π G. Seba-
38 liknya , f kontinu sebab
f(x,y) = x.π¦β1 = g(x.π¦β1) untuk setiap x, y π G. β
Contoh :
1. Grup diskret ( discrete group ). Untuk sebarang grup G, maka G meru-pakan grup topologis terhdap topologi diskret.
2. Telah diketahui bahwa sistem bilangan real R merupakan grup terhadap operasi biner jumlahan β+β. Ternyata R merupakan grup topologis karena fungsi f : RxR β R dengan rumus f(x,y) = x β y untuk setiap x, y π R kontinu.
Teorema 6.1.3 : Untuk sebarang grup topologis G fungsi-fungsi di bawah ini merupakan homeomorfisma.
(i) Fungsi inversi i : G β G.
(ii) Untuk setiap a π G fungsi ra : ra(x) = x.a, untuk setiap x π G.
(iii) Untuk setiap a π G fungsi la : la(x) = a.x, untuk setiap x π G.
(iv) Untuk setiap a π G fungsi : x β x.a.π₯β1 , untuk setiap x π G.
Bukti : (i) : Mudah difahami bahwa i fungsi bijektif dan berdasarkan Teore- ma 4.1.5(ii) i fungsi kontinu. Jadi terbukti i homeomorfisma. (ii) : ππβ1= ππβ1 merupakan fungsi inversi fungsi ra sebab ππβ1ra(x) = x.a.πβ1= x dan
raππβ1(x) = x.πβ1.a = x dna dua fungsi itu fungsi bijektif dan kontinu. Jadi ra
merupakan homeomorfisma. (iii) : Bukti sejalan dengan bukti (ii). (iii) : Akibat (i) dan dan (ii). β
Akibat 6.1.4 : Jika G grup topologis, U β G himpunan terbuka, dan F β G him-punan tertutup, maka x.U dan U.x merupakan himhim-punan terbuka serta x.F dan F.x merupakan himpunan tertutup untuk setiap x π G.
Bukti : Menurut Teorema 6.1.3, rx dan lx merupakan homeomorfisma. Oleh karena itu diperoleh x.U dan U.x merupakan himpunan terbuka serta x.F dan F.x merupakan himpunan tertutup. β
Akibat 6.1.5 : Jika G grup topologis, U β G himpunan terbuka, dan F β G him-punan tertutup, maka :
39 (i) A.U dan U.A merupakan himpunan terbuka untuk sebarang A β G, (ii) A.F dan F.A merupakan himpunan tetutup untuk setiap himpunan
hingga S β G
Bukti : (i) : Berdasarkan Akibat 6.1.4, a.U dan U.a merupakan himpunan terbuka untuk setiap a π A. Oleh karena itu diperoleh
A,U = βπππ΄π. π dan U.A = βπππ΄π. π
merupakan himpunan terbuka. Juga, Berdasarkan Akibat 6.4, a.F dan F.a merupakan himpunan tertutup untuk setiap a π A. Oleh karena itu dipe-roleh
A,F = βπππ΄π. πΉ dan U.F = βπππ΄πΉ. π merupakan himpunan tertutup asalkan A himpunan hingga. β
6.2 Persekiran
Berdasarkan Akibat 6.1.4 diperoleh jika N(x) persekitaran titik x , maka a.N(x)
= N(a.x) dan N(x).a = N(x.a) merupakan persekitaran titik a.x dan persekitaran titik x.a berturut-turut. Perlu diingat bahwa jika G merupakan grup topologis, sebagai grup G tidak disyaratkan bersifat komutatif. Oleh karena itu pada umumnya N(a.x) β N(x.a). Jadi, agar mudah mengembangkan
Sifat-sifat topologisnya pada suatu grup topologos perlu sistem persekitaran elemen netralnya.
Jika {N(e)}, koleksi semua persekitarn elemen netral e, system persekitaran elemen netral e, maka {N(x)} system persekitaran titik x. {N(e)} disebut sistem persekitaran fundamental ( fundamental system of neighborhood ) titik e.
Teorema 6.2.1 : Jika G grup topologis, untuk sebarang A β G dan x π G benar bahwa π₯. π΄ =x.π΄ dan π΄. π₯ = π΄.x .
Bukti : x.A = { x.a : a π A }. Jadi, s titik-limit himpunan A βΊ sebarang N(s) benar bahwa A β© π(π ) - { s } β β βΊ benar bahwa x.A β© π(π₯. π ) - {x. s } β β βΊ x.s titik-limit himpunan x.A. Jadi x.Aβ = (x.A)β yang berakibat bahwa π₯. π΄ =x.π΄.
Bukti bahwa π΄. π₯ = π΄.x sejalan. β
Himpunan-bagian A di dalam grup topologis G dikatakan simetrik ( symme-
40 tric ) jika A = π΄β1. Jika grup topologis G beroperasi biner jumlahan A sime- trik jika A = -A.
Teorema 6.2.2 : Setiap grup topologis mempunyai sistem fundamental per- sekitaran terbuka titik e yang simetrik .
Bukti : Diambil {V} sebarang sistem persekitaran terbuka fundamental titik e. Karena V persekitaran titik e tebuka, maka πβ1 juga merupakan perse- kitaran terbuka titik e. Oleh karena itu diperoleh U = V.β© πβ1 persekitaran terbuka titik e yang simetrik sebab πβ1 = V.β© πβ1. Mudah difahami bahwa U β V. Telah diketahui bahwa setiap persekitaran titik e memuat suatu V.
Jadi, {U} merupakan system fundamental terbuka titik e yang simetrik. β Berdasarkan Teorema 6.6 dan Teorema 6.7 diperoleh teorema di bawah ini.
Teorema 6.2.3 : Diketahui {U} sistem fundamental persekitaran titik e di dalam grup topologis G. Untuk sebarang A β G benar bahwa
π¨ = βπΌπ{πΌ}π¨. πΌ = βπΌπ{πΌ}πΌ. π¨.
Bukti : Untuk sebarang x π π΄ dan U π {U} diperoleh x.πβ1 merupakan per- sekitaran titik x dan oleh karena itu benar bahwa x.πβ1β© A β β yang berakibat x π A.U . jadi, π΄ β βππ{π}π΄. π . Sebaliknya, jika x π βπΌπ{πΌ}π¨. πΌ yang berarti x π A.U untuk setiap U π {U}. Kenyataan ini berakibat x.πβ1β© A β β untuk setiap U π {U} atau x π π΄ . Jadi terbukti bahwa π΄ = βπΌπ{πΌ}π¨. πΌ. Bukti bahwa π΄ = βπΌπ{πΌ}πΌ. π¨. sejalan. β
Akibat 6.2.4 : Untuk sebarang U persekitaran titik e di dalam suatu ruang topologis G terdapat V persekitaran titik e sehingga π β U, dengan kata lain G ruang-T3 .
Bukti : Diambil V = U β© πβ1. Jelas bahwa V β U dan berdasarkan Teorema 6.1.3 diperoleh π β U. Selanjutnya diambil F β G himpunan tertutup dan se-
barang x π G β F = U ; jadi e = x.π₯β1 π U.π₯β1 dan U.π₯β1 persekitaran titik e.
Menurut hasil terakhir, ada V persekitaran titik e sehingga π β π. π₯β1 yang
41 berakibat x π π.x , F β ππ. π₯ atau G ruang-T3. β
Teorema 6.2.5 : Setiap grup topologis G merupakan ruang Hausdorff.
Bukti : Diambil sebarang a π G dan a β e. Menurut Teorema 6.2.4, untuk seti- ap U persekitaran titik e yang terbuka yang tak memuat a ada V persekitaran titik e yang terbuka sehingga π β U. Jadi peroleh a π W = G - π, W terbuka , e π V, dan V β© W = β .
Sekarang diambil sebarang x, y π G dan x β y. Jadi e = x.π₯β1 β y.π₯β1= a.
Berdasaarkan hasil terakhir di atas, ada dua himpuan terbuka V dan W se- hingga V β© W = β , π π π, dan a π W yang berarti V.x β© W.x = β , π₯ π π.x, dan y π W.x. Bukti selesai karena V.x dan W.x himpunan terbuka. β
Teorema 6.2.6 : Jika {U} system persekitaran fundamental terbuka titik e di dalam suatu grup topologis G, maka βπ’π{π}π = {e}.
Bukti : Karena e π U untuk setiap U π {U} maka {e} β βπ’π{π}π . Andaikan ada x β e sehingga x π βπ’π{π}π. Menurut Teorema 6.2.5, G ruang Hausdorff.
Oleh karena itu ada U π {U} dan himpunan terbuka W sehingga U β© W = β dan x π W yang berarti x bukan anggota U dan bukan anggota βπ’π{π}π. Suatu kontradiksi dan bukti selesai. β
Teorema 6.2.7 : Di dalam setiap grup topologis terdapat sistem persekitaran tertutup {U} titik e sehingga
(a) U simetrik.
(b) Untuksetiap U terdapat persekitaran V sehingga V2 β U.
(c) Untuk setiap U dan a π U sehingga a.V π {U} dan π β πβ1.U.a atau a.V.πβ1 β U.
Bukti : Dengan memanfaatkan Teorema 6.2.2 dn Akibat 6.2.5 diperoleh (a). (b) diperoleh lansung dari Definisi 6.1.1. Selanjutnya, dengan memanfaatkan Teore-ma 6.1.3 akan diperoleh (c). β
6.3 Aksioma separasi
Teorema 6.3.1 : Jika F himpunan tertutup dan C himpunan kompak di dalam
42 C.U β β . Berdasarkan Teorema 6.2.2 dan Akibat 6.2.4 dapat dianggap setiap anggota sistem persekitaran titik e tertutup dan simetrik. Berdasarkan alasan ini dan jika sistem perskitaran yang terbentuk adalah {U}, diperoleh
{ F .β© (βππ{π}π)} β© {C .β© (βππ{π}π)} = {F.{e}}β© {πΆ. {π}} = F β© C β β , merupakan grup komutatif dengan elemen netral o sehingga untuk setiap scalar πΌ dan x π X maka πΌx π X sehingga untuk setiap skalar πΌ dan π½ dan setiap
1. Rn merupakaan ruang linear atas lapangan R.