Métodos para calcular y verificar invariantes topológicos