Producttopologie

Gegeven twee topologische ruimten $X$ en $Y$, definiëren we de producttopologie op $X \times Y$ als de topologie die wordt gegenereerd door de basis $B$, bestaande uit cartesische producten van open verzamelingen van de vorm $U \times V$, waarbij $U$ open is in $X$ en $V$ open is in $Y$. $$ B = \{ U \times V \mid U \text{ is open in } X \text{ en } V \text{ is open in } Y \} $$

Om een topologie op $X \times Y$ te begrijpen, beginnen we met verzamelingen van de vorm $U \times V$, waarbij $U$ open is in $X$ en $V$ open is in $Y$.

Deze verzamelingen vormen samen de familie $B$, die fungeert als een topologische basis.

Een topologische basis is een verzameling open verzamelingen waarmee je alle andere open verzamelingen kunt opbouwen, eenvoudigweg door unies te nemen.

In de producttopologie geldt een belangrijk principe: het cartesisch product van twee open verzamelingen is opnieuw open.

Opmerking : De open verzamelingen in de producttopologie zijn niet beperkt tot de eenvoudige producten $U \times V$. Ook alle mogelijke unies van zulke producten zijn open. De verzameling $B$ vormt dus geen topologie op zichzelf, maar een basis waaruit de volledige topologie wordt opgebouwd.

Een vergelijkbare eigenschap geldt voor gesloten verzamelingen.

In de producttopologie is het cartesisch product van twee gesloten verzamelingen ook gesloten.

Maar let op: niet elke gesloten verzameling in de producttopologie kan geschreven worden als een product van gesloten verzamelingen.

Met andere woorden: net zoals bij open verzamelingen bestaan er gesloten verzamelingen die niet rechtstreeks uit een cartesisch product ontstaan.

Een concreet voorbeeld
Product van meerdere topologische ruimten
Basis van de producttopologie
Slotopmerkingen

Een concreet voorbeeld

We bekijken nu een eenvoudig voorbeeld om het idee concreet te maken.

Neem de volgende topologische ruimten:

$X = \mathbb{R}$, de reële rechte met de standaardtopologie (waarbij de open verzamelingen de intervallen $(a, b)$ zijn).
$Y = \mathbb{R}$, met dezelfde topologie.

Het product $X \times Y$ is dan gewoon het vlak $\mathbb{R}^2$.

De basis $B$ bestaat uit alle verzamelingen $U \times V$, met $U$ open in $X$ en $V$ open in $Y$.

Neem bijvoorbeeld:

$U = (1, 2)$ en $V = (3, 4)$.

Dan is $U \times V = (1, 2) \times (3, 4)$ een open verzameling in $\mathbb{R}^2$. Geometrisch is dit een open rechthoek in het vlak.

open rechthoek in het cartesisch vlak

Wat gebeurt er als we twee van zulke basisverzamelingen combineren?

Neem:

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

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

Dit zijn opnieuw open rechthoeken.

unie van open rechthoeken in het vlak

Hun unie is geen enkel product $U \times V$ meer, maar blijft wel open, omdat ze bestaat uit basiselementen:

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

Dit laat zien dat open verzamelingen in de producttopologie ontstaan door zulke bouwstenen te combineren.

Neem bijvoorbeeld het punt $(1.8, 3.8)$.

Dit ligt in $ (1, 2) \times (3, 4) $ en dus ook in de unie van beide verzamelingen.

punt dat behoort tot een unie van open basisverzamelingen

Dit voorbeeld maakt duidelijk hoe de basis $B$ de volledige topologie op $X \times Y$ voortbrengt.

Opmerking : De producttopologie is bijzonder belangrijk omdat zij de open structuur van $X$ en $Y$ behoudt in het product $X \times Y$.

Voorbeeld 2

We bekijken nu een voorbeeld met eindige ruimten.

$X = \{a, b, c\}$, met topologie $\{\emptyset, \{a\}, \{b, c\}, X\}$
$Y = \{1, 2\}$, met topologie $\{\emptyset, \{1\}, Y\}$

Om de producttopologie op $X \times Y$ te bepalen, berekenen we eerst alle producten $U \times V$ van open verzamelingen, en nemen we daarna alle mogelijke unies.

$$ B = \{ U \times V \mid U \text{ is open in } X \text{ en } V \text{ is open in } Y \} $$

De open verzamelingen van $X$ zijn:

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

De open verzamelingen van $Y$ zijn:

$\emptyset$
$\{1\}$
$Y$

We berekenen nu de producten:

$\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)\}$

Opmerking : Het cartesisch product $A \times B$ bestaat uit alle paren $(a, b)$ met $a \in A$ en $b \in B$. Als één van de verzamelingen leeg is, dan is het product ook leeg.

De producttopologie bestaat uit alle mogelijke unies van deze verzamelingen.

In $X \times Y$ krijgen we dus onder andere:

$\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$
Alle andere unies van deze verzamelingen
Bijvoorbeeld: $\{(a, 1)\} \cup \{(b, 1), (c, 1)\} = \{(a, 1), (b, 1), (c, 1)\}$.

Dit laat opnieuw zien dat open verzamelingen in de producttopologie niet beperkt zijn tot afzonderlijke producten $U \times V$, maar ook ontstaan door deze te combineren.

