Some remarks on complex numbers

In summary, the conversation discusses the concept of complex numbers and their usefulness in mathematics. The participants mention the historical origins of complex numbers and their role in solving mathematical equations. They also discuss how complex numbers represent rotations and stretches of the plane and how they are a natural part of mathematics. While some may try to purge them, the participants argue that they are an important and necessary tool in understanding and solving problems in various fields, such as physics and engineering.
  • #36
Are you doing this on purpose? :D
 
Mathematics news on Phys.org
  • #37
lendav_rott said:
Are you doing this on purpose? :D

No, I spells 'em like I hears 'em.
 
  • #39
SteamKing said:
BTW, it is said that the Pythagoreans were so horrified to find that SQRT(2) was irrational, they swore themselves to secrecy about this unsettling knowledge. If they could even contemplate imaginary numbers, their heads would probably have exploded.

Rumor has it that Hippasus, a student of Pythagoras, was murdered by the Pythagoreans,
by heaving Hippasus into the Mediterranean with a stone collar, for making the conjecture
that sqrt(2) is irrational. Guess they thought Hippasus couldn't keep his mouth shut.

Closer to the truth is probably that Hippasus got fired and couldn't find a job other than
tending a flock of sheep. And the square root of a flock of sheep is merely a leg of lamb.
 
  • #40
jasonRF said:
As an EE I use complex numbers all the time. If mathematicians completely drop the subject engineers will keep using (and teaching) them for a long time.

jason

Complex numbers aren't really needed to analyze AC circuits. If you want to
see for yourself, it's only a more "compact" way of viewing the problem.
Actually looks like phase between voltage and current is more easily handled
using complex arithmetic.

See,

http://www.animations.physics.unsw.edu.au//jw/AC.html

if you are interested in the "real" method to analyze AC circuits.

Looks like Dr. Bill Wootten, is trying to do the same with Quantum
Mechanics.

EDIT: And concerning General Relativity...I always silently cringe
when Dr. Hawking refers to "imaginary time" as if "ict", the "imaginary"
space distance, means time can be "imaginary". Time is the real part of
the imaginary part, it's not the imaginary part, nes pa? I mean n'est ce pas?

In short, I am a true believer that "i" is a purely notational construct and
does not have actual physical significance other than to organize equations
into more compact form. And that the absolute operator is an example
of how to recover what the real method already knows. This idea is not
like trying to prove 1 = 0, it's just a total rejection of mystical superstition
that so many fall prey to. Like Pythagoras's fear of irrationals.
 
Last edited:
  • #41
I am a true believer that "17" is a purely notational construct and
does not have actual physical significance other than to organize equations
into more compact form.
What is it with all this talk of physical significance?
Complex numbers are used to make things easier. If someone wants to avoid complex numbers they can. Often it is a bit silly because the "real" method is equivalent as when we introduce a matrix equation like
$$\left[ \begin{array}{ccc}
0 & -1 \\
1 & 0 \end{array} \right]^2=-\left[ \begin{array}{ccc}
1 & 0 \\
0 & 1 \end{array} \right]$$
to avoid using i.
 
  • #42
The complex numbers are a very important aspect of mathematics. They are utilized often in Analysis (obviously), Mathematical Physics, Algebra, and Number Theory (I am not certain about Geometry/Topology).

There was a problem that was solved in the 19th century: Can one construct a square with the same area as a given circle with a straight edge and compass.

The answer is no. And it deals with the fact that ∏ is transcendental. To prove this, they had to use numbers in the complex plane.

Also, if you know of the beloved i, j, k notation of vectors...they were originally defined as:
i2, j2. k2 = -1. And another notation is gone.

Complex numbers are wonderful. There are cases where I'd rather work with complex number that reals, since it makes things simpler (by making it complex). It has its uses.
 
  • #43
