Topologia produktowa

Niech $X$ i $Y$ będą przestrzeniami topologicznymi. Topologia produktowa na zbiorze $X \times Y$ to topologia generowana przez bazę $B$, złożoną ze wszystkich iloczynów kartezjańskich zbiorów otwartych postaci $U \times V$, gdzie $U$ jest zbiorem otwartym w $X$, a $V$ jest zbiorem otwartym w $Y$. $$ B = \{ U \times V \mid U \text{ jest otwarty w } X \text{ oraz } V \text{ jest otwarty w } Y \} $$

Intuicyjnie, aby zbudować topologię na $X \times Y$, zaczynamy od najprostszych „cegiełek”, czyli zbiorów postaci $U \times V$, gdzie oba czynniki są otwarte w swoich przestrzeniach.

Zbiory te tworzą rodzinę oznaczaną przez $B$, która stanowi bazę topologii.

Baza topologii to taka kolekcja zbiorów otwartych, z których można „złożyć” każdy inny zbiór otwarty, biorąc ich sumy.

W topologii produktowej iloczyn kartezjański dwóch zbiorów otwartych jest zawsze zbiorem otwartym.

Uwaga: Zbiory otwarte w topologii produktowej nie ograniczają się do prostych iloczynów $U \times V$. Obejmują także wszystkie możliwe sumy takich zbiorów. Dlatego zbiór $B$ nie jest topologią, lecz jedynie jej bazą. Gdyby uznać $B$ za topologię, pominęlibyśmy wiele zbiorów otwartych powstających jako ich sumy.

Podobna sytuacja występuje w przypadku zbiorów domkniętych.

W topologii produktowej iloczyn kartezjański dwóch zbiorów domkniętych jest zbiorem domkniętym.

Nie oznacza to jednak, że każdy zbiór domknięty ma taką postać.

Istnieją zbiory domknięte w topologii produktowej, których nie da się zapisać jako iloczynu kartezjańskiego dwóch zbiorów domkniętych.

Przykład
Produkt skończonej liczby przestrzeni topologicznych
Baza topologii produktowej
Uwagi końcowe

Przykład

Przejdźmy do konkretu.

Niech:

$X = \mathbb{R}$ z topologią standardową (zbiorami otwartymi są przedziały $(a, b)$),
$Y = \mathbb{R}$ z tą samą topologią.

Wtedy iloczyn $X \times Y$ to po prostu płaszczyzna $\mathbb{R}^2$.

Bazę topologii produktowej tworzą wszystkie zbiory $U \times V$, gdzie $U$ i $V$ są otwarte.

Na przykład, jeśli $U = (1, 2)$ oraz $V = (3, 4)$, to

$U \times V = (1, 2) \times (3, 4)$

jest zbiorem otwartym w $\mathbb{R}^2$. Geometrycznie odpowiada otwartemu prostokątowi.

otwarty prostokąt na płaszczyźnie

Co się stanie, gdy połączymy dwa takie zbiory?

Weźmy:

$U_1 \times V_1 = (1, 2) \times (3, 4)$,

$U_2 \times V_2 = (1.5, 2.5) \times (3.5, 4.5)$.

To dwa otwarte prostokąty na płaszczyźnie.

suma dwóch otwartych prostokątów

Ich suma

$$ (1, 2) \times (3, 4) \cup (1.5, 2.5) \times (3.5, 4.5) $$

nie jest już jednym prostokątem, ale nadal jest zbiorem otwartym, ponieważ powstaje jako suma elementów bazy.

To prowadzi do ważnego wniosku: każdy punkt płaszczyzny można objąć pewnym zbiorem otwartym zbudowanym z elementów bazy.

Na przykład punkt $(1.8, 3.8)$ należy do zbioru $ (1, 2) \times (3, 4) $, a więc także do ich sumy.

punkt należący do zbioru otwartego

Ten przykład dobrze pokazuje, jak baza $B$ generuje całą topologię na $X \times Y$.

Uwaga: Topologia produktowa jest jedną z najważniejszych konstrukcji w topologii. Pozwala przenieść strukturę topologiczną z przestrzeni $X$ i $Y$ na ich iloczyn w sposób naturalny i spójny.

Przykład 2

Rozważmy teraz prosty przykład skończony.

$X = \{a, b, c\}$ z topologią $\{\emptyset, \{a\}, \{b, c\}, X\}$,
$Y = \{1, 2\}$ z topologią $\{\emptyset, \{1\}, Y\}$.

Aby wyznaczyć topologię produktową na $X \times Y$, wykonujemy dwa kroki:

1. Wyznaczamy wszystkie iloczyny kartezjańskie zbiorów otwartych.

2. Bierzemy wszystkie możliwe sumy tych zbiorów.

