Results 1 to 3 of 3

Math Help - Lebesgue measure of a manifold embedded in the euclidean space

  1. #1
    Newbie
    Joined
    Nov 2011
    Posts
    14

    Lebesgue measure of a manifold embedded in the euclidean space

    Let M be a m-dimensional manifold embedded in a n-dimensional euclidean space. If m is strictly less than n, is its Lebesgue measure zero?

    Can anyone give me a reference which can prove/disprove this?

    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21

    Re: Lebesgue measure of a manifold embedded in the euclidean space

    Quote Originally Posted by uasac View Post
    Let M be a m-dimensional manifold embedded in a n-dimensional euclidean space. If m is strictly less than n, is its Lebesgue measure zero?

    Can anyone give me a reference which can prove/disprove this?

    Thanks
    Here's how I would think about doing it. Since M can be embedded into \mathbb{R}^n and subspaces of Lindelof spaces are Lindelof we know that M is Lindelof and so we can find a countable atlas \{(U_k,\varphi_k)\}_{k\in\mathbb{N}} for M. Since the countable union of null sets is null it suffices to show that each U_k has measure zero. To do this consider that by considering the map \mathbb{R}^m\xrightarrow{\iota\circ\varphi_k^{-1}}\mathbb{R}^n (where \iota is the embedding M\hookrigtharrow \mathbb{R}^n) you get a smooth map from \mathbb{R}^m into \mathbb{R}^n and since m<n we know (by lemma 10.3 in Lee) the image of \iota\circ\varphi_k^{-1} has measure zero. And, since measure zero sets are preserved under diffeomorphisms we can pull back along \iota to get that U_k has measure zero.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Nov 2011
    Posts
    14

    Re: Lebesgue measure of a manifold embedded in the euclidean space

    I'm just starting to learn differential geometry, but your arguments seem sound to me. Thank you.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Lebesgue measure on RxR
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: August 17th 2011, 07:24 AM
  2. Lebesgue measure > +ve
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 10th 2010, 02:06 PM
  3. lebesgue measure
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: January 11th 2010, 03:42 AM
  4. lebesgue measure
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: December 27th 2009, 06:35 AM
  5. vanishing measure of a manifold with codimension 2
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: May 3rd 2009, 11:26 AM

Search Tags


/mathhelpforum @mathhelpforum