Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
853 kez görüntülendi

Bir topolojik grubun değişmeli altgrubunun kapanışının da değişmeli olduğunu nasıl gösterebilirim?

Akademik Matematik kategorisinde (767 puan) tarafından 
tarafından yeniden gösterildi | 853 kez görüntülendi

carpmanin surekli olusundan.

1 cevap

0 beğenilme 0 beğenilmeme
En İyi Cevap

Burada grubun topolojisinin "iyi" olduğu varsayımına gereksinim var. Aksi halde doğru değil.

$H\subseteq G$ değişmeli altgrup olsun. $G\times G\rightarrow G,\ \ (x,y)\mapsto xyx^{-1}y^{-1}$ in sürekli ve $\overline{H\times H}=\bar{H}\times\bar{H}$ olduğunu kullanın. (Sürekli dönüşümlerin bir özelliğine de gereksinim de var)

(6.2k puan) tarafından 
tarafından seçilmiş

Sanirim topolojinin $T_1$ olmasini istiyoruz.

Hocam, topolojik grubun topolojisinin "iyi" olması ile neyi kastediyoruz?

$G$ değişmeli olmayan bir grup ve $G$ nin topolojisi aşikar (ayrık olmayan= indiscrete) topoloji $H=\{e\}$ olsun. $\bar{H}=G$ olduğundan iddia yanlış oluyor. O nedenle, topoloji için bir koşul eklemek gerekli. Aslında benim aklıma gelen, ipuçlarının verdiğim yolda devam edilirse, kendiliğinden gereken koşul ortaya çıkıyor.

Hocam, cevabınız için çok teşekkür ederim. 

 Verdiğiniz ipuçlarını kullanarak


$ \{ xyx^{-1}y^{-1}:x,y\in \bar{H} \} \subseteq \overline  {\{xyx^{-1}y^{-1}:x,y \in H\} }= \overline {\{e\}} $


ifadesini elde ettim. Buradan  $G$ nin değişmeli bir $H$ altgrubunun kapanışının değişmeli olduğunu göstermek için $ \overline {\{e\}}$ nin değişmeli olduğunu göstermenin yeterli olduğu sonucuna vardım. Buradan sonra nasıl devam edebilirim hocam?

Eğer $\overline{\{e\}}=\{e\}$ ise istenen elde edilir, aksi halde pek şansımız yok. (Topolojik grup tanımında, topoloji için bir koşul varsa  bu eşitliği göstermeye çalış, yoksa bunu garanti edecek bir koşul varsaymak gerekiyor, çünki $G$ nin topolojisi ayrık olmayan (indiscete) topoloji ise $\overline{\{e\}}=G$ olur, bununla istediğimizi ispatlamak imkansız, çünki $G$ değişmeli olmayabilir.

Hocam, cevabınız için çok teşekkür ediyorum. Ben de $\overline {\{e \} }=\{e\}$ olasılığını düşündüm. Buradan $G$ Hausdorff geliyor. Bununla birlikte yukarıdaki altküme ilişkisinden farklı olasılıklar olabilir diye de düşündüm ama $\overline {\{e\}}$ değişmeli olacak şekilde $\overline {\{e \} }=\{e\}$ dışında başka hangi olasılık olabileceği hakkında bir yorum yapamadım. Ayrıca sizin de yazdığınız  gibi $G$ değişmeli olmayan bir grup ise $\overline {\{e \} }\neq G$ olmalı.

Topolojisi aşikar (ayrık olmayan=indiscrete) OLMAYAN ve $T_0$ OLMAYAN bir topolojik grup var mıdır?
20,282 soru
21,821 cevap
73,503 yorum
2,518,813 kullanıcı