variedad diferenciable, formula_1 es un grupo de Lie y