6

Complex numbers came from solving $x^2 = -a$, taking $i\equiv\sqrt{-1}$. It isn't representing anything real. Then how are we able to represent lots of physics using them? How can something non-existing (not real/imaginary) represent reality?

Qmechanic
  • 201,751
  • 29
    'real' and 'imaginary' numbers are just (unfortunate) names - both types 'exist' just as much as any other mathematical construct. The question of why complex numbers are such a useful construct in physics (or math) is a more interesting and fruitful question to ask, in my opinion. – Kenneth Goodenough Sep 04 '21 at 06:03
  • 3
    Possible duplicates: Physical interpretation of complex numbers , https://physics.stackexchange.com/q/109736/2451 , https://physics.stackexchange.com/q/11396/2451 and links therein. – Qmechanic Sep 04 '21 at 07:43
  • 11
    $i$ absolutely represents something real: the rotation of a vector by $\pi/2$ radians. – chepner Sep 04 '21 at 15:03
  • 1
    This is not an answer, but highly related: Video of Sabine Hossenfelder on exactly this subject: https://www.youtube.com/watch?v=ALc8CBYOfkw , and a follow-up of Noam Why: https://www.youtube.com/watch?v=eF2GZKw30mA – peter_the_oak Sep 04 '21 at 16:35
  • 2
    One could just as easily ask how rotations are “real,” since $SO(3)$ is not isomorphic to $\mathbb{R}$, yet things still rotate. – Sandejo Sep 04 '21 at 21:28
  • 1
    "If what we call +1, -1, and √-1 had been called direct, inverse and lateral units, instead of positive, negative, and imaginary (or impossible) units, such an obscurity would have been out of the question." -Gauss Imaginary numbers exist just the same as "real" ones; it's just misleading nomenclature that we're stuck with. – John Dumancic Sep 05 '21 at 02:37
  • You have received a lot of good responses and resources. Dont be bothered if the question gets closed now. – Al Brown Sep 05 '21 at 05:47

7 Answers7

28

Imaginary is definitely a misnomer. A complex number is no more and no less real than a negative number, an irrational number and even a natural number.

Is the length of a measuring stick a real number? Does it really have an infinite number of decimal digits? Of course not. Before getting to the $\mu m$ digits you start to see that the end of the stick is not straight, but has bumps and dents, so the length of the stick is not well defined. And if you insist on leveling it with a super precise machine, at some point you get to atoms, and measuring lengths becomes real fuzzy.

If you have two apples, are they really two? Why is an apple different than the air around it? Saying that there is an apple we mark an arbitrary distinction between the atoms in the apple and the atoms in the air around it. And when there are two apples we make another arbitrary choice: we group the two single objects that we have identified into the same category. They are both apples, even though they are utterly different from each other. One has red skin, the other is yellow, one has a small worm tunnel, the other is intact...

Negative numbers are even more abstract. They are used for example when measuring temperature, but only because we have decided to fix a zero point somewhere arbitrary. In the Kelvin scale there is no use for negative numbers.

Complex numbers are as real as the other numbers. They are fantastic at describing rotations and waves, way better than real numbers.

Numbers are just a tool we use to describe the world.

Prallax
  • 2,859
  • 7
    "In the Kelvin scale there is no use for negative numbers." This isn't actually the case - negative-absolute-temperature systems exist, if you use the $dS/dU$ definition of temperature. – probably_someone Sep 04 '21 at 16:10
  • 1
    Charge is a better example of the use of negative numbers. – James K Sep 04 '21 at 21:03
  • 1
    I’m glad the second sentence is here, because it’s so important to understanding the relationship between math and science. – Todd Wilcox Sep 05 '21 at 01:35
  • @JamesK thanks for the suggestion. What would you say about charge to prove the point that all kind of numbers are equally abstract descriptions? – Prallax Sep 05 '21 at 05:52
  • Well, you can say "To describe mass you need a 'number' that can take fractional values. And then combining masses can be described by addition...but what about charge...The expermentalists say that there are two types... the type formed on glass and the type formed on amber when rubbed with a silk cloth. And these two types are able to "cancel" each other. We can imagine a different type of number to describe charge, and call these "negative" They extend the positive numbers ... oh and it turns out that the bankers have been using these to describe debt... they just work" – James K Sep 05 '21 at 06:57
