Eulerin karakteristika

Eulerin karakteristika on eräs algebrallisen topologian invariantti, joka kuvastaa topologisen avaruuden rakennetta.

Eulerin karakteristika määriteltiin alun perin monitahokkaalle ja sitä käytettiin todistamaan monia monitahokkaita koskevia lauseita, kuten esimerkiksi kaikkien säännöllisten monitahokkaiden karakterisoimiseen. Alkuaikoina erityisesti Leonhard Euler tutki Eulerin karakteristikaa. Nykymatematiikassa Eulerin karakteristika esiintyy homologiateoriassa ja sillä on yhteyksiä moniin muihin algebrallisen topologian invariantteihin.

Monitahokas 

Eulerin karakteristika  määritellään monitahokkaalle kaavalla

missä V, E ja  F ovat kärkien, särmien ja tahkojen lukumäärä. Karakteristikan merkitys on siinä, että se riippuu vain monitahokkaan topologisista ominaisuuksista. Voidaan osoittaa, että karakteristika riippuu vain monitahokkaan muodostaman pinnan genuksesta ja suunnistuksesta. Merkitään genusta kirjaimella g (g on aina positiivinen kokonaisluku tai nolla). Jos pinta on suunnistettu, niin

Jos monitahokas on homeomorfinen pallon kanssa, niin g=0, joten tällöin

Erityisesti jos monitahokas on konveksi, niin g=0. Tämä tulos tunnetaan Eulerin monitahokaslauseena.

Esimerkkejä konvekseista monitahokkaista

Konveksin monitahokkaan Eulerin karakteristika on siis 2. Tätä voidaan käyttää sen osoittamiseen, että on olemassa vain viisi säännöllistä monitahokasta:

Algebrallinen topologia
Seulonnan keskeiset artikkelit