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!

Proof of an open set

  1. Jul 25, 2012 #1
    [tex]
    Let\,S=\,\{(x,y)\,\in\,\mathbb{R}^2\,|\,xy\,>\,1\}
    [/tex]
    Show S is open.

    I've been reading everything I can get my hands on to get a handle on these sort of proofs. I think I have the definitions of everything down solid but my problem seems to be proving things for myself as I think is true for almost everyone who is first confronted with this stuff. This is what I've done so far....

    Let xy be defined as a point q. We define a point z [itex]\in[/itex] D(w,r), where [itex]r=\frac{1}{2}d(w,q)[/itex].
    Further;
    d(w,q) [itex]\leq[/itex] d(q,z) + d(z,w).
    Hence, d(q,z) [itex]\geq[/itex] d(w,q) - d(z,w)


    I don't know where to move from here. I'm not even sure if I'm on the right track. I know I can substitute d(w,q) as 2r but I don't know if that will help me at all. Also (for clarification) 'D(w,r)' is my 'ball' in [itex]\mathbb{R}^2[/itex] centered at 'w' with a radius 'r'.

    Thanks for the help.
     
  2. jcsd
  3. Jul 25, 2012 #2

    SammyS

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    What's the definition of an open set?
     
  4. Jul 25, 2012 #3
    Informally...an open set is any set whose boundary points are not included within that set. Also, if a point within the set was to have an epsilon 'ball' draw around it of an arbitrary radius any point within that ball would also be located within the set.
     
  5. Jul 25, 2012 #4

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    The first thing you should do is draw the set. What is the boundary of that set? Then let (x, y) be a point in the set and show that is it NOT in that boundary. Use your picture to decide what is the shortest distance from (x, y) to the boundary.

    mateomy, "an open set is any set whose boundary points are not included within that set" is not necessarily "informal". Some text books use that as the definition of "open sets" (in a metric space, of course) after defining a boundary point, p, of set A to be a point such that every ball centered on p contains some points in A and some points not in A.
     
  6. Jul 25, 2012 #5
    This isn't the most beginner friendly definition to go by.
    HallsofIvy's definition is much nicer, it gives you a better idea of an open set as a set where you've always got a little freedom to move about.
     
  7. Jul 25, 2012 #6
    I've drawn a diagram, that's how I arrived at my triangle inequality. I was thinking about doing something along these lines:


    [tex]
    r\,=\,\frac{1}{2}d(w,q)
    [/tex]

    So we can rewrite that as 2r, and because we know that d(w,z) is less than our 'ball' radius we can rewrite the entire inequality as

    [tex]
    d(q,z)\,\geq\,d(w,q)\,-\,d(z,w)\,>\,2r\,-\,r
    [/tex]

    And since we know the r is never zero d(q,z) will always be greater than zero and hence, our 'ball' will always remain within the set.

    Does that work? (I'd clean it up a little obviouslly)

    Thanks again, everyone.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Proof of an open set
  1. Open Set Proofs (Replies: 3)

  2. Open set (Replies: 4)

Loading...