¿Qué parte de las matemáticas puede definirse como el análisis de las invariantes en correspondencias puntuales biunívocas y continuas en un espacio de dimensión n?