Invarianto (matematiko)
propraĵo de matematika objekto sendependa je elekto de priskribo
(Alidirektita el Invarianteco)
Invarianto estas valoro, kiu ne ŝanĝigas dum certaj operacioj aŭ transformo.
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.
🔥 Top keywords: Vikipedio:ĈefpaĝoSpecialaĵo:SerĉiCarles Puigdemont i CasamajóSpecialaĵo:Lastaj ŝanĝojJean SimmonsCifereca valutoEsperantoDua MondmilitoHelpo:EnhavoVikipedioVikipedio:MalgarantioVikipedio:DiskutejoPortalo:KomunumoWakeleyUzanto:DominikVikipedio:AktualaĵojVikipedio:KontaktojTTTXXXLaure Patas d’IlliersSeksumadoRobert FicoIslamoSerĉilo-optimumigoVikipedio:Bonvenon al VikipedioVikipedio:Forigendaj artikolojUsonoMilena VelbaDiskuto:IslamoSuboticaMarie-AntoinetteUsona departemento de justicoVikipedio:Alinomendaj artikolojMordloch ĉe ŠtětíPonardado en la preĝejo de Wakeley en 2024AlkanoBlanka cikonioFastostrikoLiběchov