Topologische continuïteit

Laat \(X\) en \(Y\) twee topologische ruimten zijn. Een afbeelding \(f : X \to Y\) heet continu indien voor elke open verzameling \(V \subseteq Y\) het inverse beeld \(f^{-1}(V)\) een open verzameling is in \(X\).

In eenvoudige termen: een continue afbeelding verstoort de structuur van open verzamelingen niet wanneer zij punten van de ene ruimte naar de andere afbeeldt.

Topologische continuïteit draait dus om het behouden van de open structuur van een ruimte, ook na een transformatie.

Opmerking : In de klassieke analyse wordt continuïteit beschreven in termen van afstanden tussen punten. In de topologie is dat anders: hier speelt afstand geen centrale rol. In plaats daarvan kijkt men naar hoe een afbeelding omgaat met open verzamelingen. Dat maakt deze definitie veel algemener en toepasbaar in situaties waarin een afstand niet eens gedefinieerd is.

Je kunt een continue afbeelding bijvoorbeeld zien als een vervorming van een geometrische figuur zonder scheuren of onderbrekingen.

De essentie blijft: de oorspronkelijke structuur, en vooral de open verzamelingen, blijft behouden.

Een concreet voorbeeld

Beschouw twee topologische ruimten \(X = \{a, b, c, d\}\) en \(Y = \{1, 2\}\).

• De open verzamelingen van \(X\) zijn: \(\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\}\).
• De open verzamelingen van \(Y\) zijn: \(\emptyset, \{1\}, \{1, 2\}\).

Definieer een afbeelding \(f : X \rightarrow Y\) als volgt:

\( f(a) = 1 \), \( f(b) = 1 \), \( f(c) = 2 \), \( f(d) = 2 \)

Is deze afbeelding continu?

Om dat te controleren, bekijken we wat er gebeurt met de open verzamelingen van \(Y\) wanneer we het inverse beeld nemen.

Controle:

• Voor de open verzameling \(\{1\}\) geldt: \( f^{-1}(\{1\}) = \{a, b\} \), en dit is open in \(X\).
• Voor de open verzameling \(\{1, 2\}\) geldt: \( f^{-1}(\{1, 2\}) = X \), en ook dit is open.

De lege verzameling hoeven we niet te controleren, want die is altijd open.

Conclusie: de afbeelding \(f\) is continu.

Voorbeeld 2

Beschouw nu een andere afbeelding \(g : X \rightarrow Y\):

\( g(a) = 1 \), \( g(b) = 1 \), \( g(c) = 1 \), \( g(d) = 2 \)

We herhalen dezelfde controle.

• Voor \(\{1\}\) geldt: \( g^{-1}(\{1\}) = \{a, b, c\} \), en dit is geen open verzameling in \(X\).

Hier gaat het dus mis.

Conclusie: de afbeelding \(g\) is niet continu.

Voorbeeld 3

Beschouw de identiteitsafbeelding \( id : X \to X \), gedefinieerd door \( id(x) = x \).

$$ x = f(x) $$

Deze afbeelding verandert niets: elk punt blijft waar het is.

Daarom blijft elke open verzameling open.

Conclusie: de identiteitsafbeelding is altijd continu.

Voorbeeld 4

Beschouw een constante afbeelding \( f : X \to Y \), gegeven door \( f(x) = c \).

$$ f(x) = c $$

Elke invoer levert dezelfde waarde op.

Wat gebeurt er met een open verzameling \(V\) in \(Y\)?

• Als \(c \in V\), dan is \( f^{-1}(V) = X \).
• Als \(c \notin V\), dan is \( f^{-1}(V) = \emptyset \).

Beide verzamelingen zijn open in \(X\).

Conclusie: elke constante afbeelding is continu.

Opmerking : Dit voorbeeld laat zien dat continuïteit niet alleen afhangt van de vorm van de afbeelding, maar ook van de structuur van de betrokken ruimten.

Voorbeeld 5

Beschouw opnieuw de identiteitsafbeelding \( f : X \to Y \), maar nu tussen twee verschillende topologieën op \( \mathbb{R} \).

• \(X\): de reële getallen met de standaardtopologie, met open intervallen \( (a, b) \).
• \(Y\): dezelfde verzameling, maar met de ondergrens-topologie, met verzamelingen van de vorm \([a, b)\).

Neem de open verzameling \( [0, 1) \) in \(Y\).

Omdat \(f\) de identiteit is, geldt: \( f^{-1}([0, 1)) = [0, 1) \).

Maar deze verzameling is niet open in de standaardtopologie.

Opmerking : Rond het punt \(0\) bestaat geen open interval dat volledig in \( [0, 1) \) ligt, omdat zulke intervallen ook negatieve getallen bevatten.

Conclusie: de identiteitsafbeelding is hier niet continu.

Dit voorbeeld maakt een belangrijk punt duidelijk: continuïteit hangt niet alleen af van de afbeelding zelf, maar ook van de gekozen topologieën.

