Çarpım Uzaylarının Homeomorfizmi

Eğer \( X \), \( Y \) ve \( Z \) topolojik uzaylar ise, $$ (X \times Y) \times Z $$ $$ X \times (Y \times Z) $$ $$ X \times Y \times Z $$ çarpım uzayları birbirine homeomorftur. $$ (X \times Y) \times Z \cong X \times (Y \times Z) \cong X \times Y \times Z $$

Bu sonuç, Kartezyen çarpımda uzayları nasıl gruplayacağımızın elde edilen topolojik yapıyı değiştirmediğini söyler. Yani parantezlerin yeri değişse bile ortaya çıkan uzay aynıdır.

Başka bir ifadeyle, topolojik uzayların Kartezyen çarpımı birleşme özelliğine sahiptir.

Not: Bu özellik, çarpım uzaylarıyla çalışmayı çok daha pratik hale getirir. Birden fazla topolojik uzayın çarpımını incelerken, uzayların sırasını veya nasıl gruplanacağını düşünmek gerekmez.

Uygulamalı Bir Örnek

Kavramı daha somut görmek için \(\mathbb{R}\) (standart topolojiye sahip reel sayılar kümesi) ve \(\mathbb{R}^2\) (çarpım topolojisiyle tanımlanan Kartezyen düzlem) gibi temel uzayları ele alalım.

\(\mathbb{R}\) uzayının üç kopyasını düşünelim:

• \(X = \mathbb{R}\)
• \(Y = \mathbb{R}\)
• \(Z = \mathbb{R}\)

Bu uzayların çarpımını farklı şekillerde kurabiliriz:

1. Çarpım (X×Y)×Z
   Önce \(X \times Y\) alınır ve \(\mathbb{R}^2\) elde edilir. Daha sonra bu uzay \(Z\) ile çarpılır ve \(\mathbb{R}^2 \times \mathbb{R}\) elde edilir. Bu yapı, \(((x, y), z)\) biçimindeki üçlülerden oluşur ve \(\mathbb{R}^3\) ile özdeşleştirilebilir.
2. Çarpım X×(Y×Z)
   Bu kez önce \(Y \times Z\) alınır ve yine \(\mathbb{R}^2\) elde edilir. Ardından \(X\) ile çarpılır ve \(\mathbb{R} \times \mathbb{R}^2\) elde edilir. Bu uzay \((x, (y, z))\) biçimindeki üçlülerden oluşur ve yine \(\mathbb{R}^3\) ile özdeşleştirilebilir.
3. Çarpım X×Y×Z
   Üç uzayın doğrudan çarpımı alınır ve \((x, y, z)\) biçimindeki üçlülerden oluşan bir uzay elde edilir. Bu da \(\mathbb{R}^3\) ile aynıdır.

Her üç durumda da elde edilen topolojik uzay \(\mathbb{R}^3\) ile homeomorftur.

Sonuç olarak, parantezlerin yeri veya işlemlerin sırası değişse bile elde edilen uzay değişmez. Bu da çarpım uzaylarının topolojik açıdan aynı yapıyı verdiğini açıkça gösterir.

Bu örnek, farklı yazımların aslında aynı topolojik uzayı tanımladığını anlamak için iyi bir rehberdir.