Invarianto (matematiko)

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

Invarianto estas valoro, kiu ne ŝanĝigas dum certaj operaciojtransformo.

Se en la argumentaro de iu funkcio f ekzistas ekvivalentrilato kaj tiu funkcio identas sur la eroj de tiu rilato (ne dependas de la elekto inter ekvivalentaj eroj), ĝi estas nomata invarianto (sub tiu ekvivalentrilato).

La invarianteco estas ofte uzata por pruvi la ĝustecon de programadaj procezoj: Se valoro estas teorie invarianto, ĝis konstanteco en programa transformo devas esti pruvebla. Simpla ekzemplo estas, ke la diferenco de du nombroj devas resti egala, se oni malgrandigas ambaŭ je 1.