Dezelfde functie kan dus wel of niet continu zijn, afhankelijk van de context.

Basistheorema voor continuïteit

Laat \(X\) en \(Y\) twee topologische ruimten zijn. Een afbeelding \(f : X \to Y\) is continu dan en slechts dan als voor elk element \(B_Y\) van een basis van de topologie op \(Y\), het inverse beeld \(f^{-1}(B_Y)\) een open verzameling is in \(X\).

Dit theorema is bijzonder nuttig, omdat het de controle van continuïteit veel eenvoudiger maakt.

In plaats van alle open verzamelingen van \(Y\) te moeten bekijken, volstaat het om enkel de elementen van een basis van de topologie van \(Y\) te onderzoeken.

Daardoor wordt het aantal gevallen dat je moet controleren sterk beperkt, wat het werk aanzienlijk sneller en overzichtelijker maakt.

Bewijs : Elke open verzameling van \(Y\) kan worden geschreven als een (eventueel oneindige) unie van basiselementen. Als het inverse beeld van elk basiselement open is in \(X\), dan is ook het inverse beeld van elke unie open, omdat een unie van open verzamelingen opnieuw open is. Hieruit volgt dat \(f\) continu is.

Voorbeeld

Neem \(X = \{a, b, c, d\}\) en \(Y = \{x, y, z\}\), met de volgende topologieën:

• Op \(X\): \( \tau_X = \{\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\}\} \).
• Op \(Y\): een basis \(B_Y = \{\{x\}, \{y\}, \{z\}\}\).

De open verzamelingen van \(Y\) ontstaan als unies van deze basiselementen. Bijvoorbeeld:

De verzamelingen \( \{x, y\} \), \( \{x, z\} \), \( \{y, z\} \) en \( \{x, y, z\} \) behoren niet tot de basis, maar zijn wel open omdat ze unies zijn van basiselementen.

Definieer nu een afbeelding \(f : X \to Y\):

• \(f(a) = x\)
• \(f(b) = x\)
• \(f(c) = y\)
• \(f(d) = z\)

Om te controleren of \(f\) continu is, volstaat het om de inverse beelden van de basiselementen te bekijken.

• \(f^{-1}(\{x\}) = \{a, b\}\), en dat is open in \(X\).
• \(f^{-1}(\{y\}) = \{c\}\), en dat is niet open in \(X\).

Omdat één basiselement al een probleem geeft, is de conclusie meteen duidelijk:

de afbeelding \(f\) is niet continu.

Opmerking : Eén enkel tegenvoorbeeld volstaat. Je hoeft dus niet alle gevallen te controleren om te besluiten dat een functie niet continu is.

Continuïteit bij grovere en fijnere topologieën

Als een afbeelding continu is voor een grovere topologie, dan is zij automatisch ook continu voor elke fijnere topologie op dezelfde verzameling.

De omgekeerde uitspraak geldt in het algemeen niet: een afbeelding kan continu zijn in een fijnere topologie zonder continu te zijn in een grovere topologie.

Wat betekent grover en fijner? Gegeven twee topologieën op dezelfde verzameling \(X\), zegt men dat een topologie grover is als zij minder open verzamelingen bevat. Een fijnere topologie bevat juist meer open verzamelingen.

Voorbeeld

Neem \(X = \{a, b\}\) met twee topologieën:

1. Grover : \( \tau_1 = \{\varnothing, \{a, b\}\} \).
2. Fijner : \( \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} \).

Definieer een afbeelding \(f : X \to Y\), met \(Y = \{1\}\):

$$ f(a) = 1 \quad ; \quad f(b) = 1 $$

In de grove topologie \( \tau_1 \) zijn alleen \( \varnothing \) en \( \{a, b\} \) open.

Controle:

• \( f^{-1}(\varnothing) = \varnothing \), open.
• \( f^{-1}(\{1\}) = \{a, b\} \), open.

Dus \(f\) is continu in de grove topologie.

Omdat alle open verzamelingen van \( \tau_1 \) ook open zijn in \( \tau_2 \), volgt dat \(f\) ook continu is in de fijnere topologie.

Controle in \( \tau_2 \):

• \( f^{-1}(\varnothing) = \varnothing \), open.
• \( f^{-1}(\{1\}) = \{a, b\} \), open.

De functie is dus in beide gevallen continu.

Let op : de omgekeerde richting geldt niet. Meer open verzamelingen betekent niet automatisch dat continuïteit behouden blijft wanneer je naar een grovere topologie gaat.

Voorbeeld 2

Neem opnieuw \(X = \{a, b\}\) met dezelfde topologieën.

Definieer nu \(g : X \to Y\), met \(Y = \{1, 2\}\):

$$ g(a) = 1 \quad ; \quad g(b) = 2 $$

In de fijnere topologie \( \tau_2 \) is \(g\) continu:

