Floer homology
定義： 鎖複体formula_218のホモロジーをハミルトン系の（可縮な）周期軌道に対するフレアーホモロジーと呼び、formula_219と表す。