Invarianza (matematica)

Questa voce o sezione sull'argomento matematica non cita le fonti necessarie o quelle presenti sono insufficienti.

---

Puoi migliorare questa voce aggiungendo citazioni da fonti attendibili secondo le linee guida sull'uso delle fonti. Segui i suggerimenti del progetto di riferimento.

In matematica un oggetto (funzione, insieme, punto, ...) si dice invariante rispetto o sotto una trasformazione se esso rimane inalterato dopo l'azione di tale trasformazione. Il concetto di invarianza è molto simile a quello di punto fisso.

Altrimenti detto, dato un insieme ${\displaystyle X}$ con una relazione d'equivalenza, un invariante è una funzione ${\displaystyle f:X\to Y}$ che sia costante su ogni singola classe: il suo valore non dipende dal rappresentante scelto. Si dice anche che ${\displaystyle f}$ può scendere al quoziente. Tale definizione generalizza la precedente, cui ci si può riportare ponendo come relazione d'equivalenza "c'è una trasformazione che porta l'elemento ${\displaystyle a}$ nell'elemento ${\displaystyle b}$".

In teoria delle categorie, ogni funtore definisce un invariante, ma non ogni invariante è funtoriale.

In analisi complessa ci sono delle definizioni accessorie: un insieme si dice invariante in avanti sotto la mappa ${\displaystyle f}$ se ${\displaystyle f(X)=X}$, invariante all'indietro se ${\displaystyle f^{-1}(X)=X}$ e completamente invariante se è entrambe le cose.