Teorem o podprostoru produkta topoloških prostora

Neka su \(A\) i \(B\) podskupovi topoloških prostora \(X\) i \(Y\), $$ A \subseteq X $$ $$ B \subseteq Y $$ tada se topologija na produktu \(A \times B\), posmatrana kao podprostor prostora \(X \times Y\), podudara sa produktnom topologijom na \(A \times B\) koja se dobija iz podprostorskih topologija na \(A\) i \(B\), indukovanih iz \(X\) i \(Y\) : $$ \quad \tau_{A \times B}^{\text{sub}} = \tau_A^{\text{sub}} \times \tau_B^{\text{sub}} $$

Ovdje \(\tau_{A \times B}^{\text{sub}}\) označava topologiju koju \(A \times B\) nasljeđuje kao podprostor od \(X \times Y\), dok \(\tau_A^{\text{sub}}\) i \(\tau_B^{\text{sub}}\) predstavljaju topologije koje skupovi \(A\) i \(B\) nasljeđuju iz prostora \(X\) i \(Y\).

Suština teorema je jednostavna, iako na prvi pogled može djelovati tehnički: postoje dva prirodna načina da definišemo topologiju na skupu \(A \times B\), ali oba vode do potpuno istog rezultata.

Drugim riječima, bilo da prvo posmatramo veći prostor \(X \times Y\) pa iz njega izdvojimo \(A \times B\), ili da najprije posmatramo \(A\) i \(B\) zasebno pa zatim formiramo njihov produkt, dobijamo identičnu topološku strukturu.

Ovaj rezultat je važan jer pokazuje da je konstrukcija stabilna i konzistentna, bez obzira na redoslijed koraka.

Konkretan primjer

Da bismo bolje razumjeli ideju, pogledajmo konkretan primjer.

Posmatrajmo dva topološka prostora \(X\) i \(Y\). Kao intuitivan model možemo uzeti kartezijsku ravan, gdje \(X\) predstavlja osu \(x\), a \(Y\) osu \(y\).

Neka su \(A \subseteq X\) i \(B \subseteq Y\) podskupovi tih prostora.

Na primjer, uzmimo \(A = [1, 2]\) i \(B = [3, 4]\).

Tada je kartezijski produkt \(A \times B\) skup svih uređenih parova \((x, y)\) takvih da je \(x \in A\) i \(y \in B\).

Geometrijski, ovaj skup predstavlja pravougaonik u ravni, ograničen vrijednostima \(x\) između 1 i 2 i \(y\) između 3 i 4.

Topologiju na \(A \times B\) možemo definisati na dva ekvivalentna načina :

1. Podprostorska topologija
   Posmatramo \(A \times B\) kao dio prostora \(X \times Y\), koji je već opremljen produktnom topologijom. Topologija na \(A \times B\) tada se dobija ograničavanjem te postojeće topologije.
2. Produktna topologija
   Drugi pristup je da najprije posmatramo skupove \(A\) i \(B\) sa topologijama koje nasljeđuju iz \(X\) i \(Y\), a zatim formiramo njihovu produktnu topologiju na \(A \times B\).

Ključna poruka je da ove dvije konstrukcije daju potpuno isti rezultat.

Bez obzira na to koji pristup odaberemo, dobijena topologija na \(A \times B\) ostaje ista.

I tako dalje...