lurflurf said:
I am a true believer that "17" is a purely notational construct and
does not have actual physical significance other than to organize equations
into more compact form.
What is it with all this talk of physical significance?
Complex numbers are used to make things easier. If someone wants to avoid complex numbers they can. Often it is a bit silly because the "real" method is equivalent as when we introduce a matrix equation like
$$\left[ \begin{array}{ccc}
0 & -1 \\
1 & 0 \end{array} \right]^2=-\left[ \begin{array}{ccc}
1 & 0 \\
0 & 1 \end{array} \right]$$
to avoid using i.

YES, I agree 100%. That's what Dr. Wootten is trying to do with
the standard model, he wants to agree with the standard model.
He wants to reformulate the standard model and at the same time
"avoid" imaginary numbers. But I suspect that he is having a bit
of trouble because so many theorems are formulated in complex
form.

It is my conjecture, that real number reformulations have a much
better chance of revealing the physics that is going on and the
complex number formulations have a better chance of "clouding" the
physics that is going on. I also have no doubt that real number
formulations can be much "uglier".

Complex numbers and their properties ARE wonderful, especially
since some "avoidance" techniques could make proofs millions of
lines long and be too much for even modern computers to handle.
 
  • #44
ClamShell said:
Complex numbers aren't really needed to analyze AC circuits. If you want to
see for yourself, it's only a more "compact" way of viewing the problem.
Actually looks like phase between voltage and current is more easily handled
using complex arithmetic.

See,

http://www.animations.physics.unsw.edu.au//jw/AC.html

if you are interested in the "real" method to analyze AC circuits.
Yes, for very simple circuits you can do this the hard way and it isn't such a big deal. Now do that style of analysis with dozens of circuit elements. Not so much fun.

For my work it is the complex representation of baseband signals in communications systems that is most useful (I never do circuits). Here we end up estimating correlation matrices (Hermitian), inverting them, and doing all sorts of computation where using complex representation saves work. Sure, you could do this the hard way too ...

But in the end, engineers have been using complex numbers for many decades. If we stop using and teaching it, do we throw away 60+ years of literature and just start from scratch? Do we have our research engineers spend a bunch of years simply translating the complex results into the "new" method instead of doing actual new research? Do we graduate power system engineers that do not even understand the documentation that goes along with our power grid, or communications engineers that do not understand how modern systems internally represent signals?

ClamShell said:
C
In short, I am a true believer that "i" is a purely notational construct and
does not have actual physical significance other than to organize equations
into more compact form. And that the absolute operator is an example
of how to recover what the real method already knows. This idea is not
like trying to prove 1 = 0, it's just a total rejection of mystical superstition
that so many fall prey to. Like Pythagoras's fear of irrationals.

Agreed. But why tie one hand behind my back just because it is possible to live my life with one hand?

Do I think that this Ubit research is worthwhile - yes! But attempting to purge complex numbers (and by extension complex analysis) from our bag of tools seems silly to me. That is all I am saying.

Thanks for the links, though. Interesting stuff!

jason
 
  • #45
jasonRF said:
For my work it is the complex representation of baseband signals in communications systems that is most useful (I never do circuits). Here we end up estimating correlation matrices (Hermitian), inverting them, and doing all sorts of computation where using complex representation saves work. Sure, you could do this the hard way too ...

Ahhh, Communications Theory, love that stuff; especially that the entropy(information)
packets come in -Probability *Log(Probability) and it becomes Information Theory.
 
  • #46
smize said:
The complex numbers are a very important aspect of mathematics. They are utilized often in Analysis (obviously), Mathematical Physics, Algebra, and Number Theory (I am not certain about Geometry/Topology).

There was a problem that was solved in the 19th century: Can one construct a square with the same area as a given circle with a straight edge and compass.

The answer is no. And it deals with the fact that ∏ is transcendental. To prove this, they had to use numbers in the complex plane.

Also, if you know of the beloved i, j, k notation of vectors...they were originally defined as:
i2, j2. k2 = -1. And another notation is gone.

Complex numbers are wonderful. There are cases where I'd rather work with complex number that reals, since it makes things simpler (by making it complex). It has its uses.
Agreed
 
  • #47
ClamShell said:
It is my conjecture, that real number reformulations have a much
better chance of revealing the physics that is going on and the
complex number formulations have a better chance of "clouding" the
physics that is going on. I also have no doubt that real number
formulations can be much "uglier".

