Altuzay Topolojisi

Kısaca: Topolojide altuzay topolojisi, ya da tetiklenmiş topoloji, topolojik bir uzay içinde bir altkümeye konulabilecek en doğal topolojidir. Bu topoloji verilmiş altkümeyeyse (topolojik) altuzay denir. ...devamı ☟

Topolojide altuzay topolojisi, ya da tetiklenmiş topoloji, topolojik bir uzay içinde bir altkümeye konulabilecek en doğal topolojidir. Bu topoloji verilmiş altkümeyeyse (topolojik) altuzay denir. Matematiksel tanım X bir topolojik uzay, A onun herhangi bir altkümesi olsun. B kümesi A'nın bir altkümesi olsun. Eğer B, X'teki herhangi bir açık kümenin A ile kesişimi şeklinde yazılabiliyorsa B'ye A'da açık diyeceğiz. Bu biçimde tanımlanan A'da açık tüm kümeler A'da bir topoloji oluşturur. Bunu ispatlamak için bir topolojinin sağlaması gereken üç koşulu denetlemek yeterli olacak. İlk olarak, boş küme A'da açıktır çünkü X'de açık boşküme ile A'nın kesişimidir; A da A'da açıktır çünkü X'te açık X ile A'nın kesişimidir. 2. ve 3. koşullar doğrudan doğruya X'teki topolojinin aynı koşulları sağlaması sayesinde sağlanır.

Örnek

* Standart topolojisiyle gerçel sayılar uzayında (\mathbb) tamsayılar altkümesinin (\mathbb) tetiklenen topolojisine göre, tamsayılardan herhangi birkaç tanesi açık bir küme oluşturur. Örneğin, 10 tamsayısı, \mathbb'de açık bir küme olan (9.5,10.5) açık aralığının \mathbb kümesiyle kesişimi olduğundan \mathbb'de açık bir kümedir. * \mathbb'den tetiklenen topolojisiyle A=[0,1) (soldan kapalı sağdan açık) aralığında [0,0.5) aralığı açıktır. Çünkü [0,0.5) aralığı \mathbb'de açık (-0.5,0.5) aralığıyla A'nın kesişimdir. Öte yandan, [0,0.5) aralığı \mathbb'de açık değildir.

Kaynaklar

Vikipedi

Bu konuda henüz görüş yok.
Görüş/mesaj gerekli.
Markdown kullanılabilir.