Results 1 to 3 of 3

Math Help - Partitioning an open interval

  1. #1
    Jes
    Jes is offline
    Newbie
    Joined
    Oct 2008
    Posts
    12

    Partitioning an open interval

    I need to prove that every bounded open interval in \mathbb{R} is a union of disjoint open sets. Not sure, but here's what I got:

    Let (a,b) be an open interval and let x,y \in (a,b) with x \not = y and assume x < y. Put \epsilon = \min\{d(x,y), d(x,a), d(y,b)\} and define S = \cup \{ B(x;\epsilon) : x \in (a,b)\}. Then S=(a,b) and it is a union of open sets.

    Now we need to show they are pairwise disjoint. Using the previous definition of \epsilon, there is an open ball B(x; \epsilon /3) and the ball B(y; \epsilon /3) with B(x; \epsilon /3), B(y; \epsilon /3) \subset (a,b) . Suppose some z \in B(x; \epsilon / 3) \cap B(y; \epsilon /3). Then \epsilon \leq d(x,y) \leq d(x,z) + d(z,y) \leq \frac {\epsilon} {3} + \frac {\epsilon} {3} = \frac{2\epsilon}{3} gives a contradiction.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    7
    Quote Originally Posted by Jes View Post
    I need to prove that every bounded open interval in \mathbb{R} is a union of disjoint open sets.
    A bounded open interval in \mathbb{R} is an open set all by itself. It is not possible to express it as the disjoint union of more than one (nonempty) open set.

    You seem to have the wording of the problem the wrong way round. It should surely read: "Every bounded open set in \mathbb{R} is a union of disjoint open intervals." You can find a neat proof of that here, using an equivalence relation.
    Last edited by Opalg; November 1st 2008 at 03:50 AM.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Jes
    Jes is offline
    Newbie
    Joined
    Oct 2008
    Posts
    12
    Good call, Opalg. You are right and thanks for the link.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Open Interval differention
    Posted in the Calculus Forum
    Replies: 16
    Last Post: August 15th 2011, 07:31 PM
  2. open interval and tangent lines
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: April 16th 2010, 01:01 PM
  3. If I is an open interval, f is differentiable on I ....
    Posted in the Differential Geometry Forum
    Replies: 7
    Last Post: April 15th 2010, 05:31 PM
  4. Arctangents in a half-open interval?
    Posted in the Trigonometry Forum
    Replies: 1
    Last Post: March 30th 2009, 05:58 PM
  5. Find the open interval...
    Posted in the Calculus Forum
    Replies: 1
    Last Post: March 10th 2008, 06:00 AM

Search Tags


/mathhelpforum @mathhelpforum