Topologi/Topologiska rum
Vi börjar direkt med den vanligaste formella definitionen av topologier på mängder. Vi väljer då att se egenskapen att en delmängd är öppen som en odefinierad grundegenskap, och definierar övriga viktiga begrepp i termer av öppna mängder.
Den vanliga definitionen
[redigera]Definition: En topologi på en mängd X är en mängd av delmängder till X sådan att följande axiom är uppfyllda:
- (Ö1) ,
- (Ö2) ,
- (Ö3) Varje union av mängder ur är ett element i ,
- (Ö4) Varje ändligt snitt av mängder ur är ett element i .
Definition: En delmängd G av X säges vara öppen (i topologin ), om .
Definition: Ett topologiskt rum är ett par av en mängd och en topologi på X. X kallas den underliggande mängden till detta topologiska rum, och kallas en topologi på X.
Konvention: Informellt kallas ofta X självt för ett topologiskt rum, och elementen i X för punkter i detta rum. Detta fungerar bra, så länge som man bara betraktar en viss given topologi på X. Man bör dock komma ihåg att det finns flera olika möjliga topologier på varje mängd som innehåller fler än ett element.
Observationer. Med de vanliga konventionerna för "tomma" unioner och snitt blir villkoren (Ö1) och (Ö2) formellt överflödiga, därför att de blir logiska konsekvenser av (Ö3) repektive (Ö4). Tar jag ut noll (vilket råkar vara ett ändligt antal) mängder, som är element i , så är "deras" union respektive skärning ju ∅ respektive X.
Å andra sidan kan man, om man tar med villkoret (Ö2), ersätta (Ö4) med det formellt sett litet svagare och i praktiken litet mer lättkontrollerade villkoret
- (Ö4'):
Om (Ö2) och (Ö4') gäller, och ' ⊆ och är ändlig, så måste nämligen verkligen ∩' ∈ enligt (Ö2), om |'| = 0; per definition, om |'| = 1; och enligt (Ö4') och induktion med avseende på |'| annars.
Exempel 1: Varje mängd X har en "svagaste" eller "grövsta" topologi , den triviala topologin, och en "starkaste" eller "finaste" topologi , den diskreta topologin. I den triviala topologin är bara de två delmängder av X öppna, som måste vara det enligt de två första axiomen. I den diskreta topologin är däremot alla delmängder av X öppna.
Exempel 2. Låt , och låt bestå av alla delmängder som kan skrivas som , där är en (ändlig eller oändlig) uppräkning av primtal. Låt dessutom tomma mängden . Exempelvis gäller . Då bildar ett topologiskt rum.
Exempel 3. Låt och definiera som alla unioner av delintervall till som saknar randpunkter. är ett topologiskt rum.
Baser
[redigera]Exempel 3 förtjänar litet noggrannare analys. I exemplet beskrev vi en sorts "grundläggande" öppna mängder, nämligen de intervall som saknar randpunkter, alltså de som är öppna intervall i vanlig mening. Vi stannade dock inte där, därför att mängden av dessa intervall inte uppfyller alla de fyra axiomen för öppna mängder. Visserligen uppfylls (Ö2), och om vi lägger till tomma mängden, så uppfylls också (Ö1) och (Ö4); det senare, eftersom skärningen av två öppna intervall antingen är ett öppet intervall eller tom. Om a < b < c < d, så är ju exempelvis
För att få (Ö3) uppfyllt måste vi dock också lägga till även alla unioner av sådana mängder, för att få en topologi. I denna situation säger vi att mängden av öppna delintervall av X utgör en bas för topologin . Helt allmänt har vi:
Definition: En delmängd av en topologi är en bas för , om varje element i är en union av vissa av mängderna i , eller, med andra ord, om följande villkor uppfylls:
- (BÖ)
I praktiken var det dock inte så att vi först hade och sedan hittade , utan precis tvärtom. Därför är den relevanta frågan snarast
- Vad krävs av en mängd delmängder av en mängd X, för att (BÖ) skall definiera en topologi på X?
Ett svar ges av nedanstående sats:
Sats 1. Låt X vara en godtycklig mängd, och låt vara en mängd av delmängder av X. Då är mängden en topologi på X (och alltså en bas för denna topologi), om och endast om följande villkor uppfylls:
- (B)
"Översättning": |
---|
Villkoret (B) är formulerat kort och koncist ovan. För att sådana formuleringar skall vara till nytta behöver man dock kunna läsa ut och tolka vad som står. I det här fallet kan texten utläsas
Som alltid när man rör sig med logiska kvantifikatorer är det viktigt att inse i vilken ordning kvantifieringarna kommer. Varje skärning av ändligt många element i måste alltså på något vis också vara en union av (ändligt eller oändligt) många element ur ; men om man har skärningar av olika uppsättningar element, så måste förmodligen också unionerna tas över olika uppsättningar element. |
Bevis: Sätt . Vår uppgift är att visa att är en topologi om och endast om villkoret (B) är uppfyllt.
Först av allt kan vi se att varje element A ∈ också tillhör , eftersom {A} är en ändlig delmängd av , och ∪{A} = A. Oavsett av om (B) uppfylls eller ej, och om är eller inte är en topologi, är alltså åtminstone en delmängd av .
Om nu faktiskt är en topologi, så är därför alla element i öppna mängder. Är dessutom ' en ändlig delmängd av , så måste på grund av villkoret (Ö4) också ∩' vara en öppen mängd, d. v. s. ett element i . På grund av definitionen av måste detta element vara unionen av en uppsättning element i . Existensen av en sådan uppsättning är just villkoret (B).
Vi har alltså visat att om är en topologi, så gäller (B). Vi måste nu också visa omvändningen. Vi antar alltså att (B) gäller för , och visar villkor för villkor att då också (Ö1), (Ö2), (Ö3) och (Ö4') gäller för .
(Ö1): Tomma mängden ∅ är ju en delmängd av , och den tomma unionen ∪∅ = ∅. ∅ är alltså ett element i (enligt (BÖ) tillämpad för ' := ∅).
(Ö2): Eftersom ∅ är en ändlig delmängd av , är X = ∩∅ ∈ .
(Ö3): En godtycklig union av element ur är ju en union av unioner av element ur , och alltså själv en union av element ur .
(Ö4'): Låt M och N vara två godtyckliga element i . Vår uppgift är att visa att då nödvändigtvis även M∩N ∈ .
Enligt definitionen av måste det finnas två delmängder ' och '' av , sådana att M = ∪' och N = ∪''. Enligt de allmänna egenskaperna för mängder är då
där ju dessutom varje sådan skärning B' ∩ B'' en union av element ur . Alltså är M ∩ N själv en sådan union, vilket var vad som skulle visas.♦
Observation: Om är en bas för topologin , så är vi garanterade att varje öppen mängd A på något sätt kan skrivas som en union av element ur . Alla dessa element är ju själva öppna mängder (eftersom ), och dessutom delmängder av A. Lägger vi till fler baselement som är delmängder av A, så kommer vi aldrig att kunna få en union större än A. Därför har vi följande bekväma lemma:
Lemma: Om (X,) är ett topologiskt rum, och en delmängd av , så är en bas för om och endast om följande implikation gäller:
- (BÖ') ♦
Ibland kan det vara lättare att visa att en mängd uppfyller ett par litet starkare villkor, än att visa (B) direkt. Följande inses lätt:
Sats 2. Låt X vara en godtycklig mängd, och låt vara en mängd av delmängder av X, som uppfyller villkoren
- (B1) , och
- (B2)
Då uppfyller även (B). Speciellt är alltså mängden en topologi på X, och är en bas för denna topologi.♦
Övning: Genomför beviset formellt!
Observera, att det var just (B1) och (B2) vi verifierade i det inledande exemplet med mängden av öppna intervall i R.
Exempel 4. Låt X = Z (mängden av alla heltal), och låt för varje n ∈ N och varje m ∈ \{0,1,...,2n-1 delmängden Bn,m definieras av
- .
Familjen = {Bn,m}n,m är en bas för en topologi på Z. Denna topologi kallas den dyadiska topologin på Z.
- Kompakthet samt framför allt Tichonovs sats blir lättare att formulera om man även har "slutna baser" som begrepp. (Ref. S.; R.B..)
Subbaser
[redigera]Sats 3. Låt X vara en mängd, och en mängd av delmängder till X. Då är mängden av unioner av ändliga snitt av element ur en topologi. Vidare är en delmängd av , och är skärningen av alla topologier på X, sådana att alla element i är öppna. Vidare är då
en bas för .
Anmärkning: Det finns två sätt att behandla övergången från till på: Dels kan man uppfatta "konstruktivt" eller "nedifrån", och dels kan ses "existentiellt" eller "uppifrån". Man behöver bara använda den ena metoden för beviset. I det här fallet är vilken som av metoderna lätt att använda, och ger ett bevis av "inses lätt"-karaktär. Vi ger ändå bevis enligt båda metoderna denna gång, för att illustrera skillnaden mellan synsätten. De här två synsätten kommer nämligen att återkomma i andra sammanhang i denna bok.
Bevis 1 av sats 3: Observera, att med satsens definitioner av och är den mängd som fås ur medelst föreskriften (BÖ). För att visa att är en topologi är det därför enligt sats 2 tillräckligt att visa att uppfyller (B1) och (B2).
Snittet av två snitt av ändligt många element ur vardera är självt ett snitt av ändligt många -element, vilket visar (B1). Eftersom vidare ∅ ⊆ , gäller definitionsmässigt X = ∩∅ ∈ , och alltså gäller a fortiori ("desto starkare", "i än högre grad") (B2).
Vi har därmed visat att är en topologi, och att är en bas för denna topologi. Det återstår att visa att varje A ∈ också ligger i varje topologi ' ⊇ . A är en union av element i . Varje B ∈ är i sin tur en skärning av ändligt många element ur , som är öppna i (X,') enligt antagandet, och därför är varje sådant B också öppet däri enligt (Ö4). Alltså är A en union av öppna mängder i (X,'), och alltså själv öppen däri enligt (Ö3). Vi har därmed visat att varje element i också tillhör topologin ', vilket var vad som behövdes för att fullboda beviset.♦
Bevis 2 av sats 3:
- Inför ovan, och åberopa här, att en skärning av ett godtyckligt antal topologier på en mängd själv är en topologi. Möjligen göres detta först här, där man kan se en tillämpning av denna kanske litet abstrakta sats. 'Inför som skärningen av alla topologier som omfattar .
Möjligen brytes argumenten i bevis 1 runt ' ut som ett eget lemma, innan bevisen startar.
- Inför ovan, och åberopa här, att en skärning av ett godtyckligt antal topologier på en mängd själv är en topologi. Möjligen göres detta först här, där man kan se en tillämpning av denna kanske litet abstrakta sats. 'Inför som skärningen av alla topologier som omfattar .
Definitioner: Detta sägs generera denna topologi , och sägs vara en subbas för .
Anmärkning: Termen "subbas" (en sammansättning av sub- i betydelsen under samt bas) är ett inarbetat men litet olyckligt namn på detta begrepp, eftersom en subbas normalt inte är en bas; exempelvis "halvbas", "prebas", "pseudobas" eller "generatormängd" hade nog egentligen varit bättre.
Övning. Vilken topologi på X genereras av den tomma mängden?
Några andra grundläggande begrepp
[redigera]I det här avsnittet inför vi några begrepp, som egentligen är lika grundläggande som begreppet "öppen mängd". Eftersom vi har valt att låta "öppen mängd" vara grundbegreppet i teorin, definierar vi de övriga med hjälp av de öppna mängderna (och allmänna mängdoperationer), och härleder deras grundläggande egenskaper från axiomen (Ö1) till (Ö4). Vi kommer dock att se, att vi lika gärna hade kunnat ta något av de andra begreppen som grundbegrepp, och sedan införa begreppet öppenhet med hjälp av det grundbegrepp vi hade valt. Vi kan i stället till exempel specificera vilka mängder som är slutna. I slutändan får vi ändå samma teori.
Det här har den praktiska konsekvensen att vi inte är bundna till att specificera just vilka mängder som är öppna, när vi vill definiera en topologi på en viss mängd.
De begrepp vi behandlar i avsnittet är följande:
Definition: En delmängd A av X säges vara sluten om dess komplement .
Definition: Höljet eller det slutna höljet till en delmängd A av X är .
Definition: Det inre av en delmängd A av X är .
Definition: En delmängd A av X är en omgivning till en punkt x ∈ X, om det finns en öppen mängd U ∈ , sådan att .
Slutna mängders egenskaper
[redigera]Låt vara mängden av slutna mängder i X. Då har följande egenskaper:
- (S1) .
- (S2) .
- (S3) Varje snitt av mängder ur är ett element i .
- (S4) Varje ändlig union av mängder ur är ett element i ,
Bevis: Varje villkor följer direkt från motsvarande villkor för öppna mängder, genom att man använder definitionen av sluten mängd samt egenskaperna för mängdkomplement. (Detta betyder att (S1) följer av (Ö1), (S2) följer av (Ö2), och så vidare.)
Exempelvis följer (S1) ur (Ö1), därför att enligt (Ö1), och . Alltså är X komplementet till en öppen mängd, vilket var definitionen på sluten mängd.
På liknande sätt använder man att för (S2), att komplementet till snittet av ett antal mängder är unionen av dessa mängders komplement för (S3), och att komplementet till en ändlig union av mängder är snittet av dessa mängders komplement för (S4). ♦
Antag nu omvänt att en mängd X och en familj X-delmängder som uppfyller (S1), (S2), (S3) och (S4). Då utgör elementen i de slutna mängderna i en topologi ' på X. Åsätt nämligen ' genom
Vi får då att (Ö1), ..., (Ö4) uppfylls för ', med samma slags resonemang som i det nyss avslutade beviset. Eftersom komplementet till komplementet till en mängd är den ursprungliga mängden. ät det vidare klart, att om från början definierats som de slutna mängderna i rummet (X,), så är ' = ; så att vi får en bijektion mellan topologier på X å ena sidan, och mängder av X-delmängder som uppfyller (S1), ..., (S4) å den andra.
Vi skulle därför i princip lika gärna kunna ha valt att se slutenhet i stället för öppenhet som grundbegrepp i topologin, och definierat öppna mängder som komplement till slutna. Att vi valt att arbeta med öppna mängder beror på att i många tillämpningar ger detta litet enklare definitioner och kontroller av egenskaper än alternativet att arbeta med slutna mängder ger.
Det finns dock också åtskilliga tillämpningar, där det går på ett ut huruvida öppenhet eller slutenhet är grundbegrepp; och också viktiga exempel på att slutenhet är det naturligare begreppet.
Exempel från kommutativ algebra: |
---|
Ringspektra[redigera]Låt A vara en kommutativ unitär ring (alltså en kommutativ ring "med etta"), skild från nollringen, och låt X vara mängden av alla primideal i A. På X definierar vi nu Zariskitopologin genom föreskriften att en delmängd V av X är sluten, om det finns en delmängd E ⊆ A, sådan att
Det resulterande topologiska rummet kallas spektrum för ringen A, och betecknas Spec A. För att visa att verkligen vi får en topologi med denna föreskrift kan vi betrakta och visa att uppfyller (S1), ..., (S4). (S1), (S2) och (S3) följer omedelbart av
men för att visa (S4) är det till hjälp att först visa två hjälpsatser, som också har intresse i sig själva. Vi formulerar delvis det första lemmat i termer av "slutna mängder", vilket förstås för ögonblicket bara betyder "element i ". Så snart vi har visat att (ZS) verkligen definierar de slutna mängderna i en topologi, ger dock lemmat en ny karakterisering av dessa slutna mängder. Lemma. Om A är en kommutativ unitär ring, E ⊆ A, och är idealet genererat av E, så är V(E) = V(). Speciellt är alltså en delmängd av Spec A sluten om och endast om den kan skrivas som V() för något ideal . Bevis: Idealet genererat av E kan betraktas "nedifrån" som mängden av alla A-linjärkombinationer av ändliga uppsättningar element i E; men kan också "betraktas uppifrån" som snittet av alla ideal som omfattar E. Det senare betraktelsesättet visar omedelbart att ⊆ för varje ∈ X med E ⊆ . Med andra ord är verkligen Den omvända inklusionen följer trivialt av att E ⊆ .♦ Det andra lemmat kräver följande grundläggande resultat från den kommutativa algebran: Lemma.Om och är ideal i en kommutativ unitär ring A, så är Dessa två lemmata tillsammans ger omedelbart (S4). |
Slutna höljens egenskaper
[redigera]Informellt uttryckt består det slutna höljet av en delmängd A ⊆ X av alla punkter i A och alla randpunkter till A. Genom att lägga till randpunkterna "sluter man till" A. Höljet är den minsta slutna delmängden av X som omfattar A.
Formellt sett definierar vi ju det slutna höljet som snittet av alla slutna delmängder av X som har A som delmängd. För varje delmängd A av X är därför också dess (slutna) hölje en delmängd av X, och höljena uppfyller dessutom, för alla delmängder A och B av X, att
- (K1) ;
- (K2) ;
- (K3) ; och
- (K4) .
Vidare gäller att
- (KS1) och att
- (KS2)
Bevis: Enligt definitionen är snittet av alla X-delmängder som omfattar A som delmängd samt har öppna komplement, d. v. s. är slutna. Med andra ord är , där vi tillfälligt sätter . Eftersom varje element i A också är ett element i varje , måste också varje element i A tillhöra , vilket visar (K1). Vidare är en mängd av slutna mängder, så att dess snitt är en sluten mängd enligt (S3), vilket visar (KS1), och också ena implikationen i (KS2), nämligen att För att visa även ⇒ räcker det att använda att om A är sluten så gäller ju . Därmed är även (KS2) visad.
(K2) följer nu av att är sluten enligt (S2), och alltså lika med sitt eget hölje enligt (KS1). Likaså följer (K4) direkt av (KS1) och av att tillämpa (KS2) på den slutna mängden . Således återstår det bara att visa (K3).
För att visa mängdlikheten (K3) är det nödvändigt och tillräckligt att visa mängdinklusion i båda riktningarna, alltså att
- , och att
- .
Vi kan börja med att konstatera att både vänsterledet och högerledet i (K3) är slutna mängder, enligt (KS1) och (S4). (K1) tillämpad dels för A och dels för B ger att dessa mängders union är innehållen i unionen av deras höljen, d. v. s. att Alltså är en av alla de slutna mängderna som omfattar ; och enligt definitionen är dessa slutna mängders skärning just . Eftersom snittet av en samling mängder är en delmängd av varje mängd i samlingen, följer ⊆, den första mängdinklusionen.
För att slutligen visa ⊇ i (K3), kan vi använda att den slutna mängden , så att , och att på samma sätt
så att också måste omfatta unionen . ♦
Vi kan ännu formellare se operationen att ta slutna höljen som en funktion från 2X till 2X, där funktionsvärdet av A är . Denna funktion kallas för höljesoperatorn (som hör till den givna topologin på X. Allmännare kallar vi varje funktion från 2X till 2X som uppfyller (K1), (K2), (K3) och (K4) en höljesoperator.
- (K1),...,(K4) ==> (Ö1),...,(Ö4). Pattersons namnförslag Kuratowskirum.
Det inres egenskaper
[redigera]Eftersom komplement till öppna mängder är slutna och vice versa, och komplement till snitt är unioner och vice versa, och , är också begreppen "hölje" och "det inre" komplementära. Mer precist gäller för varje delmängd A av X att
- (IK)
Från detta följer snabbt att det inre uppfyller följande lagar, som är "komplementen" till lagarna för höljen:
- (I1) ;
- (I2) ;
- (I3) ; och
- (I4) .
samt att
- (IÖ1) och
- (IÖ2)
Varje lag följer av motsvarande lag för höljen samt av (IK).
- Omvändningen!
Omgivningars egenskaper
[redigera]Låt x vara en godtycklig punkt (d. v. s. ett godtyckligt element) i X, och låt A och B beteckna delmängder till X. Då gäller följande:
- (O1) x har minst en omgivning, och tillhör var och en av sina omgivningar.
- (O2) Om A är en omgivning till x och A⊆B, så är också B en omgivning till x.
- (O3) Om både A och B är omgivningar till x, så är också A∩B en omgivning till x.
- (O4) Om A är en omgivning till x och B är mängden av alla punkter som A är en omgivning till, så är också B en omgivning till x.
- Förtydliga och bevisa ekvivalensen
Kontinuerliga avbildningar
[redigera]En funktion eller avbildning f : (X,) → (Y,) mellan två topologiska rum (X,) och (Y,) är helt enkelt en funktion mellan de underliggande mängderna X och Y. Funktionen f är kontinuerlig, om f-1(M) ∈ för varje M ∈ .
Lemma. Sammansättningar av kontinuerliga avbildningar är kontinuerliga.
En inverterbar avbildning f, sådan att både f och dess invers är kontinuerliga, kallas en homeomorfism eller homeomorfi. Två topologiska rum kallas homeomorfa om det finns en homeomorfism mellan dem.
Tillämpning inom kategoriteori: |
---|
Eftersom även identitetsavbildningar är kontinuerliga, bildar klassen av alla topologiska rum en kategori, där morfismerna består av de kontinuerliga avbildningarna. I denna kategori är isomorfierna precis homeomorfierna. |
Inducerade topologier och delrum
[redigera]Definition: Om (X,) är ett topologiskt rum, och X' är en delmängd av X, så utgör
en topologi på X', den inducerade topologin. Att ' är en topologi på X' "inses lätt".
Om att "inse något lätt". |
---|
'Kommentar: Att något "inses lätt" brukar betyda att detta följer rätt direkt av definitionerna, och att det är rätt lätt att se hur det följer, om man har en mångårig vana att arbeta med detta slags bevis. Om möjligen några läsare inte har denna mångåriga vana, kan det för dessa ta både rätt mycket kraft och rätt mycket tid att "lätt inse" det som påstås. Däremot skall man inte behöva ta till några "finurliga knep" för att få ihop beviset. När en något mindre van läsare träffar på uttryck som "det inses lätt att", "man ser lätt att", "detta är en trivial konsekvens av att" och liknande, så är det ofta nyttigt att stanna upp ett kortare eller längre tag, och verkligen övertyga sig om varför detta "lätta" påstående gäller. Inser man inte detta efter att ha tänkt en stund, kan man försöka skriva ned ett bevis, där man inte hoppar över annat än sådant man själv omedelbart kan argumentera för mentalt. Nedan följer ett explicit och "tämligen" fullständigt bevis för påståendet att detta ' måste vara en topologi på X', som det skulle kunna se ut. För att visa att ' är en topologi på X', behöver vi visa att de fyra villkoren (Ö1),..., (Ö4) uppfylls, om man tillämpar dem för X' och ' i stället för för X och . För att göra detta kan vi dels använda att (Ö1),..., (Ö4) gäller för X och (eftersom vi har antagit att är en topologi på X), och dels att en delmängd U' ⊆ X' tillhör ' om och endast om det finns någon delmängd U av X, som är öppen i X, och uppfyller att U ∩ X' = U'. För att underlätta överblicken av logiken kan vi tillfälligt skriva villkoren (Ö1),..., (Ö4) som (Ö'1),..., (Ö'4), när de skall tillämpas för (X','). Gången blir nu att vi använder (Ö1) för att visa (Ö'1), (Ö2) för att visa (Ö'2), och så vidare. Bevis av (Ö'1): Eftersom och ∅ ∈ enligt (Ö1), så gäller mycket riktigt också att ∅ ∈ '. (Sätter man U = ∅, så ser man att ∅ = U ∩ X' för ett U ∈ , vilket ju precis är det villkor som elementen i ' skall uppfylla.) Bevis av (Ö'2): Eftersom och X ∈ enligt (Ö2), så gäller mycket riktigt också att X' ∈ '. (Sätter man U = X, så ser man att X' = U ∩ X' för ett U ∈ , vilket ju precis är det villkor som elementen i ' skall uppfylla.) Bevis av (Ö'3): Låt I vara en godtycklig indexmängd, och låt för varje i ∈ I Vi vara ett godtyckligt element i '. Sätt Uppgiften är precis att visa att då även V måste ligga i ', d. v. s. att visa att det finns ett U i , sådant att V = U ∩ X'. varmed även (Ö'3) är visad. Bevis av (Ö'4): Låt V1 och V2 vara två godtyckliga element i '. Sätt Uppgiften är precis att visa att då även V måste ligga i ', d. v. s. att visa att det finns ett U i , sådant att V = U ∩ X'. varmed slutligen även (Ö'4) är visad. Övning. Observera att detta "tämligen fullständiga bevis" egentligen använder urvalsaxiomet på (minst) ett ställe, dock utan att tydligt åberopa det. Kan du se var? (Ledning: Förekommer det någonstans en familj av godtycklig storlek? Väljer man på något sätt ut någonting för varje index, på en gång?) Kan du komma på något sätt att modifiera beviset på den punkten, så att urvalsaxiomet åtminstone inte behöver användas just där? |
Observation: En X'-delmängd M, som är öppen i den inducerade topologin på X', behöver i allmänhet inte alls vara öppen som delmängd av X. Om X'∉ , så är M = X' självt ett sådant motexempel. Är däremot faktiskt X' öppen som delmängd av X, så inser man lätt att den inducerade topologin på X' faktiskt består av precis de öppna mängder i X, som också råkar vara delmängder av X'. Med andra ord gäller ekvivalensen
Övning. Kontrollera i detalj att verkligen implikationerna i båda riktningarna gäller!
Föregående: Inledning | Upp: Topologi | Nästa: Kompakthet |