Grup topologi

Dalam matematika, grup topologis adalah grup  bersama dengan topologi pada  sehingga kedua operasi biner grup dan elemen grup pemetaan fungsi ke balikkannya masing-masing adalah fungsi kontinu yang berkaitan dengan topologi. Grup topologis adalah objek matematika dengan struktur aljabar dan struktur topologi. Jadi, salah satunya dapat melakukan operasi aljabar, karena struktur grupnya, dan salah satunya dapat berbicara tentang fungsi kontinu, karena topologinya.

Grup topologis, bersama dengan aksi grup kontinu, digunakan untuk mempelajari simetri kontinu, yang memiliki banyak penerapan, misalnya dalam fisika. Dalam analisis fungsional, setiap ruang vektor topologis adalah grup topologis aditif dengan sifat tambahan bahwa perkalian skalar adalah kontinu; akibatnya, banyak hasil dari teori grup topologis dapat diterapkan pada analisis fungsional.

Definisi formal 
Grup topologis, , adalah ruang topologi yang juga merupakan grup operasi grup (dalam hal ini darab):
, 
dan peta balikkan:
, 
adalah kontinu. Disini  dipandang sebagai ruang topologi dengan topologi darab. Topologi seperti itu dikatakan serasi dengan operasi grup dan disebut topologi grup.

Memeriksa kekontinuan

Peta darab kontinu jika dan hanya jika untuk  dan setiap lingkungan  dari  di , terdapat lingkungan  dari  dan  dari  pada  sehingga , dimana }. Peta balikkan kontinu jika dan hanya jika  dan suatu lingkungan  dari  pada , lingkungan  dari  ke  sehingga , dimana .

Untuk menunjukkan bahwa topologi serasi dengan operasi grup, itu sudah cukup untuk memeriksa peta
, 
adalah kontinu. Secara eksplisit, ini berarti bahwa untuk  dan suatu lingkungan  oleh  dari , ada lingkungan  dari  dan  dari  di  maka .

Notasi aditif

Definisi ini menggunakan notasi untuk grup perkalian;
padanan untuk grup aditif adalah bahwa dua operasi berikut kontinu: 
, 
, .

Ke-Hausdorff-an

Meski bukan bagian dari definisi ini, banyak penulis perlu bahwa topologi pada  menjadi Hausdorff. Salah satu alasan untuk ini adalah bahwa setiap grup topologi dapat secara kanonik dikaitkan dengan grup topologi Hausdorff dengan mengambil hasil bagi kanonik yang sesuai; Ini bagaimanapun, sering kali masih membutuhkan kerja dengan grup topologi takHausdorff asli. Alasan lain, dan beberapa kondisi yang setara, dibahas di bawah ini.

Artikel ini tidak akan mengasumsikan bahwa grup topologi selalu Hausdorff.

Kategori

Dalam bahasa teori kategori, grup topologi dapat didefinisikan secara ringkas sebagai objek grup dalam kategori ruang topologi, dengan cara yang sama seperti grup biasa adalah objek grup dalam kategori himpunan. Perhatikan bahwa aksioma diberikan dalam bentuk peta (darab biner, balikkan uner, dan identitas nol), oleh karena itu definisi kategoris.

Kehomomorfan 
Kehomomorfan dari grup topologis berarti kehomomorfan grup . Grup topologis, bersama dengan kehomomorfannya, membentuk kategori. kehomomorfan grup antara grup topologi komutatif kontinu jika dan hanya jika kontinu pada beberapa titik.

Keisomorfan dari grup topologis adalah grup keisomorfan yang juga merupakan homeomorfisme dari ruang topologi yang mendasarinya. Ini lebih kuat daripada hanya perlu keisomorfan grup kontinu, kebalikannya juga harus kontinu. Terdapat contoh grup topologis yang isomorfik sebagai grup biasa tetapi tidak sebagai grup topologis. Memang, setiap grup topologis takdiskret juga merupakan grup topologis bila dipertimbangkan dengan topologi diskret. Grup yang mendasari sama, tetapi sebagai grup topologis tidak ada keisomorfan.

Contoh 
Setiap grup dapat dengan mudah dibuat menjadi grup topologis dengan mempertimbangkannya menggunakan topologi diskret; grup seperti itu disebut grup diskret. Dalam pengertian ini, teori grup topologi mengasumsikan bahwa grup biasa. Topologi takdiskret (yaitu topologi trivial) juga membuat setiap grup menjadi grup topologis.

Bilangan real,  dengan topologi biasa membentuk grup topologis di bawah tambahan. Ruang Euklidean- dari  juga merupakan grup topologis dalam penambahan, dan lebih umum lagi, setiap ruang vektor topologis membentuk grup topologis (Abel). Beberapa contoh lain dari grup topologis Abel adalah grup lingkaran , atau torus  untuk bilangan asli .

