Problem concerning smooth manifolds

  • Thread starter Thread starter ala
  • Start date Start date
  • Tags Tags
    Manifolds Smooth
Click For Summary
SUMMARY

The discussion centers on demonstrating that the set A = { {{cos x, -sin x}, {sin x, cos x}} | x ∈ R} is a smooth manifold within the space of 2x2 real matrices. Key points include the need to establish a diffeomorphism between the circle and the set A, which is essential for proving that A is a manifold. The tangent space at the identity matrix is identified as the vector \(\frac{\partial}{\partial x}\), and the relationship between matrices in A and points on the unit circle is highlighted. The ambiguity arises from the lack of a specified topology for the set A, raising questions about its manifold status.

PREREQUISITES
  • Understanding of smooth manifolds and their properties.
  • Familiarity with diffeomorphisms and their definitions.
  • Knowledge of topology, particularly in relation to manifolds.
  • Basic concepts of linear algebra, specifically 2x2 matrices and their geometric interpretations.
NEXT STEPS
  • Study the definition and properties of smooth manifolds in detail.
  • Learn how to establish diffeomorphisms between manifolds, focusing on practical examples.
  • Explore the topology induced by metrics in R^4 and its implications for subsets.
  • Investigate the relationship between tangent spaces and smooth manifolds, particularly in the context of matrix representations.
USEFUL FOR

Mathematicians, students of differential geometry, and anyone interested in the properties of smooth manifolds and their applications in linear algebra and topology.

ala
Messages
21
Reaction score
0
A={ {{cos x, -sin x},{sin x, cos x}}|x [tex]\in[/tex]R}, show that set A is smooth manifold in space of 2x2 real matrix. What is tangent space in unity matrix?

My questions about problem:
1. What is topology here? (Because I need topology to show that this is manifold)
2. In solution they say that mapping x[tex]\rightarrow[/tex]{{cos x, -sin x},{sin x, cos x}} is diffeomorphism between circle and given set and from this follows that given set is manifold.
How to prove that this is diffeomorphosm? (proving by definition is pretty hard, although it's somehow obvious that this is true if use proper topology)
Diffeomorphism is special kind of mapping between two smooth manifolds - so I really don't know to show that this mapping is diffeomorphism (because before that I must show that A is smooth manifold).
3. They also say that in coords of this one dimensional smooth manifold, tangent vector is [tex]\frac{\partial}{\partial x}[/tex]?
 
Physics news on Phys.org
Do you recognize that matrix as the rotation, in R2 about the origin through an angle [itex]\theta[/itex]? In other words, every matrix in A corresponds to a point on the unit circle- the point to which (1, 0) would be rotated by this matrix. This is a "many to one" correspondence since sine and cosine are periodic with period [itex]2\pi[/itex]. you might take, as your "coordinate neighborhoods", the intervals [itex](n\pi -\delta, (n+1)\pi - \delta)[/itex], with the obvious coordinate functions from R to A.
 
I know that, but in problem no topology is given. It is not justified to use topology that seem most natural. How can somebody ask question is some set manifold? (you can ask is some topological space manifold or is set A with topology T manifold)
Someone can say, ok matrices 2x2 can be understood as points in R^4, and given set of matrices as one dimensional subset of R^4 so I will use topology from R^4 (i.e. topology induced by metric in R^4). Using this topology given set maybe isn't manifold.
Do you see ambiguity?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 20 ·
Replies
20
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 55 ·
2
Replies
55
Views
10K
  • · Replies 21 ·
Replies
21
Views
4K