Pretty weak conjecture, if I do say myself.

Does no one have an objection to this?
 
  • #48
In short, I am a true believer that "i" is a purely notational construct and
does not have actual physical significance other than to organize equations
into more compact form.

I am a true believer that "17" is a purely notational construct and
does not have actual physical significance other than to organize equations
into more compact form.
What is it with all this talk of physical significance?

No, no, no, no...

Math is NOT just a bunch of equations. There are IDEAS. And complex numbers are involved in thinking about those ideas. They have geometrical and physical meaning. Does nature use them explicitly? Maybe not. But do we use them to think about what nature is doing? Hell, yes. And not just in equations. In ideas. Physical and geometric.

And yes, 17 has physical significance. If I told you to give me 17 apples, and you gave me 10, that would be wrong. Those are physical actions. It's true that 17 is just a symbol. But it does stand for an abstraction of stuff that is actually out there. We take all collections of 17 objects that we have ever seen and sort of put an equivalence relations on them. And at some point, it gets wishy-washy as to what constitutes an object or something, but we know what I am saying if you tell me to give me 17 apples, so yes, in my book, that's physical significance.

Another point of view is that 17 is the set containing the empty set, set containing the empty set, set containing that...

So, we can define 17 without reference to physical things, but when we talk about 17, I don't think we really have that in mind. We have in mind different things, depending on the context. Sometimes discrete sets of objects like the apples, other times maybe 17 continuous units of something, like time. Sometimes, maybe the set theory definition. It really means something different depending on context. Different, but closely related meanings.
 
  • #49
homeomorphic said:
No, no, no, no...

Math is NOT just a bunch of equations. There are IDEAS. And complex numbers are involved in thinking about those ideas. They have geometrical and physical meaning. Does nature use them explicitly? Maybe not. But do we use them to think about what nature is doing? Hell, yes. And not just in equations. In ideas. Physical and geometric.

And yes, 17 has physical significance. If I told you to give me 17 apples, and you gave me 10, that would be wrong. Those are physical actions. It's true that 17 is just a symbol. But it does stand for an abstraction of stuff that is actually out there. We take all collections of 17 objects that we have ever seen and sort of put an equivalence relations on them. And at some point, it gets wishy-washy as to what constitutes an object or something, but we know what I am saying if you tell me to give me 17 apples, so yes, in my book, that's physical significance.

Another point of view is that 17 is the set containing the empty set, set containing the empty set, set containing that...

So, we can define 17 without reference to physical things, but when we talk about 17, I don't think we really have that in mind. We have in mind different things, depending on the context. Sometimes discrete sets of objects like the apples, other times maybe 17 continuous units of something, like time. Sometimes, maybe the set theory definition. It really means something different depending on context. Different, but closely related meanings.

Thankyou Homeomorphic, I was trying to think of a way to defend the significance of "17",
you put it into a nutshell...thanks again.
 
  • #50
@Homeomorph, now you need to explain the significance of 42.
 
  • #51
ClamShell said:
Pretty weak conjecture, if I do say myself.

Does no one have an objection to this?

Yes. From a mathematical standpoint, it is meaningless to reformulate QM using real matrices since there is an isomorphism between the two representations.

From a computational standpoint, I wouldn't be surprised if Matlab already does complex computations using matrices (I don't know this, but I know that a professor of mine wrote some code that always used the matrix representation because it is easier to deal with on a computer)

Physically, things will be the same. Maybe some problem will be solved by accident while trying to reformulate QM.


Also, 17 is a grouping of pixels that we use to communicate the idea of a particular quantity. If I rewrite 17 as !&, math will not change. Similarly, if I rewrite ##i\equiv\left[\begin{array}{cc} 0&1\\-1&0\end{array}\right]##, math will not change. The numbers we write exist only for equations (and theorems etc.). The algebraic relationship between elements of the set ##\mathbb{C}## exist with or without the notation, but ##a+bi## is only one of infinitely many ways to write those relationships, so why should it be especially meaningful? I side with lurflurf. At least it is a legitimate philosophical position even if you don't personally agree with it.
 
  • #52