Bijvoorbeeld: $\{(a, 1)\} \cup \{(b, 1), (c, 1)\}$ is open, hoewel het geen enkelvoudig product is.

De basis $B$ bestaat uit alle niet-lege producten $U \times V$.

$\{(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$

Product van meerdere topologische ruimten

De producttopologie kan zonder moeite worden uitgebreid naar producten van meerdere topologische ruimten.

Gegeven $ n $ topologische ruimten $ X_1, X_2, \dots, X_n $, en voor elke index $ i $ een open verzameling $ U_i \subseteq X_i $, dan vormen alle producten van de vorm $ U_1 \times U_2 \times \cdots \times U_n $ een basis voor een topologie op de productruimte $ X_1 \times \cdots \times X_n $. $$ B = \{ U_1 \times U_2 \times \cdots \times U_n \mid U_i \text{ is open in } X_i \text{ voor alle } i \} $$

Basis van de producttopologie

Voor twee ruimten wordt de producttopologie opgebouwd uit verzamelingen van de vorm $ U \times V $, waarbij $ U $ open is in $ X $ en $ V $ open is in $ Y $.

$$ B = \{ U \times V \mid U \text{ is open in } X,\ V \text{ is open in } Y \} $$

Deze beschrijving is volledig correct, maar in de praktijk vaak minder handig omdat ze tot een grote verzameling kan leiden.

Daarom werkt men meestal met een efficiëntere aanpak, gebaseerd op basissen van de afzonderlijke ruimten.

Zij $ B_X $ een basis van de topologie op $ X $ en $ B_Y $ een basis van de topologie op $ Y $. Dan vormt de verzameling van alle producten $ U \times V $, met $ U \in B_X $ en $ V \in B_Y $, een basis van de producttopologie op $ X \times Y $ : $$ B = \{ U \times V \mid U \in B_X,\ V \in B_Y \} $$

Met deze constructie kan men de volledige producttopologie op $ X \times Y $ opbouwen.

De verzamelingen in $ B $ fungeren als bouwstenen: elke open verzameling in de producttopologie ontstaat als een unie van zulke elementen.

Opmerking : Deze aanpak werkt niet alleen voor twee ruimten, maar ook voor elk eindig aantal. Als voor elke ruimte $ X_i $ een basis $ B_i $ gegeven is, dan vormen de producten $ U_1 \times \cdots \times U_n $, met $ U_i \in B_i $, een basis van de producttopologie op $ X_1 \times \cdots \times X_n $.

Voorbeeld

We illustreren dit met een eenvoudig voorbeeld.

$X = \{a, b\}$, met topologie $ \mathcal{T}_X = \{\emptyset, \{a\}, \{b\}, \{a, b\}\} $. Een minimale basis is $ B_X = \{\{a\}, \{b\}\} $.
$Y = \{1, 2\}$, met topologie $ \mathcal{T}_Y = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\} $. Een minimale basis is $ B_Y = \{\{1\}, \{2\}\} $.

Om een basis voor de producttopologie te verkrijgen, volstaat het om de producten te nemen van elementen uit $ B_X $ en $ B_Y $.

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

Dit levert de volgende verzamelingen op:

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

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

De bijbehorende basis is dan:

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

Met deze vier verzamelingen kun je al de volledige producttopologie op $ X \times Y $ reconstrueren.

Het idee is eenvoudig: door te werken met de kleinste bouwstenen, blijft de beschrijving overzichtelijk zonder informatie te verliezen.

Bewijs

We laten zien dat $ B = \{U \times V \mid U \in B_X, V \in B_Y\} $ inderdaad een basis vormt.

Volgens de definitie van de producttopologie zijn open verzamelingen unies van verzamelingen van de vorm $ U \times V $, met $ U $ en $ V $ open.

Het volstaat dus te bewijzen dat elke open verzameling $ W \subseteq X \times Y $ kan worden opgebouwd uit elementen van $ B $.

Controle van de basiseigenschap

Neem een punt $ (x, y) \in W $.

Dan bestaat er een open rechthoek $ U' \times V' \subseteq W $ met:

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

Omdat $ B_X $ en $ B_Y $ basissen zijn, vinden we verzamelingen $ U \in B_X $ en $ V \in B_Y $ zodat:

$$ x \in U \subseteq U', \quad y \in V \subseteq V' $$

Hieruit volgt:

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

Dus elk punt van $ W $ ligt in een basisverzameling die volledig in $ W $ zit.

Conclusie

Daarmee is aangetoond dat $ B $ de producttopologie genereert en dus een geldige basis vormt.

Slotopmerkingen

Tot slot enkele nuttige eigenschappen van de producttopologie:

Deelruimtestelling voor producten
Als $ A \subseteq X $ en $ B \subseteq Y $ deelruimten zijn, dan komt de geïnduceerde topologie op $ A \times B $ overeen met de producttopologie van $ A $ en $ B $.
Topologische equivalentie van producten
Voor ruimten $ X, Y, Z $ zijn $ (X \times Y) \times Z $, $ X \times (Y \times Z) $ en $ X \times Y \times Z $ homeomorf. De plaatsing van haakjes maakt dus geen verschil.
Inwendige van een cartesisch product
Voor $ A \subseteq X $ en $ B \subseteq Y $ geldt: $$ \text{Int}(A \times B) = \text{Int}(A) \times \text{Int}(B) $$