La teoría de invariantes fue un área de investigación activa a finales del siglo XIX, promovida en parte por el programa de Erlangen de Felix Klein, de acuerdo con el cual los distintos tipos de geometría deberían ser caracterizadas por sus invariantes bajo transformaciones, por ejemplo, la razón anarmónica de la geometría proyectiva.