@DrewD. 17 balls in a hat; 10 white and 7 black. Looks like
probability of an observation has something to do with
"significance" too. We will never pick a sqrt(-1) ball from the
hat, even if someone says some of the balls are positive
sqrt(-1) balls. That's all I've got, maybe math was invented
and not discovered. I have often considered that math is entirely
notational. If you've got 17 pigs and I have 17 sheep, then maybe
both of us would be better off with 17 pigs and sheep each.
 
  • #53
@Homeomorph, now you need to explain the significance of 42.

Well, you can extrapolate to any number by counting. We have a system for generating numbers. If I say, give me 43 millions apples, we know what that means. You just count it out until you get to 43 million. That's all that is really needed. We have a way of referring to something physical that is out there. The only condition is that you have to be able to interpret what I am saying as more than just a string of letters or sounds.

The numbers we write exist only for equations (and theorems etc.)

It gets a little better if you add theorems, etc, but obviously there are real world uses for numbers, like money, counting things, etc. Not restricted to math-land.

If I rewrite 17 as !&, math will not change.

I don't think you want to just talk about the symbols, though. There are concepts behind the symbols. The notation isn't important, but it isn't a bunch of meaningless symbols. Meaningless symbols are for computers, not human beings. Human beings think in pictures or concepts, and we can manipulate symbols as well, but that's not the whole picture. For me, i is simply the point (0,1) on the complex plane and it acts on the plane by rotating it 90 degrees. This is an equivalent way to think about it to the algebra and is not in terms of equations. You can use this in any way you like. You can use it to think about actual planes and rotations, you can use it to think about wave functions, or you can use it as a visual representation of things that you could calculate with the arithmetic of complex numbers, using the formal rules. These points of view are all different sides of the same thing.

It doesn't matter if we use i or if we use the matrix, but that has nothing to do with whether they have physical significance. They both have the same physical significance. So, yes, it is superfluous to chose one or the other, but that is because they share the same physical significance, not because they have no physical significance. Complex numbers correspond to points on a plane. So do matrices for rotation and dilation. When you interpret them this way, that gives them physical significance. They can be used to symbolize something out there. If I give you a point on a plane, if we set up the right coordinate system, it could be used to symbolize an actual point out there. Like a point on the chalkboard, just as natural numbers can refer to a physical collection of apples. We could change the symbols around, but that misses the point.

Denying any physical or geometric significance would just be tying your hands behind your back, psychologically speaking. Even great mathematicians like Euler made retarded mistakes with complex numbers because they didn't have a geometric representation to help them to spot the errors. Once people started thinking about them as points on a plane, magically everything started making sense, and a lot of nonsense was finally put to rest. Let's not go back to the 1700s level of understanding of complex numbers. Once the complex plane was revealed, it was really sort of an embarrassment to the previous couple hundreds years of mathematicians how simple it actually was. I mean, what a cheap, stupid, dead obvious little trick. Points on a plane. But it made all the difference and suddenly there was huge progress in understanding complex numbers.
 
  • #54
@DrewD. 17 balls in a hat; 10 white and 7 black. Looks like
probability of an observation has something to do with
"significance" too. We will never pick a sqrt(-1) ball from the
hat, even if someone says some of the balls are positive
sqrt(-1) balls. That's all I've got, maybe math was invented
and not discovered. I have often considered that math is entirely
notational. If you've got 17 pigs and I have 17 sheep, then maybe
both of us would be better off with 17 pigs and sheep each.

Well, the problem here is not that i doesn't have a physical interpretation. It's just that it doesn't have one that extends the representation given to natural numbers by counting, unless perhaps i means 1 unit up, 2i means 2 units up, etc. So, it's sort of a 2-dimensional quantity, whereas the usual counting we 2 is only applicable to 1-dimensional quantities.

Maybe you can think of it this way. You can GIVE it a physical interpretation. It's not a God-given one. You can just use it to refer to stuff. It's conventional now to identify complex numbers with points on a plane. So, that's a standard interpretation that any mathematician will know.
 
  • #55
