Prove a complex set defined by inequalities is open

Click For Summary

Homework Help Overview

The problem involves proving that the set D = {z in C; |z^2 - 1| < 1} is open in the context of complex analysis. The original poster attempts to show that for any point z in D, there exists a radius r > 0 such that the neighborhood N(z,r) is contained within D.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants discuss the use of inequalities to relate |w^2 - 1| to |z^2 - 1| and explore the implications of choosing r based on the distance |w - z|. There are attempts to manipulate the inequality to find suitable conditions for r.

Discussion Status

The discussion is ongoing, with participants exploring various approaches to establish the relationship between |w - z| and the conditions needed for |w^2 - 1| to remain less than 1. Some participants question the validity of defining r in terms of w, while others suggest alternative methods to ensure that all w in the neighborhood are included in D.

Contextual Notes

There is a focus on the need for careful selection of r in relation to the values of z and w, with participants noting the importance of maintaining the inequality throughout their reasoning. The discussion reflects the complexity of proving openness in the context of complex sets defined by inequalities.

skriabin
Messages
11
Reaction score
0

Homework Statement


Prove that the set D = {z in C; |z^2 - 1| < 1} is open


Homework Equations





The Attempt at a Solution


I have to show that for any z in D, there exists r > 0 s.t. the nbhd N(z,r) is contained in D. Let w in N(z,r) => |z - w| < r. Need to show |w^2 - 1| < 1 for some r > 0.

I tried |w^2 - 1| = |(w^2 - z^2) + (z^2 - 1)| <= |w - z||w + z| + |z^2 - 1|,

but since we have |z^2 - 1| < 1 already, it doesn't seem to help much. Not sure what else to try. Thanks for any help!
 
Physics news on Phys.org
skriabin said:
I tried |w^2 - 1| = |(w^2 - z^2) + (z^2 - 1)| <= |w - z||w + z| + |z^2 - 1|,

but since we have |z^2 - 1| < 1 already, it doesn't seem to help much. Not sure what else to try. Thanks for any help!

So that looks pretty good...for a given z, let |z2-1| be equal to 1-e for some (probably small) e. |w2-1| <= |w-z||w+z| + 1 - e < 1 if e>|w-z||w+z|

When |w-z| is really small, what can you say about |w+z|, and then what can you say about comparing e and |w-z|
 
hmm |w + z| then approaches 2|z| ? Giving then e > 2|z||w - z|? and?
 
You know what e is. You know what z is. Your goal is to find how small |w-z| is. What can you do with the inequality?

Also note that |w+z| is not going to be exactly 2|z|, you should allow a little wiggle room (for example, say |w+z|<2.1|z| then when you pick r, pick it to be either what's required from your calculation, or what's required to make |w+z|<2.1|z|, whichever is smaller)
 
But can't we choose r = |w - z| < e/|w + z| instead of r < e/2.1|z| ? Then we would have the inequality satisfied no?
 
skriabin said:
But can't we choose r = |w - z| < e/|w + z| instead of r < e/2.1|z| ? Then we would have the inequality satisfied no?

You can't define r in terms of w, since w is picked based on what r is!
 
oops meant r = e/|w + z|. sry about that.
 
Office_Shredder said:
You can't define r in terms of w, since w is picked based on what r is!

But if we pick a w based on what r is, how can we prove any w in the nbhd is in D?
 
Maybe I misunderstood. I will check again next morning. I'm off to bed. Thanks for the help.
 

Similar threads

Replies
2
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
14
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K