Lie bracket
两个辛向量场的李括号是哈密顿的，从而辛向量集合与哈密顿向量场集合各自形成一个李代数。