SteveL27 said:
The number i is a gadget that represents a counterclockwise quarter turn of the plane.

Why don't we have gadgets to represent turns of the plane in different dimensions? If i moves it counterclockwise as the viewer sees it, where's the 'imaginary' number to tilt it anterior?
 
  • #56
oneamp said:
Why don't we have gadgets to represent turns of the plane in different dimensions?

'And Hamilton said, "Let there be quaternions". And Hamilton saw the quaternions, and behold, they were very good...' :biggrin:

Sorry, I got carried away by homeomorphic's "not-god-given" interpretations.
 
  • #57
Notations seem to possesses qualities of "protocol".
Real numbers seem to possesses some "material", "down-home" quality.
 
  • #58
Why don't we have gadgets to represent turns of the plane in different dimensions? If i moves it counterclockwise as the viewer sees it, where's the 'imaginary' number to tilt it anterior?

We do. They are called matrices (specifically, orthogonal matrices, those that preserve distances, if you just want rotations with no distortion). As we have mentioned, you can do everything i does by using a matrix.

If you wanted something a little bit more like complex numbers, that gets a little trickier. In general, what you would get in higher dimensions are called Clifford algebras, which also include complex numbers and quaternions as special cases. These are combinations of different square roots of -1 (in the most basic version--there are more general formulations). However, Clifford algebras have a lot of quirks that make them not quite like complex numbers. For one thing, they are not division algebras, so things don't always have inverses anymore. So you can't divide by guys in the Clifford algebra, like you can with complex numbers.

Also, the geometric interpretation of how they operate isn't so straight forward in general. You can still use them to describe rotations in higher dimensions, though. The square roots of -1 in the Clifford algebra act by reflection across a coordinate hyper-plane--a funny "spinorial" reflection, in which you have to reflect 4 times to get back to where you started because although the square is -1, which acts on the space by doing nothing, the Clifford algebra secretly knows that something is different until you square it once more and get back to 1. It's a bit of a long story.

Another thing about Clifford algebras is that, while you could think of them as a higher dimensional space because they are just vector spaces with some kind of extra multiplication, it's not as natural to think of them that way as it is with complex numbers and the 2-dimensional plane. You have to throw in all the products of the square roots of -1 which boost the dimension up way higher than the space they act on (2^n for n-dimensional space), and algebraically, it's a lot more messy. Very different from the complex plane which acts on itself.
 
  • #59
ClamShell said:
Notations seem to possesses qualities of "protocol".
Real numbers seem to possesses some "material", "down-home" quality.
Yikes, this is probably close to what Pythagoras thought about rationals.
Par day m'wah.
 
  • #60
OK, let me collect my thoughts again..."Where did I leave them, in the refrigerator again?"

This relates back to my first post, "sqrt(-1) enters the picture when we attempt to factor a sum."

It would seem to me that trying to get rid of "i", after it appears, such as by "substituting" a
two by two matrix for "i", is absolutely TOO trivial a thing to do to purge "i" from the analysis.
The two by two matrix is just a "wolf in sheep's clothing"; an isomorphism as revealed
above.

We've got to stop its introduction BEFORE it appears, so let's start thinking of removing the
factoring of sums(polynomials) from the analysis. I know...then how will we find out the
zero crossings and those precious eigenvalues. I'm thinkin' that Dr. Wootters isn't merely
performing an isomorphism on QM, but it is more like a reformulation avoiding "i" by not
ever seeing it in the first place. This could be done by avoiding factoring polynomials, but
rightfully so...I could not really understand Dr. Wooters' lecture.

So how about avoiding the factoring of polynomials as a way to avoid "i"?
Maybe subtractions factoring into a conjugate real pair would be OK,
but real conjugate pairs might need to be avoided too, for consistency.

Could analysis even be performed without this factoring?

Could reality not even know how to factor, and a model that does factor, is
expecting too much from Mother Nature or some other deity?

Is the real meaning of "i", simply that "No FISHING IS ALLOWED"...
I mean "no factoring is allowed"; dag-nab keyboard.
 
  • #61
