En esta formulación abstracta se construye una [[variedad simpléctica]] formula_15 que de hecho es el [[espacio fásico]] dotado de una [[espacio topológico|estructura topológica]] conveniente.