ction::::汉弥尔顿算子.设为一个向量空间，在其上有着辛形式。那么当「formula_3是对称的」这条件满足时，就称线性变换formula_4是一个对的汉弥尔顿算子（Hamiltonian operator），也就是说它当满足下式：若选择一个基in ，使得可写成formula_6这样的形式，则一个对线性算子是汉弥尔顿算子，当且仅当在这个基中与此算子对应的矩阵是汉弥尔顿矩阵。