PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
Darboux's theorem (symplectic geometry) (Theorem)

If $ (M,\omega)$ is a $ 2n$-dimensional symplectic manifold, and $ m\in M$, then there exists a neighborhood $ U$ of $ m$ with a coordinate chart

$\displaystyle x=(x_1,\ldots,x_{2n}):U\to\mathbb{R}^{2n},$
such that
$\displaystyle \omega=\sum_{i=1}^ndx_{i}\wedge dx_{n+i}.$
These are called canonical or Darboux coordinates. On $ U$, $ \omega$ is the pullback by $ X$ of the standard symplectic form on $ \mathbb{R}^{2n}$, so $ x$ is a symplectomorphism. Darboux's theorem implies that there are no local invariants in symplectic geometry, unlike in Riemannian geometry, where there is curvature.



"Darboux's theorem (symplectic geometry)" is owned by bwebste.
(view preamble)

View style:

Other names:  Darboux coordinates

Attachments:
proof of Darboux's theorem (symplectic geometry) (Proof) by rspuzio
Log in to rate this entry.
(view current ratings)

Cross-references: curvature, geometry, invariants, implies, symplectomorphism, symplectic form, pullback, canonical, coordinate chart, neighborhood, symplectic manifold
There are 4 references to this entry.

This is version 3 of Darboux's theorem (symplectic geometry), born on 2002-12-12, modified 2007-06-24.
Object id is 3738, canonical name is DarbouxsTheoremSymplecticGeometry.
Accessed 4022 times total.

Classification:
AMS MSC53D05 (Differential geometry :: Symplectic geometry, contact geometry :: Symplectic manifolds, general)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)