1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Problem concerning smooth manifolds

  1. Sep 25, 2007 #1


    User Avatar

    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]?
  2. jcsd
  3. Sep 25, 2007 #2


    User Avatar
    Science Advisor

    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.
  4. Sep 25, 2007 #3


    User Avatar

    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?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook