Invariante es algo que no cambia al aplicarle un conjunto de transformaciones.
Así, enmatemá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. El concepto de invariante es similar al depunto fijo.
Más formalmente una entidad se considera invariante bajo un conjunto de transformaciones si la imagen transformada de la entidad es indistinguible de la original.La propiedad de ser invariante se conoce comoinvarianza oinvariancia.
Una noción física fundamental es la deobservador. En todas las teorías físicas se presupone la existencia de algún tipo de realidad objetiva y un número potencialmente infinito de observadores diferentes capaces de observar y medir dicha realidad. Todas las teorías físicas incluyen elaxioma 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.
Puede demostrarse que la existencia de intersubjetividad de las medidas conduce a que pueden formarse ciertas expresiones matemáticas que relacionan las medidas que son invariantes en forma oforminvariantes para todos los observadores.
En matemáticas existen varias nociones relacionadas de invariancia. Una de las más útiles considera unfunctor entrecategorías:
un invariante es un objeto de la categoría imagen tal 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ía se cumple que:
En otras palabras un "invariante" es una functor constante sobre una determinada categoría. Elgrupo fundamental es un invariante matemático, ya que dos espacios homeomorfos comparten el mismo grupo fundamental. Además del grupo fundamental existen otrosinvariantes algebraicos definibles sobre unacategoría de espacios topológicos homeomorfos.
En otros contextos la definición anterior puede simplificarse, por ejemplo en muchos contextos se considera un conjunto de transformaciones sobre objetos, un invariante puede entenderse como unobjeto matemático que no es alterado por las transformaciones:
Enteoría de matrices uninvariante algebraico es una función polinómica de las componentes de la matriz cuyo valor no varía se calcula sobrematrices semejantes (y por tanto que representan la mismaaplicació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. Se usa sobre todo en ladepuración de programas en las últimas fases de su desarrollo o al modificar código existente (prueba de regresión).
| Control de autoridades |
|
|---|
Datos:Q188211