Understand the definition of a circle in the complex plane

Click For Summary
SUMMARY

The discussion centers on the definition of a circle in the complex plane, specifically the equation |z| = 1, which defines the unit circle. Participants clarify that the distance between two complex numbers, represented as |z - c| = r, can also be expressed as |z - c|^2 = r^2, confirming that both forms describe the same geometric shape. The conversation emphasizes the importance of understanding the modulus of complex numbers and their geometric interpretations, particularly in relation to the Euclidean distance in the complex plane.

PREREQUISITES
  • Understanding of complex numbers and their representation in the form z = x + iy.
  • Familiarity with the modulus of a complex number, |z| = √(x² + y²).
  • Knowledge of Euclidean distance in the context of complex numbers.
  • Basic concepts of metric spaces and open balls in mathematics.
NEXT STEPS
  • Study the geometric interpretation of complex numbers in the complex plane.
  • Learn about the properties of circles defined by complex equations, specifically generalized circles.
  • Explore the relationship between complex numbers and their modulus in algebraic expressions.
  • Investigate the implications of distance definitions in metric spaces, particularly in relation to complex analysis.
USEFUL FOR

Mathematicians, students of complex analysis, and anyone interested in the geometric properties of complex numbers and their applications in mathematical theory.

  • #31
Fredrik said:
And what is that equation in this case? (Sorry if my typo confused you. It's supposed to be A=B=C=D=0, not A=B=C=C. I have edited my post to correct the mistake). For which values of z is the equation true?

Iff A=B=C=D=0 then the z which statisfies this instance of the original equation is z = 0 as far as I see it such that

0*|0|^2 + 0*0 + 0*0 + 0 = 0

But then again if I choose any complex number z and hold A=B=C=D=0 then it will always satify the original equation. Damn it! It must :frown:

Fredrik said:
You're just saying that \mathbb R\subset\mathbb C. That doesn't answer the question at all.

It must be something along the lines. If I choose A to be an abitrary complex number or choose A to be abitrary real number then it both cases it still has to satify the conditions of the original equation

A|z|^2 + B*^z + Cz + D = 0. (1)

And it simply has to be it doesn't matter if you choose A to be complex or real...

Fredrik said:
I have told you lots of times that you won't end up with the empty set
I don't know why you think points in the complex plane have anything to do with the empty set.

I found some old notes which claims that (1) can be seen as both a straight line, circle and as the empty set.
We have been able to show the line and the circle, but I am simply unable to wrap my head around that its possible to see (1) as the empty set. Because as I see the empty set its like circle which contains no elements and has no radius.

Can it be a mistake in the notes? The part with the empty set?
 
Physics news on Phys.org
  • #32
Susanne217 said:
Iff A=B=C=D=0 then the z which statisfies this instance of the original equation is z = 0 as far as I see it such that

0*|0|^2 + 0*0 + 0*0 + 0 = 0

But then again if I choose any complex number z and hold A=B=C=D=0 then it will always satify the original equation. Damn it! It must :frown:
I don't understand the first comment (about z=0) at all, because you have correctly determined the equation to be 0=0. I don't know how you got z=0 from that. The set we're talking about is \{z\in\mathbb C|0=0\}, and if you understand what the notation means, you must know what set this is.

Susanne217 said:
It must be something along the lines. If I choose A to be an abitrary complex number or choose A to be abitrary real number then it both cases it still has to satify the conditions of the original equation

A|z|^2 + B*^z + Cz + D = 0. (1)

And it simply has to be it doesn't matter if you choose A to be complex or real...
It sounds like you have already lost track of what you were supposed to answer. I'll ask the question in another way, which probably makes this too easy, but it seems that we're not making much progress.

Let A,B,C,D be complex numbers, and define S=\{z\in\mathbb C|Az\overline z+Bz+C\overline z+D=0\}. Your task is to find a way to express the same set S in the form \{z\in\mathbb C|A'z\overline z+B'z+C'\overline z+D'=0\}, where A',B',C',D' are complex numbers, and I am A'=0.

Susanne217 said:
I found some old notes which claims that (1) can be seen as both a straight line, circle and as the empty set.
We have been able to show the line and the circle, but I am simply unable to wrap my head around that its possible to see (1) as the empty set. Because as I see the empty set its like circle which contains no elements and has no radius.

Can it be a mistake in the notes? The part with the empty set?
I haven't seen those notes, so it's hard to tell. How exactly do the notes define a generalized circle?
 
  • #33
Fredrik said:
I don't understand the first comment (about z=0) at all, because you have correctly determined the equation to be 0=0. I don't know how you got z=0 from that. The set we're talking about is \{z\in\mathbb C|0=0\}, and if you understand what the notation means, you must know what set this is.


A set which contains \{z\in\mathbb C|0=0\} that must be a set which contains no elements and that's the empty set.

Fredrik said:
It sounds like you have already lost track of what you were supposed to answer. I'll ask the question in another way, which probably makes this too easy, but it seems that we're not making much progress.

I properly have :)

