Nät (matematik)

Från Wikipedia
Hoppa till: navigering, sök

Inom topologi, ett delområde av matematik, är ett nät en generalisering av begreppet följd. Inom analysen använder man ofta konvergens av följder av element för att undersöka olika egenskaper, t.ex. kontinuitet, kompakthet och/eller slutenhet av mängder och annat. För många topologiska rum är följder dock inte tillräckliga, utan det krävs ett mer generellt begrepp. Detta har att göra med att vissa topologiska rum inte har en uppräknelig lokal bas för sin topologi.

Definition[redigera | redigera wikitext]

För att kunna definiera ett nät måste vi först definiera begreppet "riktad mängd" En riktad mängd är en mängd A utrustad med en binär relation som uppfyller följande egenskaper:

  • för alla (reflexivitet)
  • Om (transitivitet)
  • För varje finns så att (slutenhet uppåt).

Ett nät i ett topologiskt rum X definieras som en avbildning från den riktade mängden A till X, där .

Konvergens[redigera | redigera wikitext]

Man kan definiera konvergens av ett nät på ett liknande sätt som hos följder. Specifikt säger man att nätet har gränsvärdet om för varje öppen mängd det finns ett så att för alla .

Exempel[redigera | redigera wikitext]

Eftersom en följd i ett topologiskt rum är en avbildning som till varje naturligt tal n ordnar en punkt ser vi att en följd är ett exempel på ett nät. Vi kan nämligen lätt verifiera att de naturliga talen är en riktad mängd med sin vanliga ordningsrelation. Det motiverande exemplet inom den allmänna topologin är när A är mängden av omgivningar till en punkt x, med den binära relationen .

En funktion från de reella talen till ett topologiskt rum är ett annat nät, med den vanliga ordningsrelationen som definierar riktning.

Referenser[redigera | redigera wikitext]

  • G.B. Folland Real Analysis: Modern Techniques and Their Applications, second edition, John Wiley and Sons, 1999.
  • J.L. Kelley, General Topology, van Nostrand, 1955.