Invariante

Invariante es algo que no cambia al aplicarle un conjunto de transformaciones.Así, en matemáticas, un objeto (función, conjunto, punto, ...) se dice invariante respecto de o bajo una transformación si permanece inalterado tras la acción de tal trasformación.Una noción física fundamental es la de observador.Todas las teorías físicas incluyen el axioma o principio de objetividad según el cual aunque diferentes observadores pueden llegar a medidas diferentes de la misma realidad objetiva, todas ellas son relacionables mediante reglas generales, es decir, la objetividad del mundo material se refleja en la intersubjetividad de las medidas físicas.En matemáticas existen varias nociones relacionadas de invariancia.Una de las más útiles considera un functortal que las imágenes por el functor de los objetos de la primera categoría (que pueden ser relacionados por un isomorfismo) son idénticas.Dados cualesquiera dos objetos de la primera categoríaEn otras palabras un "invariante" es una functor constante sobre una determinada categoría.El grupo fundamental es un invariante matemático, ya que dos espacios homeomorfos comparten el mismo grupo fundamental.Además del grupo fundamental existen otros invariantes algebraicos definibles sobre una categoría de espacios topológicos homeomorfos.En teoría de matrices un invariante algebraico es una función polinómica de las componentes de la matriz cuyo valor no varía se calcula sobre matrices semejantes (y por tanto que representan la misma aplicación lineal, por lo que los invariantes algebraicos se denominan invariantes algebraicos de la aplicación lineal).Un invariante es una condición o propiedad que se mantiene cierta en ciertos puntos del programa.