Cantorin joukko
Cantorin joukko alkaa viivasegmentistä, josta poistetaan toistuvasti avoin keskimmäinen kolmannes jokaisesta jäljelle jäävästä segmentistä. Jäljelle jäävä kokonaisuus näyttää harvalta, mutta sen matematiikka on silti huomattavan rikas.
Rakenne poistamalla
Yhden askeleen jälkeen jäljellä on kaksi suljettua kolmasosaa; kahden askeleen jälkeen neljä yhdeksäsosaa; n askeleen jälkeen jäljellä on 2ⁿ segmenttiä, joiden pituus on 3⁻ⁿ. Cantorin joukko on kaikkien vaiheiden leikkausjoukko, joka sisältää pisteitä, joita ei koskaan poisteta.
Ensimmäisen vaiheen jälkeen jäljellä on kaksi pituudeltaan yksi kolmasosa olevaa väliä; toisen vaiheen jälkeen niitä on neljä, joiden pituus on yksi yhdeksäsosa, ja vaiheen n jälkeen on 2ⁿ väliä, joiden pituus on 3⁻ⁿ. Sääntö on täydellinen, vaikka mikään näyttö ei pysty piirtämään raja-joukkoa. Piste kuuluu joukkoon juuri silloin, kun se ei koskaan kuulu poistettuun keskimmäiseen kolmannekseen. Tämä näkemys muuttaa rakentamisen tarkaksi valintamenettelyksi sen sijaan, että se olisi pelkkä ohuempien viivojen sarja.
Pituus nolla, lukemattoman monta pistettä
Poistettujen pituuksien summa on yksi, joten jäljelle jäävän joukon kokonaispituus on nolla. Siitä huolimatta se on lukematon. Tämä kontrasti auttoi purkamaan käsityksen, jonka mukaan monipisteisen joukon pitäisi viedä vastaavan suuruinen pituus.
n vaiheen jälkeen jäljellä oleva kokonaispituus on (2/3)ⁿ ja se lähenee nollaa. Siitä huolimatta raja-joukko sisältää lukemattoman määrän pisteitä: jokainen ääretön vasemman ja oikean valinnan jono valitsee yhden pisteen. Nollapituus ei siis tarkoita ”melkein ei pisteitä”, vaan se tarkoittaa, ettei Lebesguen mitan mukaan ole yksiulotteista ulottuvuutta. Kardinaalisuuden ja mitan välinen ero on yksi syy siihen, miksi joukko on tullut historiallisesti opettavaiseksi.
Numerot paljastavat itsesamankaltaisuuden
Kolmijärjestelmässä Cantorin joukon pisteet voidaan esittää käyttämällä ainoastaan numeroita 0 ja 2, kiinnittäen tavalliseen tapaan huomiota kaksoislaajennuksiin. Jokaisessa vaiheessa on kaksi puolikokoista loogista vaihtoehtoa, mikä antaa samankaltaisuusulottuvuuden log 2 / log 3.
Kolmijakoisessa merkintätavassa valitut luvut ovat juuri niitä, jotka voidaan kirjoittaa ilman numeroa 1: 0 valitsee vasemman haaran ja 2 oikean. Geometria muuttuu symboliseksi sekvenssiksi. Ensimmäiset n numeroa määrittävät välin vaiheessa n, kun taas jäljellä olevat numerot tarkentavat sijaintia sen sisällä. Itsesamankaltaisuus ilmenee paitsi kuvassa myös äärettömiin jonoihin vaikuttavana siirtymänä.
Lähteet ja lisälukemista
Tämä artikkeli tiivistää seuraavat asiantuntijalähteet alkuperäisellä sanamuodolla. Tarkastettu ja toimituksellisesti arvioitu 12 elokuussa 2026.
- Cantor SetWolfram MathWorld
- Fractal Geometry: Mathematical Foundations and ApplicationsWiley
Jatka ajatusta
Fraktaalinen ulottuvuus
Mitä fraktaalinen ulottuvuus mittaa, miten laatikkolaskenta toimii ja miksi yhdellä objektilla voi olla useampi kuin yksi merkityksellinen ulottuvuus.
Sierpińskin kolmio ja matto
Kuinka toistuva poisto luo tarkan itsesamankaltaisuuden, katoavan alueen ja sillan Cantorin joukosta korkeampiin ulottuvuuksiin.
Kun käyrät muuttuivat ”patologisiksi”
Miksi jatkuvat, missään kohdassa sileät ja tilaa täyttävät käyrät häiritsivät klassista intuitiota – ja nousivat myöhemmin keskeisiksi esimerkeiksi.