$$ B = \{ U \times V \mid U \text{ jest otwarty w } X \text{ oraz } V \text{ jest otwarty w } Y \} $$

Zbiory otwarte w $X$:

$\emptyset$,
$\{a\}$,
$\{b, c\}$,
$X$.

Zbiory otwarte w $Y$:

$\emptyset$,
$\{1\}$,
$Y$.

Iloczyny kartezjańskie:

$\emptyset \times \emptyset = \emptyset$,
$\emptyset \times \{1\} = \emptyset$,
$\emptyset \times Y = \emptyset$,
$\{a\} \times \emptyset = \emptyset$,
$\{a\} \times \{1\} = \{(a, 1)\}$,
$\{a\} \times Y = \{(a, 1), (a, 2)\}$,
$\{b, c\} \times \emptyset = \emptyset$,
$\{b, c\} \times \{1\} = \{(b, 1), (c, 1)\}$,
$\{b, c\} \times Y = \{(b, 1), (b, 2), (c, 1), (c, 2)\}$,
$X \times \emptyset = \emptyset$,
$X \times \{1\} = \{(a, 1), (b, 1), (c, 1)\}$,
$X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}$.

Uwaga: Iloczyn kartezjański dwóch zbiorów $A$ i $B$ to zbiór wszystkich par $(a, b)$, gdzie $a \in A$ oraz $b \in B$. Jeśli jeden ze zbiorów jest pusty, iloczyn również jest pusty.

Topologia produktowa składa się ze wszystkich możliwych sum tych zbiorów. Obejmuje więc m.in.:

$\emptyset$,
$\{(a, 1)\}$,
$\{(a, 1), (a, 2)\}$,
$\{(b, 1), (c, 1)\}$,
$\{(b, 1), (b, 2), (c, 1), (c, 2)\}$,
$\{(a, 1), (b, 1), (c, 1)\}$,
$X \times Y$,
oraz wszystkie ich możliwe sumy.
Na przykład: $\{(a, 1)\} \cup \{(b, 1), (c, 1)\} = \{(a, 1), (b, 1), (c, 1)\}$.

Najważniejszy wniosek jest następujący: zbiory otwarte w topologii produktowej nie ograniczają się do pojedynczych iloczynów $U \times V$, lecz obejmują także wszystkie ich sumy.

Przykładowo: $\{(a, 1)\} \cup \{(b, 1), (c, 1)\}$ jest zbiorem otwartym, mimo że nie ma postaci $U \times V$.

Baza $B$ składa się natomiast wyłącznie z niepustych iloczynów kartezjańskich:

$\{(a, 1)\}$,
$\{(a, 1), (a, 2)\}$,
$\{(b, 1), (c, 1)\}$,
$\{(b, 1), (b, 2), (c, 1), (c, 2)\}$,
$\{(a, 1), (b, 1), (c, 1)\}$,
$X \times Y$.