No "fishing" allowed

And might not the removal of factoring from the picture be
similar to the "Pythagorean Dream" of:

"NO IRRATIONAL NUMBERS"

After all, cannot every number with a finite number of digits
be represented as a ratio of integers? I'm thinking that the
removal of irrationals via the removal of factoring might
yield a peculiar integer mechanics of its own; just sayin'.
 
  • #62
This is getting a bit tiresome. Have you learned anything in any of the posts of this thread? Are you even interested in learning? These forums are for learning, if you are not here to learn then this thread is pointless.
 
  • #63
If you don't allow factoring of some polynomials, you can't let i in because i is going to factor everything. But you have to start somewhere.

If you allow factoring of a certain polynomial, you get what's called its splitting field, which is everything you need to factor that polynomial, but no more. You have to start with something, though, so it's not just the splitting field, it's a splitting field over some base field like the real numbers. The splitting field of x^2 + 1 over the real numbers is the complex numbers. Splitting fields are nothing special, though. You can always get them by throwing in enough stuff, rather than requiring a polynomial to factor.

So, you can start with the rational numbers and throw in square roots of 2 (and all resulting multiples, etc.) or you can require that x^2-2 factors. Either way, you get the same result. So, no, there's nothing particularly special about allowing or not allowing things to factor. It's the same as throwing stuff in or kicking it out.
 
Last edited:
  • #64
Integral said:
This is getting a bit tiresome. Have you learned anything in any of the posts of this thread? Are you even interested in learning? These forums are for learning, if you are not here to learn then this thread is pointless.

Yes, what I've learned so far is that substituting a two-two matrix for "I"
is a bit meaningless, so another direction is called for.

"Just because you don't know the answer, you don't have to get mad", said the
lion to the elephant. Please don't throw me into the Mediterranean, like Hippasus.
I'm not a magazine salesman, nor do I have some personal theory. I'm just trying
to figure out ways to avoid "I", like the New Scientist article wants too. I think
not factoring it out in the first place is a fertile not futile endeavor.
 
  • #65
homeomorphic said:
If you don't allow factoring of some polynomials, you can't let i in because i is going to factor everything. But you have to start somewhere.

If you allow factoring of a certain polynomial, you get what's called its splitting field, which is everything you need to factor that polynomial, but no more. You have to start with something, though, so it's not just the splitting field, it's a splitting field over some base field like the real numbers. The splitting field of x^2 + 1 over the real numbers is the complex numbers. Splitting fields are nothing special, though. You can always get them by throwing in enough stuff, rather than requiring a polynomial to factor.

So, you can start with the rational numbers and throw in square roots of 2 (and all resulting multiples, etc.) or you can require that x^2-2 factors. Either way, you get the same result. So, no, there's nothing particularly special about allowing or not allowing things to factor. It's the same as throwing stuff in or kicking it out.

Thank you Homeomorphic, answers are always good, even the ones with bad news.
 
  • #66
ClamShell said:
I'm just trying to figure out ways to avoid "I".

Whatever floats your boat, but that seems a rather pointless endeavour. If you accept that the integers obey Peano's axioms (or start from ZFC if you prefer!), the concept of "i" exists as a consequence of that assumption (and so does the concept of an irrational number), even if you personally refuse to give it a name and/or talk about it.
 
  • #67
ClamShell said:
Yes, what I've learned so far is that substituting a two-two matrix for "I"
is a bit meaningless, so another direction is called for.

"Just because you don't know the answer, you don't have to get mad", said the
lion to the elephant. Please don't throw me into the Mediterranean, like Hippasus.
I'm not a magazine salesman, nor do I have some personal theory. I'm just trying
to figure out ways to avoid "I", like the New Scientist article wants too. I think
not factoring it out in the first place is a fertile not futile endeavor.

You will be way better off to learn to use and appreciate complex numbers.

Thread closed.
 

Similar threads

Replies
14
Views
2K
Replies
12
Views
2K
Replies
41
Views
5K
Replies
21
Views
2K
Back
Top