Topologi/Produktrum och Tichonovs sats

Från Wikibooks
Hoppa till navigering Hoppa till sök

Tichonovs sats säger kort uttryckt att en godtycklig produkt av kompakta topologiska rum själv är kompakt. Detta är en av de viktigaste satserna inom punktmängdstopologin. Satsens styrka ligger i innebörden av uttrycket "godtycklig produkt". Här betyder "godtycklig" att vi kan ta produkten av en precis hur stor familj som helst av kompakta rum. Familjens indexmängd kan vara ändlig eller oändlig, uppräknelig eller ickeuppräknelig. Vi kan exempelvis låta alla faktorerna i produkten vara små ändliga topologiska rum, men ändå få produkter av mycket stor storlek. "Produkt" betyder här "kartesisk produkt med svagast möjliga topologi som gör alla projektioner kontinuerliga".

För att förstå satsen behöver vi först förklara de begrepp den rör sig med ordentligt. Vi börjar med att införa produktrummen formellt.

Produktrum[redigera]

Låt I vara en ändlig eller oändlig indexmängd, och antag att vi för varje iI har ett topologiskt rum (Xi,i). Vi kan bilda den kartesiska produkten

Finns det i denna situation ett naturligt sätt att ge X en topologi , som bestäms av familjen (i)I?

Svaret är, att det finns flera tänkbara kandidater till . Det första man tänker på är kanske att låta bestå av alla produkter av öppna delmängder av respektive X. Mer precist gäller ju att för varje familj

är I Ui en delmängd av X. Mängden av alla sådana delmängder av X utgör visserligen inte själv en topologi på X (annat än i mycket triviala fall), men den är en bas för en topologi. Denna topologi har den trevliga egenskapen att den gör varje projektion

till en kontinuerlig funktion. Urbilden till en öppen delmängd Ui av Xi är nämligen

där Mi := U, men Mj := Xj för varje annat j i I. Men detta är (i allmänhet) inte den enda topologin på den kartesiska produkten med denna egenskap.

För att alla projektionerna skall vara kontinuerliga krävs ju precis att alla "elementära öppna cylindrar" Ci,Ui är öppna. Den svagaste topologin som uppfyller detta är den som genereras av mängden av alla elementära öppna cylindrar, alltså av

Denna topologi kallas den svaga produkttopologin, och är den man oftast använder på den kartesiska produkten av en given familj topologiska rum. Observera dock att (oftast) inte är en bas, utan bara en subbas för topologin. Man får som vanligt en bas genom att betrakta alla ändliga snitt av element ur , vad vi kan kalla de öppna cylindrarna. Vi låter alltså här en öppen cylinder vara en produktmängd ∏IM, där Mii för varje iI, och där dessutom, mer precist, Mi = Xi för alla utom ändligt många av dessa i. De öppna mängderna blir de godtyckligt stora unionerna av dessa cylindrar.

Vi kommer i fortsättningen alltid att använda den svaga produkttopologin på kartesiska produkter av topologiska mängder, om inte annat uttryckligen anges:
Definition. Produktrummet av en familj (Xi,i)iI är det topologiska rum, vars underliggande mängd är den kartesiska produkten ∏IX, och vars topologi genereras av mängden av alla elementära öppna cylindrar Ci,Ui, definierade som ovan.

Anmärkning. Vi kan se, att om indexmängden I är ändlig, så är det ingen skillnad på den svaga produkttopologin och den "starka" topologi vi beskrev ovan. För oändliga indexmängder kan däremot skillnaden vara mycket stor, som vi kommer att se av exempel 2 nedan.

Exempel 1: Som topologiskt rum är Rn med topologin given av den euklidiska metriken precis produktrummet av n kopior av R.

Exempel 2: Betrakta "alfabetet" Σ := {0, 1}, ge detta den diskreta topologin, och betrakta produktrummet X = ∏N Σ av uppräkneligt många kopior av Σ. Elementen i X kan uppfattas som godtyckliga oändliga "strängar" av nollor och ettor. Här är den "starka" topologin vi började med att titta på den starkast möjliga, d. v. s. den diskreta topologin på X. Den (svaga) produkttopologin vi har valt att arbeta med ger däremot betydligt "färre" öppna mängder; och med denna topologi är faktiskt X ett kompakt rum, som vi kommer att se senare i detta kapitel.

Separationsvillkor i produktrum[redigera]

Sats. Låt (Xi)iI vara en familj av icketomma topologiska rum. Då uppfyller dess produktrum något av separationsvillkoren T0, T1, T2, (och kanske T3 och T4) om och endast om Xi uppfyller detta separationsvillkor för samtliga iI.