11

Complex numbers are nothing but real 2D vectors with a further operation called product with a nice interplay with the vector space structure ( they form one of the tree possible finite-dimensional real associative division algebras).

Imaginary numbers are here nothing but the vectors of the form $(0,x)$. There are some cases in physics where this structure plays some role. Not only in QM, but also in hydrodynamics or electromagnetism for instance. I think that’s all… Maybe the the choice of the name “imaginary” was unfortunate, since this mathematical structure is as real (or imaginary !) exactly as any other structure used in physics.

7

It would be incorrect to class complex numbers as “non-existing”. They are just as “real” as all other numbers, and the term imaginary is slightly misleading (generally speaking).

Complex numbers are powerful mathematical tools used for solving physical problems. That is how they are able to represent physical reality. In this sense they are no more different to real numbers, functions or even more abstract mathematical objects like quarternions.

For example, consider the wavefunction in quantum physics. The wavefunction is described by an amplitude and a phase, and complex numbers encode the mathematical relationship between the amplitude and phase. Of course you could try to represent this relationship without using complex numbers, but such an endeavor would be far more complicated and involved than using complex numbers.

The use of complex numbers is similar to any other mathematical abstraction used to describe physical processes. For example, by using isomorphisms we can map between these abstractions and their corresponding objects in physical reality.

joseph h
  • 29,356
  • 1
    I have an instrument (a "vector network analyzer") that measures complex amplitudes of electrical signals. It's quite useful. So, I would dispute you claim that complex numbers cannot on their own represent things of physical significance. They are directly useful as an abstract model of certain physical phenomena. – John Doty Sep 04 '21 at 14:30
  • 4
    You can use a complex number to represent a position of a horse on a merry-go-round, as a function of time, treating it solely as an abstract mathematical structure without any reference to the reals. That's not fundamentally different from using a real number to represent the position of a train mowing down a railroad. So, I'd say it's not that there's inherently no physical significance to them, it's just that reals are used more often and are more intuitive to us. – Filip Milovanović Sep 04 '21 at 19:24
6

Maybe this will help; when you first heard of negative numbers in your life, perhaps as a child, you might have thought that those don't represent anything real, but later you (1) found them useful as a part of a larger mathematical structure, and (2) found out that they could be mapped to something real (e.g. "take -2 steps" can be interpreted to mean "go 2 steps backwards").

Similarly, you can find things in nature that are nicely described by the properties of complex numbers. For example, complex numbers can be used to describe 2D rotations, or objects revolving around something in a plane; a real thing that happens in the real world.

The names of the components of a complex numbers are just labels; if you change "real" and "imaginary" to "foo" and "bar", it makes no difference whatsoever. These names do not imply anything about the fundamental reality of these mathematical structures.

Both the "reals" and complex numbers are no more real or imaginary than any other mathematical structure. It comes down to whether or not we can find cases where their mathematical properties are useful in describing natural phenomena (either new, or old but seen in a new light). It's just that the "real" numbers are generally more intuitive to our brains.

Some answers have said that "any and all physics can be described with real numbers alone", but that's being a bit imprecise with words. Yes, the reals can appear as fundamental objects to be manipulated in all these descriptions, but strictly speaking, the reals are just a number system, and you need a whole bunch of other mathematical structures on top of that to describe the world - vectors, tensors, fields, manifolds, symmetry groups, Hilbert spaces... So physics already uses all kinds of weird mathematical structures. That physicists sometimes make use of complex numbers either as just a mathematical gimmick to make some calculation simpler or as a way to describe something real shouldn't be that big of a deal.

Also, saying that "the result of a measurement is always real [meaning a real number]" doesn't really mean anything. The result of a measurement is some kind of a mathematical object that relates the state of the measured property of the physical object to some predefined measurement etalon1. The fact that we can generally express that as a real number, or that using real numbers is typically the most convenient option for us, is accidental, and has to do with how we as humans like to think about things, and with what's easier for us to comprehend, and with what kinds of things we can plug into our existing theoretical frameworks, computers, etc. In other words, for all we know, the choice to express measurements in terms of real numbers is arbitrary in the grand scheme of things.


