Which subspaces retain nondegeneracy of a bilinear form?

In summary, a subspace U of a vector space V retains nondegeneracy if and only if it is a symplectic subspace, meaning it has an alternating bilinear form that does not vanish when applied to any nonzero vectors in U. This is determined by the dimension of U, with only even dimensions being possible for symplectic subspaces. Additionally, if a subspace is symplectic, then any symplectic linear transformation applied to it will also result in a symplectic subspace.
  • #1
[sauce]
8
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
  • #2
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.
 

Related to Which subspaces retain nondegeneracy of a bilinear form?

1. What is a bilinear form?

A bilinear form is a mathematical function that takes in two vectors and outputs a scalar value. It is linear in each of its inputs, meaning that it satisfies the properties of linearity: additivity and homogeneity.

2. What does it mean for a subspace to retain nondegeneracy of a bilinear form?

A subspace retaining nondegeneracy of a bilinear form means that the bilinear form remains nondegenerate when restricted to that subspace. In other words, there are no non-zero vectors in the subspace that are mapped to 0 by the bilinear form.

3. Why is it important to identify subspaces that retain nondegeneracy of a bilinear form?

Identifying subspaces that retain nondegeneracy of a bilinear form is important because it allows us to better understand the structure of the vector space. It also has practical applications in areas such as physics, engineering, and computer science.

4. How can we determine which subspaces retain nondegeneracy of a bilinear form?

To determine which subspaces retain nondegeneracy of a bilinear form, we can use the rank-nullity theorem. This theorem states that the rank of a bilinear form is equal to the dimension of its image, which is the subspace of the codomain that the form maps to. Therefore, if the rank of the bilinear form is equal to the dimension of the vector space, then all subspaces retain nondegeneracy.

5. Can all subspaces retain nondegeneracy of a bilinear form?

No, not all subspaces can retain nondegeneracy of a bilinear form. If the rank of the bilinear form is less than the dimension of the vector space, then some subspaces may lose nondegeneracy. This can be seen in the case of a degenerate bilinear form, where there exists at least one non-zero vector that is mapped to 0 by the form.

Similar threads

  • Linear and Abstract Algebra
Replies
6
Views
1K
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
19
Views
4K
  • Linear and Abstract Algebra
Replies
3
Views
1K
Replies
7
Views
1K
Replies
2
Views
898
  • Linear and Abstract Algebra
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
7
Views
2K
  • Linear and Abstract Algebra
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
5
Views
2K
Back
Top