Kuinka osoitetaan, että Cantorin joukko on ylinumeroituva? Linkki olisi paras, jossei joku osaa
sitä suoraan antaa. Kirjallisuusviitteestäkin voi olla jtn iloa.
sitä suoraan antaa. Kirjallisuusviitteestäkin voi olla jtn iloa.
Turvaa tilisi vahvistamalla puhelinnumerosi. Voit silloin palauttaa unohtuneen salasanan tekstiviestillä.
Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.
Vastaukset 2
Vanhimmat
Katso http://www.helsinki.fi/~iholopai/ kurssin Reaalianalyysi I luentomuistiinpanot. Todistuksen idea on yksinkertainen: Osoitetaan, että jokin Cantorin joukko A on ylinumeroituva. Tällöin mielivaltainen Cantorin joukko B on homeomorfinen A:n kanssa, joten se on ylinumeroituva.
C = Cantorin joukko. Kerron tässä pääpiirteet todistukselle. Lähestymistapa on topologinen.
1. C:n jokainen piste on kasautumispiste (todista!).
2. Numeroituvassa täydellisessä metrisessä avaruudessa on ainakin yksi erakkopiste (todista!).
3. C on täydellinen metrinen avaruus. (todistus helppo, kun R:ssä kerta ollaan)
Näistähän väite sitten seuraa antiteesin avulla. Yksityiskohdat jääköön lukijalle.