Grup klasik adalah contoh penting dari grup topologis takAbel. Misalnya, grup linear umum  mengenai semua terbalikkan matriks  kali  dengan entri real dapat dilihat sebagai grup topologis dengan topologi yang ditentukan dengan melihat  sebagai subruang dari ruang Euklides . Grup klasik lainnya adalah grup ortogonal , grup dari semua peta linear dari  terhadap dirinya sendiri yang mempertahankan panjang dari semua vektor. Grup ortogonal adalah kompak sebagai sebuah ruang topologi. Banyak dari geometri Euklides dapat dipandang sebagai mempelajari struktur grup ortogonal, atau grup yang terkait erat  mengenai isometri dari .

Grup yang disebutkan sejauh ini adalah semua grup Lie, artinya grup tersebut manifold halus sedemikian rupa sehingga operasi grup adalah mulus, tidak hanya kontinu. Grup Lie adalah grup topologis yang paling dipahami; banyak pertanyaan tentang grup Lie dapat diubah menjadi pertanyaan aljabar murni tentang aljabar Lie dan kemudian diselesaikan.

Contoh grup topologis yang bukan grup Lie adalah grup aditif  dari bilangan rasional, dengan topologi yang diwarisi dari . 
Ini adalah ruang terhitung, dan tidak memiliki topologi diskret. Contoh yang penting untuk teori bilangan adalah grup  dari bilangan bulat p-adik, untuk bilangan prima , yang berarti batas balikkan dari grup hingga  karena  menuju takterhingga. Grup  is berperilaku baik karena kompak (pada kenyataannya, homeomorfik ke himpunan Cantor), tetapi berbeda dari grup Lie (real) karena takterhubung.

Grup  adalah grup pro-hingga; itu isomorfik ke subgrup darab  sedemikian rupa sehingga topologinya diinduksi oleh topologi darab, di mana grup hingga  diberi topologi diskret. Kelas besar lain dari grup pro-terbatas yang penting dalam teori bilangan adalah grup Galois mutlak.

Grup topologis Abel lengkap 
Informasi tentang konvergensi jaring dan filter, seperti definisi dan sifat, dapat ditemukan di artikel tentang filter dalam topologi.

Keseragaman kanonik pada grup topologis komutatif 

Selanjutnya kita akan mengasumsikan bahwa setiap grup topologis yang kami anggap adalah grup topologis komutatif aditif dengan elemen identitas .

{{Quote|1=Definisi (Rombongan kanonik dan diagonal): 
Diagonal dari  adalah himpunan

}

dan untuk  berisi , rombongan kanonik atau lingkungan kanonik sekitar ' '' adalah himpunanDefinisi (Keseragaman kanonik): Untuk grup topologi , keseragaman kanonik pada  adalah struktur seragam yang diinduksi oleh himpunan semua lingkungan kanonik  sebagai rentang  di semua lingkungan  pada .

Artinya, ini adalah penutupan ke atas dari prefilter berikut pada ,

}

di mana prefilter ini membentuk apa yang dikenal sebagai basis lingkungan dari keseragaman kanonik. 
}}Catatan''':
Keseragaman kanonik pada setiap grup topologi komutatif adalah invarian-translasi.
Keseragaman kanonik yang sama akan dihasilkan dengan menggunakan basis lingkungan asal alih-alih filter dari semua lingkungan asal.
Setiap rombongan  berisi diagonal } karena .
Jika  adalah simetris (yaitu ) kemudian  simetris (yaitu, ) dan 
.
Topologi yang diinduksi pada  oleh keseragaman kanonik adalah sama dengan topologi yang dimulai dengan  (yaitu ).

Pratapis dan jaring Cauchy 

Teori umum ruang seragam s memiliki definisi sendiri tentang "Cauchy pratapis" dan "Cauchy net." Untuk keseragaman kanonik pada , ini dikurangi menjadi definisi yang dijelaskan.

Ucapan:
Misalkan  adalah pratapis pada grup topologis komutatif  dan . Kemudian  di  jika dan hanya jika  dan  adalah Cauchy.

Generalisasi 
Berbagai generalisasi grup topologis dapat diperoleh dengan melemahkan kondisi kekontinuan:
 Grup semitopologi adalah grup  dengan topologi untuk  dua fungsi  didefinisikan oleh  dan  adalah kontinu.
 Grup kuasitopologi adalah grup semitopologis di mana elemen pemetaan fungsi ke balikkannya juga kontinu.
 Grup paratopologi adalah grup dengan topologi sedemikian rupa sehingga operasi grup kontinu.

Lihat pula 
 Grup aljabar
 Grup kompak
 Ruang vektor topologis lengkap
 Grup Lie
 Grup kompak lokal
 Grup tak terbatas
 Gelanggang topologi
 Ruang vektor topologis

Catatan

Referensi

Bibliografi 
 
 
 
 
 
 
 
 
 
 
 
  
 
 
 

 
Grup Lie
Analisis Fourier