Which subspaces retain nondegeneracy of a bilinear form?

Click For Summary
SUMMARY

This discussion focuses on the conditions under which a subspace U of a vector space V retains the nondegeneracy of a nondegenerate alternating bilinear form. It establishes that one-dimensional subspaces cannot retain nondegeneracy, while two-dimensional subspaces may or may not, depending on the choice of vectors. The concept of symplectic subspaces is introduced, highlighting that such subspaces exist in even dimensions, as stated in the canonical form theorem referenced from Anna Canna Silva's book on symplectic geometry. Furthermore, it is noted that any symplectic linear transformation A preserves the symplectic nature of subspaces.

PREREQUISITES
  • Understanding of nondegenerate alternating bilinear forms
  • Familiarity with vector spaces and subspaces
  • Knowledge of symplectic geometry
  • Concept of symplectic linear transformations
NEXT STEPS
  • Study the canonical form theorem in symplectic geometry
  • Explore the properties of symplectic subspaces
  • Learn about symplectic linear transformations and their applications
  • Investigate examples of nondegenerate bilinear forms in higher dimensions
USEFUL FOR

Mathematicians, physicists, and students studying linear algebra and symplectic geometry, particularly those interested in the properties of bilinear forms and their applications in various fields.

[sauce]
Messages
8
Reaction score
0
Suppose I have a nondegenerate alternating bilinear form <,> on a vector space V. Under what conditions would a subspace U of V retain nondegeneracy? That is, if u ∈ U and u ≠ 0, then could I find a w ∈ U such that <u,w> ≠ 0?

So for example, it's clear that no one-dimensional subspace W of V could retain nondegeneracy since every vector in W could be written as a scalar multiple of any other. But would, say, a two-dimensional subspace retain nondegeneracy?
 
Last edited:
Physics news on Phys.org
A 2-dimensional space my or may not retain nondegeneracy: pick any nonzero v. Then by nondegeneracy, there exists w s.t. <v,w> doesn't vanish. Ok, well the form is nondegenerate on W:=span{v,w}. Such a subspace is called symplectic by the way.

More generally, by the "canonical form theorem" for such forms (see p.1 of the free book by anna canna silva on symplectic geometry), there exists symplectic subspaces of dimension d iff d is even. Moreover, if W is such a symplectic subspace, then A(W) is too for any symplectic linear transformation A. So there are a lot of them in each dimension too.
 

Similar threads

Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 19 ·
Replies
19
Views
6K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K