Invariantti

Invariantti tarkoittaa ominaisuutta, joka pysyy muuttumattomana tietyn ryhmän tai luokan transformaatioiden alaisuudessa. Käsite esiintyy laajasti matematiikassa, fysiikassa ja tietojenkäsittelyssä, ja sillä korostetaan sitä, mikä säilyy riippumatta muutoksista, joita kohteelle tehdään.

Geometriassa invariantit ovat esimerkiksi etäisyydet ja kulmat, jotka säilyvät isometrioiden, kuten kiertojen, siirtojen ja peilausten, alla. Esimerkiksi kahden pisteen välinen etäisyys ei muutu, kun kokonaisuutta pyöritetään tai siirretään. Algebraosiossa tietyt rakenteet on invariants, kuten matriisin determinant tai karakteristiset arvot, jotka pysyvät samoina samankaltaistusten (similarity transformations) yhteydessä. Samoin matriisin eigenarvot ovat invariants, jotka pysyvät samoina, kun matriisi konjugointiin toiseen vastaavaan muotoon.

Topologiassa invariantsit kuten Euler karakteristiikka ja fundamentaalinen ryhmä toimivat tapa-, miten tiloja voidaan luokitella ja erottaa toisistaan toisenlaisista muodoista, vaikka geometria saattaisi muuttua. Nämä topologiset invariantsit pysyvät muuttumattomina jatkuvankin muodon muuttuessa.

Fysiikassa invarianssit liittyvät sääntöihin, jotka kytkeytyvät maailmankaikkeuden symmetgioihin. Esimerkiksi energian ja liikemäärän konservointi ovat invariansseja suljetuissa järjestelmissä, ja Noethereuksen teoreema yhdistää symmetiat ja muuttumattomat määrät.

Tietojenkäsittelyssä ohjelmointiin liittyvät invariantsit, kuten silmukan invariants tai olio-ohjelmoinnissa olion tilaan liittyvät invariantsit, auttavat varmistamaan ohjelman oikeellisuuden ja konsistenssin koko suorituksen ajan. Invarianttien käsite muodostaa keskeisen työkalun monissa matematiikan ja tieteen osa-alueissa.