Fredrik said:
Let A,B,C,D be complex numbers, and define S=\{z\in\mathbb C|Az\overline z+Bz+C\overline z+D=0\}. Your task is to find a way to express the same set S in the form \{z\in\mathbb C|A'z\overline z+B'z+C'\overline z+D'=0\}, where A',B',C',D' are complex numbers, and I am A'=0.

If B=C=D = 0 and A is real that I get that A'z =0

Fredrik said:
I haven't seen those notes, so it's hard to tell. How exactly do the notes define a generalized circle?

They simply say that if you let A,D be real numbers and B, C be complex then one gets equation above which be viewed as both a circle next a straight and then the empty set...
 
  • #34
Susanne217 said:
A set which contains \{z\in\mathbb C|0=0\} that must be a set which contains no elements and that's the empty set.
I have to be honest, I don't think I've ever seen a statement that's as incorrect as this one. I mean, to say that 3 is an even number would be incorrect, but this is much, much worse than that. Not only is the conclusion 100% false, but the argument that you used to obtain the conclusion is logically inconsistent. I don't know why you think a set can be both empty and non-empty. Please try again. You need to think about what the notation means, and actually use that knowledge.

Also, we were talking about the set \{z\in\mathbb C|0=0\}. I have no idea why you suddenly started talking about a set that contains \{z\in\mathbb C|0=0\} (and at the same time doesn't).

Susanne217 said:
If B=C=D = 0
When you've been given four complex numbers, you can't choose three of them to be zero. Please try again. I was very careful to state the question in a way that I thought couldn't be misunderstood. Please read the question carefully (in my previous post).
 
  • #35
I guess I hit my head with my Old Calculus book and that's to blame for this statement ;)

Off cause since it contains the zero element then the set isn't empty, sorry about that Fredrik.

I hope you can forgive me :)

But how in anyones name a the function can be claimed to be the empty set that I have totally no idear on how it can be shown.

Can it be a trick someone wrote into the conclusion regarding the generalized circle.

Only way that the eqn of generalized circle to represent the empty set is for the domain of eqn to be empty, and as understand your thoughts Fredrik then the domain of generalized circle can never be empty. Thus it can't be show to represent the empty set?
 
  • #36
Susanne217 said:
Off cause since it contains the zero element then the set isn't empty, sorry about that

I hope you can forgive me :)
Of course. But you're still nowhere near the very obvious and very trivial truth about what set \{z\in\mathbb C|0=0\} is.

Susanne217 said:
But how in anyones name a the function can be claimed to be the empty set that I have totally no idear on how it can be shown.
I think you should focus on the two problems I've been trying to get you to solve first. Both of them are about as easy as a math problem can get. As long as you haven't understood them, I don't think you can understand any problems of this sort, including the question of whether it's possible for a generalized circle to be the empty set.

Susanne217 said:
Only way that the eqn of generalized circle to represent the empty set is for the domain of eqn to be empty, and as understand your thoughts Fredrik then the domain of generalized circle can never be empty. Thus it can't be show to represent the empty set?
A "domain" is a set on which a function is defined. You probably mean the set of solutions of the equation. If that's empty, then the generalized circle is the empty set. Is that possible? I actually haven't thought that through, so at this precise moment, I can't tell you the answer. We can return to that when you have solved the two trivial problems.

Edit: I have to add that I think you should try to re-evaluate your whole approach to solving math problems. It seems to me that most of the time, you try to guess the solution without actually using the information in the problem you have been given. Math doesn't work that way. I don't think anything does, but there's no other field where it's as important to use the information you've been given as in mathematics.
 
Last edited:
  • #37
Fredrik said:
Of course. But you're still nowhere near the very obvious and very trivial truth about what set \{z\in\mathbb C|0=0\} is.


I think you should focus on the two problems I've been trying to get you to solve first. Both of them are about as easy as a math problem can get. As long as you haven't understood them, I don't think you can understand any problems of this sort, including the question of whether it's possible for a generalized circle to be the empty set.


