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.

DefinitionRedigera

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  .

KonvergensRedigera

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  .

ExempelRedigera

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.

ReferenserRedigera

  • 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.