Topologi

gren inom den moderna matematiken
Ej att förväxla med Topografi.

Topologi från grekiskans τόπος ("topos": plats, ställe) och λόγος ("logos": lära), är en gren inom den moderna matematiken. Det är en form av geometri där endast formen på objekten, och inte några avstånd, betraktas.[1]

Broarna i Königsberg är ett klassiskt topologiskt problem.

En topologi beskriver ett antal volymers fysiska form och formen på deras gemensamma rum såsom de gemensamma resulterande öppningarna och överbryggningarna. En topologisk beskrivning kan till exempel vara ett schema över hållplatserna för kollektivtrafik som inte tar hänsyn till avstånden. Topologi är viktigt för att avgöra logistik då man adderar anläggningar av industrikomplex i flera plan och i många byggnader. Topologi används också då man anlägger datanätverk och väljer hur datorerna skall kopplas samman i förhållande till varandra i nätverk.

Topologi föddes i början av 1900-talet och är därför ett relativt nytt område inom matematiken. Den har visat sig mycket användbar och tillämpas idag inom andra grenar av matematik såsom analys och algebra, såväl som inom andra vetenskaper som till exempel fysik och genetik.

I geografiska databaser är topologi en förutsättning för att kunna göra vissa GIS-analyser, såsom närmaste väg mellan två noder, se vilka objekt som finns intill varandra osv.

Topologin generaliserar begreppen kontinuerlig funktion och öppen mängd. Den introduceras ofta genom att först definiera "topologiska rum", sedan "kontinuerliga funktioner" mellan dessa rum. Därefter studerar man olika "topologiska egenskaper" hos dessa. Se definitioner nedan.

Definition redigera

Ett topologiskt rum är ett par (X, T), där X är en mängd och T en samling av delmängder till X. Denna samling kallas för en topologiX och definieras av följande tre egenskaper.[2]

  1. Familjen T innehåller mängden X och den tomma mängden Ø.
  2. Familjen T är sluten under bildandet av godtyckliga unioner: Om {Ai}iI är en godtycklig samling av mängder där varje mängd Ai tillhör familjen T, så är unionen ⋃iI Ai också ett element i familjen T.
  3. Familjen T är sluten under bildandet av ändliga snitt: Om {Ai}ni=1     är en ändlig samling av mängder där varje mängd Ai tillhör samlingen T, så är snittet ⋂ni=1   Ai också ett element i familjen T.

En delmängd A av X säges vara öppen med avseende på en topologi T, om A är ett element i familjen T. Om topologin är underförstådd i sammanhanget säger man bara att A är en öppen delmängd av X.

Exempel på topologiska rum redigera

  • Rummet ℝ3 där de öppna mängderna är alla mängder som är öppna med avseende på någon metrik i ℝ3,
    exempelvis d((x₀, x₁, x₂), (y₀, y₁, y₂)) =  .
  • En mängd X med den triviala topologin T = {Ø, X}. Detta är den minsta möjliga topologin på X. Med avseende på denna topologi är det endast den tomma mängden, Ø, och mängden X själv, som är öppna mängder.
  • En mängd X med den diskreta topologin T = 2X. Mängden 2X kallas för potensmängden av X och består av samtliga delmängder till X. Detta är den största möjliga topologin på X. Med avseende på denna topologi är varje delmängd av X en öppen mängd.

Relaterade definitioner redigera

  • En delmängd A av ett topologiskt rum (XT) kallas sluten om dess komplementmängd Ac = {xX : xA} är öppen, det vill säga mängden Ac är ett element i topologin T.
  • En kontinuerlig funktion f : XY från ett topologiskt rum (XT) till ett topologiskt rum (YS) är en funktion som är sådan att mängden   är ett element i topologin T för alla val av A∈S.
    • Om S är den triviala topologin på Y så är varje funktion f : XY kontinuerlig.
    • Om T är den diskreta topologin på X så är varje funktion f : XY kontinuerlig.
    • Om S är den diskreta topologin på Y så är de enda kontinuerliga funktionerna f : XY de lokalt konstanta funktionerna. Med andra ord, funktioner sådana att det till varje xX finns en omgivning U sådan att f är konstant på U. Om X antas vara sammanhängande sammanfaller dessa med de konstanta funktionerna.
  • En homeomorfi från X till Y är en bijektiv kontinuerlig funktion sådan att dess invers också är kontinuerlig.
  • En topologisk egenskap, alternativt topologisk invariant, är en egenskap som bevaras under homeomorfier. Exempel på sådana egenskaper är bland annat

Se även redigera

 
Den här artikeln ingår i boken: 
Matematik 

Referenser redigera

  1. ^ ”topologi - Uppslagsverk - NE.se”. www.ne.se. https://www.ne.se/uppslagsverk/encyklopedi/l%C3%A5ng/topologi. Läst 27 maj 2020.  [inloggning kan krävas]
  2. ^ Nakahara, Mikio (2003) [1990] (på engelska). Geometry, topology and physics (2. ed.). Taylor & Francis. sid. 81. Libris 9087103. ISBN 978-0-7503-0606-5 

Externa länkar redigera