A "domain" is a set on which a function is defined. You probably mean the set of solutions of the equation. If that's empty, then the generalized circle is the empty set. Is that possible? I actually haven't thought that through, so at this precise moment, I can't tell you the answer. We can return to that when you have solved the two trivial problems.

Edit: I have to add that I think you should try to re-evaluate your whole approach to solving math problems. It seems to me that most of the time, you try to guess the solution without actually using the information in the problem you have been given. Math doesn't work that way. I don't think anything does, but there's no other field where it's as important to use the information you've been given as in mathematics.

The problem here is that the problem is generalized I personally find it difficult to approach a problem without any specific numbers. That maybe makes me stupid, I guess.

As I said I understand the circle as it is and the straight line, but not the other things that's hard. Is it possible to say if one chooses z's which doesn't satisfy the equation, then in that case the solution set for the equation is empty?
If not why not?
 
  • #38
Susanne217 said:
The problem here is that the problem is generalized I personally find it difficult to approach a problem without any specific numbers. That maybe makes me stupid, I guess.
No, I don't think so, but it definitely means that you still haven't found the right way to approach mathematical problems, and that you need to keep looking for it. You also need to recognize when you have been given specific numbers that just happen to be represented by letters. For example, consider one of the problems I gave you:
Let A,B,C,D be complex numbers, and define S=\{z\in\mathbb C|Az\overline z+Bz+C\overline z+D=0\} . Your task is to find a way to express the same set S in the form \{z\in\mathbb C|A'z\overline z+B'z+C'\overline z+D'=0\}, where A',B',C',D' are complex numbers, and I am A'=0.
This is a problem where you've been given four complex numbers A,B,C,D. Does it really matter what values they represent? All complex numbers obey the same rules (like AB=BA) anyway. (The only exception is that you can't divide by 0). When you tried to solve this extremely easy problem, you kept changing the information you had been given (by specifying values of A,B,C,D that you hadn't been given by me).

Susanne217 said:
As I said I understand the circle as it is and the straight line, but not the other things that's hard. Is it possible to say if one chooses z's which doesn't satisfy the equation, then in that case the solution set for the equation is empty?
If not why not?
Can you really say something about the set of solutions to an equation by considering a value of the variable that doesn't satisfy the equation? For example, does the choice x=117 say anything about the solutions of 3x=6?

This is exactly the sort of thing I'm talking about. If you want to find the solutions to an equation, you need to use the equation you've been given, but every time you approach a problem, you ignore the information you've been given (a mistakes that guarantees failure) and usually change the information to something that you think suits you better. I will tell you the solution to the other problem I gave you. The question was this: What set is \{z\in\mathbb C|Az\overline z+Bz+C\overline z+D=0\} when A=B=C=D=0. What follows is the solution:

The notation means "the set of all complex numbers z such that the equation is satisfied". When A=B=C=D=0, that equation is 0=0, so we're looking for \{z\in\mathbb C|0=0\}, i.e. the set of all complex numbers such that the equality 0=0 is true. Since there are no values of z that would make 0≠0, the equality is true for all z. So the answer is

\{z\in\mathbb C|0=0\}=\mathbb C

Now, was that so hard?

The fact that you couldn't come up with this on your own shows very clearly that you're not thinking about what the symbols (and the words) mean. You kept saying that this set must be empty, sometimes even after saying that it isn't empty. Consider this. To say that a set S is empty means that the statement "S is empty" is true. To say that S is not empty means that the same statement is false. So at least twice you attributed the values "true" and "false" to the same statement. Nothing is ever both true and false in mathematics. You need to remember that, and apply it to every problem you try to solve.

You were clearly not thinking about what your own answer meant either. Every time you said that "the set of all z such that 0=0" is something other than \mathbb C[/itex], you were actually saying that there exists a complex number z such that 0≠0. Either you didn&#039;t think at all about what you were saying, or you haven&#039;t understood what an equality sign means. If x and y are numbers, x=y means that they&#039;re the same number. If X and Y are sets, X=Y means that they have the same members.<br /> <br /> Think about this for a second: Why are we allowed to add -2 to both sides of the equation 3x+2=14? (Think about it before you move your mouse over the hidden text below). <div class="bbCodeSpoiler"> <button type="button" class="button bbCodeSpoiler-button" data-xf-click="toggle" data-xf-init="tooltip" title="Click to reveal or hide spoiler"><span class="button-text"> <span>Spoiler</span> </span></button> <div class="bbCodeSpoiler-content"> <div class="bbCodeBlock bbCodeBlock--spoiler"> <div class="bbCodeBlock-content">Because the equality sign means that you have the same number on both sides. In this case the equality represents the statement &quot;14 is the same number as 14&quot;. You can add -2 because it gives you a new equality, which represents the statement &quot;14-2 is the same number as 14-2&quot;.</div> </div> </div> </div>You also don&#039;t seem to understand what an equation is. When you&#039;re asked to &quot;solve the equation&quot; 3x+2=14 in a math book about real numbers, you&#039;re actually being asked to &quot;find all the real numbers that you can substitute for x without making the equality false&quot;. I have to assume that you don&#039;t understand this, since you&#039;re asking if choosing a z that doesn&#039;t satisfy Az\overline z+Bz+C\overline z+D=0 can tell you which values of z that <i>do</i> satisfy the equation.<br /> <br /> The fact that you haven&#039;t been able to solve the problem I quoted earlier in this post strongly suggests that you don&#039;t understand what the notation means, or at least that you haven&#039;t thought about it. Please try to solve it again. It&#039;s extremely easy for a person who understands the notation, who understands what an equation is, and who knows anything about complex numbers.
 
Last edited:
  • #39
Maybe you think this is dumb Fredrik, but I will try approach the problem by choosing some numbers

A = 1+i and B = -(2-i) and C = -(2+i) and D = (2+i)^2 - 4

Iff I inserted these values into the equation for the circle I get

(1+i)\cdot |z|^2 + (-2-i))z + (-2+i) \cdot \overline{z} +((2+i)(2-i) - 4) = 0

