Proving a set is open.

  • Thread starter Iconate
  • Start date
  • #1
21
0

Homework Statement



Define the notion of an open set in Rn.
Prove that the set {(x4)(y4)(z) | x > 0; y > 0; z < 0 } is open in R3.


Homework Equations



Definition of an open set

Br(p) = { x is an element in Rn |x - p| < r} c U

The Attempt at a Solution



Well we first pick a point p in U, and we want to find and r > 0 s.t. Br(p) is in U.
Choose r = min(|x4||y4||z|)

Then q= (x`, y`, z`) element of Br(p)

(x` - x4)2 + (y` - y4)2 + (z` - z)2 < r2

And from here I have to show x` > 0, y` > 0, z` < 0
x and y will follow the same way procedurally; from the inequality above, we know

(x` - x4)2 < r2
|x` - x4| < r

Here is where I get stuck; with exponents I am finding this more difficult to rearrange, am I supposed to use this inequality;?

x2 + y2 >= 2xy, by comparing both x and y to r?

Any help or insight would be great thanks, proving open sets have been giving me a lot of difficulty.
 

Answers and Replies

  • #2
354
0
First of all, a tip on writing proofs: Make sure, in general, to define all your symbols and variables. Although the reader might be able to figure out what your notation means based on previous knowledge, most would rather spend the majority of their time understanding your proof.

For example, your definition for an open set uses no standard symbols, and it took me a minute or so to figure out that you were trying (i think) to define an open set in [tex]\mathbb{R}^n[/tex] as follows: A subset [tex]U[/tex] of [tex]\mathbb{R}^n[/tex] is called open if for every point p in U there's an r>0 such that the set [tex]B_r(p)=\{x\in\mathbb{R}^n : |x-p|<r\}\subseteq U.[/tex]

Also, i'm assuming [tex](a)(b)(c)[/tex] is the ordered triplet [tex](a,b,c)[/tex]

As to the proof, the easiest way to go about this is to realize that the set [tex]\{(x^4,y^4,z):x>0,y>0,z<0\}[/tex] is the same as the set [tex]\{(x,y,z):x>0,y>0,z<0\}[/tex]. Once you do that, just continue the proof in the same way as before and you should be fine.
 
  • #3
21
0
Hey thanks, sorry for my syntax, first time on this forum, getting used to latex.

I am not too sure how they are equivalent; but, does this follow correctly;

I had
(x` - x4)2 < r2

and instead of saying;
|x` - x4| < r

Can I say; r2 [tex]\leq[/tex] x4
thus;

|x` - x4| < x4

Adding x4 to each;

0 < x` < 2x4

And y` will follow the same way, however is that correct in saying that x` and y` are open?
(still have to show z` is open)
 
  • #4
354
0
Hey thanks, sorry for my syntax, first time on this forum, getting used to latex.

I am not too sure how they are equivalent; but, does this follow correctly;
Suppose [tex](x^4,y^4,z)\in \{(x^4,y^4,z):x>0,y>0,z<0\}[/tex]. Then x^4>0, y^4>0, and z<0, so [tex](x^4,y^4,z)\in\{(x,y,z):x>0,y>0,z<0\}[/tex].

Conversely, if [tex](x,y,z)\in\{(x,y,z):x>0,y>0,z<0\}[/tex], then [tex](x,y,z)=\left((\sqrt[4]{x})^4,(\sqrt[4]{x})^4,z\right)\in\{(x^4,y^4,z):x>0,y>0,z<0\}[/tex]. Thus, the two sets are equivalent.

Can I say; r2 [tex]\leq[/tex] x4
thus;

|x` - x4| < x4

Adding x4 to each;

0 < x` < 2x4

And y` will follow the same way, however is that correct in saying that x` and y` are open?
(still have to show z` is open)


If you meant [tex]r\leq x^4[/tex], then your reasoning is correct (assuming by [tex]r=\min(|x^4||y^4||z^4|)[/tex] you meant [tex]r=\min\{|x^4|,|y^4|,|z^4|\}[/tex]). However, x' is not open, nor is (x',y',z)--it is a point contained in the set [tex]B_r(p)[/tex] which is contained in some open set U.

Also, a semicolon is not the same as a colon.
 
  • #5
21
0
If you meant [tex]r\leq x^4[/tex], then your reasoning is correct (assuming by [tex]r=\min(|x^4||y^4||z^4|)[/tex] you meant [tex]r=\min\{|x^4|,|y^4|,|z^4|\}[/tex]). However, x' is not open, nor is (x',y',z)--it is a point contained in the set [tex]B_r(p)[/tex] which is contained in some open set U.

Also, a semicolon is not the same as a colon.

Yes, sorry I did mean [tex]r\leq x^4[/tex]
Why isn't x` open when I showed that x` > 0 (forgetting the other two points y`, and z` at the moment)
 
  • #6
354
0
Why isn't x` open when I showed that x` > 0 (forgetting the other two points y`, and z` at the moment)

Recall that a subset U of [tex]\mathbb{R}^n[/tex] is defined to be open if for every point in U there's an r>0 such that [tex]B_r(p)=\{x\in\mathbb{R}^n : |x-p|<r\}\subseteq U
[/tex].

In other words, the requirements for some object U to be open in [tex]\mathbb{R}^3[/tex] are that
  1. U is a set,
  2. U is a subset of [tex]\mathbb{R}^3[/tex], and
  3. for every point in U there's an r>0 such that [tex]B_r(p)=\{x\in\mathbb{R}^3 : |x-p|<r\}\subseteq U.
    [/tex]
The object x' doesn't satisfy any of these.

Now recall that the elements of [tex]\mathbb{R}^3[/tex] are called points. Since x' is not an element of [tex]\mathbb{R}^3[/tex], it is not a point (and neither are y' or z'). However, the ordered triple (x',y',z') is an element of [tex]\mathbb{R}^3[/tex] and is therefore a point. But is it an open set? No, it is not, because it again doesn't satisfy any of the requirements above.

Finally, consider the set [tex]\{(x^4,y^4,z):x>0,y>0,z<0\}[/tex]. Clearly, it satisfies the first two requirements. Thus, what you've been trying to show in your proof is that it satisfies the third and is therefore open. But to reiterate, the elements (i.e. the points) in that set are not open.
 

Related Threads on Proving a set is open.

  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
6
Views
1K
Replies
2
Views
1K
  • Last Post
Replies
2
Views
9K
  • Last Post
Replies
17
Views
859
  • Last Post
Replies
6
Views
4K
  • Last Post
Replies
12
Views
2K
  • Last Post
2
Replies
38
Views
5K
Replies
1
Views
3K
Replies
2
Views
9K
Top