Una variedad simpléctica es un par ("M", ω) donde "M" es una variedad diferenciable y ω es una 2-forma cerrada, no degenerada en "M" llamada la forma simpléctica.