If by reality we mean the real world (not mathematics or some abstract model) then the article does not actually answer the question what the complex numbers are really -- they describe what complex numbers mean mathematically (geometrically, algebraically, number theory).
Here are some interpretations of imaginary and real parts in terms of the real (physical) world:
o Time vs. space. This means that they have to be measured using different constituents with different properties. For example, space is reversible and periodic (we can return to the same point where we were before many times while it is not possible to return to previous point in time).
o Periodic vs. monotonic behavior. For example, rotation frequencies or oscillators (electric or physical) vs. linear motion.
If beauty doesn't motivate you sufficiently, then take solace in the fact that the properties of some differential equations which arise in physics and engineering are determined by polynomials you can build out of them, and the systems modelled by these differential equations are stable if the real part of all the roots are negative. Google for control theory to see lots more.
and
This turns out to be a useful way of thinking about alternating current, and you can analyse AC circuits using complex arithmetic in much the same way as you use real algebra to analyse DC circuits.
Please don't insinuate that someone hasn't read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that."
This turns out to be a useful way of thinking about alternating current, and you can analyse AC circuits using complex arithmetic in much the same way as you use real algebra to analyse DC circuits.
"Userful way of thinking" and "analyse" something is not a real object strictly speaking - it is a process or phenomenon (no doubt complex numbers are useful here).
But can you say what kind of real object or property a complex number represents or measures? For example, an integer can represent the number of apples and their weight is represented by a real number. What property of a real object can be expressed, for example, as 50i ?
By making our programming languages more complex, we make our programs easier.
By pushing the common complexity into a shared location, problems become easier to solve. Complex numbers really do factor out a lot of the complexity from many problems, at comparatively little cost.
When people say they don't "get" complex numbers, usually they mean they've seen them mentioned, but have never actually done anything with them.
It's like staying that you've read a book on lisp and don't get it. Using these things is an essential part of coming to understand them.
> When people say they don't "get" complex numbers, usually they mean they've seen them mentioned, but have never actually done anything with them.
What people complain about is that they do not have a (real or hypothetical) device which can display its measurements as a complex number while they do have devices which measure properties in terms of integer, rational and real numbers.
Real numbers almost certainly are just as fictional as complex numbers. Physics doesn't seem to admit infinitely precise measurements, so literally no theoretical device can operate with real numbers.
Even if real numbers are "real", only a countable number of them are computable, even in theory. The rest are probably completely inaccessible, barring hypercomputation. (Interestingly, access to true real numbers gives you hypercomputation as a side-effect)
In Physics the complex i is used for different purposes, which makes it seem more complex that it really is. My favorite explanation of complex numbers is the paper "Imaginary Numbers are not Real – the Geometric Algebra of Spacetime" [1] which shows what the complex i actually is in terms of Clifford Algebras.
I like this idea of representing inner (dot, scalar) product and outer product as one construct with two constituents which behaves like a complex number. This analogy with geometry makes complex numbers more realistic.
There's a phenomenon where I think you can sense the physical reality of complex numbers. When to propagating waves meet, and they are of opposite phase, they cancel out. At the meeting point the combined amplitude becomes zero. Despite of apparently total cancelation the two waves emerge undisturbed on the other side of the "silent" point.
A wave can be described with rotating complex numbers of constant modulus. The two waves will each have its own modulus intact even at the point of cancelation. So the sum-to-zero real value is not really real.
I'm wary of anyone who tries to explain complex numbers without pictures. The best explanation of complex numbers that I've ever seen is http://acko.net/blog/how-to-fold-a-julia-fractal/. I wish that explaination existed when I was struggling with my Electrical Engineering classes in college.
I'd rather be wary of explaining mathematical concepts with pictures. Pictures are known to be highly misleading and force the reader to imagine a thing in a certain way. For example, most pictures of triangles have all 3 angles being acute. This leads people into forgetting the case when one of the angles is obtuse.
Completely agree. It's what Prof. Susskind states in one of his lectures on QM explaining quantum fields. Eventually pictures and mental abstractions break down, and it's better to not visualize.
At some point, one's limited biological brain will be unable to fully perceive or visualize some mathematical object. That's where intuition comes in.
You can still reason by analogy with something you can visualise. You can't visualise 3+1 = 4 spacetime dimensions, but you can pretend that space has 2 dimensions so that you can visualise it as 2+1 dimensions. Blind algebra rarely works. I think that many have an optimistic view of blind algebra because proofs are often stated as algebra without geometric intuition, even when the author of the theorem almost certainly used geometric intuition to come up with it. This can give a false impression. I've seen people struggle tremendously with simple proofs in Hilbert spaces, when the corresponding proof in 2 dimensions is easy by drawing a picture and translating that into algebra that works just as well in the more general setting. For example, let S be a closed subspace of Hilbert space H and x in H. Prove |x-y| is minimised over y in S iff x-y is orthogonal to S.
Analogies break down as easily as they are helpful. On average, they help mathematical intuition less than expected.
(Check Bose-Einstein thought experiments and the mathematics they spawned for an example.)
QM went into blind math side way past any analogies. Yet it is currently matching observations which is as good as it gets with true.
QM did not go into blind math mode. The way physicists usually do QM is by glossing over a lot of the subtleties of Hilbert spaces and act as if the results from finite dimensional linear algebra work. Concepts physicists have been using for a long time, such as the Dirac delta function and path integrals, only got formalised much later. Many revolutions in QM, such as Feynman diagrams, are very much based on intuition. You can transfer all of that back into formal math, as Dyson did, but Dyson could not have done so without Feynman having invented them first.
Especially in mathematics it is fashionable to write proofs in a style that completely erases the reasoning that lead to the proof. I think that's a pity. So much unwritten knowledge gets lost that way when the originators die. Differential forms, for example, have a beautiful geometric interpretation, but the way they're taught nowadays obscures that completely and makes it seem like they're a formal algebraic tool only. In fact, we're now several generations later, so even some of the instructors may be unaware of that, because their own instructors failed to transfer the original geometric intuition!
"Algebra is the offer made by the devil to the mathematician.
The devil says: I will give you this powerful machine,
it will answer any question you like. All you need to
do is give me your soul: give up geometry and you will
have this marvelous machine." — Sir Michael Atiyah, 2002
On the contrary, graphs is a good example, when pictures make perfect sense and any other way is rather meaningless for human brain. But yes, algebra specifically and pictures don't gel.
You can explain things with more than a single picture. You can also play with pictures in your mind, and you can encourage students to do so by giving them more than one picture. Visualizing corner cases is often very useful. For triangles, you can change angles and side lengths and see which facts still hold and which don't and how certain values/function results develop.
Moreover, it very much depends on who your target group is. My brain, for example, works entirely inductively (in the beginning). I won't be able to develop an intuition of something if I don't start with examples. Pictures are often good examples. During my undergrad studies, my linear algebra prof was as critical about pictures as you and other commenters here. I hated it. I was never able to get an intuition about the more abstract topics until I saw concrete examples including pictures in later lectures and projects. Moreover, not everyone is going to be a theoretical mathematician or quantum physicist. I suspect that by not showing pictures, you usually lose more students along the way than pictures would ruin students that need a fully abstract understanding (later). It would be interesting to see some data on this, but I guess its going to be difficult to collect.
Ok, so how would you explain venn diagrams without pictures? How would you describe Mandelbrot sets without pictures? How would you explain hyperbolic parabaloids without pictures? How would you explain conic sections without pictures? How would you explain a trapezoid without pictures? How would you describe a sine wave without pictures? Eversion of a sphere? How would you illustrate the calculation of the slope of a curve when talking about derivatives without pictures? How about a cycloid? How would you show the representation of a signal in both time domain and frequency domain?
>How would you describe Mandelbrot sets without pictures?
It's literally easier to describe Mandelbrot set without the picture than with it. The set of complex numbers c where recursive equation "z_n = z_(n-1)^2 + c, z_0 = 0" does not diverge.
In fact, the picture of a Mandelbrot set is actively misleading! You think you can see the set, but it's a fractal! It's infinitely complex in a way that cannot be shown in a picture.
>Eversion of a sphere?
Pretty sure that one was figured out way before anyone was able to visualize it. Same with Banach-Tarski paradox. These things resist visual intuition in the first place, so it's much safer to rely on equations when dealing with problems like these.
If you read of the early work that Mandelbrot did on this equation, you will recall that despite having those symbols in front of him, he had to plot it out, crudely at first on a line printer, before he fully understood the implications.
Thus pictures are not only tutorial but a fundamental necessity for understanding mathematics.
You picked possibly the worst example for what you're trying to say. Nobody knew it was a fractal until it was plotted. Proving it's a fractal was done with a written, rigorous proof, but the intuition for where to look came from the pictures.
Yep, although theorems and proofs are, of course, central to mathematics, pictures are absolutely essential for developing intuition and for introducing concepts.
In the case of complex analysis, pictures are critical for explaining the contour integrals for example. The pictures do not mislead, they elucidate.
That said, there's nothing wrong with the OP article. It is an introductory piece and folks seeing this stuff for the first time do well with a variety of approaches to the topic-- this one happens to not use pictures. That's OK.
Heartily agreeing. If the Reals are fundamentally the set of all points that make up a line, the "imaginary numbers" are the set of all 2d points in a plane. Turns out there was never a call to limit numbers to living in a straight line, but our notation was settled on before we realised that. I'm got grumpy just earlier this evening that the first 9 negative numbers didn't get their own glyphs.
i is basically "rotate by 90" in the same way -1 is "head left from 0 instead of right"
Complex numbers along with the Quaternions are the only finite dimensional associative division algebras that properly contain the reals. The interesting thing is that the 2d real space can be equipped with a multiplication operation that works. This isn’t always possible to do on a finite dimensional real vector space.
It happens to be true that this field called the complex numbers is a two dimensional real vector space. It took humans quite a long time to come up with 0 and negative numbers. There’s no way the jump to the complex numbers was going to be as easy and it isn’t as simple as, “numbers in 2d”. Why isn’t 3D a finite dimensional associative division algebra?
You speak of a multiplication operation that "works", also stating that it's not always possible for a finite dimensional real vector space. Doesn't the definition of a real vector space require multiplication that "works" (through the scalar multiplication requirement) or are you referring to the multiplication between vectors within that space "working"?
Multiplication of vectors. That’s the meaning of the algebra word in the phrase, finite dimensional associative division algebra. In R^3 you can’t define multiplication of vectors in a way that works. That is, in a way that each vector can be multiplied by itself and in which each vector has a multiplicative inverse while preserving the real vector space structure.
The set of all points in a plane is ℝ², not ℂ. ℂ has many special properties that aren't shared by ℝ²,[1] so while you can think of ℝ as just the number line, ℂ is more than just a plane.
> If the Reals are fundamentally the set of all points that make up a line, the "imaginary numbers" are the set of all 2d points in a plane
I'm not sure that's true. It's a very good way to visualize complex numbers at first, but the set of points in a 2D plane does not define complex numbers.
To me, trying to visualize complex numbers is an easy way to forget that R^2 != C.... They look the same but don't behave the same way (how do you multiply to members of R^2 with each other ? you need to define it, whereas multiplication in C is already defined). C doesn't behave like 2D vectors either. Since multiplying 2 complex is not the same as multiplying 2 vectors (whatever that means) although their components could be the same.
> Turns out there was never a call to limit numbers to living in a straight line
There is no reason to limit to the plane either[0]. Or four dimensions for that matter[1]. Complex numbers have ways in which they are "more fundamental" than quaternions in the same ways that reals are "more fundamental" than complex numbers.
You want to be careful with that. Pictures can be helpful in mathematical education (especially in something like a first course in real analysis), but if you get accustomed to relying on learning with pictures your mathematical intuition can break down once you arrive at a place where pictures don’t make sense.
Once you’re working in k-dimensions, where k > 3 (or maybe 4), you can’t rely on pictures anymore because there is no satisfying depiction of 4 or greater dimensions on a 2 dimensional medium. Complex numbers can be learned this way because they’re (simplified) the set R^2. Number systems in general are sort of okay to learn this way because they typically just extend other number systems, so you can successively build intuition on top of previous abstractions.
But you won’t really “learn” a lot of much more complicated topological or geometric (and therein analytic) concepts if you can’t build intuition without “seeing” it. As a very simple example, contrast these two approaches to defining a trivial concept in topology, which you’d probably come across before complex numbers in an analysis course:
1. A neighborhood of a point p in a Euclidean space is the set of all q such that d(p, q) < r, where r is some radius greater than 0.
2. A neighborhood is a circle (or sphere) with a radius of r surrounding a point p.
One of those feels more immediately intuitive, but that’s only because we’re dealing with the simple case of k = 2 or 3. You can’t “dodge” the complexity by visualizing it once you get into higher k, you have to just formalize it to develop intuition rigorously. Definition 1 is useful because it abstracts to conceptual domains we cannot practically visualize. Definition 2 would be useful if you could build a visual intuition of a 3-sphere, or 4-sphere, and so on. But building a visual intuition of k > 3 dimensions just shifts the problem away from what you’re trying to learn to something that is just as difficult: eventually you have to just get comfortable staring at a page of frustrating numbers, unfortunately.
That's actually untrue. 3 Blue 1 Brown has an excellent example of how you can use visuals to aid intuition in higher dimensional thinking. It's just not the naive representation.
A pictorial formalism is possible for most if not all mathematical concepts as much as a symbolic.
It just won't be naive and may not have been systematically developed and communicated / taught anywhere.
The issue here is mostly just an awareness that, naively, the pictures change fast than the formula. (r^1, r^2, r^3... look more a like than lines, circles and spheres).
I agree with what you and the parent are saying here, and I suppose I didn’t well enough communicate my meaning. To clarify, I am focusing on the naive representations, which I find people rely on too much. It is easy to learn lower dimensions naively and feel like they make sense, but you won’t bridge that understanding to higher dimensions as seamlessly as going from a point to a line to a circle to a sphere, etc.
And for the pictorial representations which do exist, implicit in understanding them is the symbolic information. Conversely, you can understand common naive representations without an implicit understanding of the formalism. For example, we all know what a circle is before we know about irrational numbers, but it’s silly to try and understand a 5-cell or a tesseract without a broader understanding of k-dimensional space. It’s precisely that naive intuition that doesn’t generalize well.
In other words, my point more simply was caution: use pictures, but don’t replace symbolic formalism with them, just use them augment your understanding once you’ve at least sort of got it.
Yeah, good point. I like 3Blue1Brown’s videos but in fairness I would say that video is quite a bit closer to the formal side of things than the visual side. I was talking about naive representations - if you build up to the compound visualization 3B1B walks through you’ve covered a lot of the rigor implicitly.
I would say there is absolutely a use for imagery - I wouldn’t advise learning real or complex analysis of without visual aids :). I just think they are easily abused and used to mask gaps in formal knowledge.
You have to start somewhere. Once idea is visualized and internalized on lower dimensions, you move to the next level, where images not needed; however to get to that step 0, where you understand why complex numbers used in AC: lots of folks never bother to explain that it's just the best way to describe rotation.
It would not be correct to use terminology like “ball” to describe a “neighborhood”, even if, in specific instances, they are the same representation in different contexts (i.e. geometric vs analytic).
I am not using 'ball' to describe a neighbourhood, you are using 'neighbourhood' to describe a ball! From your own link:
In a metric space M=(X,d), a set V is a neighbourhood of a point p if there exists an open ball with centre p and radius r>0, such that B_r (p)=B(p;r)={x∈X | d(x,p)<r} is contained in V. (My emphasis.)
Balls are definable in metric spaces, neighborhoods in general topological ones, so "neighborhood" is indeed the more general term.
That said, once we have a metric space, the metric balls give a natural basis for the topology, which means that every theorem about neighborhoods has a corresponding one that uses balls instead. So in practice, when in a metric space we just use balls everywhere because they let us exploit their extra structure if it's needed. This is why you see the abuse of language calling neighborhoods balls, despite that being technically incorrect.
A sphere is the surface of a ball. Your criticism applies to (2) but not to (1).
However, 'ball' is from geometry, while 'neighborhood' is from analysis. They overlap, but they're not to be confused, because 'neighborhood' is used to emphasize that one should not visualize it.
> However, 'ball' is from geometry, while 'neighborhood' is from analysis. They overlap, but they're not to be confused, because 'neighborhood' is used to emphasize that one should not visualize it.
You’re right, but in fairness I’ve seen multiple analysis textbook authors use terms like “circle” and “ball” to describe a neighborhood in topology. This is usually in the fashion, “...(in other words, E is a ball.”
This is precisely the sort of thing I dislike, because aside from being technically incorrect like you say, it can (for that section) encourage a student to think, “Oh, why didn’t he just say that?” and skip the heavier definition -> theorem -> proof sequence preceding it, to the detriment of understanding later material.
It's okay if you also develop the skill of constructing a duplicate mental picture from a sufficiently detailed description of it.
Build up your picture-mirroring skill on 2-dimensional and 3-dimensional pictures, and you can eventually imagine pictures with more dimensions. Maybe you could even manage an animation in 4-dimensions. About the only thing I can reliably imagine in 6 or more dimensions is a hypersphere, and even that might be incorrect if one of the dimensions is not mutually perpendicular to all the others or if its basis vector doesn't square to itself.
I feel a better explanation of them was given in "Shadows of the mind" by Roger Penrose where he explains how they play a vital role in Quantum Theory which impacts real-life behavior.
I think this actually misses the biggest point. Complex numbers are special because they are an algebraic closure of the real numbers (what makes the real numbers interesting should be more obvious), and because Zorn's lemma tells us that such a closure is unique (up to isomorphism). In other words, complex numbers are precisely what you need to add to real numbers in order to always be able to solve polynomial equations.
TL;DR: complex numbers are the unique algebraic extension to the real numbers
Simply put: It's when you extend the mathematical system by applying an operation to all eligible elements in the system (for example by redefining which elements are amendable to a given operation, like sqrt(-1))
Logic example (transitive closure): given "A->B", "B->C" in a sytem then your system can be extended to also contain "A->C" if you decide to interpret "->" as transitive.
A field is algebraically closed if whenever you have a polynomial with coefficients in that field, all the roots of the polynomial also belong to the field.
For example: The field of rational numbers is not closed since it does not contain the roots of x^3 - 3 (since we can prove the cube root of 3 is irrational). The real numbers are not closed since they do not contain the roots of x^2 + 1. The complex numbers however, are closed.
An algebraic closure of a field is an embedding of that field into a closed field. For example, the rational numbers into the complex numbers, or the real numbers into the complex numbers. The second case is special: while rational numbers have many possible closures, the only closure of the real numbers is the complex numbers.
What others said, but more abstract and simple way to say it:
Algebra is set of objects and operations on them. Operation is function that gets number of objects as argument and maps it to some other thing
A set has closure under an operation(s) if using those operations on the set members always gives you a member in the same set.
Example:
Natural numbers (0,1,2, ...) are closed under addition and multiplication, because you can't add two numbers and get something that is not natural number. Natural numbers are not closed under subtraction or division because you can get a result that is not a natural number.
>A set has closure under an operation(s) if using those operations on the set members always gives you a member in the same set.
THANK YOU. That line was key and just clicked for me. I'm actually liking everyone's completely-different ways of explaining the same things. When one, or five, are confusing, the sixth may be key to filling in the holes.
It means that all polynomials with coefficients in the real numbers have roots in the complex numbers.
Maybe a different example would help. Imagine we are working with Integers modulo 3 (denoted Z/3Z). Z/3Z is a field, meaning we have all the expected arithmetic (+, -, , /) and we can look at polynomials. Here is a polynomial that is irreducible i.e. does not have roots in Z/3Z:
x^2+1
We can construct an extension field in which this has a root; let's call the root i and write the extension Z/3Z(i). Here is where finite fields like Z/3Z differ from the real numbers: extensions like Z/3Z(i) still have irreducible polynomials. On the other hand, in the real numbers, x^2+1 is irreducible, but if we construct an extension where it is reducible, R(i) i.e. the complex numbers, we get a field where there are no irreducible polynomials (that is the basic idea of the fundamental theorem of algebra).
Doesn’t use the word closure but it does mention this.
> Complex numbers were introduced because they cropped up naturally in the solution of cubic equations. What might we need to introduce to solve higher order polynomial equations? What if we let the coefficients of our polynomials be complex numbers themselves?
> The astonishing answer is: nothing. Once you've allowed yourself complex numbers it turns out that you don't need anything else for higher order polynomials, or even polynomials with complex coefficients. The fundamental theorem of algebra tells us that any polynomial of degree n
with complex coefficients (and that includes real ones, since a real number is a complex number with an imaginary part of zero) has n complex roots.
>TL;DR: complex numbers are the unique algebraic extension to the real numbers
The simplest, (or maybe most compact) extension.
You can also achieve closure by going from R to R^2 and adding the Geometric Product. This is also closed, but it includes vectors in R^2 as well as the complex numbers.
What does that have to do with every function being analytic?
Anyway, you can solve every cubic polynomial in the algebraic closure of Q, which is far less than C, so you don't need to construct the complex numbers for that.
The closest link I found from (1) to (2) uses differential geometry and in particular the exterior algebra.
Using the exterior derivative df = (df/dx) dx + (df/dy) dy. it is possibly to define (identifying C with R^2) a function to be holomorphic when it can be written df = g (dx + idy) for some function g. From the properties of the exterior derivative you then get 0 = d(df) = d( g dz) = df' ^ dz, which implies that dg = h dz for some h, hence g is holomorphic as well. Defining the complex derivative of 'f' to be 'g' at least shows that any holomorphic function is infinitely complex differentiable.
I haven't quite managed to figure out why this definition of the complex derivative coincides with the limit of f(w+z)/z as z->0 with z complex, but it should follow from the algebraic properties of C.
Showing holomorphic functions to be analytic is somewhat trickier, but you can probably use that the above definition of holomorphicity and Stokes' theorem together imply Cauchy's integral theorem (every integral around a loop vanishes).
Rob talks about how complex numbers are just another kind of "fake number" on top of negative numbers, fractions, square roots... And this is a good thing to point out. But there is one further thing to note, which is the inherent ambiguity between i and -i. We can't tell these apart. John Conway says this well, when asked about the square root of -1 his reply is "which square root of -1 do you mean?" (paraphrasing.)
This ambiguity is where Galois theory starts. Analogous "theories of ambiguity" arise all throughout mathematics (Galois connections). This is really fascinating stuff, with deep connections to quantum physics...
> Rob talks about how complex numbers are just another kind of "fake number" on top of negative numbers, fractions, square roots...And this is a good thing to point out.
I agree. I think complex numbers are best explained in the context of motivations for number systems (and I made a comment explaining complex numbers this way about a month ago[1]). This way takes longer than just answering the question, “what’s a complex number?”, but it also builds a better intuition of why complex numbers aren’t silly (or at least, why they’re only as silly as anything that isn’t a natural number). If you can get a student to be okay with the idea that we define new number systems to resolve problems in prior ones, you can get them to be okay with a construction of complex numbers from the reals, just as they’ll accept a construction of the irrationals from the rationals, and integers from the naturals, etc.
I find that a really rigorous (albeit...spartan) first pass for understanding complex numbers can be developed by reading through Chapter 1 of Rudin’s Principles of Mathematical Analysis. He doesn’t go quite as far as developing Peano arithmetic from first principles, but he does build up the number systems successively, beginning with the natural numbers if I recall correctly. That was the first book I read where I felt like I really understood what complex numbers were, because up until that point I was only dealing with them algebraically using an explicit i in the form a + bi. Rudin’s development of the complex plane and representation of real and complex numbers as points (a, b) is much better for intuition, in my experience, and it lights the way to an even deeper intuition of what complex numbers are in the context of Euclidean spaces later on.
That said, Rudin is terse to the point that many would call him pretentious, so if there is another book that does the same thing with better exposition, that might be a better choice...
> But there is one further thing to note, which is the inherent ambiguity between i and -i. We can't tell these apart. John Conway says this well, when asked about the square root of -1 his reply is "which square root of -1 do you mean?" (paraphrasing.)
It’s been a while since I did this exercise, but if I recall correctly this ambiguity is part of the proof that we cannot order the complex field, right? We end up with an absurdity because i should be greater than -i, but i^3 = -i, which evidently resists coherent ordering. And similarly i x i = -1, but -i x i = 1.
> so if there is another book that does the same thing with better exposition
Have a look at Conway's "Book of numbers". He has a nice description of the complex numbers there. Conway can be terse aswell, but at least he is funny!
The ambiguity comes from the definition of i and -i from algebraic perspective. They are two roots of sqrt(-1) and they have indistinguishable properties other than the fact that they are different. I.e. if we live in an alternate world where the complex plane is flipped (j = -i) then there is no way to distinguish this world between the original.
It’s similar to the inherent ambiguity between left and right - the only defining characteristics of them are they are opposite to each other.
Note that 1 and -1 have different mathematical properties (in most cases - in Z/2 they would be equal) that allow us to distinguish. 1 * x = x but -1 * x = -x.
The phrase “what IS it” has always bugged me in mathematics. The answer to that is always “what we defined it to be.” The question math answers is “what does it do.”
I think a lot of the problem in mathematics education is motivation. Students (and people learning math in general) encounter two problems:
1. They don’t realize what you’re saying, i.e. number systems and mathematics in general are built from definitions, not observations, and any definitions work as long as they’re compatible with what we’ve already proven,
2. If they realize #1, even implicitly, they still do not know why mathematical definitions are motivated. A student might say, “Okay so I understand what complex numbers are, but why do we have them? What’s the point of all of this?”
In my opinion, new mathematical concepts should be taught by placing them in the context of the least complicated thing the student already knows, then motivating them by demonstrating what problem they resolve. In the case of complex numbers, this can be explained to a student via analogue to the irrational numbers, which are the set of all numbers p/q where p and q are positive integers. We “invent” and define irrational numbers to resolve real world problems involving numbers that cannot be in the integral or rational systems. Similarly, we define complex numbers to resolve real world problems involving negative numbers on a plane, and so on...
The definition of complex numbers is not arbitrary, though. It falls out of the way real numbers work, and it's pretty much predetermined once you start investigating "impossible" roots of polynomials.
Interesting questions are 1) why do we care about polynomials and 2) how do polynomial roots motivate complex numbers.
I think the easiest way to explain complex numbers is to first ask a question, "How do you multiply two dimensional numbers?" The other person always comes up with some answer like (a0+b0)x(a1+b1) = a0a1 + b0b1 or the factorization. You can easily show that this isn't consistent, and usually the student quickly starts looking for answers to prove you wrong. It becomes quickly easy to talk about how complex numbers can be used to work in two dimensions, and being able to explain concepts like closure and fields without using those words.
There is no need to jump to quaternions (which is 4D, not 3D, and the point has been missed here), like the author does. There is a much simpler case that people are more familiar with. The problem with the article is that it does not gauge its audience well. As another commenter mentioned, pictures help. With this discussion on two dimensions you can use a lot of great graphics out there and talk about the beauty of Euler's formula. These topics all generalize, but it is ludicrous to talk about the generalization first.
I had the good fortune that my high-school mathematics teacher introduced complex numbers as “compound numbers”, with two “components” that defined a point on a plane, one of which was multiplied by a “orthogonal coefficient” that just happened (fabula mirabilis!) to be the square root of minus one that so vexed us when solving certain types of quadratics.
Totally nonstandard terminology, but pedagogically very sound approach that was totally at odds with the official syllabus... she just “filled us in” with ‘synonyms’ a while later so that we would not be totally baffled when sitting our exams (the IB).
92 comments
[ 2.8 ms ] story [ 142 ms ] threadIf by reality we mean the real world (not mathematics or some abstract model) then the article does not actually answer the question what the complex numbers are really -- they describe what complex numbers mean mathematically (geometrically, algebraically, number theory).
Here are some interpretations of imaginary and real parts in terms of the real (physical) world:
o Time vs. space. This means that they have to be measured using different constituents with different properties. For example, space is reversible and periodic (we can return to the same point where we were before many times while it is not possible to return to previous point in time).
o Periodic vs. monotonic behavior. For example, rotation frequencies or oscillators (electric or physical) vs. linear motion.
If beauty doesn't motivate you sufficiently, then take solace in the fact that the properties of some differential equations which arise in physics and engineering are determined by polynomials you can build out of them, and the systems modelled by these differential equations are stable if the real part of all the roots are negative. Google for control theory to see lots more.
and
This turns out to be a useful way of thinking about alternating current, and you can analyse AC circuits using complex arithmetic in much the same way as you use real algebra to analyse DC circuits.
and ... did you read it all?
Please don't insinuate that someone hasn't read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that."
"Userful way of thinking" and "analyse" something is not a real object strictly speaking - it is a process or phenomenon (no doubt complex numbers are useful here).
But can you say what kind of real object or property a complex number represents or measures? For example, an integer can represent the number of apples and their weight is represented by a real number. What property of a real object can be expressed, for example, as 50i ?
The other descriptions were merely circular references to other mathematical inventions.
The bookkeeping explanation is still not satisfying for me though.
By pushing the common complexity into a shared location, problems become easier to solve. Complex numbers really do factor out a lot of the complexity from many problems, at comparatively little cost.
When people say they don't "get" complex numbers, usually they mean they've seen them mentioned, but have never actually done anything with them.
It's like staying that you've read a book on lisp and don't get it. Using these things is an essential part of coming to understand them.
What people complain about is that they do not have a (real or hypothetical) device which can display its measurements as a complex number while they do have devices which measure properties in terms of integer, rational and real numbers.
Even if real numbers are "real", only a countable number of them are computable, even in theory. The rest are probably completely inaccessible, barring hypercomputation. (Interestingly, access to true real numbers gives you hypercomputation as a side-effect)
Another way to say this: imaginary versus real exponentials.
[1] http://geometry.mrao.cam.ac.uk/1993/01/imaginary-numbers-are...
At some point, one's limited biological brain will be unable to fully perceive or visualize some mathematical object. That's where intuition comes in.
QM went into blind math side way past any analogies. Yet it is currently matching observations which is as good as it gets with true.
Especially in mathematics it is fashionable to write proofs in a style that completely erases the reasoning that lead to the proof. I think that's a pity. So much unwritten knowledge gets lost that way when the originators die. Differential forms, for example, have a beautiful geometric interpretation, but the way they're taught nowadays obscures that completely and makes it seem like they're a formal algebraic tool only. In fact, we're now several generations later, so even some of the instructors may be unaware of that, because their own instructors failed to transfer the original geometric intuition!
Moreover, it very much depends on who your target group is. My brain, for example, works entirely inductively (in the beginning). I won't be able to develop an intuition of something if I don't start with examples. Pictures are often good examples. During my undergrad studies, my linear algebra prof was as critical about pictures as you and other commenters here. I hated it. I was never able to get an intuition about the more abstract topics until I saw concrete examples including pictures in later lectures and projects. Moreover, not everyone is going to be a theoretical mathematician or quantum physicist. I suspect that by not showing pictures, you usually lose more students along the way than pictures would ruin students that need a fully abstract understanding (later). It would be interesting to see some data on this, but I guess its going to be difficult to collect.
It's literally easier to describe Mandelbrot set without the picture than with it. The set of complex numbers c where recursive equation "z_n = z_(n-1)^2 + c, z_0 = 0" does not diverge.
In fact, the picture of a Mandelbrot set is actively misleading! You think you can see the set, but it's a fractal! It's infinitely complex in a way that cannot be shown in a picture.
>Eversion of a sphere?
Pretty sure that one was figured out way before anyone was able to visualize it. Same with Banach-Tarski paradox. These things resist visual intuition in the first place, so it's much safer to rely on equations when dealing with problems like these.
Thus pictures are not only tutorial but a fundamental necessity for understanding mathematics.
In the case of complex analysis, pictures are critical for explaining the contour integrals for example. The pictures do not mislead, they elucidate.
That said, there's nothing wrong with the OP article. It is an introductory piece and folks seeing this stuff for the first time do well with a variety of approaches to the topic-- this one happens to not use pictures. That's OK.
i is basically "rotate by 90" in the same way -1 is "head left from 0 instead of right"
It happens to be true that this field called the complex numbers is a two dimensional real vector space. It took humans quite a long time to come up with 0 and negative numbers. There’s no way the jump to the complex numbers was going to be as easy and it isn’t as simple as, “numbers in 2d”. Why isn’t 3D a finite dimensional associative division algebra?
[1]: https://math.stackexchange.com/questions/444475/whats-the-di...
I'm not sure that's true. It's a very good way to visualize complex numbers at first, but the set of points in a 2D plane does not define complex numbers.
That's a very interesting question actually, what is the difference between R^2 != C ? Here's someone's attempt at showing this (top answer): https://math.stackexchange.com/questions/444475/whats-the-di...
To me, trying to visualize complex numbers is an easy way to forget that R^2 != C.... They look the same but don't behave the same way (how do you multiply to members of R^2 with each other ? you need to define it, whereas multiplication in C is already defined). C doesn't behave like 2D vectors either. Since multiplying 2 complex is not the same as multiplying 2 vectors (whatever that means) although their components could be the same.
structure structure structure.
You can use the geometric product, and C falls out as a result.
There is no reason to limit to the plane either[0]. Or four dimensions for that matter[1]. Complex numbers have ways in which they are "more fundamental" than quaternions in the same ways that reals are "more fundamental" than complex numbers.
[0] https://en.wikipedia.org/wiki/Quaternion
[1] https://en.wikipedia.org/wiki/Octonion
Once you’re working in k-dimensions, where k > 3 (or maybe 4), you can’t rely on pictures anymore because there is no satisfying depiction of 4 or greater dimensions on a 2 dimensional medium. Complex numbers can be learned this way because they’re (simplified) the set R^2. Number systems in general are sort of okay to learn this way because they typically just extend other number systems, so you can successively build intuition on top of previous abstractions.
But you won’t really “learn” a lot of much more complicated topological or geometric (and therein analytic) concepts if you can’t build intuition without “seeing” it. As a very simple example, contrast these two approaches to defining a trivial concept in topology, which you’d probably come across before complex numbers in an analysis course:
1. A neighborhood of a point p in a Euclidean space is the set of all q such that d(p, q) < r, where r is some radius greater than 0.
2. A neighborhood is a circle (or sphere) with a radius of r surrounding a point p.
One of those feels more immediately intuitive, but that’s only because we’re dealing with the simple case of k = 2 or 3. You can’t “dodge” the complexity by visualizing it once you get into higher k, you have to just formalize it to develop intuition rigorously. Definition 1 is useful because it abstracts to conceptual domains we cannot practically visualize. Definition 2 would be useful if you could build a visual intuition of a 3-sphere, or 4-sphere, and so on. But building a visual intuition of k > 3 dimensions just shifts the problem away from what you’re trying to learn to something that is just as difficult: eventually you have to just get comfortable staring at a page of frustrating numbers, unfortunately.
A pictorial formalism is possible for most if not all mathematical concepts as much as a symbolic.
It just won't be naive and may not have been systematically developed and communicated / taught anywhere.
The issue here is mostly just an awareness that, naively, the pictures change fast than the formula. (r^1, r^2, r^3... look more a like than lines, circles and spheres).
And for the pictorial representations which do exist, implicit in understanding them is the symbolic information. Conversely, you can understand common naive representations without an implicit understanding of the formalism. For example, we all know what a circle is before we know about irrational numbers, but it’s silly to try and understand a 5-cell or a tesseract without a broader understanding of k-dimensional space. It’s precisely that naive intuition that doesn’t generalize well.
In other words, my point more simply was caution: use pictures, but don’t replace symbolic formalism with them, just use them augment your understanding once you’ve at least sort of got it.
Isn't that what mathematicians call a ball rather than a neighbourhood? A name which rather suggests that they are visualising it.
It would not be correct to use terminology like “ball” to describe a “neighborhood”, even if, in specific instances, they are the same representation in different contexts (i.e. geometric vs analytic).
In a metric space M=(X,d), a set V is a neighbourhood of a point p if there exists an open ball with centre p and radius r>0, such that B_r (p)=B(p;r)={x∈X | d(x,p)<r} is contained in V. (My emphasis.)
That said, once we have a metric space, the metric balls give a natural basis for the topology, which means that every theorem about neighborhoods has a corresponding one that uses balls instead. So in practice, when in a metric space we just use balls everywhere because they let us exploit their extra structure if it's needed. This is why you see the abuse of language calling neighborhoods balls, despite that being technically incorrect.
However, 'ball' is from geometry, while 'neighborhood' is from analysis. They overlap, but they're not to be confused, because 'neighborhood' is used to emphasize that one should not visualize it.
You’re right, but in fairness I’ve seen multiple analysis textbook authors use terms like “circle” and “ball” to describe a neighborhood in topology. This is usually in the fashion, “...(in other words, E is a ball.”
This is precisely the sort of thing I dislike, because aside from being technically incorrect like you say, it can (for that section) encourage a student to think, “Oh, why didn’t he just say that?” and skip the heavier definition -> theorem -> proof sequence preceding it, to the detriment of understanding later material.
Build up your picture-mirroring skill on 2-dimensional and 3-dimensional pictures, and you can eventually imagine pictures with more dimensions. Maybe you could even manage an animation in 4-dimensions. About the only thing I can reliably imagine in 6 or more dimensions is a hypersphere, and even that might be incorrect if one of the dimensions is not mutually perpendicular to all the others or if its basis vector doesn't square to itself.
TL;DR: complex numbers are the unique algebraic extension to the real numbers
Logic example (transitive closure): given "A->B", "B->C" in a sytem then your system can be extended to also contain "A->C" if you decide to interpret "->" as transitive.
For example: The field of rational numbers is not closed since it does not contain the roots of x^3 - 3 (since we can prove the cube root of 3 is irrational). The real numbers are not closed since they do not contain the roots of x^2 + 1. The complex numbers however, are closed.
An algebraic closure of a field is an embedding of that field into a closed field. For example, the rational numbers into the complex numbers, or the real numbers into the complex numbers. The second case is special: while rational numbers have many possible closures, the only closure of the real numbers is the complex numbers.
Algebra is set of objects and operations on them. Operation is function that gets number of objects as argument and maps it to some other thing
A set has closure under an operation(s) if using those operations on the set members always gives you a member in the same set.
Example:
Natural numbers (0,1,2, ...) are closed under addition and multiplication, because you can't add two numbers and get something that is not natural number. Natural numbers are not closed under subtraction or division because you can get a result that is not a natural number.
THANK YOU. That line was key and just clicked for me. I'm actually liking everyone's completely-different ways of explaining the same things. When one, or five, are confusing, the sixth may be key to filling in the holes.
Maybe a different example would help. Imagine we are working with Integers modulo 3 (denoted Z/3Z). Z/3Z is a field, meaning we have all the expected arithmetic (+, -, , /) and we can look at polynomials. Here is a polynomial that is irreducible i.e. does not have roots in Z/3Z:
x^2+1
We can construct an extension field in which this has a root; let's call the root i and write the extension Z/3Z(i). Here is where finite fields like Z/3Z differ from the real numbers: extensions like Z/3Z(i) still have irreducible polynomials. On the other hand, in the real numbers, x^2+1 is irreducible, but if we construct an extension where it is reducible, R(i) i.e. the complex numbers, we get a field where there are no irreducible polynomials (that is the basic idea of the fundamental theorem of algebra).
> Complex numbers were introduced because they cropped up naturally in the solution of cubic equations. What might we need to introduce to solve higher order polynomial equations? What if we let the coefficients of our polynomials be complex numbers themselves?
> The astonishing answer is: nothing. Once you've allowed yourself complex numbers it turns out that you don't need anything else for higher order polynomials, or even polynomials with complex coefficients. The fundamental theorem of algebra tells us that any polynomial of degree n with complex coefficients (and that includes real ones, since a real number is a complex number with an imaginary part of zero) has n complex roots.
> That's a beautiful mathematical result.
The simplest, (or maybe most compact) extension.
You can also achieve closure by going from R to R^2 and adding the Geometric Product. This is also closed, but it includes vectors in R^2 as well as the complex numbers.
1) Every non-constant polynomial has a root
2) Every holomorphic function is analytic
The only connection I know is that (2) implies Liouville's theorem which implies (1), but it doesn't seem any less miraculous.
Using the exterior derivative df = (df/dx) dx + (df/dy) dy. it is possibly to define (identifying C with R^2) a function to be holomorphic when it can be written df = g (dx + idy) for some function g. From the properties of the exterior derivative you then get 0 = d(df) = d( g dz) = df' ^ dz, which implies that dg = h dz for some h, hence g is holomorphic as well. Defining the complex derivative of 'f' to be 'g' at least shows that any holomorphic function is infinitely complex differentiable.
I haven't quite managed to figure out why this definition of the complex derivative coincides with the limit of f(w+z)/z as z->0 with z complex, but it should follow from the algebraic properties of C.
Showing holomorphic functions to be analytic is somewhat trickier, but you can probably use that the above definition of holomorphicity and Stokes' theorem together imply Cauchy's integral theorem (every integral around a loop vanishes).
This ambiguity is where Galois theory starts. Analogous "theories of ambiguity" arise all throughout mathematics (Galois connections). This is really fascinating stuff, with deep connections to quantum physics...
I agree. I think complex numbers are best explained in the context of motivations for number systems (and I made a comment explaining complex numbers this way about a month ago[1]). This way takes longer than just answering the question, “what’s a complex number?”, but it also builds a better intuition of why complex numbers aren’t silly (or at least, why they’re only as silly as anything that isn’t a natural number). If you can get a student to be okay with the idea that we define new number systems to resolve problems in prior ones, you can get them to be okay with a construction of complex numbers from the reals, just as they’ll accept a construction of the irrationals from the rationals, and integers from the naturals, etc.
I find that a really rigorous (albeit...spartan) first pass for understanding complex numbers can be developed by reading through Chapter 1 of Rudin’s Principles of Mathematical Analysis. He doesn’t go quite as far as developing Peano arithmetic from first principles, but he does build up the number systems successively, beginning with the natural numbers if I recall correctly. That was the first book I read where I felt like I really understood what complex numbers were, because up until that point I was only dealing with them algebraically using an explicit i in the form a + bi. Rudin’s development of the complex plane and representation of real and complex numbers as points (a, b) is much better for intuition, in my experience, and it lights the way to an even deeper intuition of what complex numbers are in the context of Euclidean spaces later on.
That said, Rudin is terse to the point that many would call him pretentious, so if there is another book that does the same thing with better exposition, that might be a better choice...
> But there is one further thing to note, which is the inherent ambiguity between i and -i. We can't tell these apart. John Conway says this well, when asked about the square root of -1 his reply is "which square root of -1 do you mean?" (paraphrasing.)
It’s been a while since I did this exercise, but if I recall correctly this ambiguity is part of the proof that we cannot order the complex field, right? We end up with an absurdity because i should be greater than -i, but i^3 = -i, which evidently resists coherent ordering. And similarly i x i = -1, but -i x i = 1.
____________________________
1. https://news.ycombinator.com/item?id=15729381
Have a look at Conway's "Book of numbers". He has a nice description of the complex numbers there. Conway can be terse aswell, but at least he is funny!
It’s similar to the inherent ambiguity between left and right - the only defining characteristics of them are they are opposite to each other.
Note that 1 and -1 have different mathematical properties (in most cases - in Z/2 they would be equal) that allow us to distinguish. 1 * x = x but -1 * x = -x.
This is also true for x == i.
1. They don’t realize what you’re saying, i.e. number systems and mathematics in general are built from definitions, not observations, and any definitions work as long as they’re compatible with what we’ve already proven,
2. If they realize #1, even implicitly, they still do not know why mathematical definitions are motivated. A student might say, “Okay so I understand what complex numbers are, but why do we have them? What’s the point of all of this?”
In my opinion, new mathematical concepts should be taught by placing them in the context of the least complicated thing the student already knows, then motivating them by demonstrating what problem they resolve. In the case of complex numbers, this can be explained to a student via analogue to the irrational numbers, which are the set of all numbers p/q where p and q are positive integers. We “invent” and define irrational numbers to resolve real world problems involving numbers that cannot be in the integral or rational systems. Similarly, we define complex numbers to resolve real world problems involving negative numbers on a plane, and so on...
Interesting questions are 1) why do we care about polynomials and 2) how do polynomial roots motivate complex numbers.
There is no need to jump to quaternions (which is 4D, not 3D, and the point has been missed here), like the author does. There is a much simpler case that people are more familiar with. The problem with the article is that it does not gauge its audience well. As another commenter mentioned, pictures help. With this discussion on two dimensions you can use a lot of great graphics out there and talk about the beauty of Euler's formula. These topics all generalize, but it is ludicrous to talk about the generalization first.
https://www.youtube.com/watch?v=T647CGsuOVU
I like to tell my kids that imaginary numbers aren't really imaginary .. that in many ways they're more real than the Reals.
Totally nonstandard terminology, but pedagogically very sound approach that was totally at odds with the official syllabus... she just “filled us in” with ‘synonyms’ a while later so that we would not be totally baffled when sitting our exams (the IB).
It has served me well ever since.