inkluusion todistamisesta

Entäpä jos x on A:n "isolated point" eli sillä on ympäristö jossa eiole muita A:n pisteitä kuin itse x. Se ei silloin ole A:n reunapiste. Näin ollen vaikka x ei ole A:n reunapiste se ei myöskään ole A:n sisäpiste.

Bd(A) = A:n sulkeuman ja X-A : n sulkeuman leikkaus (X on siis koko avaruus).
Int(A) ja Bd(A) ovat pistevieraita ja A:n sulkeuma on Int(A) U Bd(A)..

Tuo

"x ei ole reunapiste => x on sisäpiste"

kannattaa vielä perustella ihan määritelmistä lähtien. Aika selvä hommahan se on, mutta näin perustavaalaatua olevassa tuohan siinä on niinkuin juuri se pääasia.

Eli jos lähdetään tuota todistamaan ja oletetaan että A:n piste x ei ole reunapiste. (Huom. niin tässähän voidaan olettaa, että x ∈ A). Reunapisteys tarkoittaa, että jokainen x:n ympäristö (eli x:n sisältävä avoin joukko) leikkaa A:n komplementtia. Eli ei-reunapisteys tarkoittaa, että on olemassa jokin avoin joukko joka ei... tässähän ollaan jo melkein maalissa.

Tattista kommenteista.

Esitän tässä yhden todistuksen kysytystä asiasta. Lukeneeko aloittaja enää tätä?

Käytän samoja merkintöjä kuin aiemmissa jutuissa. Lisaäksi jo täällä aiemmin esiintynyt merkintä A ( B (A on B:n osajoukko). Toivottavasti ei sotketa merkintään C(A) joka tarkoittaa A:n komplementtia X - A.
Ensiksi apulause.

Int(A) = U (A(a) l A(a) ( A, A(a) avoin)
C(Int(A)) = & (C(A(a)) l C(A) ( C(A(a)) , C(A(a)) suljettu) = S(C(A))
Int(A) = C(S(C(A)))
Tuossa käytettiin sitä että jos A ( B niin C(B) ( C(A) ja sitä että C(C(A)) = A

Tästä seuraa muuten helposti toinenkin hauska seikka. Kun pannaan A:n tilalle C(A) saadaan

Int(C(A)) = C(S(C(C(A)))) = C(S(A)) joten
S(A) = C(Int((C(A))))
Nuo siis pätevät kaikille joukoille A.

Määritelmä: Bd(A) = S(A) & S(C(A))

A U Bd(A) = A U ( S(A) & S(C(A)) =
(A U S(A)) & (A U S(C(A))) =
S(A) & X = S(A) sillä A ( S(A) ja C(A) ( S(C(A))
jatkan seuraavalla kommentilla ennenkuin tämä häipyy...