PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High 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 $$x=(x_1,\ldots,x_{2n}):U\to\R^{2n},$$ such that $$\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 $\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 | get metadata)

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, theorem, 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 5401 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)