Rand (topologi)

Från Wikipedia
Hoppa till: navigering, sök
Ett område (ljusblått) med sin rand (mörkblå).

Inom topologi definieras randen av ett område som de punkter där det i varje omgivning till en sådan punkt (hur liten man än väljer den) går att hitta både punkter som tillhör området och sådana som inte tillhör området. En punkt som tillhör randen kallas randpunkt.

Randen kan tillhöra området eller ej. Randkonceptet är topologiskt, så om man byter topologi kan randen för en mängd ändras.

För vanliga geometriska figurer kallar man ofta randen för dess omkrets.

I dagligt tal kallas randen ibland för ände.

Definitioner[redigera | redigera wikitext]

Låt S vara ett område i X, då följande definitioner av randen \partial S är ekvivalenta:

\partial S = \overline{S} \setminus S^o
\partial S = \overline{S} \cap \overline{S^c}
  • Mängden av punkter p så att varje omgivning av p innehåller minst en punkt som tillhör S och minst en som inte tillhör S.

Exempel[redigera | redigera wikitext]

Exempel för reella talen (med den vanliga topologin):

\partial [0,5] = \partial [0,5[ = \partial ]0,5] = \partial ]0,5[ = \{0,5\}
\partial \varnothing = \varnothing
\partial \Q = \R

där det sista följer av att Q är en tät delmängd till R med tomt inre.

Egenskaper[redigera | redigera wikitext]

  • Randen till en mängd är sluten,
  • Randen till en mängd är samma som randen till komplementet av mängden.
  • En mängd är sluten om och endast om randen tillhör mängden.
  • En mängd är öppen om och endast om randen är disjunkt från mängden.
  • Slutna höljet av en mängd är mängden med sin rand:
\overline{A} = A \cup \partial A.
  • Randen till en mängd är tom om och endast om mängden är både öppen och sluten.

Se även[redigera | redigera wikitext]