Le crochet de Poisson est l'application bilinéaire définie sur par
Dans une carte canonique, on a donc
Muni du crochet de Poisson, l'espace est donc une algèbre de Lie. On l'appelle l'algèbre de Poisson de .