Miten voitiinkaan osoittaa, että äärellisen monen pisteen joukko avaruudessa R on suljettu? Kiitos jo avusta etukäteen!
Pisteiden joukko avaruudessa
Aasi80
3316
0Äänestä
Muut lukivat myös
Odottaa vastausta
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Vastaukset 3
Vanhimmat
Puhut varmaan tavallisesta topologiasta. Joukko on suljettu jos sen jokainen piste on avaruuden erakkopiste. Oletetaan siten vastoin väitettä, että R:ssä on olemassa äärellinen osajoukko X', jonka jokin alkio x ei ole erakkopiste. Tällöin jokainen x:n ympäristö kohtaa jonkin muun X':n pisteen x''. R on Hausdorff tavallisen topologian suhteen, joten etäisyys |x-x''|=epsilon>0. Koska jokainen x:n ympäristö kohtaa jonkun muunkin X':n pisteen, on olemassa X'':n alkio x'' siten, että |x-x''|=epsilon'
"Koska jokainen x:n ympäristö kohtaa jonkun muunkin X':n pisteen, on olemassa X'':n alkio x'' siten,"
Tuo X'' pitää tietysti olla X'.
Olkoon A äärellinen joukko (missä hyvänsä metrisessä) avaruudessa R. Jos x kuuluu A:n komplementtiin, niin asetetaan
r := min { |x - a| : a kuuluu A:han }.
Minimi on olemassa äärellisyyden nojalla. Nyt kuula B (x, r/2) sisältyy A:n komplementtiin, eli A on suljettu.