Kuvan piste p on joukon V reunapiste
**Sisä-, reuna- ja ulkopiste** ovat topologian käsitteitä. Jos perusjoukossa on annettu jokin topologia ja jokin perusjoukon osajoukko A, niin jokainen perusjoukon piste on A:n sisä-, reuna- tai ulkopiste ja vain yksi näistä.

Sisäpiste
---------

Olkoon X avaruus. Jaamme X:n pisteet kolmeen erilaiseen joukkoon sen mukaan, miten ne suhtautuvat A:han, joka on X:n osajoukko. Olkoon {\displaystyle x\in X}. Tällöin x on A:n *sisäpiste*, jos x:llä on ympäristö U, joka kuuluu A:han. Eli voidaan intuitiivisesti sanoa, että ne pisteet, jotka ovat sisällä joukossa. Jos X on samalla metrinen avaruus, jossa on määritelty metriikka d, tämä voidaan yhtäpitävästi määritellä niinkin, että x on A:n sisäpiste, jos on olemassa sellainen positiivinen luku r, että jokainen piste y, jonka etäisyys x:stä on pienempi kuin r, kuuluu myös A:han.

Esimerkki:  

Olkoon X = {\displaystyle \mathbb {R} } ja A= {x : {\displaystyle x\in [0,5]}}. Nyt voidaan tutkia, onko jokin annettu piste joukon A sisäpiste. Valitaan tutkittavaksi piste a = 3. Helposti huomataan, että 3>0 ja 3<5. Nyt pitää vain löytää pisteelle a ympäristö, joka sisältyy joukkoon A. Kokeillaan ympäristön joukoksi U = ]2,5; 3,5[ eli nyt r = 0,5. Huomataan, että tämä ympäristö kuuluu joukkoon A, joten piste a on joukon A sisäpiste.

Ulkopiste
---------

Jos x:llä on olemassa ympäristö U, joka ei kohtaa A:ta eli joka kokonaisuudessaan sisältyy A:n komplementtiin ({\displaystyle U\subset \complement A}), niin x on A:n *ulkopiste*. Voidaan siis sanoa, että ulkopiste on täysin vastakkainen asia sisäpisteelle. Muuten ulkopisteelle pätee samat säännöt ja laskemismahdollisuudet, mutta vain A:n paikalla on {\displaystyle \complement A}.

Esimerkki:  

Olkoon X = {\displaystyle \mathbb {R} } ja A= {x : {\displaystyle x\in [0,5]}}. Nyt voidaan tutkia, onko jokin annettu piste joukon A ulkopiste. Valitaan tutkittavaksi piste a = –1. Helposti huomataan, että –1<0 ja valitsemalla ympäristön r:ksi puolikkaan, niin a on A:n ulkopiste.

Reunapiste
----------

Joukon *reunapiste* on piste, joka ei ole sen sisä- eikä ulkopiste. Tämä on yhtäpitävää sen kanssa, että x:n jokainen ympäristö kohtaa sekä A:n että komplementti A:n. Joukon reunapisteet muodostavat joukon *reunan*.

Esimerkki:  

Olkoon X = {\displaystyle \mathbb {R} } ja A= {x : {\displaystyle x\in [0,5]}}. Nyt voidaan tutkia, onko jokin annettu piste joukon A ulkopiste. Valitaan tarkasteltavaksi piste a = 5. Intuitiivisesti piste on joukon reunalla, joten se ehkä olisi. Nyt pitää vain kaikkien a:n ympäristöjen U kohdata niin A kuin A:n komplementti. Valitaan ympäristön säteeksi positiivinen r. huomataan, että kaikilla positiivisilla ympäristön säteillä U kohtaa A:n ja A:n komplementin. Nyt a on A:n reunapiste. Tässä tapauksessa reunapiste myös kuului joukkoon A.

Vastaavalla tavalla origokeskeisen yksikkökiekon sisäpisteitä ovat pisteet, jotka ovat kiekon sisällä eli joiden etäisyys origosta on pienempi kuin 1, ulkopisteitä ne, joiden etäisyys on suurempi kuin 1 ja reunapisteitä yksikköympyrän kehällä olevat pisteet, joiden etäisyys origosta on tasan 1.

Ominaisuuksia
-------------

Minkä tahansa joukon A jokainen sisäpiste kuuluu myös joukkoon A, kun taas mikään sen ulkopiste ei siihen kuulu. Sen sijaan reunapiste voi joko kuulua tai olla kuulumatta joukkoon A, koska esimerkiksi jos joukko on avoin, niin reunapisteet eivät sisälly siihen, ja jos taas joukko on suljettu, niin reunapisteet sisältyvät siihen. Huomaa, että mikäli {\displaystyle X=\mathbb {R} } ja {\displaystyle A=]0,1]}, niin {\displaystyle A}:n reunapiste {\displaystyle 0\notin A} ja reunapiste {\displaystyle 1\in A}. 

