En géométrie différentielle, sur un fibré vectoriel réel E → P, une forme symplectique ω est la donnée d'une famille de formes bilinéaires non dégénéréesalternées ωx sur les fibres Ex dépendant de manière C∞ du point x de P. De manière plus rigoureuse, une forme symplectique est une section globale du fibré qui soit en tout point non dégénérée.