Por ejemplo, no es verdad que cada variedad diferenciable admite un métrica pseudoriemanniana de una signatura dada; hay ciertas obstrucciones topológicas.