Invariant (wiskunde)

In de wiskunde is een eigenschap van een wiskundig object invariant als die eigenschap niet verandert wanneer het object transformaties van een bepaald type ondergaat. Zo'n invariante eigenschap wordt ook wel aangeduid als een invariant (van het object).^[1] De specifieke klasse van objecten en het type transformaties worden meestal aangegeven door de context waarin de term wordt gebruikt. De oppervlakte van een driehoek is bijvoorbeeld een invariant met betrekking tot isometrieën van het euclidische vlak. De uitdrukkingen "invariant onder" en "invariant voor" een transformatie worden beide gebruikt. Meer in het algemeen is een invariant met betrekking tot een equivalentierelatie een eigenschap die constant is voor elke equivalentieklasse.

In het bijzonder kan een wiskundig object zelf invariant zijn onder transformaties van een bepaald type.

1. ↑ 'Algoritmiek', Mark de Berg, TU Eindhoven, juli 2009, p. 10. Gearchiveerd op 30 november 2022.