Epislon & Delta for Open / Not Open Sets

[rroy81]

Hello All,

I am finding the hardest time in understanding how to work δ & ε Open Set Problems?

Can someone please explain this approach to me?

Thanks in Advance

 

[Vargo]

Hello!

That's kind of vague. Is there a particular problem you are working on? Or is there a Theorem you are trying to understand? Some examples would be easier to respond to.

 

[rroy81]

So the problem given is:
Is the set S = {P=(x,y): |y| > 0} open or not?

I want to know how do I tackle or decipher this?...I have spent a good 2 days researching and reviewing the textbook example and I am simply not getting it.

 

[lugita15]

Is the set S = {P=(x,y): |y| > 0} open or not?

What is the definition of open set you're using? There are several equivalent definitions.

 

[rroy81]

What is the definition of open set you're using? There are several equivalent definitions.

So the definition or what I understand a "Open Set" is;
Any arbitrary point P within a set must be < than the δ or radius in order to satisfy as an "Open Set".

Was this what you are asking?

I am simply confused and lost on how one would write a proof and hence I need a better explanation on understanding this types of "Prove"

 

[thrill3rnit3]

I suggest going back and re-reading (and understand?) the formal definition. What you have said above is not quite accurate. The structure of the proof (ie. what you have to do) comes really from the definition itself.

 

[Stephen Tashi]

So the definition or what I understand a "Open Set" is;
Any arbitrary point P within a set must be < than the δ or radius in order to satisfy as an "Open Set".

As thrill3rint3 indicates, that is not a coherent statement. It's doesn't explain what the \delta radius is. Is that a translation from a non-English textbook?

My guess about the definition in your text materials is that it says something equivalent to:
A set S is open if and only if for each point x in S, there exists an open interval O of radius \delta &gt; 0 such that O contains x and O is a subset of S. (The definition in you book might want x to be the center of O.)

The way you start such a proof is to say "let x be a point in the set S = {w: |w| > 0}". Then you show you can find an open interval O that meets these condition. You can divide the proof into 2 cases, if you wish. For example, if you take the case that x < 0 then you can say "Consider the case that x < 0. Since x < 0, -x/2 > 0. Let \delta = -x/2." Then you must show that an open interval O with center x and radius \delta is a subset of S.

Proofs involving showing one set is a subset of another often are done by showing that if we pick an arbitrary point in the first set then it must be in the second set. So you may began this part of the proof by saying "Let p be a point in 0 = {y:| y - x | < \delta }." Then you prove p is in S by showing |p| > 0.

If it's any consolation, writing the proof in such detail is not easy. You should consider whether your textbook has proved any theorems that could be used. Without seeing your text, I don't know what it has proven. For example, has the textbook proven that a half open interval such as {q: q > C} is an open set?

 

[HallsofIvy]

Equivalent to what Stephen Tashi said, a set, A, is open if and only if, for any point p in A, there exist \delta&gt; 0 such that, for any point q, if, d(p, q)&lt; \delta the q is in A also.

Many textbooks start by defining an "interior point" of a set, A, as any point, p, for which the above is true, then define A to be "open" if all of its points are interior points.

All this, by the way, is only true for metric topologies in which d(p, q), the distance between points p and q, is defined. There are more general definitions.

 

[rroy81]

Ok guys, my apologies. I did more research on this problem set and this is exactly what is given.

Is the set S = {P=(x,y): |y| > 0} open or not?
{P=(x,y): |y| > 0} = {P=(x,y): (y > 0) or (y <0)} = {P=(x,y):y ≠ 0}

I need to show whether this is a open set or not?

Hope this iis more clearer.

 

[rroy81]

firstly: THANK YOU all for taking the time and trying to point me in the right direction.

Now, I am sitting here pondering on this problems "Open Set" problems.

I believe the question I should be asking is whether someone can explain to me Open Sets using δ & ε? with examples and solution

Than maybe I can wrap my head around this.

TIA

 

[SteveL27]

Ok guys, my apologies. I did more research on this problem set and this is exactly what is given.

Is the set S = {P=(x,y): |y| > 0} open or not?
{P=(x,y): |y| > 0} = {P=(x,y): (y > 0) or (y <0)} = {P=(x,y):y ≠ 0}