```html

Produkt skończonej liczby przestrzeni topologicznych

Pojęcie topologii produktowej łatwo uogólnić na iloczyn większej liczby przestrzeni topologicznych.

Niech $ X_1, X_2, \dots, X_n $ będą przestrzeniami topologicznymi. Jeśli dla każdego $ i $ wybierzemy zbiór otwarty $ U_i \subseteq X_i $, to wszystkie iloczyny kartezjańskie postaci $ U_1 \times U_2 \times \cdots \times U_n $ tworzą bazę topologii na przestrzeni $ X_1 \times \cdots \times X_n $, zwanej topologią produktową. $$ B = \{ U_1 \times U_2 \times \cdots \times U_n \mid U_i \text{ jest otwarty w } X_i \text{ dla każdego } i \} $$

Baza topologii produktowej

W przypadku dwóch przestrzeni topologicznych baza topologii produktowej składa się z iloczynów kartezjańskich zbiorów otwartych pochodzących z obu przestrzeni:

$$ B = \{ U \times V \mid U \text{ jest otwarty w } X,\ V \text{ jest otwarty w } Y \} $$

Choć taka konstrukcja jest poprawna, w praktyce okazuje się często zbyt rozbudowana.

Dlatego korzysta się z bardziej ekonomicznego podejścia, opartego na bazach topologii przestrzeni składowych.

Jeżeli $ B_X $ jest bazą topologii przestrzeni $ X $, a $ B_Y $ bazą topologii przestrzeni $ Y $, to zbiór wszystkich iloczynów $ U \times V $, gdzie $ U \in B_X $ oraz $ V \in B_Y $, tworzy bazę topologii produktowej na $ X \times Y $: $$ B = \{ U \times V \mid U \in B_X,\ V \in B_Y \} $$

Taka baza w pełni generuje topologię produktową.

Oznacza to, że każdy zbiór otwarty w przestrzeni $ X \times Y $ można otrzymać jako sumę pewnej rodziny zbiorów postaci $ U \times V $.

Uwaga: To podejście działa równie dobrze dla iloczynów skończonych. Jeśli dla każdej przestrzeni $ X_i $ mamy bazę $ B_i $, to wszystkie iloczyny $ U_1 \times \cdots \times U_n $, gdzie $ U_i \in B_i $, tworzą bazę topologii produktowej na $ X_1 \times \cdots \times X_n $: $$ B = \{ U_1 \times \cdots \times U_n \mid U_i \in B_i,\ i = 1, \dots, n \} $$

Przykład

Rozważmy prosty przypadek dwóch skończonych przestrzeni topologicznych:

$ X = \{a, b\} $ z topologią $ \mathcal{T}_X = \{\emptyset, \{a\}, \{b\}, \{a, b\}\} $, której minimalną bazą jest $ B_X = \{\{a\}, \{b\}\} $,
$ Y = \{1, 2\} $ z topologią $ \mathcal{T}_Y = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\} $, której minimalną bazą jest $ B_Y = \{\{1\}, \{2\}\} $.

Aby zbudować minimalną bazę topologii produktowej, wystarczy połączyć elementy tych baz w pary.

$$ B_X = \{\{a\}, \{b\}\}, \quad B_Y = \{\{1\}, \{2\}\} $$

Otrzymujemy następujące iloczyny kartezjańskie:

$$ \{a\} \times \{1\} = \{(a, 1)\}, \quad \{a\} \times \{2\} = \{(a, 2)\} $$

$$ \{b\} \times \{1\} = \{(b, 1)\}, \quad \{b\} \times \{2\} = \{(b, 2)\} $$

Minimalna baza topologii produktowej ma więc postać:

$$ B_{\text{min}} = \{\{(a, 1)\}, \{(a, 2)\}, \{(b, 1)\}, \{(b, 2)\}\} $$

Choć jest bardzo prosta, pozwala odtworzyć całą topologię produktową poprzez branie sum tych zbiorów.

Wniosek: nawet niewielka liczba elementów bazy może w pełni opisywać strukturę topologiczną, jeśli została dobrana w odpowiedni sposób.

Dowód

Pokażemy teraz, że zbiór $ B = \{U \times V \mid U \in B_X, V \in B_Y\} $ rzeczywiście jest bazą topologii produktowej.

Wiemy, że $ B_X $ i $ B_Y $ są bazami topologii na $ X $ i $ Y $.

Z definicji topologii produktowej wynika, że zbiory otwarte w $ X \times Y $ są sumami zbiorów postaci $ U \times V $, gdzie $ U $ i $ V $ są otwarte.

Aby udowodnić, że $ B $ jest bazą, wystarczy wykazać, że każdy zbiór otwarty można zapisać jako sumę elementów tego zbioru.

Sprawdzenie własności bazy

Niech $ W \subseteq X \times Y $ będzie zbiorem otwartym oraz $ (x, y) \in W $.

Wówczas istnieje zbiór postaci $ U' \times V' \subseteq W $, taki że:

$$ (x, y) \in U' \times V' \subseteq W $$

Ponieważ $ B_X $ jest bazą, istnieje $ U \in B_X $ takie, że $ x \in U \subseteq U' $. Analogicznie istnieje $ V \in B_Y $ takie, że $ y \in V \subseteq V' $.

Otrzymujemy więc:

$$ (x, y) \in U \times V \subseteq U' \times V' \subseteq W $$

Każdy punkt zbioru $ W $ należy więc do pewnego elementu bazy zawartego w $ W $.

Wniosek

Zatem zbiór $ B $ spełnia warunki bycia bazą i generuje topologię produktową na $ X \times Y $.

Dowód jest zakończony.

Uwagi końcowe

Na koniec warto zapamiętać kilka ważnych własności topologii produktowej:

Podprzestrzeń produktu
Jeśli $ A \subseteq X $ oraz $ B \subseteq Y $, to topologia na $ A \times B $ jest zgodna z topologią produktową wyznaczoną przez $ A $ i $ B $. $$ \quad \tau_{A \times B}^{\text{sub}} = \tau_A^{\text{sub}} \times \tau_B^{\text{sub}} $$
Równoważność produktów
Dla przestrzeni $ X, Y, Z $ zachodzi homeomorfizm: $$ (X \times Y) \times Z \cong X \times (Y \times Z) \cong X \times Y \times Z $$
Wnętrze produktu
Dla zbiorów $ A \subseteq X $ oraz $ B \subseteq Y $: $$ \text{Int}(A \times B) = \text{Int}(A) \times \text{Int}(B) $$

```