Menge aller Punkte in einer symplektischen Mannigfaltigkeit, auf denen eine gegebene Hamilton-Funktion H einen gegebenen festen Wert E annimmt.

Energiehyperflächen sind sog. koisotrope Untermannigfaltigkeiten der Kodimension 1, falls E ein regulärer Wert von H ist. Ihre charakteristischen Richtungen werden durch das Hamilton-Feld von H aufgespannt.