Altuzay Topolojisi ve Çarpım Topolojisi

Eğer \(A\) ve \(B\), sırasıyla \(X\) ve \(Y\) topolojik uzaylarının altkümeleri ise, $$ A \subset X $$ $$ B \subset Y $$ o zaman \(A \times B\) kümesi \(X \times Y\) uzayının bir altuzayı olarak ele alındığında üzerinde oluşan topoloji, \(A\) ve \(B\)'nin \(X\) ve \(Y\)'den miras aldığı topolojiler kullanılarak doğrudan kurulan çarpım topolojisi ile aynıdır.  $$ \quad \tau_{A \times B}^{\text{sub}} = \tau_A^{\text{sub}} \times \tau_B^{\text{sub}} $$

Burada \(\tau_{A \times B}^{\text{sub}}\), \(X \times Y\) uzayının topolojisinden türeyerek \(A \times B\) üzerinde tanımlanan altuzay topolojisini ifade eder.

\(\tau_A^{\text{sub}}\) ve \(\tau_B^{\text{sub}}\) ise sırasıyla \(X\) ve \(Y\) uzaylarından miras alınarak \(A\) ve \(B\) üzerinde tanımlanan altuzay topolojileridir.

Bu teorem, \(A \times B\) üzerinde bir topoloji tanımlamanın iki farklı yolu olduğunu ve bu iki yöntemin aynı sonucu verdiğini söyler.

Birinci yöntemde \(A \times B\) kümesi, \(X \times Y\) uzayının bir altuzayı olarak ele alınır ve topoloji bu uzaydan türetilir. İkinci yöntemde ise \(A\) ve \(B\) kümeleri üzerindeki altuzay topolojileri kullanılarak doğrudan \(A \times B\) üzerinde çarpım topolojisi kurulur.

Teorem, bu iki yaklaşımın tamamen aynı topolojik yapıyı verdiğini garanti eder. Başka bir deyişle hangi yöntemi seçerseniz seçin, \(A \times B\) üzerinde elde edilen topoloji aynıdır.

Pratik Bir Örnek

Bu sonucu daha iyi anlamak için basit bir örnek düşünelim.

İki topolojik uzay alalım: \(X\) ve \(Y\). Örneğin Kartezyen düzlemde \(X\) uzayını \(x\)-ekseni, \(Y\) uzayını ise \(y\)-ekseni olarak düşünebiliriz.

Şimdi bu uzayların iki altkümesini seçelim: \(A\), \(X\)'in bir altkümesi olsun; \(B\) ise \(Y\)'nin bir altkümesi olsun.

Örneğin \(A\), \(x\)-ekseni üzerinde \([1,2]\) aralığı; \(B\) ise \(y\)-ekseni üzerinde \([3,4]\) aralığı olabilir.

Bu durumda \(A \times B\) kümesi, \(x\) değeri \(A\)'dan ve \(y\) değeri \(B\)'den alınan tüm \((x,y)\) çiftlerinden oluşur.

Geometrik olarak bu küme, düzlemde bir dikdörtgen bölgeyi temsil eder. Burada \(x\) değerleri 1 ile 2 arasında, \(y\) değerleri ise 3 ile 4 arasında değişir.

Şimdi \(A \times B\) üzerinde iki farklı şekilde topoloji tanımlayabiliriz:

1. Altuzay Topolojisi
   Bu yöntemde \(A \times B\), tüm düzlemi temsil eden \(X \times Y\) uzayının bir altuzayı olarak ele alınır. Önce \(X \times Y\) uzayının topolojisi alınır, ardından bu topoloji \(A \times B\) kümesine kısıtlanır.
2. Çarpım Topolojisi
   Bu yaklaşımda ise \(A\) ve \(B\) kümeleri kendi altuzay topolojileriyle ayrı ayrı topolojik uzaylar olarak ele alınır. Daha sonra bu iki uzayın çarpım topolojisi kullanılarak doğrudan \(A \times B\) üzerinde bir topoloji oluşturulur.

Teoremin önemli sonucu şudur: Bu iki yöntem gerçekte aynı topolojiyi verir.

Dolayısıyla \(A \times B\) üzerinde topoloji tanımlarken hangi yolu izlerseniz izleyin, sonuçta elde edilen topolojik yapı aynıdır.

Ve bu şekilde devam eder...