1 E.g. if you measure your desk with your keyboard, and it's 2 keyboards long, you're saying that the relationship between the measured property (the length of the table) and the etalon (the keyboard) is that the table is twice as long as the the keyboard. If something is 2 m long, it's twice as long as the predefined unit of length we call the meter.

2

Others already tackled the (more fundamental and crucial) topic of a misleading name. I want to stress that they are used for convenience. Any and all physics can be described with real numbers alone, but pairing two real numbers as $(a, b)$, using notation $a+bi$ (or similar) and defining some operations (using the handy $i$, which btw technically should be defined $i^2=-1$ and not with the square root; there can be issues with complex branches) and visual interpretations (arrows with real and imaginary axes) is a handy way to have more information coded in the values.

All measurements are real. But complex numbers are a useful abstraction very much like we could (and historically have) fight over how negative numbers can't signify anything real, but are of course useful and common in everyday language nowadays. Complex number are useful but not common in everyday language due to past choices in school curricula. For some reason, physics education has stuck with teaching complex numbers as a norm, the de facto mathematical expression without explaining alternatives. This choice is arbitrary and a tradition.

For comparison, take rational numbers with fraction notation. I could say a bar is $\frac{4}{3}$ meters long, and we probably wouldn't have any issues with that notion. It's clear, well-defined and we understand it. But for someone who hasn't understood ratios and fractions that notation seems to be unnecessarily complicated: Why are there two numbers, 4 and 3? Why them, what's so special about them? And they'd be asking the right questions, because we indeed shouldn't need two numbers to explain one length. (And it's not even unique, $8/6$ has the exact same value!) But it's a handy notation compared to $1,3333...$ (although both have their benefits).

JoonasD6
  • 304
  • One good reason is that sticking to real numbers impoverishes the math you're trying to use to represent physical reality. For example, without complex numbers, you lose the fundamental theorem of algebra. – John Doty Sep 04 '21 at 20:38
  • @JohnDoty Using more general spaces and operations etc. certainly can come with better symmetries, more valid general statements etc. ... but in a world where we didn't have complex numbers, the fundamental theorem would simply be differently worded ("... at most $n$ roots"), so there might be a hint of survivor bias there. :) – JoonasD6 Sep 04 '21 at 20:53
  • A weaker theorem would be, well, weaker and less useful. And one might consider Hadamard's maxim: "It has been written that the shortest and best way between two truths of the real domain often passes through the imaginary one." – John Doty Sep 04 '21 at 21:24
  • @JohnDoty I meant to relay the idea that at a point when we have not yet augmented our perspective, we do not know the theorem is weak. It is only called weak after a more general view exists. Now that we are working on complex numbers, we see the beauty of it. When this wasn't the case, there were some hints of real numbers being algebraically "insufficient", but there would not have been a superior form yet.

    That's a darn good quote.

    – JoonasD6 Sep 04 '21 at 22:04
2

As others have noted, complex numbers aren't especially fake in a way that would make them unphysical. But where complex numbers are physically relevant, why is this so?

Ever since classical physics, we've expected second-order ODEs that admit useful linear approximations close to a stable equilibrium to describe many physical systems. This amounts to $\ddot{x}=-\omega^2x$, with solutions linear combinations of $e^{\pm i\omega t}$. (Phase space coordinates may well be real; but with $y:=q+ip$ (non-dimensionalize everything first!), Hamilton's equations become $\dot{y}^\ast=i\frac{\partial H}{\partial y}$.) This generalized to e.g. $e^{\pm i(\omega t-kx)}$ in classical field theories' PDEs, electromagnetic plane waves being a famous consequence.

J.G.
  • 24,837
1

The result of a measurement is always real. Complex numbers come into play when describing states in QM. We also use complex numbers in electrodynamics, where it is just for convenience (using e-functions is easier than sin or cos), and we take then the real part of the result. In quantum mechanics, complex numbers are indeed necessary, which is in contrast to e.g. electrodynamics. However, results of measurements are still real.

Charles Tucker 3
  • 1,803
  • 4
  • 20