Multiplying by i…
Recently I did a series of posts about how the complex numbers arise from a natural progression of math realizations. I’ve done posts in the past about how the natural numbers lead through the integers and rationals to the real numbers. (And I’ve done posts about how weird the real numbers are, but that’s another topic.)
I recently came across another way a progression of obvious natural questions directly leads to the necessity of a new type of number, and this progression takes us all the way from the naturals to the complex numbers.
All by asking, “What do you get when you…”
Yes, this is a math post, but don’t run off too quickly. I’ll keep it as simple as possible (but no simpler), and I’ll do all the actual math so you can just ride along and watch. What I’m about here is laying the groundwork to explain a fun fact about the Mandelbrot.
This post is kind of an origin story. It seeks to explain why something rather mind-bending — the so-called “imaginary numbers” — are actually vital members of the mathematical family despite being based on what seems an impossibility.
The truth is, math would be a bit stuck without them.
In the Rational vs Real post I mentioned that real numbers were each “an infinitely tiny island separated from direct contact with all other numbers.” The metaphor of each real number as an island comes from how, given any real number, it’s not possible to name the next (or previous) real number.
It’s easy enough to name a particular real number. For instance 1.0 are 3.14159… real numbers. There are infinitely many more we can name, but given any one of them, there is no way to get to any other number other than by explicitly naming it, too.
This applies to a variety of numeric spaces.
Be warned: these next Sideband posts are about Mathematics! Worse, they’re about the Theory of Mathematics!! But consider sticking around, at least for this one. It fulfills a promise I made in the Infinity is Funny post about how Georg Cantor proved there are (at least) two kinds of infinity: countable and uncountable. It also connects with the Smooth or Bumpy post, which considered differences between the discrete and the continuous.
This first one is pretty easy. The actual math involved is trivial, and I think it’s fascinating how the Yin/Yang of separate units versus a smooth continuum seems a fundamental aspect of reality. We can look around to see many places characterized by “bumpy” or “smooth” (including Star Trek). (The division lies at the heart of the conflict between Einstein’s Relativity and quantum physics.)
So let’s consider Cantor.