Grup topologi - Riwayat revisi

Maintenance script: Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

2026-08-25T22:56:21Z

Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi

← Revisi sebelumnya		Revisi per 25 Agustus 2026 22.56
Baris 1:		Baris 1:
			[[File:Cyclic_group.svg\|thumb\|right\|280px\|Cyclic group]]

			[[Gambar:Real number line.svg\|thumb\|right\|350px\|[[Bilangan riil]] membentuk grup topologis di bawah [[penambahan]]]]

	Dalam [[matematika]], '''grup topologis''' adalah [[grup (matematika)\|grup]] bersama dengan [[Ruang topologis\|topologi]] pada <math>G</math> sehingga kedua [[operasi biner]] grup dan elemen grup pemetaan fungsi ke balikkannya masing-masing adalah fungsi [[fungsi kontinu (topologi)\|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.		Dalam [[matematika]], '''grup topologis''' adalah [[grup (matematika)\|grup]] bersama dengan [[Ruang topologis\|topologi]] pada <math>G</math> sehingga kedua [[operasi biner]] grup dan elemen grup pemetaan fungsi ke balikkannya masing-masing adalah fungsi [[fungsi kontinu (topologi)\|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.

Baris 8:		Baris 12:
	dan peta balikkan:		dan peta balikkan:
	:<math>^{-1} : G \to G</math>, <math>x \mapsto x^{-1}</math>		:<math>^{-1} : G \to G</math>, <math>x \mapsto x^{-1}</math>
	adalah [[Fungsi kontinu\|kontinu]]. Di sini dipandang sebagai ruang topologi dengan [[topologi darab]]. Topologi seperti itu dikatakan '''serasi dengan operasi grup''' dan disebut '''topologi grup'''.		adalah [[Fungsi kontinu\|kontinu]].<ref>'' yaitu '' Kontinu artinya untuk himpunan terbuka , terbuka di domain dari .</ref> Di sini dipandang sebagai ruang topologi dengan [[topologi darab]]. Topologi seperti itu dikatakan '''serasi dengan operasi grup''' dan disebut '''topologi grup'''.

	;Memeriksa kekontinuan		;Memeriksa kekontinuan
Baris 21:		Baris 25:

	Definisi ini menggunakan notasi untuk grup perkalian;		Definisi ini menggunakan notasi untuk grup perkalian;
	padanan untuk grup aditif adalah bahwa dua operasi berikut kontinu:		padanan untuk grup aditif adalah bahwa dua operasi berikut kontinu:
	:<math>+ : G \times G \to G</math>, <math>(x,y) \mapsto x + y</math>		:<math>+ : G \times G \to G</math>, <math>(x,y) \mapsto x + y</math>
	:<math>- : G \to G</math>, <math>x \mapsto -x</math>.		:<math>- : G \to G</math>, <math>x \mapsto -x</math>.
Baris 27:		Baris 31:
	;Ke-Hausdorff-an		;Ke-Hausdorff-an

	Meski bukan bagian dari definisi ini, banyak penulis perlu bahwa topologi pada <math>G</math> menjadi [[Ruang Hausdorff\|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.		Meski bukan bagian dari definisi ini, banyak penulis<ref>;</ref> perlu bahwa topologi pada <math>G</math> menjadi [[Ruang Hausdorff\|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.		Artikel ini tidak akan mengasumsikan bahwa grup topologi selalu Hausdorff.
Baris 49:		Baris 53:
	Grup yang disebutkan sejauh ini adalah semua [[grup Lie]], artinya grup tersebut [[manifold halus]] sedemikian rupa sehingga operasi grup adalah [[fungsi mulus\|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.		Grup yang disebutkan sejauh ini adalah semua [[grup Lie]], artinya grup tersebut [[manifold halus]] sedemikian rupa sehingga operasi grup adalah [[fungsi mulus\|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 <math>\Q</math> dari [[bilangan rasional]], dengan topologi yang diwarisi dari <math>\R</math>.		Contoh grup topologis yang bukan grup Lie adalah grup aditif <math>\Q</math> dari [[bilangan rasional]], dengan topologi yang diwarisi dari <math>\R</math>.
	Ini adalah ruang [[terhitung]], dan tidak memiliki topologi diskret. Contoh yang penting untuk [[teori bilangan]] adalah grup <math>\Z_p</math> dari [[bilangan bulat p-adik]], untuk [[bilangan prima]] <math>p</math>, yang berarti [[batas invers\|batas balikkan]] dari grup hingga <math>\Z/p^n</math> karena <math>n</math> menuju takterhingga. Grup <math>\Z_p</math> is berperilaku baik karena kompak (pada kenyataannya, homeomorfik ke [[himpunan Cantor]]), tetapi berbeda dari grup Lie (real) karena [[Grup takterhubung total\|takterhubung]].		Ini adalah ruang [[terhitung]], dan tidak memiliki topologi diskret. Contoh yang penting untuk [[teori bilangan]] adalah grup <math>\Z_p</math> dari [[bilangan bulat p-adik]], untuk [[bilangan prima]] <math>p</math>, yang berarti [[batas invers\|batas balikkan]] dari grup hingga <math>\Z/p^n</math> karena <math>n</math> menuju takterhingga. Grup <math>\Z_p</math> is berperilaku baik karena kompak (pada kenyataannya, homeomorfik ke [[himpunan Cantor]]), tetapi berbeda dari grup Lie (real) karena [[Grup takterhubung total\|takterhubung]].

Baris 58:		Baris 62:

	== Keseragaman kanonik pada grup topologis komutatif ==		== 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 .		Selanjutnya kita akan mengasumsikan bahwa setiap grup topologis yang kami anggap adalah grup topologis komutatif aditif dengan elemen identitas .


	'''Catatan''':		'''Catatan''':
Baris 68:		Baris 70:
	<li>Setiap rombongan berisi diagonal } karena .		<li>Setiap rombongan berisi diagonal } karena .
	</li>		</li>
	<li>Jika adalah [[himpunan simetri\|simetris]] (yaitu ) kemudian simetris (yaitu, ) dan		<li>Jika adalah [[himpunan simetri\|simetris]] (yaitu ) kemudian simetris (yaitu, ) dan
	::.</li>		::.</li>
	<li>Topologi yang diinduksi pada oleh keseragaman kanonik adalah sama dengan topologi yang dimulai dengan (yaitu ).</li>		<li>Topologi yang diinduksi pada oleh keseragaman kanonik adalah sama dengan topologi yang dimulai dengan (yaitu ).</li>
Baris 74:		Baris 76:

	== Pratapis dan jaring Cauchy ==		== 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.		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:		Ucapan:
Baris 101:		Baris 100:

	== Catatan ==		== Catatan ==


	~~== Referensi ==~~


	== Bibliografi ==		== Bibliografi ==
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*
	*		*

			== Referensi ==
			<references />

			== Sumber dan atribusi ==

	== ~~Sumber~~ dan ~~atribusi ==~~		Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Grup+topologi&oldid=29454208 Wikipedia bahasa Indonesia], revisi 29454208 (2026-07-13T18:17:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

	~~Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Grup+topologi&oldid=29454208 Wikipedia bahasa Indonesia], revisi 29454208 (2026~~-07-~~13T18:17:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi~~-~~BerbagiSerupa (CC BY~~-~~SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.~~		<!-- WIKI_UNISSULA_PRESENTATION_V4 -->

Maintenance script: Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29454208; atribusi sumber disertakan.

2026-08-25T22:16:19Z

Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 29454208; atribusi sumber disertakan.

Halaman baru

Dalam [[matematika]], '''grup topologis''' adalah [[grup (matematika)|grup]] bersama dengan [[Ruang topologis|topologi]] pada <math>G</math> sehingga kedua [[operasi biner]] grup dan elemen grup pemetaan fungsi ke balikkannya masing-masing adalah fungsi [[fungsi kontinu (topologi)|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 [[Simetri (fisika)|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):
:<math>\cdot : G \times G \to G</math>, <math>(x,y) \mapsto xy</math>
dan peta balikkan:
:<math>^{-1} : G \to G</math>, <math>x \mapsto x^{-1}</math>
adalah [[Fungsi kontinu|kontinu]]. Di sini 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 <math>x, y \in G</math> dan setiap lingkungan <math>W</math> dari <math>xy</math> di <math>G</math>, terdapat lingkungan <math>U</math> dari <math>x</math> dan <math>V</math> dari <math>y</math> pada <math>G</math> sehingga <math>U \cdot V \subseteq W</math>, di mana <math>U \cdot V := \{u \cdot v : u \in U, v \in V\}</math>}. Peta balikkan kontinu jika dan hanya jika <math>x \in G</math> dan suatu lingkungan <math>V</math> dari <math>x^{-1}</math> pada <math>G</math>, lingkungan <math>U</math> dari <math>x</math> ke <math>G</math> sehingga <math>U^{-1} \subseteq V</math>, di mana <math>U^{-1} := \{u^{-1} : u \in U \}</math>.

Untuk menunjukkan bahwa topologi serasi dengan operasi grup, itu sudah cukup untuk memeriksa peta
:<math>G \times G \to G</math>, <math>(x,y) \mapsto (xy)^{-1}</math>
adalah kontinu. Secara eksplisit, ini berarti bahwa untuk <math>x, y \in G</math> dan suatu lingkungan <math>W</math> oleh <math>G</math> dari , ada lingkungan <math>U</math> dari <math>x</math> dan <math>V</math> dari <math>y</math> di <math>G</math> maka <math>U \cdot (V^{-1}) \subseteq W</math>.

;Notasi aditif

Definisi ini menggunakan notasi untuk grup perkalian;
padanan untuk grup aditif adalah bahwa dua operasi berikut kontinu:
:<math>+ : G \times G \to G</math>, <math>(x,y) \mapsto x + y</math>
:<math>- : G \to G</math>, <math>x \mapsto -x</math>.

;Ke-Hausdorff-an

Meski bukan bagian dari definisi ini, banyak penulis perlu bahwa topologi pada <math>G</math> menjadi [[Ruang Hausdorff|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 kelompok|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]] <math>G \to H</math>. Grup topologis, bersama dengan kehomomorfannya, membentuk [[teori kategori|kategori]]. kehomomorfan grup antara grup topologi komutatif kontinu jika dan hanya jika kontinu pada ''beberapa'' titik.

'''Keisomorfan''' dari grup topologis adalah [[grup isomorfisme|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 diskrit|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]], <math>\R</math> dengan topologi biasa membentuk grup topologis di bawah tambahan. [[Ruang Euklides|Ruang Euklidean-]] dari <math>\R^n</math> juga merupakan grup topologis dalam penambahan, dan lebih umum lagi, setiap [[ruang vektor topologis]] membentuk grup topologis (Abel). Beberapa contoh lain dari grup topologis [[Grup Abelian|Abel]] adalah [[grup lingkaran]] <math>S^1</math>, atau [[Grup torus|torus]] <math>(S^1)^n</math> untuk bilangan asli <math>n</math>.

[[Grup klasik]] adalah contoh penting dari grup topologis takAbel. Misalnya, [[grup linear umum]] <math>\operatorname{GL}(n,\R)</math> mengenai semua terbalikkan [[Matriks (matematika)|matriks]] <math>n</math> kali <math>n</math> dengan entri real dapat dilihat sebagai grup topologis dengan topologi yang ditentukan dengan melihat <math>\operatorname{GL}(n,\R)</math> sebagai [[subruang (topologi)|subruang]] dari ruang Euklides <math>\R^{n \times n}</math>. Grup klasik lainnya adalah [[grup ortogonal]] <math>\operatorname{O}(n)</math>, grup dari semua [[peta linear]] dari <math>\R^n</math> terhadap dirinya sendiri yang mempertahankan [[jarak Euklides|panjang]] dari semua vektor. Grup ortogonal adalah [[ruang kompak|kompak]] sebagai sebuah ruang topologi. Banyak dari [[geometri Euklides]] dapat dipandang sebagai mempelajari struktur grup ortogonal, atau grup yang terkait erat <math>O(n) \ltimes \R^n</math> mengenai [[grup Euclidean|isometri]] dari <math>\R^n</math>.

Grup yang disebutkan sejauh ini adalah semua [[grup Lie]], artinya grup tersebut [[manifold halus]] sedemikian rupa sehingga operasi grup adalah [[fungsi mulus|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 <math>\Q</math> dari [[bilangan rasional]], dengan topologi yang diwarisi dari <math>\R</math>.
Ini adalah ruang [[terhitung]], dan tidak memiliki topologi diskret. Contoh yang penting untuk [[teori bilangan]] adalah grup <math>\Z_p</math> dari [[bilangan bulat p-adik]], untuk [[bilangan prima]] <math>p</math>, yang berarti [[batas invers|batas balikkan]] dari grup hingga <math>\Z/p^n</math> karena <math>n</math> menuju takterhingga. Grup <math>\Z_p</math> is berperilaku baik karena kompak (pada kenyataannya, homeomorfik ke [[himpunan Cantor]]), tetapi berbeda dari grup Lie (real) karena [[Grup takterhubung total|takterhubung]].

Grup <math>\Z_p</math> adalah grup pro-hingga; itu isomorfik ke subgrup darab <math>\prod_{n \geq 1} \mathbb{Z} / p^n </math> sedemikian rupa sehingga topologinya diinduksi oleh topologi darab, di mana grup hingga <math>\mathbb{Z} / p^n</math> 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 .

'''Catatan''':
<ul>
<li>Keseragaman kanonik pada setiap grup topologi komutatif adalah invarian-translasi.</li>
<li>Keseragaman kanonik yang sama akan dihasilkan dengan menggunakan basis lingkungan asal alih-alih filter dari semua lingkungan asal.</li>
<li>Setiap rombongan berisi diagonal } karena .
</li>
<li>Jika adalah [[himpunan simetri|simetris]] (yaitu ) kemudian simetris (yaitu, ) dan
::.</li>
<li>Topologi yang diinduksi pada oleh keseragaman kanonik adalah sama dengan topologi yang dimulai dengan (yaitu ).</li>
</ul>

== 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:
<ul>
<li>Misalkan adalah pratapis pada grup topologis komutatif dan . Kemudian di jika dan hanya jika dan adalah Cauchy.</li>
</ul>

== Generalisasi ==
Berbagai generalisasi grup topologis dapat diperoleh dengan melemahkan kondisi kekontinuan:
* [[Grup semitopologi]] adalah grup <math>G</math> 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 ==
*
*
*
*
*
*
*
*
*
*
*
*
*
*
*

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Grup+topologi&oldid=29454208 Wikipedia bahasa Indonesia], revisi 29454208 (2026-07-13T18:17:33Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.