Enkelt sammanhängande mängd
Från Rilpedia
En enkelt sammanhängande mängd är ett matematiskt begrepp som lite löst kan sägas betyda att en mängd som består av ett enda stycke och saknar cirkelformade "hål". Hål av högre dimension är dock tillåtna. Detta betyder att givet ett "start" och ett "mål", och två godtyckliga "vägar" mellan dem, så finns det alltid en möjlighet att undan för undan flytta den ena vägen till den andra, utan att den någonsin bryts eller lämnar vare sig start eller slutpunkterna.
Ett starkare villkor, kontraherbarhet, kräver att det inte ska finnas hål av någon som helst dimension.
Definition
Noggrannare uttryckt så är en sammanhängande mängd U av ett topologiskt rum enkelt sammanhängande om varje sluten kurva i U kontinuerligt kan deformeras till en punkt. Detta uttrycks även som att i mängden U är varje sluten kurva homotopiskt trivial, eller att mängdens fundamentalgrupp är trivial.
Exempel
Ett par grundläggande exempel på enkelt sammanhängande mängder ges av planet R2 eller den tvådimensionella sfären S2.
Om man däremot plockar bort en punkt från R2, origo till exempel, så är den ej längre enkelt sammanhängande. Likandant är cirkeln S1 inte enkelt sammanhängande.