• \( g^{-1}(\varnothing) = \varnothing \), open.
• \( g^{-1}(\{1,2\}) = \{a,b\} \), open.
• \( g^{-1}(\{1\}) = \{a\} \), open.
• \( g^{-1}(\{2\}) = \{b\} \), open.

In de grovere topologie \( \tau_1 \) gaat het mis:

• \( g^{-1}(\{1\}) = \{a\} \), en dat is niet open.

Conclusie: \(g\) is continu in \( \tau_2 \), maar niet in \( \tau_1 \).

Samenhang en continuïteit: twee kernbegrippen in de topologie

In de topologie spelen samenhang en continuïteit een centrale rol. Ze beschrijven allebei hoe punten in een ruimte met elkaar verbonden zijn, maar vanuit twee verschillende perspectieven: samenhang zegt iets over de structuur van de ruimte zelf, terwijl continuïteit gaat over het gedrag van afbeeldingen tussen ruimten.

Het is belangrijk om dit onderscheid goed te begrijpen. Het helpt om beter te zien wat er precies gebeurt wanneer je met topologische ruimten en functies werkt.

• Samenhang: een eigenschap van de ruimte
  Een topologische ruimte \( X \) heet samenhangend als je haar niet kunt opsplitsen in twee niet-lege, disjuncte open verzamelingen die samen \( X \) vormen. Anders gezegd: de ruimte valt niet uiteen in twee gescheiden stukken. Een equivalente formulering is dat \( X \) niet kan worden geschreven als de unie van twee disjuncte verzamelingen die tegelijk open en gesloten zijn (zogenoemde clopen verzamelingen). Intuïtief betekent dit dat de ruimte "één geheel" vormt. Deze eigenschap hangt alleen af van de ruimte zelf, niet van functies die erop gedefinieerd zijn.
• Continuïteit: een eigenschap van afbeeldingen
  Continuïteit heeft betrekking op een afbeelding \( f: X \to Y \). De afbeelding heet continu als voor elke open verzameling \( V \subseteq Y \) het inverse beeld \( f^{-1}(V) \) open is in \( X \). In eenvoudige termen: een continue afbeelding verstoort de topologische structuur niet en introduceert geen sprongen. Zo is de functie \( f(x) = x^2 \) continu van \( \mathbb{R} \) naar \( \mathbb{R} \) in de standaardtopologie, maar dat zegt op zichzelf niets over de samenhang van \( \mathbb{R} \).

Hoewel deze begrippen nauw met elkaar verbonden zijn, beschrijven ze dus verschillende dingen: samenhang is een eigenschap van een ruimte, continuïteit van een afbeelding.

Er is wel een belangrijk verband. Als \( X \) samenhangend is en \( f: X \to Y \) continu, dan is het beeld \( f(X) \) ook samenhangend. Met andere woorden: continuïteit bewaart samenhang.

Samengevat: samenhang beschrijft hoe een ruimte als geheel in elkaar zit, terwijl continuïteit beschrijft hoe een functie met die structuur omgaat. Samen vormen ze de basis van de topologie.

Opmerkingen

Enkele nuttige aanvullingen over continuïteit:

• Een continue afbeelding is niet noodzakelijk open
  Een continue afbeelding stuurt open verzamelingen niet altijd naar open verzamelingen. Continuïteit alleen is dus niet voldoende om openheid te behouden.
• Lijmlemma
  Als twee continue afbeeldingen \( f : A \to Y \) en \( g : B \to Y \) hetzelfde gedrag hebben op \( A \cap B \), dan kun je ze samenvoegen tot één continue afbeelding \( h : A \cup B \to Y \).
• Continuïteit van de inclusie
  De inclusie-afbeelding \( f : Y \hookrightarrow X \), gegeven door \( f(y) = y \), is altijd continu wanneer \(Y\) als deelruimte van \(X\) wordt beschouwd.
• Continuïteit in de quotiënttopologie
  Als \(f : X \to A\) surjectief is, kun je op \(A\) de quotiënttopologie definiëren zodat \(f\) automatisch continu wordt.
• Stelling over afsluiting
  Als \(x \in \overline{A}\) in \(X\), dan ligt \(f(x)\) in \( \overline{f(A)} \) in \(Y\), op voorwaarde dat \(f\) continu is.
• Definitie via open verzamelingen
  Een afbeelding is continu als het inverse beeld van elke open verzameling open is.
• Definitie via gesloten verzamelingen
  Equivalent: een afbeelding is continu als het inverse beeld van elke gesloten verzameling gesloten is.
• Samenstelling van continue afbeeldingen
  De samenstelling \( g \circ f \) van twee continue afbeeldingen is opnieuw continu.
• Continuïteit en convergente rijen
  Een continue afbeelding bewaart de limiet van convergente rijen.
• Polynomiale functies
  In \( \mathbb{R} \) met de standaardtopologie is elke polynomiale functie \( p(x) = a_nx^n + \dots + a_0 \) continu.

Dit zijn slechts enkele van de vele eigenschappen die een rol spelen in de studie van continuïteit.