I need to show whether this is a open set or not?

Hope this iis more clearer.

Can you draw or conceptualize a picture of the set in question? What points are not in S? What does S look like? Can you describe it in words? Hint: It's "Everything but _______" where the blank is a very familiar set.

Now if x is a point in S, can you draw a little circle around it that's entirely within S?

 

[rroy81]

Can you draw or conceptualize a picture of the set in question? What points are not in S? What does S look like? Can you describe it in words? Hint: It's "Everything but _______" where the blank is a very familiar set.

Now if x is a point in S, can you draw a little circle around it that's entirely within S?

SteveL27, I have attached a word doc with picture.

 

[SteveL27]

SteveL27, I have attached a word doc with picture.

Yes, that's the correct intuition.

Can you turn this into a proof? Is that where you're stuck?

 

[thrill3rnit3]

Think about it this way, for intuition, which you can then formalize to create your "proof".

You want to make sure that for all points in that given set S, you can create a "disk", or "neighborhood" [ with radius δ > 0 ], around each one of them, in such a way that all the points inside this disk is contained in S. That is essentially what it means to be an "open" set.

So, for this kind of proof, it suffices to show that there exist such a "neighborhood" for an arbitrary point P in S. Pick such a point. Now, ask yourself: Where can you run into trouble when creating the "neighborhood"? Is it possible for you to circumvent that problem for any choice of point P? In other words, given a point (x,y), what must delta be so that you don't run into the problem?

 

[rroy81]

Yes, that's the correct intuition.

Can you turn this into a proof? Is that where you're stuck?

SteveL27, yes this is exactly where I am stuck. I do believe I understand the question however, I am having a very difficult time put words on paper that explains it.

Think about it this way, for intuition, which you can then formalize to create your "proof".

You want to make sure that for all points in that given set S, you can create a "disk", or "neighborhood" [ with radius δ > 0 ], around each one of them, in such a way that all the points inside this disk is contained in S. That is essentially what it means to be an "open" set.

So, for this kind of proof, it suffices to show that there exist such a "neighborhood" for an arbitrary point P in S. Pick such a point. Now, ask yourself: Where can you run into trouble when creating the "neighborhood"? Is it possible for you to circumvent that problem for any choice of point P? In other words, given a point (x,y), what must delta be so that you don't run into the problem?

thrill3rnit3, I will attempt what I think..here goes..
I believe that "let P be any point in S such that (P-P0)/2 < δ"..again for the life of me I can't express in or formulate it into a statement.

 

[thrill3rnit3]

What is P0? You need to make sure every detail in your proof is accounted for.

 

[rroy81]

What is P0? You need to make sure every detail in your proof is accounted for.

P0 really is meant to say P subscript 0. Didn't know how to do this in here. Couldn't Copy & paste from word either.

 

[SteveL27]

SteveL27, yes this is exactly where I am stuck. I do believe I understand the question however, I am having a very difficult time put words on paper that explains it.



thrill3rnit3, I will attempt what I think..here goes..
I believe that "let P be any point in S such that (P-P0)/2 < δ"..again for the life of me I can't express in or formulate it into a statement.

If you can describe S in words, it will be very helpful.

S consists of all the points in the plane except for ___________.

Now if P is a point of S, can we find a little circle around P that does not contain any points of ____________?

 

[thrill3rnit3]

P0 really is meant to say P subscript 0. Didn't know how to do this in here. Couldn't Copy & paste from word either.

Hm, I think it would be nice to have an systematic approach to this proof.

What do we want to show? We want to show that for any point p (x,y) there exists a radius δ > 0 such that, for any point q, if the distance from p to q is less than δ,

ie. if l p - q l < δ where l l represents the [ Euclidean? ] metric,

then q belongs to S.

The "there exists a radius δ > 0" is a very important part. It means that you have to come up with a delta, which depends on the chosen point p, so that the above holds.

Don't try to write down the "proof" yet. Make sure you understand what is going on. Can you come up with a delta such that the conditions are satisfied?

Look at Stephen Tashi's post [ #7 ]. He basically outlines what you need to do. Let us know if there is a part that you are having trouble with.