Jump to content

Talk:Symplectic vector space

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 84.88.66.226 (talk) at 21:51, 21 December 2010 (Equal or just Isomorphic?). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

WikiProject iconMathematics Start‑class Mid‑priority
WikiProject iconThis article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
StartThis article has been rated as Start-class on Wikipedia's content assessment scale.
MidThis article has been rated as Mid-priority on the project's priority scale.

I redirected this page to symplectic manifold (which symplectic topology and symplectic geometry also go to) and then upon further reflection I reverted the page to the way it was. Shouldn't this page discuss a symplectic vector space and not a symplectic manifold (as it does now). Briefly a symplectic vector space is a vector space with a nondegenerate, alternating form. The tangent space to every symplectic manifold is a symplectic vector space. Actually, the example given on this page really is just a vector space. -- Fropuff 07:03, 2004 Feb 24 (UTC)

The article is not complete but is probably not a stub anymore. Should that line be deleted? Sympleko 10:57, 13 Apr 2005 (UTC)

symplectic matrix

I'm completely befuddled by this recent edit:

(Note that this is not the same thing as a symplectic matrix, which is a different concept discussed below).

which was used to replace

An ordered basis can always be found to express this matrix as a symplectic matrix.

The new sentance seems to be trying to say that something isn't something, but I'm not sure what the two somethings are. The old sentance seemed quite clear to me: a skew symmetric matrix can always be made symplectic by change of coords ... right? why remove such a sentance ? Confused ... linas 03:43, 11 May 2005 (UTC)[reply]

Symplectic matrices are the coordinate representations of symplectic transformations on a symplectic vector space. They presevere the non-degenerate skew-symmetric matrix which is the coordinate representation of the symplectic form. Symplectic matrices are only defined with respect to said non-degenerate skew-symmetric matrix. To say that the symplectic form has a coordinate representation as a symplectic matrix doesn't really make any sense: with respect to which matrix? -- Fropuff 05:03, 2005 May 11 (UTC)

Why only define a symplectic space over the real numbers?

Shouldn't this article be far more general? It is completely possible to define symplectic spaces over arbitrary fields. It might be possible though, that those spaces only make since over fiels with characeristic unequal to 2. See Quadratic_form. —Preceding unsigned comment added by 169.229.55.42 (talkcontribs) 01:26, 26 January 2006

In short, yes. The real case is the easiest one to handle, and is the one that is revelant to symplectic manifolds. In any case, I believe everything that is stated in the article works over arbitrary fields with char ≠ 2. I need to look up how the characteristic 2 case is handled. I suspect one just uses nondegenerate alternating forms rather than skew-symmetric ones, but there may be additional subtleties. -- Fropuff 02:08, 26 January 2006 (UTC)[reply]

Equal or just Isomorphic?

Shouldn't a Lagrangian subspace W of a symplectic vector space be merely isomorphic to W-perp, not equal? Sdenton-at-math.ucdavis 22:52, 16 February 2007 (UTC)[reply]

No. If that were the case any subspace whose dimension was half that of V would be Lagrangian, which is not a very useful notion. -- Fropuff 00:15, 17 February 2007 (UTC)[reply]


Sugguestion

I strongly sugguest to use in the whole Wikipedia for the identity map on a set M the notation id_M with index M (some people use Id instead, but they are a minority). If the set happens to be the space of column vectors Fn on a field F then the index should be the dimension of this column vector space. In this case id_n is the identity matrix. This notation would remove the difficulty that english speaking mathematicians mostly use I_n instead, german speaking E_n, ... . Hans Tilgner —Preceding unsigned comment added by 84.88.66.226 (talk) 21:31, 21 December 2010 (UTC)[reply]