Niech (X, ω) będzie rozmaitością symplektyczną. 1-formę β spełniającą:

nazywamy formą Liouville’a na X.

Dla każdej pary ω i β istnieje dokładnie jedno pole wektorowe η na X, takie że:

gdzie oznacza zwężenie ω przez η.

Bibliografia

Kategoria:Geometria różniczkowa