where z \in \mathbb{C}

Which is a circle in the complex plane of radius 2 and which centers in c = (2+i)

Taking away D by setting D = 0

Then the solution is a line in the complex plane.

and then by presenting that

(1+i)|z|^2 = 0

then its now a point name z = 0.

and if A to be a real number 2|z|^2 = 0 then it will still only have the solution z = 0 which is a point.

and if I choose A, B, C be zero and D = 0 - 2^2 -> D = -4

then I end up with

0\cdot |z|^2 + 0\cdot z + 0 \cdot \overline{z} + (0-2^2) = 0

that statement will always be false and hence the empty set.

p.s. What is basically curriculum at one University in one country can as you know differ from other countries Fredrik. So what you were thought to be basic stuff then you went to University can easily be something me as a Undergraduate Student have not seen yet. So no need to think that I can't solve the Pre-Highschool level problems. And just as you know it I do know that that x \in \mathbb{R} means that x belongs to the set of realnumbers and z \in \mathbb{C} that z belongs to the set of complex numbers. That said I am learning by the stuff you have been writting become a better student of mathematics. And learning any new ways to approach things I'm very gratefull for.
 
Last edited:
  • #40
Susanne217 said:
Maybe you think this is dumb Fredrik, but I will try approach the problem by choosing some numbers

A = 1+i and B = -(2-i) and C = -(2+i) and D = (2+i)^2 - 4
It's certainly OK to try some numbers just to see what you get.

Susanne217 said:
Iff I inserted these values into the equation for the circle
That's not what you're doing. You're inserting them into the equation that defines a generalized circle.

Susanne217 said:
I get

(1+i)\cdot |z|^2 + (-2-i))z + (-2+i) \cdot \overline{z} +((2+i)(2-i) - 4) = 0

where z \in \mathbb{C}

Which is a circle in the complex plane of radius 2 and which centers in c = (2+i)
No, it's not. This equation is not equivalent to the equation that defines a circle of radius 2 around c. Try writing down that equation and comparing it to what you've got.

Susanne217 said:
and if I choose A, B, C be zero and D = 0 - 2^2 -> D = -4
...
that statement will always be false and hence the empty set.
Yes, this is correct. \{z\in\mathbb C|Az\overline z+Bz+C\overline z+D=0\} is empty when A=B=C=0 and D≠0.

Susanne217 said:
So no need to think that I can't solve the Pre-Highschool level problems. And just as you know it I do know that that x \in \mathbb{R} means that x belongs to the set of realnumbers...
I don't doubt that you can solve pre-high school problems, but the mistakes you're making are very elementary. Some of them almost at a pre-preschool level. :wink: So I don't know where to begin.

If you do understand the notation and extremely basic stuff like what an equality means, then why weren't you able to see that \{z\in\mathbb C|0=0\}=\mathbb C? And why haven't you been able to solve the other problem, which is just as easy? I'll tell you the solution: Multiply both sides of the equation with A*. Can you at least tell me why that solves the problem?
 

Similar threads

Replies
8
Views
3K
Replies
7
Views
2K
Replies
2
Views
1K
Replies
4
Views
2K
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K