Nät (matematik)
Från Rilpedia
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.
Innehåll |
Definition
För att kunna definiera ett nät måste vi först definiera begreppet "riktad mängd" En riktad mängd A är en mängd A utrustad med en binär relation 
som uppfyller följande egenskaper:
för alla 
(reflexivitet)- Om
så 
(transitivitet) - För varje
finns 
så att 
Ett nät i ett topologiskt rum X definieras som en avbildning från den riktade mängden A till X, där 
.
Konvergens
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 y om för varje öppen mängd 
det finns ett 
så att 
för alla 
.
Exempel
Eftersom en följd i ett topologiskt rum är en avbildning som till varje naturligt tal n ordnar en punkt xn 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 f från de reella talen till ett topologiskt rum X är ett annat nät, med den vanliga ordningsrelationen som definierar riktning.
Referenser
- 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.
