What is the Submanifold of Rank 1 2x2 Matrices in R^4?

  • Thread starter Thread starter Geometrick
  • Start date Start date
  • Tags Tags
    Groups Matrix
Click For Summary
SUMMARY

The set of all 2x2 matrices of rank 1 is confirmed to be a submanifold of R^4. The discussion highlights that the determinant function serves as a submersion on the manifold of nonzero 2x2 matrices, M(2) - 0, establishing that det^{-1}(0) is a 3-dimensional submanifold of M(2) - 0. The challenge lies in rigorously proving that this set is also a submanifold of R^4, which requires understanding the geometric implications of rank and the definition of submanifolds.

PREREQUISITES
  • Understanding of submanifolds in differential geometry
  • Familiarity with the determinant function and its properties
  • Knowledge of 2x2 matrix rank and its implications
  • Basic concepts of manifolds and open subsets in R^n
NEXT STEPS
  • Study the definition and properties of submanifolds in differential geometry
  • Learn about the implications of the determinant function in matrix theory
  • Explore the geometric interpretation of matrix ranks and their manifolds
  • Investigate examples of submanifolds in R^n for better understanding
USEFUL FOR

Students and researchers in mathematics, particularly those focusing on differential geometry, linear algebra, and manifold theory.

Geometrick
Messages
42
Reaction score
0

Homework Statement


Show that the set of all 2x2 matrices of rank 1 is a submanifold of R^4


Homework Equations





The Attempt at a Solution



The hint in the book was to show that the determinant function is a submersion on the manifold of nonzero 2x2 matrix M(2) - 0. This is easy to show. So I have that det^{-1}(0) \subset M(2) - 0 is a 3 dimensional sub manifold of M(2) - 0. But how do I show that it's a submanifold of R^4?

I know that M(2) - 0 is an open subset of R^4... I get the intuitive idea, but I don't see how to write a rigorous proof. How do I show that the set of 2x2 matrices of rank 1 is a submanifold of R^4 if I just showed that it is a submanifold of M(2) - 0?
 
Physics news on Phys.org
Think geometrically -- what configuration would be "bad", that is, cause your manifold not to be a submanifold of \mathbb{R}^4?
 
That didn't help me too much, I just looked up the definition of submanifold (explicitly) and just used that. It works quite nicely.
 

Similar threads

  • · Replies 36 ·
2
Replies
36
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
677
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
6K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 25 ·
Replies
25
Views
3K