Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Defining a Manifold by Sheaves

  1. Jun 8, 2014 #1
    While reading about sheaves, I came across a beautiful definition of a manifold. An ##n##-manifold is simply a locally ringed space which is locally isomorphic to a subset of ##(\mathbb{R}^n, C^0)##. However, I don't see how this guarantees a manifold to be Hausdorff. Would someone please explain this?
     
  2. jcsd
  3. Jun 8, 2014 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    You need to demand Hausdorff and second countable separately since they are global conditions.
     
  4. Jun 8, 2014 #3
    Alright. That makes more sense. Thank you!
     
  5. Jun 8, 2014 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    By the way, if you're interested in this, check out this book:

    https://www.amazon.com/Global-Calculus-Graduate-Studies-Mathematics/dp/0821837028/

    Also, it needs to be said that differential geometry doesn't really fit well in the theory of locally ringed spaces for several reasons. One thing that is very interesting is that of diffeological spaces. A diffeological space is to a differentiable manifolds as a topological space is to a topological manifold. Diffeological spaces behave way better under categorical constructions. See http://en.wikipedia.org/wiki/Diffeology The references below the wiki article are very good.
     
    Last edited by a moderator: May 6, 2017
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook