Results 1 to 8 of 8

Math Help - Jordan measurable set

  1. #1
    Member
    Joined
    Oct 2012
    From
    israel
    Posts
    111
    Thanks
    14

    Jordan measurable set

    http://www.tau.ac.il/~tsirel/Courses...sis3/lect6.pdf

    Hi,
    i need help with the solution of problem 6h3 (c),on page 87. in the attached link. for p not smaller than 1,i think i know,but there must be a nice and compact solution.
    Thanks in advance.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,932
    Thanks
    782

    Re: Jordan measurable set

    Are you allowed to use results from topology in your proof? Define d: \mathbb{R}^n \times \mathbb{R}^n \to [0,\infty ) by

    d(x,y) = \sup_{1\le i\le n}|x_i - y_i|

    The topology this generates is frequently called the "Box metric". It is a routine exercise to show that these two metrics are topologically equivalent. A very similar proof can be used to show that each E_p, p>0 is Jordan measurable.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Oct 2012
    From
    israel
    Posts
    111
    Thanks
    14

    Re: Jordan measurable set

    can you elaborate more about your last sentence?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,932
    Thanks
    782

    Re: Jordan measurable set

    Sorry, by two metrics, I meant the Euclidean metric and the Box metric are topologically equivalent. Those were the two metrics I meant. To show their topological equivalent, show that about every point of an open ball, there exists an open box centered at that point lying completely inside of the open ball. Then, show that about every point inside of an open box there exists an open ball centered at that point sitting inside of the box. (That is the topological equivalence proof). For Jordan measurability, you need to do something similar. Show that the \sigma-algebra generated by closed balls is equivalent to the \sigma-algebra generated by boxes. Since the set of Jordan measurable sets is a \sigma-algebra containing all boxes, it must contain the \sigma-algebra generated by closed balls, and the problem is solved.
    Last edited by SlipEternal; December 23rd 2013 at 03:37 PM.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Oct 2012
    From
    israel
    Posts
    111
    Thanks
    14

    Re: Jordan measurable set

    This holds for p not smaller than 1,when lp is a metric,right?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,932
    Thanks
    782

    Re: Jordan measurable set

    Quote Originally Posted by hedi View Post
    This holds for p not smaller than 1,when lp is a metric,right?
    E_0 is just a point. It is trivially measurable (all sets in zero dimensions can be given measure zero). Any integration over zero dimensions is an integration over either zero or one point. So, the problem just doesn't make sense for p smaller than 1.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Member
    Joined
    Oct 2012
    From
    israel
    Posts
    111
    Thanks
    14

    Re: Jordan measurable set

    so p must be an integer?
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,932
    Thanks
    782

    Re: Jordan measurable set

    Quote Originally Posted by hedi View Post
    so p must be an integer?
    Oh, I'm sorry. I misread the problem. p can be any real number greater than 0, so the problem should hold for p smaller than 1, as well. For p at least 1, it is an L_p space. You need to treat 0<p<1 separately.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Function composition: measurable with non-measurable
    Posted in the Advanced Statistics Forum
    Replies: 0
    Last Post: April 2nd 2012, 03:18 PM
  2. Lebesgue measurable function and Borel measurable function
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: January 16th 2010, 03:55 AM
  3. Replies: 2
    Last Post: October 1st 2009, 08:07 PM
  4. Is sin(1/x) measurable?
    Posted in the Calculus Forum
    Replies: 5
    Last Post: February 10th 2009, 07:55 AM

Search Tags


/mathhelpforum @mathhelpforum