Bevis: Låt X vara produktrummet. Observera först, att om x = (xi)I och y = (yi)I är två godtyckliga olika punkter i X, så måste det också finnas ett index i ∈ I, sådant att xiyi. Om nu topologin på Xi uppfyller T0, så finns en öppen delmängd Ui av Xi, sådan att xiUi men yiUi, eller en öppen Xi-delmängd Vi, sådan att yiVi men xiVi. Om Xi uppfyller T1, så finns både Ui och Vi; och om denna topologi uppfyller T2, så kan Ui och Vi väljas så att de dessutom är disjunkta.

Låt nu U = Ci,Ui och V = Ci,Vi vara motsvarande elementära cylindrar. Då gäller att xU men yU om Ui existerar, samt att yV men xV om Vi existerar, samt att U och V är disjunkta precis om Ui och Vi är disjunkta. Eftersom x och y var godtyckliga, visar detta verkligen att T0 respektive T1 respektive T2 gäller för X, om respektive villkor gäller för alla Xi.

  • Lägg till en kommentar om "godtycklighet". Möjligen borde en del kommentarer av sådana slag ändras till länkar till ett nytt "läsa matematisk text"-dokument."
  • Omvänt, om x och y enl. ovan separeras av en eller två öppna mängder i X, så separeras de också basalt; och en basal mängd innehåller inte en punkt (resp. två baselement är disjunkta) omm motsvarande gäller i någon koordinat.
    Undersök om det också är sant för
    T3 och T4! En hjälp här kan vara att vilketdera av dessa implicerar T1, så att vi redan kan sluta att berörda punkter är slutna.


... .

Observation. Ett produktrum är (som en följd av urvalsaxiomet) tomt om och endast om något av dess faktorrum är tomt. I detta fall uppfylls samtliga ovannämnda separationsvillkor automatiskt i produktrummet.

Tichonovs sats[redigera]

Vi är nu redo att ta oss an en av de viktigaste satserna i den rent mängdteoretiska topologin, nämligen Tichonovs sats. Den är uppkallad efter den ryska matematikern Nikolai Andrejevitj Tichonov (w:ru:Тихонов,_Андрей_Николаевич). Som vanligt har hans namn transkriberats till det latinska alfabetet på olika sätt, vilket också har lett till att namnet på satsen ser litet olika ut i olika böcker. Den kan exempelvis heta Tikhonovs sats eller Tychanovs sats.

Sats. Låt (Xi,i)iI vara en familj av icketomma topologiska rum, med produktrummet försett med den svaga produkttopologin . Då är X kompakt om och endast om Xi är kompakt för alla index i ∈ I.

Kommentarer och exempel. Många enkla tillämpningar av Tichonovs sats kan kännas rätt naturliga, och inte särskilt "djupa". Detta gäller särskilt när indexmängden I är liten, exempelvis för I = {1,2}$, och rummen X<sub>i välbekanta, exempelvis slutna enhetsintervall. Produkten av detta slutna intervall med sig självt, [0,1]×[0,1] = , är den slutna enhetskvadraten, som har hörnen (0,0), (0,1), (1,1) och (1,0). Det slutna enhetsintervallet är kompakt, och satsen säger att således också den slutna enhetskvadraten är kompakt. Detta kan man dock också visa direkt, med ungefär samma metoder som för enhetsintervallet.

Ett kanske mer överraskande exempel är rummet av alla (uppräkneligt) oändliga binära följder, som exempelvis Morseföljden (w:en:Thue–Morse_sequence) 01101001100101101001011001101001011010011.... = (mi)i&in;N, om m0 = 0, m1 = 1, m2 =&nbsp1;, m3 = 0, m4 =1 , m5 = 0,... . Detta rum kan skrivas som där Xi = {0,1} för varje naturligt tal i kan ges den diskreta topologin, och hela X ges den svaga produkttopologin.

  • Formulera Tichonovs sats. Ge wp-länk till Tichonov själv, helst på svwp.
  • Reducera Tichanovs sats till situationen att övertäckningarna är subbasala.
  • Följ m. e. m. Simmons bevis, men helst formulerade i termer av öppna mängder. Följande äldre önskemål kanske delvis alltjämt tillämpliga:
  • Ge ett snabbt bevis i fallet med indexmängd {1,2,3,4} (dock med tillräckligt utförlig förklaring av "den springande punkten": Övergången från punktvis till mängdvis övertäckning av en koordinat.
  • Generalisera till allmännare icke nödvändigtvis övertäckande öppna familjer. Omformulera i omvänd implikationsriktning (Föregånge möjligen närmast ovanstående?)
  • Specificera situationen: X vare produkten av(Xi)I;  = (Fj)J en öppen familj, ej nödv.-vis övertäckande. "Vild" och "tam" referere blott till detta fixa val..


Föregående: Separationsvillkor och Hausdorffrum Upp: Topologi Nästa: Urysohns lemma