Dimensio simpleksi on kupera runko pisteitä, jotka eivät sijaitseyksiulotteisessa aliavaruudessa. 0-ulotteinen simpleksion piste, 1-ulotteinenjana, 2-ulotteinenkolmio, 3-ulotteinentetraedri, jne. Pisteiden osan muodostamaa simpleksiäkutsutaan suuren simpleksin pinnaksi.
Sitten esittelemme yksinkertaisen kompleksin käsitteen (painottaen e:tä). Kompleksi on joukko yksinkertaisia, joista jokaisella kompleksi sisältää kaikki pintansa, ja millä tahansa kahdella yksinkertaisuudella joko ei ole ollenkaan yhteistä pistettä tai ne leikkaavat vain jonkin ulottuvuuden koko pintaa ja vain yhtä pintaa. Yleensä ne edellyttävät myös, että missä tahansa kompleksin pisteessä on lähiö, joka leikkaa korkeintaan äärellisen määrän yksinkertaistuksia (ns. paikallinen äärellisyys ).
Tarkastellaan asteittaista Abelin ryhmää kokonaislukukertoimilla, jotka on generoitu kompleksin yksinkertaisilla, ns. ketjuryhmä, joka on dimensioiden ketjuryhmien suora summa .
Yksinkertaisuuksilla katsotaan olevan orientaatio, ja simplexin katsotaan olevan yhtä suuri , jos permutaatio on parillinen, ja päinvastaisella etumerkillä, jos se on pariton.
Määrittelemme operaattorin geometrisen pinnan ottamiseksi :
, jossa tarkoittaa, että -th vertex tulisi ohittaa.
Geometrisen kasvon ottamisen operaattori riippuu vain simplexistä itsestään, mutta ei simplexin määrittävien kärkien järjestyksestä.
Tätä varten riittää todistaa, että -: nnen kasvon ottava operaattori ei muutu, kun kaksi kärkeä vaihdetaan (transponointi). Jos tämä siirto ei vaikuta , tämä on ilmeistä. Jos se järjestyy uudelleen -: nnelle paikalle, meillä on (olkoon esimerkiksi ):
- odotetusti (palata vanhaan paikkaan, sinun on tehtävä transponointi, vastaavasti, vaihdettava merkki saman määrän kertoja).
Määritellään simplexin orientoidun rajan operaattori seuraavasti:
Rajaoperaattorin ottaminen pienentää ulottuvuutta 1:llä. 0-ulotteisen simplexin (pisteiden) osalta harkitsemme . Lineaarisuuden mukaan laajennamme operaattorin mihin tahansa ketjuun. Rajaoperaattorin pääominaisuus on seuraava:
Sovellus simpleksiin johtaa jälkimmäisen kahden kärjen poistamiseen. Oletetaan, että .
Simpleksi sisältyy operaattorin ensimmäisen toiminnon tulokseen merkillä , mutta merkillä , koska poistettaessa kärki ei ole enää -: nnessa, vaan -: nnessä. Nämä merkit ovat vastakkaisia, mikä tarkoittaa, että se on nolla mille tahansa simpleksille ja lineaarisuuden mukaan mille tahansa ketjulle.
Monitahoinen on monitahojen liitto.
Jakamalla polyhedrat yksinkertaisiksi saamme yksinkertaisen kompleksin.
Yksinkertainen homologia otetaan käyttöön komplekseissa ja polyhedraissa seuraavasti:
Harkitse dimensioketjujen ryhmää kompleksimme yksinkertaisista , joita merkitään .
Ketjua , jossa rajaoperaattorin arvo on nolla (toisin sanoen ), kutsutaan sykliksi ; merkitään heidän joukkonsa .
Jos jollekin ketjulle se pätee (toisin sanoen ), niin ketjua kutsutaan rajaksi ; rajojen joukko merkitään .
Koska operaattori on lineaarinen, sekä rajat että syklit muodostavat ketjuryhmän alaryhmiä . Siitä tosiasiasta, että on selvää, että mikä tahansa raja on sykli, eli .
Kahden säikeen sanotaan olevan homologisia , jos ne eroavat toisistaan rajan verran. Se tallennetaan (eli ).
Tekijäryhmää kutsutaan kompleksin k-ulotteisen yksinkertaisen homologian ryhmäksi .
EsimerkkiAntaa olla yksiulotteinen kompleksi, joka on kaksiulotteisen simplexin (kolmio) raja . Etsitään sen homologia.
, koska kompleksissa ei ole kaksiulotteisia yksinkertaistuksia. Siksi . Selvitetään nyt, milloin yksiulotteinen ketju voi olla sykli.
Otetaan mielivaltainen ketju . Meillä on:
.Joten . Siksi millä tahansa yksiulotteisella syklillä on muoto
tarkoittaa , että on yksinkertaisesti ääretön syklinen ryhmä .
Etsitään nollaulotteinen homologia. Siitä lähtien . Tasa-arvosta seuraa, että ja eroavat rajalla. Samoin , ja eroavat rajan mukaan, minkä vuoksi rajaan asti minkä tahansa nollaulotteisen ketjun muoto on . Eli on yksinkertaisesti ääretön syklinen ryhmä . Jos se on itse raja, eli , niin meillä on se , ja siksi .
Joten, kaksiulotteisen simpleksin rajalle .
Jos kompleksin homologia on määritelty, niin niiden katsotaan olevan myös tätä kompleksia vastaavan polyhedronin homologia.
Homologiaryhmien riippumattomuus kolmiomittauksen valinnasta on kuitenkin todistettava.
Voidaan todistaa, että homomorfismi vastaa jatkuvaa monitahojen kartoitusta , ja tämä vastaavuus, kuten sanotaan, on funktionaalinen , eli jatkuvien kartoitusten koostumus vastaa homologiaryhmien homomorfismien koostumusta , ja identtinen kartoitus vastaa identtinen homomorfismi .
Jos kompleksi koostuu äärellisestä määrästä yksinkertaistuksia, niin homologiaryhmällä on äärellinen määrä generaattoreita.
Tässä tapauksessa se esitetään useiden kokonaislukujen ryhmän (niiden lukumäärän, eli homologiaryhmän järjestystä kutsutaan Betti-luvuksi ) ja äärellisten syklisten ryhmien, joissa kukin on jakaja (nämä luvut ). kutsutaan vääntökertoimiksi ). Betti-luku ja vääntökertoimet määritetään yksiselitteisesti.
Aluksi A. Poincaré esitteli ne vain karakterisoidakseen topologisia ominaisuuksia.
E. Noether osoitti itse homologiaryhmien tutkimukseen siirtymisen tärkeyden.