That story about the complex nums being tame and not the others, where it is told?
For example, if a complex function 𝑓 is differentiable once then...
· It's differentiable an infinite number of times (smooth)
· It has a Taylor series approximation at every point (analytic)
· If γ is a smooth closed curve in the complex plane then the path integral over of 𝑓 around γ is 0, i.e., ∳ᵧ𝑓 = 0 (see https://en.wikipedia.org/wiki/Cauchy%27s_integral_theorem)
· The real part of 𝑓 viewed as a function of ℝ² is harmonic (likewise for the imaginary part). This is a result of the Cauchy-Riemann equations: https://en.wikipedia.org/wiki/Cauchy%E2%80%93Riemann_equatio...
· The residue theorem is very powerful and can be used to prove things about non-complex functions/integrals: https://en.wikipedia.org/wiki/Residue_theorem
The list goes on.
Historically, complex analysis developed about 30 years before vector calculus as we know it today.
If you try to build Calculus on top of the complex numbers, you get complex analysis where every differentiable function winds up locally a power series, and things just work out over and over again unreasonably nicely.
Build Calculus on top of the real numbers, and as you dive in you wind up with menagerie of counterexamples. For example Weierstrass produced a function which is everywhere differentiable and nowhere twice differentiable. These are not mere curiosities, for example wavelets (heavily used in data analysis) always are only differentiable a finite number of times. We can ask whether infinitely differentiable functions can be represented by a power series. e^(-1/x^2) is the classic example of one which can't be at 0. https://en.wikipedia.org/wiki/Non-analytic_smooth_function#A... offers one which is nowhere. And so on.
But now let's go from the real numbers to the natural numbers. The real numbers have an axiom system which is known to be consistent and complete. See https://math.stackexchange.com/a/362840/6708 for some of the details. However the natural numbers famously do not. (That's Gödel's Incompleteness Theorem.) What goes wrong? Philosophically it turns out that the natural numbers can encode computation, computation can encode reasoning, and reasoning about reasoning allows us to encode the liar's paradox. Everything blows up, hopelessly, after that.
At a conceptual level what is happening is this. The complex numbers have a tremendous amount of structure. As you go towards having less and less structure, we can use that freedom to write down more logically complex things. Logically complex things give ways for stuff to go wrong. And the more depth you study these things in, the more that turns out to matter.
For example if you draw a loop, specify a continuous function on the loop, and say it has to be differentiable inside of that loop, you can prove from the 2-d structure of differentiable functions that the value of the function at every point must be given by a specific integral around that loop. And from that you can start to recover a lot of the structure.
Here is a trivial example. The value of a differentiable function inside of the loop has reach its maximum absolute value at the boundary. Now consider a polynomial p(z) which doesn't have 0 as a root. 1/p(z) is differentiable everywhere that p(z) is not zero. If we draw a large enough circle around the origin, the value of 1/p(z) on that boundary is arbitrarily close to 0. But it isn't arbitrarily close to 0 at the origin, and therefore somewhere in that circle it must not be differentiable. And that point is a root of p(z).
This is the first proof that I saw that every polynomial over the complex numbers has a root. And it heavily uses the geometric structure of differentiable functions over the complex numbers. Note, that the reals lack this 2-D structure, and it is likewise easy to come up with polynomials over the reals that do not have real roots.
Is it related to (high school) polnomials always having complex roots, but not necessarily real roots? But that constraint on reals seems like "structure" to me, and complex numbers lack this structure...?
(It may well just require a few more years math on ny part.)
As you add restrictions to the set of numbers you want to use, you are importing those restrictions into every proof you want to do on those numbers. For instance, consider the question, "Does this polynomial of some high degree have roots, and if so, how many?"
The Fundamental Theorem of Algebra proves that the answer is yes, and the number of roots is the same as the degree (although some may be roots multiple times). See [2].
Now, as you watch 2, consider what happens to the proof if you confine it even to the reals, let alone the integers. While the complex plane is "more complex" from a human perspective, the proof of the Fundamental Theorem of Algebra using the complex plane is not that complicated. Consider trying to make equivalent statements about polynomials with only real roots, and not using the complex plane in the proofs. In cases where it is feasible, your proofs will inevitably be carrying around a lot more caveats about what polynomials it applies to, and there may be things that the caveats simply render infeasible. As you step down the number hierarchy, the caveats get worse and worse. There's more and more "holes" that every proof about those simpler numbers has to step around.
The same simplicity that makes it easier to start your education with just integers becomes a crippling limitation when trying to work with them, which is also in some sense the exact same reason why we have to step you up the number hierarchy even in non-specialist education. Math limited to just integers is so confining and difficult to work with that it isn't even enough for day-to-day life. The simplicity is a double-edged sword.
[1]: 3Blue1Brown on the topic: https://www.youtube.com/watch?v=sD0NjbwqlYw
In C, we can just specify any pair from x,y,z and the third is determined by rearranging.
In R, it's not true! (y=2 and z=1 runs into trouble.) However, there are still infinitely many solutions and they're still easy to find.
In Z, we have the solution 0,0,0.
In N, we meet disaster!
To squeeze some meaning out of this, C is in some ways nicer because it is designed for the very purpose of containing solutions to things. We only got Q because ratios aren't integers so we added them in; we got R because sqrt(2) is famously irrational so we take the completion of Q... As we go on we just sort of smooth things out and get a better behaved, richer space. The "gaps" in N can make proving things feel impossible (sometimes rightly so).
Akin to “you cannot say much about a genus but you can say a huge lot about a species”.
Of course this is a very rough explanation if at all.
Edit: there is much more to it, obviously, than my lame comparison.
A reason why the complex numbers is tame in certain contexts is that it's algebraically closed. Discrete theory also tends to be more difficult imo since by taking its limit, you should still recover the continuous theory.
It's quite a long one (40 tweets)! As a non-Twitter user, I will never understand why this is preferable to a blog post. However, some people seem to prefer it, and it's getting engagement from non-Mathematicians, which is all that matters really.
For the field C of complex numbers, all polynomials already have roots so there is no need to enlarge. In that sense the complex field has much less structure than the smaller ones (Z, Q, R).