Vastaaville pistejoukoille käytetään merkintöjä

{\displaystyle int\ A=\{x\in X\ \colon \ x} on {\displaystyle A}:n sisäpiste{\displaystyle \}}, 

{\displaystyle ext\ A=\{x\in X\ \colon \ x} on {\displaystyle A}:n ulkopiste{\displaystyle \}}, 

{\displaystyle \partial \ A=\{x\in X\ \colon \ x} on {\displaystyle A}:n reunapiste{\displaystyle \}}.

Nämä joukot ovat keskenään erilliset, ja niiden yhdiste on {\displaystyle X}, eli

{\displaystyle X=int\ A\cup ext\ A\cup \partial \ A}. Koska ilmiselvästi {\displaystyle int\ A\subset A} ja {\displaystyle ext\ A\subset \complement A} sekä reunapisteen määritelmän nojalla {\displaystyle int\ A\cap \ \partial \ A=\emptyset } ja {\displaystyle ext\ A\cap \ \partial \ A=\emptyset }, niin kyseiset kolme joukkoa ovat erilliset. Reunapisteen määritelmän nojalla {\displaystyle X\setminus ext\ A\setminus int\ A=\partial A} {\displaystyle \iff X\cap \complement int\ A\cap \complement ext\ A=\partial A} {\displaystyle \iff \complement int\ A\cap \complement ext\ A=\partial A} {\displaystyle \implies int\ A\cup \left(\complement int\ A\cap \complement ext\ A\right)=int\ A\cup \partial A} {\displaystyle \iff \left(int\ A\cup \complement int\ A\right)\cap \left(\complement ext\ A\cup int\ A\right)=int\ A\cup \partial A} {\displaystyle \iff \complement ext\ A\cup int\ A=int\ A\cup \partial A} {\displaystyle \implies ext\ A\cup \complement ext\ A\cup int\ A=ext\ A\cup int\ A\cup \partial A} {\displaystyle \iff X=ext\ A\cup int\ A\cup \partial A}. 

Seuraavaksi kootaan yllä määriteltyjen joukkojen erilaisia perusominaisuuksia. Näissä kohdissa esiintyvä {\displaystyle {\overline {A}}} on {\displaystyle A}:n sulkeuma eli pienin suljettu joukko, johon {\displaystyle A} sisältyy.

1. {\displaystyle int\ A\subset A}, {\displaystyle ext\ A\subset \complement A}.
2. {\displaystyle A} on avoin, jos ja vain jos {\displaystyle int\ A=A} (eli {\displaystyle \partial A\cap A=\emptyset }).
3. {\displaystyle ext\ A=int\ \complement A}, {\displaystyle int\ A=ext\ \complement A}.
4. {\displaystyle ext\ A=\complement {\overline {A}}}, {\displaystyle int\ A=\complement {\overline {\complement A}}}.
5. {\displaystyle \partial A={\overline {A}}\cap {\overline {\complement A}}={\overline {A}}\setminus int\ A}, ja {\displaystyle \partial A} on aina suljettu.
6. {\displaystyle \partial A=\partial \complement A}.
7. Jos {\displaystyle A} on avoin, niin {\displaystyle \partial A={\overline {A}}\setminus A}.
8. {\displaystyle int\ A} on {\displaystyle A}:n laajin avoin osajoukko.

Lähteet
-------

* Väisälä, Jussi: *Topologia I*. Helsinki: Limes, 2001. ISBN 951-745-192-X.
* Väisälä, Jussi: *Topologia II*. Helsinki: Limes, 2005. ISBN 951-745-209-8.

Viitteet
--------

1. 1 2 3 4 5 6 7  Väisälä 2005, 13
2. ↑   Suominen, Kalevi & Vala, Klaus: *Topologia*, s. 71. Gaudeamus, 1965. ISBN 951-662-050-7.
3. ↑  Väisälä 2005, 13–14

Kirjallisuutta
--------------

* Lipschutz, Seymour: *General Topology*. McGraw-Hill, 1965. ISBN 0-07-037988-2.