I have a Ph.D. in a field of mathematics in which complex numbers are fundamental, but I have a real philosophical problem with complex numbers. In particular, they arose historically as a tool for solving polynomial equations. Is this the shadow of something natural that we just couldn't see, or just a convenience?
As the "evidence" piles up, in further mathematics, physics, and the interactions of the two, I still never got to the point at the core where I thought complex numbers were a certain fundamental concept, or just a convenient tool for expressing and calculating a variety of things. It's more than just a coincidence, for sure, but the philosophical part of my mind is not at ease with it.
I doubt anyone could make a reply to this comment that would make me feel any better about it. Indeed, I believe real numbers to be completely natural, but far greater mathematicians than I found them objectionable only a hundred years ago, and demonstrated that mathematics is rich and nuanced even when you assume that they don't exist in the form we think of them today.
One way to sharpen the question is to stop asking whether C is "fundamental" and instead ask whether it is forced by mild structural constraints. From that angle, its status looks closer to inevitability than convenience.
Take R as an ordered field with its usual topology and ask for a finite-dimensional, commutative, unital R-algebra that is algebraically closed and admits a compatible notion of differentiation with reasonable spectral behavior. You essentially land in C, up to isomorphism. This is not an accident, but a consequence of how algebraic closure, local analyticity, and linearization interact. Attempts to remain over R tend to externalize the complexity rather than eliminate it, for example by passing to real Jordan forms, doubling dimensions, or encoding rotations as special cases rather than generic elements.
More telling is the rigidity of holomorphicity. The Cauchy-Riemann equations are not a decorative constraint; they encode the compatibility between the algebra structure and the underlying real geometry. The result is that analyticity becomes a global condition rather than a local one, with consequences like identity theorems and strong maximum principles that have no honest analogue over R.
I’m also skeptical of treating the reals as categorically more natural. R is already a completion, already non-algebraic, already defined via exclusion of infinitesimals. In practice, many constructions over R that are taken to be primitive become functorial or even canonical only after base change to C.
So while one can certainly regard C as a technical device, it behaves like a fixed point: impose enough regularity, closure, and stability requirements, and the theory reconstructs it whether you intend to or not. That does not make it metaphysically fundamental, but it does make it mathematically hard to avoid without paying a real structural cost.
This is the way I think. C is "nice" because it is constructed to satisfy so many "nice" structural properties simultaneously; that's what makes it special. This gives rise to "nice" consequences that are physically convenient across a variety of applications.
I work in applied probability, so I'm forced to use many different tools depending on the application. My colleagues and I would consider ourselves lucky if what we're doing allows for an application of some properties of C, as the maths will tend to fall out so beautifully.
> Take R as an ordered field with its usual topology and ask for a finite-dimensional, commutative, unital R-algebra that is algebraically closed and admits a compatible notion of differentiation with reasonable spectral behavior.
No thank you, you can keep your R.
Damn... does this paragraph mean something in the real world?
Probably I've the brain of a gnat compared to you, but do all the things you just said have a clear meaning that you relate to the world around you?
I used to feel the same way. I now consider complex numbers just as real as any other number.
The key to seeing the light is not to try convincing yourself that complex number are "real", but to truly understand how ALL numbers are abstractions. This has indeed been a perspective that has broadened my understanding of math as a whole.
Reflect on the fact that negative numbers, fractions, even zero, were once controversial and non-intuitive, the same as complex are to some now.
Even the "natural" numbers are only abstractions: they allow us to categorize by quantity. No one ever saw "two", for example.
Another thing to think about is the very nature of mathematical existence. In a certain perspective, no objects cannot exist in math. If you can think if an object with certain rules constraining it, voila, it exists, independent of whether a certain rule system prohibit its. All that matters is that we adhere to the rule system we have imagined into being. It does not exist in a certain mathematical axiomatic system, but then again axioms are by their very nature chosen.
Now in that vein here is a deep thought: I think free will exists just because we can imagine a math object into being that is neither caused nor random. No need to know how it exists, the important thing is, assuming it exists, what are its properties?
I think free will exists just because we can imagine a math object into being that is neither caused nor random.
Can you? I can only imagine world_state(t + ε) = f(world_state(t), true_random_number_source). And even in that case we do not know if such a thing as true_random_number_source exists. The future state is either a deterministic function of the current state or it is independent of it, of which we can think as being a deterministic function of the world state and some random numbers from a true random number source. Or a mixture of the two, some things are deterministic, some things are random.
But neither being deterministic nor being random qualifies as free will for me. I get the point of compatibilists, we can define free will as doing what I want, even if that is just a deterministic function of my brain state and the environment, and sure, that kind of free will we have. But that is not the kind of free will that many people imagine, being able to make different decisions in the exact same situation, i.e. make a decision, then rewind the entire universe a bit, and make the decision again. With a different outcome this time but also not being a random outcome. I can not even tell what that would mean. If the choice is not random and also does not depend on the prior state, on what does it depend?
The closest thing I can imagine is your brain deterministically picking two possible meals from the menu based on your preferences and the environment respectively circumstances, and then flipping a coin to make the final decision. The outcome is deterministically constraint by your preferences but ultimately a random choice within those constraints. But is that what you think of as free will? The decision result depends on you, which option you even consider, but the final choice within those acceptable options does not depend on you in any way and you therefore have no control over it.
I like this approach. I especially agree with the comparison of complex numbers to negative numbers. Remember that historically, not every civilization even had a number for zero. Likewise, mathematicians struggled with a generalized solution to the Quadratic. The problem was that there were at least 6 possible equations to solve a quadratic without using negative numbers. Back then, its application was limited to area and negative numbers seemed irrelevant based on the absolute value nature of distance. It was only by abandoning our simplistic application rooted in reality that we could develop a single Quadratic Equation and with it open a new world of possibilities.
Correct. And this is the key distinction between the mathematical approach and the everyday / business / SE approach that dominates on hacker news.
Numbers are not "real", they just happen to be isomorphic to all things that are infinite in nature. That falls out from the isomorphism between countable sets and the natural numbers.
You'll often hear novices referencing the 'reals' as being "real" numbers and what we measure with and such. And yet we categorically do not ever measure or observe the reals at all. Such thing is honestly silly. Where on earth is pi on my ruler? It would be impossible to pinpoint... This is a result of the isomorphism of the real numbers to cauchy sequences of rational numbers and the definition of supremum and infinum. How on earth can any person possibly identify a physical least upper bound of an infinite set? The only things we measure with are rational numbers.
People use terms sloppily and get themselves confused. These structures are fundamental because they encode something to do with relationships between things
The natural numbers encode things which always have something right after them. All things that satisfy this property are isomorphic to the natural numbers.
Similarly complex numbers relate by rotation and things satisfying particular rotational symmetries will behave the same way as the complex numbers. Thus we use C to describe them.
> I have a real philosophical problem with complex numbers
> I believe real numbers to be completely natural
I have to say I find this perspective interesting but completely alien.
We need to have a way to find x such that x^2-2 = 0, and Q won’t cut it so we have R. (Or if you want, we need a complete ordered field so we have R)
We need to have a way to find x such that x^2+2 = 0, and R won’t cut it so we have C. (Or if you want, we need algebraic closure of R by the fundamental theorem of algebra so we need C)
I don’t really think any numbers (even “natural” numbers) are any more natural than any other kind of numbers. If you start to distinguish, where do you stop. Negative numbers are ok or not? What about zero? Is that “natural”? Mathematicians disagree about whether 0 is in N at least.
It reminds me of the famous quote from Gauss:
That this subject [imaginary numbers] has hitherto been surrounded by mysterious obscurity, is to be attributed largely to an ill adapted notation. If, for example, +1, -1, and the square root of -1 had been called direct, inverse and lateral units, instead of positive, negative and imaginary (or even impossible), such an obscurity would have been out of the question.
The Gauss quote is what made me finally "understand" Complex Numbers as the article states; "The complex numbers are an algebraically closed field with a distinguished real coordinate structure <C,+,.,0,1,Re,Im>".
All of logic and math is a convincence tool. There are no, circles, quantities. Reality just is. We created these tools because they're a convinent way to cope with complexity of reality. There are no "objects" in a sense that chair is just atoms arranged chair-like. And atoms are just smaller particles arranged atom-like and yet physics operate in these objects treating them as something that exist.
So, now we have created these mental tools called mathematics that are heavily constrained. Then we create models that are approximately map 1:1 to some patterns that exist in reality (IE patterns that are roughly local so that we can call them objects). Due to the fact that our mental tools have heavy constrains and that we iteratively adjust these models to fit reality at focal points, we can approximately predict reality, because we already mapped the constrains into the model. But we shouldn't mistake model for the reality. Map is not territory.
Yep. Humans (and other animals) have an inbuilt ability to count small numbers of objects, so whole numbers seem more natural to us, but it's just a bias.
The real numbers have some very unreal properties. Especially, their uncountable infinite cardinality is mind boggling.
A person can have a finite number of thoughts in his live. The number of persons that have and will ever live is countably infinite, as they can be arranged in a family tree (graph). This means that the total thoughts that all of mankind ever had and will have is countably infinite. For nearly all real numbers, humankind will never have thought of them.
You can do a similar argument with the subset of real numbers than can be described in any way. With description, I do not just mean writing down digits. Sentences of the form "the limit of sequence X", "the number fulfilling equation Y", etc are also descriptions. There are a countably infinite descriptions, as at the end every description is text, yet there are uncountably many real numbers. This means that nearly no real number can even be described.
I find it hard to consider something "real" when it is not possible to describe most of it. I find equally hard when nearly no real number has been used (thought of) by humankind.
The complex extension of the rational numbers, on the other hand, feel very natural to me when I look at them as vectors in a plane.
I think the main thing people stumble over when grasping complex numbers is the term "number". Colloquially, numbers are used to order stuff. The primary function of the natural numbers is counting after all. We think of numbers as advanced counting, i.e., ordering. The complex "numbers" are not ordered though (in the sense of an ordered field). I really think that calling them "numbers" is therefore a misnomer. Numbers are for counting. Complex "numbers" cannot count, and are thus no numbers. However, they make darn good vectors.
For people who read this parent comment and are tempted to say “well of course complex numbers can be ordered, I could just define an ordering like if I have two complex numbers z_1 and z_2 I just sort them by their modulus[1].”
The problem is that it’s not a strict total order so doesn’t order them “enough”. For a field F to be ordered it has to obey the “trichotomy” property, which is that if you have a and b in F, then exactly one of three things must be true: 1)a>b 2)b>a or 3)a = b.
If you define the ordering by modulus, then if you take, say z_1 = 1 and z_2 = i then |z_1| = |z_2| but none of the three statements in the trichotomy property are true.
[1] For a complex number z=a + b i, the modulus |z|= sqrt(a^2 + b^2). So it’s basically the distance from the origin in the complex plane.
im not very good at all this, having just a basic engineers education in maths. But the sentence
> There are a countably infinite descriptions, as at the end every description is text
seems to hide some nuance I can't follow here. Can't a textual description be infinitely long? contain a numerical amount of operations/characters? or am I just tripping over the real/whole numbers distinction
For me, the complex numbers arise as the quotients of 2-dimensional vectors (which arise as translations of the 2-dimensional affine space). This means that complex numbers are equivalence classes of pairs of vectors is a 2-dimesional vector space, like 2-dimensional vectors are equivalence classes of pairs of points in a 2-dimensional affine space or rational numbers are equivalence classes of pairs of integers, or integers are equivalence classes of pairs of natural numbers, which are equivalence classes of equipotent sets.
When you divide 2 collinear 2-dimensional vectors, their quotient is a real number a.k.a. scalar. When the vectors are not collinear, then the quotient is a complex number.
Multiplying a 2-dimensional vector with a complex number changes both its magnitude and its direction. Multiplying by +i rotates a vector by a right angle. Multiplying by -i does the same thing but in the opposite sense of rotation, hence the difference between them, which is the difference between clockwise and counterclockwise. Rotating twice by a right angle arrives in the opposite direction, regardless of the sense of rotation, therefore i*i = (-i))*(-i) = -1.
Both 2-dimensional vectors and complex numbers are included in the 2-dimensional geometric algebra, whose members have 2^2 = 4 components, which are the 2 components of a 2-dimensional vector together with the 2 components of a complex number. Unlike the complex numbers, the 2-dimensional vectors are not a field, because if you multiply 2 vectors the result is not a vector. All the properties of complex numbers can be deduced from those of the 2-dimensional vectors, if the complex numbers are defined as quotients, much in the same way how the properties of rational numbers are deduced from the properties of integers.
A similar relationship like that between 2-dimensional vectors and complex numbers exists between 3-dimensional vectors and quaternions. Unfortunately the discoverer of the quaternions, Hamilton, has been confused by the fact that both vectors and quaternions have multiple components and he believed that vectors and quaternions are the same thing. In reality, vectors and quaternions are distinct things and the operations that can be done with them are very different. This confusion has prevented for many years during the 19th century the correct use of quaternions and vectors in physics (like also the confusion between "polar" vectors and "axial" vectors a.k.a. pseudovectors).
Problem is: you have chosen an orientation (x rightwards, y upwards). That makes your choice of i/-i not canonical: as is natural, because it cannot be canonical.
A question I enjoy asking myself when I'm wondering about this stuff is "if there are alien mathematicians in a distant galaxy somewhere, do they know about this?"
For complex numbers my gut feeling is yes, they do.
In my view nonnegative real numbers have good physical representations: amount, size, distance, position. Even negative integers don't have this types of models for them. Negative numbers arise mostly as a tool for accounting, position on a directed axis, things that cancel out each other (charge). But in each case it is the structure of <R,+> and not <R,+,*> and the positive and negative values are just a convention. Money could be negative, and debt could be positive, everything would be the same. Same for electrons and protons.
So in our everyday reality I think -1 and i exist the same way. I also think that complex numbers are fundamental/central in math, and in our world. They just have so many properties and connections to everything.
> In my view nonnegative real numbers have good physical representations
In my view, that isn’t even true for nonnegative integers. What’s the physical representation of the relatively tiny (compared to ‘most integers’) Graham’s number (https://en.wikipedia.org/wiki/Graham's_number)?
Back to the reals: in your view, do reals that cannot be computed have good physical representations?
That physical representation argument never made any sense to me. Like say I have a rock. I split it in two. Do I now have 2 rocks? So 2=1? Or maybe 1/2 =1 and 1+1=1.
What about if I have a rock and I pick up another rock that is slightly bigger. Do I now have 2 rocks or a bit more than 2 rocks? Which one of my rocks is 1? Maybe the second rock, so when I picked up the first rock I was actually wrong - I didn’t have one rock I had a little bit less than one rock. So now I have a little bit less than 2 rocks actually. How can I ever hope to do arithmetic in this physical representation?
The more I think through this physical representation thing the less sense it makes to me.
OK so say somehow I have 2 rocks in spite of all that. The room I am in also has 2 doors. What does the 2-ness of the rocks have in common with the 2-ness of the doors? You could say I can put a rock by each door (a one-to-one correspondence) and maybe that works with rocks and doors but if you take two pieces of chocolate cake and give one to each of two children you had better be sure that your pieces of chocolate cake are goddam indistinguishable or you will find that a one-to-one correspondence is not possible.
To me, numbers only make sense as a totally abstract concept.
> In my view nonnegative real numbers have good physical representations: amount, size, distance, position.
Rational numbers I guess, but real numbers? Nothing physical requires numbers of which the decimal expansion is infinite and never repeating (the overwhelming majority of real numbers).
> In my view nonnegative real numbers have good physical representations: amount, size, distance, position
I'm not a physicist, but do we actually know if distance and time can vary continuously or is there a smallest unit of distance or time? A physics equation might tell you a particle moves Pi meters in sqrt(2) seconds but are those even possible physical quantities? I'm not sure if we even know for sure whether the universe's size is infinite or finite?
You can teach middle school children how to define complex numbers, given real numbers as a starting point. You can't necessarily even teach college students or adults how to define real numbers, given rational numbers as a starting point.
well it's hard to formally define them, but it's not hard to say "imagine that all these decimals go on forever" and not worry about the technicalities.
I have MS in math and came to a conclusion that C is not any more "imaginary" than R. Both are convenient abstractions, neither is particularly "natural".
We have too much mental baggage about what a "number" is.
Real numbers function as magnitudes or objects, while complex numbers function as coordinatizations - a way of packaging structure that exists independently of them, e.g. rotations in SO(2) together with scaling). Complex numbers are a choice of coordinates on structure that exists independently of them. They are bookkeeping (a la double‑entry accounting) not money
> We have too much mental baggage about what a "number" is.
I do feel like when I was young or when I tried to teach some of my neighbour's daughter something once.
At some point, one just has to accept it when they are young.
It's sort of a pattern, you really can't explain it to them. You can just show them and if they don't understand, then just repeat it. You really can't explain say complex numbers or philosophy or even negative numbers or decimals.
A lot of it is visual. I see one apple and then the teacher added one more and calls it two.
Its even hard for me to explain this right now because the very sentence that I am trying to say requires me to say one and two so on and this is the very thing that the children are taught to learn. So I can't really say one apple without saying one but I think that now my point is that I couldnt have said one without seeing one apple in the first place.
Then came some half bit apples which we started calling fractions and mixed fractions and then we got taught of a magic dot to convert fractions -> decimals -> rationals -> real numbers / exponents -> complex numbers -> (??)
A lot of the times atleast in schooling I feel like one just has to accept them the way they are because you really cant get philosophical about them or necessarily have the privilege or intellectual ability to do so.
We are systematically given mental baggage about what a number is because for 99.9% use cases that's probably enough (Accounting and literally even shopkeeping or just the whole world revolves around numbers and we all know it)
I honestly don't know what I am typing right now. I am writing whatever I am thinking but I thought about that we aren't the only ones like this.
We might think we are special in this but Crows are really intelligent as well (a little funny but I saw a cronelius shorts channel and If this sort of humour entertains you, I will link their channel as well)
And I Found this to be pretty interesting to maybe share. Maybe even after all of this/all development made, we are still made of flesh & still similar to our peers at animal kingdom and they might be as smart as some toddlers when we were first taught what numbers are and maybe they are capable of learning these mythical abstract baggage and we humans are capable of transferring/training others with this mental baggage not necessarily even being humans (Crows in this case)
It's always sad to see how humanity ignores other animals sometimes.
We might have created weapons of mass destructions, went to moon and back but we as a society are still restricted by basic human guilts/flaws which I feel like are inevitable whether the society is large & connected creating different types of flaws & also the same when its small & hunter-gathering oriented.
It's really these issues combined with whenever some real problems comes with us that we push for the next generation and so on and so on and then later we try to find scapegoats and do wars and just struggle but once again the struggle is felt the most by a middle class or the poor.
The rules of the game of life are still/might still be fundamentally broken but we are taught to accept it when we are young in a similar fashion to numbers which might be broken too if you stare too long into them.
But I guess there's hope because the system still has love and moments of intimacy and we have improved from past, perhaps we can improve in future as well. One can be sad and depressed about current realities or if the future looks bleak. Perhaps it is, perhaps not, only future can tell but the only thing we can do right now is to hopefully stay happy and smile and just pain/suffering is a universal constant in life but maybe one can derive their own meaning of existence withstanding all these hardships and having optimism for a better future and maybe even taking actions in each of our individual ways doing what we do best, doing what we enjoy, spending time with our family/community. Maybe its a cope for a world which is flawed but maybe that's all we need to chug along and maybe leave a footprint in this world when the days are feeling down.
I don't know but lets just be kind to each other. Let's be kind to animals and humans alike. Because I feel like most of us are similar than different and sometimes we feel empty for very minor reasons in which even minor gestures from others might be enough to make us happy again. Let's try to be those others as well and maybe reach out if there's something troubling anyone.
I am really unable to explain myself but my point is that there's still beauty and life's still good even with these flaws. It's kind of like a sine wave and if one would zoom enough they would only see things flat (whether at the top of the curve or at the bottom) but in a reality both are likely. Both are part of life as-is and if one can be happy in both, and still intend to do good just for the good it might do and the sake for it itself, then I feel as if that might be the meaning of life in general.
Can we be happy in just existing? and still do our best to improve our lives and potentially others surrounding us in a community whether its small or large that's besides the point imo
I feel as if we all are in a loop keeping the system of humanity alive while maybe going through some troubles in a more isolationist period at times. We are so connected yet so disconnected at the same time in today's world. This is really the crux of so many issues I feel. We as humanity have so many paradoxical properties but a system will still work as long as not all people question it simultaneously.
I hope this message can atleast make one feel more aware & more like not being in an automatic loop of sorts and sort of snapping out of it & perhaps using this awareness for a more deeper reflection in life itself and maybe finding the will to live or forging it for yourself and periodically going to it to find one's own sense of meaning in a world of meaninglessness.
This has been cathartic for me to write even though I feel as if I might not be able to make it all positive from perhaps despair to optimism but maybe that's the point because I do feel positive in just accepting reality as-is and leaving a foot print in humanity in our own way. Maybe this message is my way of shouting in the world that "hey I exist look at me" but I hope that the deeper reason behind this is because I feel cathartic writing it and perhaps maybe it can be useful to anyone else too.
Also a PhD in math, where complex numbers are fundamental, and also part of large swaths of similar structures that are also fundamental. They fit in nicely among a ton of other similar structures and concepts, so they seem about as fundamental as sets or addition or groups or fields (and there it is).
They also seem fundamental to physical reality in a way most math concepts do not: they're required (in structure) for quantum mechanics, in many equations that seem to be part of the universe. The behavior of subatomic particles (and more precisely, QFTs), require the waveforms to evolve as complex valued functions, where the probability of an event is the magnitude of the complex value.
This has been tested between theory and experiment to about 14 decimal digits precision for QED.
I'd guess they should be considered as real as radio waves (which we don't see), as the fact things we think are solid are mostly empty space (which we don't feel), or that time flows at different rates under different situations (which we also don't experience). Yet all those things are more real than stuff our limited senses experiences.
> I doubt anyone could make a reply to this comment that would make me feel any better about it.
I am also a complex number skeptic. The position I've landed on is this.
1) complex numbers are probably used for far more purposes across math than they "ought" to be, because people don't have the toolbox to talk about geometry on R^2 but they do know C so they just use C. In particular, many of the interesting things about complex analysis are probably just the n=2 case of more general constructions that can be done by locating R inside of larger-dimensional algebras.
2) The C that shows up in quantum mechanics is likely an example of this--it's a case of physics having a a circular symmetry embedded in it (the phase of the wave functions) and everyone getting attached to their favorite way of writing it. (Ish. I'm not sure how the square the fact that wave functions add in superposition. but anyway it's not going to be like "physics NEEDS C", but rather, physics uses C because C models the algebra of the thing physics is describing.
3) C is definitely intrinsic in a certain sense: once you have polynomials in R, a natural thing to do is to add a sqrt(-1). This is not all that different conceptually from adding sqrt(2), and likely any aliens we ever run into will also have done the same thing.
> but anyway it's not going to be like "physics NEEDS C", but rather, physics uses C because C models the algebra of the thing physics is describing.
Maybe it’s just my math background shouting at me about what “model” means, but if object X models object Y, then I’m going to say that X is Y. It doesn’t matter how you write it. You can write it as R^2 if you want, but there’s some additional mathematical structure here and we can recognize it as C.
Mathematicians love to come up with different ways to write the same thing. Objects like R and C are recognized as a single “thing” even though you can come up with all sorts of different ways to conceive of them. The basic approach:
1. You come up with a set of axioms which describe C,
2. You find an example of an object which follows those rules,
3. That object “is” C in almost any sense we care about, and so is any other object following the same rules.
You can pretend that the complex numbers used in quantum mechanics are just R^2 with circular symmetries. That’s fine—but in order to play that game of pretend, you have to forget some of the axioms of complex numbers in order to get there.
Likewise, we can “forget” that vectors exist and write Maxwell’s equations in terms of separate x, y, and z variables. You end up with a lot more equations—20 equations instead of 4. Or you can go in the opposite direction and discover a new formalism, geometric algebra, and rewrite Maxwell’s equation as a single equation over multivectors. (Fewer equations doesn’t mean better, I just want to describe the concept of forgetting structure in mathematics.)
You can play similar games with tensors. Does physics really use tensors, or just things that happen to transform like tensors? Well, it doesn’t matter. Anything that transforms like a tensor is actually a tensor. And anything that has the algebraic properties of C is, itself, C.
I can't entirely follow the details, but apparently quantum mechanics actually doesn't work for fields other than C, including quaternions. https://scottaaronson.blog/?p=4021
> The C that shows up in quantum mechanics is likely an example of this--it's a case of physics having a a circular symmetry embedded in it (the phase of the wave functions) and everyone getting attached to their favorite way of writing it
No, it really is C, not R^2. Consider product spaces, for example. C^2 ⊗ C^2 is C^4 = R^8, but R^4 ⊗ R^4 is R^16 - twice as large. So you get a ton of extra degrees of freedom with no physical meaning. You can quotient them out identifying physically equivalent states - but this is just the ordinary construction of the complex numbers as R^2/(x^2 + 1).
> but rather, physics uses C because C models the algebra of the thing physics is describing.
That's what C is: R^2, with extra algebraic structure.
I don't know if this will help, but I believe that all of mathematics arises from an underlying fundamental structure to the universe and that this results in it both being "discoverable" (rather than invented) and "useful" (as in helpful for describing, expressing and calculating things).
> but I believe that all of mathematics arises from an underlying fundamental structure to the universe and that this results in it both being "discoverable" (rather than invented) and "useful" (as in helpful for describing, expressing and calculating things).
That is an interesting idea. Can you elaborate? As in, us, that is our brains live in this physical universe so we’re sort of guided towards discovering certain mathematical properties and not others. Like we intuitively visualize 1d, 2d, 3d spaces but not higher ones? But we do operate on higher dimensional objects nevertheless?
Anyway, my immediate reaction is to disagree, since in theory I can imagine replacing the universe with another with different rules and still maintaining the same mathematical structures from this universe.
Are real numbers not just "a convenience" in a sense? I do not see anything "fundamental" or "natural" about dedekind cuts or any other construction of the real numbers. If anything real numbers, to me, are more built out of the convenience of having a complete field extension of the rational numbers. We could do just fine with computable numbers and avoid a lot of problems that this line of convenience leads to.
One nice way of seeing the inevitability of the complex numbers is to view them as a metric completion of an algebraic closure rather than a closure of a completion.
Taking the algebraic closure of Q gives us algebraic numbers, which are a very natural object to consider. If we lived in an alternative timeline where analysis was never invented and we only thought about polynomials with rational coefficients, you’d still end up inventing them.
If you then take the metric completion of algebraic numbers, you get the complex numbers.
This is sort of a surprising fact if you think about it! the usual construction of complex numbers adds in a bunch of limit points and then solutions to polynomial equations involving those limit points, which at first glance seems like it could give a different result then adding those limit points after solutions.
I always wondered in the higher levels of maths, theoretical physics etc how much of it reflects a "real" thing and how much of is hand-wavey "try not to think about it too much but the equations work".
EG complex numbers, extra dimensions, string theory, weird particles, whatever electrons do, possibly even dark matter/energy.
Why would we expect most real numbers to be computable? It's an idealized continuum. It makes perfect sense that there are way too many points in it for us to be able to compute them all.
> I believe real numbers to be completely natural, but far greater mathematicians than I found them objectionable only a hundred years ago
I suspect, as you may as while, that this quote is at the core of the matter. Identifying what you find the difference between real and complex numbers are. You are inclined to split them into separate categories. I suspect you must identify the platonic (Or HTW, if that is your metaphor) property of the real numbers which the complex lack.
I think you would enjoy (and possibly have your mind blown) this series of videos by the “Rebel Mathematician” Prof Norman Wildburger. https://youtu.be/XoTeTHSQSMU
He constructs “true” complex numbers, generalises them over finite and unbounded fields, and demonstrates how they somewhat naturally arise from 2x2 matrices in linear algebra.
The author mentioned that the theory of the complex field is categorical, but I didn't see them directly mention that the theory of the real field isn't - for every cardinal there are many models of the real field of that size. My own, far less qualified, interpretation, is that even if the complex field is just a convenient tool for organizing information, for algebraic purposes it is as
safe an abstraction as we could really hope for - and actually much more so than the real field.
The real field is categorically characterized (in second-order logic) as the unique complete ordered field, proved by Huntington in 1903. The complex field is categorically characterized as the unique algebraic closure of the real field, and also as the unique algebraically closed field of characteristic 0 and size continuum. I believe that you are speaking of the model-theoretic first-order notion of categoricity-in-a-cardinal, which is different than the categoricity remarks made in the essay.
A long time ago on HN, I said that I didn't like complex numbers, and people jumped all over my case. Today I don't think that there's anything wrong with them, I just get a code smell from them because I don't know if there's a more fundamental way of handling placeholder variables.
I get the same feeling when I think about monads, futures/promises, reactive programming that doesn't seem to actually watch variables (React.. cough), Rust's borrow checker existing when we have copy-on-write, that there's no realtime garbage collection algorithm that's been proven to be fundamental (like Paxos and Raft were for distributed consensus), having so many types of interprocess communication instead of just optimizing streams and state transfer, having a myriad of GPU frameworks like Vulkan/Metal/DirectX without MIMD multicore processors to provide bare-metal access to the underlying SIMD matrix math, I could go on forever.
I can talk about why tau is superior to pi (and what a tragedy it is that it's too late to rewrite textbooks) but I have nothing to offer in place of i. I can, and have, said a lot about the unfortunate state of computer science though: that internet lottery winners pulled up the ladder behind them rather than fixing fundamental problems to alleviate struggle.
I wonder if any of this is at play in mathematics. It sure seems like a lot of innovation comes from people effectively living in their parents' basements, while institutions have seemingly unlimited budgets to reinforce the status quo..
Ok... How about this? All (human) models of the universe are "Ptolemaic" to some degree. That is, they work but don't necessarily describe the true underlying structure ().
So it is a mistake to assume that any model is actually true.
Therefore complex numbers are just another modeling language, useful in certain contexts. All mathematics is just a modeling language.
() If you doubt this, ask yourself the question: Will the science of particle physics have changed in 100 years?
I wonder off and on if in good fiction of "when we meet aliens and start communicating using math"- should the aliens be okay with complex residue theorems? I used to feel the same about "would they have analytic functions as a separate class" until I realized how many properties of polynomials analytic functions imitate (such as no nontrivial bounded ones).
As a math enjoyer who got burnt out on higher math relatively young, I have over time wondered if complex numbers aren’t just a way to represent an n-dimensional concept in n-1 dimensions.
Which makes me wonder if complex numbers that show up in physics are a sign there are dimensions we can’t or haven’t detected.
I saw a demo one time of a projection of a kind of fractal into an additional dimension, as well as projections of Sierpinski cubes into two dimensions. Both blew my mind.
Stepping out of pure maths and into engineering we find complex numbers indispensable for describing physical systems and predicting system change over time.
I don’t have a list to hand, but there are so many areas of physics and engineering where complex numbers are the best representation of how we perceive the universe to work.
In mathematics and physics, complex numbers aren't just "imaginary" values—they are the secret language of 2D rotation. While real numbers live on a 1D line, complex numbers inhabit a 2D plane, and multiplying them acts as a bridge between dimensions.
1. The Geometry of i
To understand how we switch dimensions, look at the imaginary unit i. In a standard real-number system, you only move left or right. Adding i introduces a vertical axis.
* The 90-degree turn: Multiplying a real number by i is geometrically equivalent to a 90° counter-clockwise rotation.
* The Dimension Switch: If you start at 1 (on the x-axis) and multiply by i, you land at i (on the y-axis). You have effectively "switched" your direction from horizontal to vertical.
2. Rotation via Euler’s Formula
The most elegant link between complex numbers and rotation is Euler’s Formula:
This formula places any complex number on a unit circle in the complex plane. When you multiply a vector by e^{i\theta}, you aren't changing its length; you are simply rotating it by the angle \theta.
Why this matters:
* Algebraic Simplicity: Instead of using messy rotation matrices (which involve four separate multiplications and additions), you can rotate a point by simply multiplying two complex numbers.
* Phase in Physics: This is why complex numbers are used in electrical engineering and quantum mechanics. A "phase shift" in a wave is just a rotation in the complex plane.
3. Beyond 2D: Quaternions
If complex numbers (a + bi) handle 2D rotations by adding one imaginary dimension, what happens if we want to rotate in 3D?
To handle 3D space without hitting "Gimbal Lock" (where two axes align and you lose a degree of freedom), mathematicians use Quaternions. These extend the concept to three imaginary units: i, j, and k.
> The Rule of Four: Interestingly, to rotate smoothly in three dimensions, you actually need a four-dimensional number system.
>
Summary Table
| Number System | Dimensions | Primary Use in Rotation |
|---|---|---|
| Real Numbers | 1D | Scaling (stretching/shrinking) |
| Complex Numbers | 2D | Planar rotation, oscillations, AC circuits |
| Quaternions | 4D | 3D computer graphics, aerospace navigation |
They can be treated as vectors, but they have "superpowers" that standard vectors do not.
1. The Similarities (The 2D Map)
In a purely visual or structural sense, a complex number z = a + bi behaves exactly like a 2D vector \vec{v} = (a, b).
* Addition: Adding two complex numbers is identical to "tip-to-tail" vector addition.
* Magnitude: The "absolute value" (modulus) of a complex number |z| = \sqrt{a^2 + b^2} is the same as the length of a vector.
* Coordinates: Both represent a point on a 2D plane.
2. The Difference: Multiplication
This is where complex numbers leave standard 2D vectors in the dust.
In standard vector algebra (like what you'd use in an introductory physics class), there isn't a single, clean way to "multiply" two 2D vectors to get another 2D vector. You have the Dot Product (which gives you a single number/scalar) and the Cross Product (which actually points out of the 2D plane into the 3D world).
Complex numbers, however, can be multiplied together to produce another complex number.
The "Rotation" Secret
When you multiply two complex numbers, the math automatically handles two things at once:
* Scaling: The lengths are multiplied.
* Rotation: The angles are added.
Standard vectors cannot do this on their own; you would need to bring in a "Rotation Matrix" to force a vector to turn. A complex number just "knows" how to turn naturally through its imaginary component.
3. When to use which?
Mathematically, complex numbers form a Field, while vectors form a Vector Space.
* Use Vectors when you are dealing with forces, velocities, or any dimension higher than 2 (like 3D space).
* Use Complex Numbers when you are dealing with things that rotate, vibrate, or oscillate (like radio waves, electricity, or quantum particles).
> The Peer-to-Peer Truth: Think of a complex number as a vector with an attitude. It lives in the same 2D house, but it knows how to spin and transform itself algebraically in ways a simple (x, y) coordinate cannot.
>
Perhaps of your interest might be this work https://arxiv.org/abs/2101.10873v1 on why quantum physics needs complex numbers to work. Interesting noting though that as for solving polynomials, quantum physics might be also considered a “convenience” within the Copenhagen interpretation
My naive take is we discovered it as a math tool first but later on rediscovered it in nature when we discovered the electromagnetic field.
The electromagnetic field is naturally a single complex valued object(Riemann/Silberstein F = E + i cB), and of course Maxwell's equations collapse into a single equation for this complex field. The symmetry group of electromagnetism and more specifically, the duality rotation between E and B is U(1), which is also the unit circle in the complex plane.
People thought negative numbers were weird until the 1800s or so, they arose in much the same way as a way to solve algebraic equations (or even just to balance the books, literally).
Complex numbers were always going to show up just so we could diagonalise matrices, which is an important part of solving (linear) differential equations.
> Is this the shadow of something natural that we just couldn't see, or just a convenience?
They originally arose as tool, but complex numbers are fundamental to quantum physics. The wave function is complex, the Schrödinger equation does not make sense without them. They are the best description of reality we have.
The schroedinger equation could be rewritten as two coupled equations without the need for complex numbers. Complex numbers just simplify things and "beautify it", but there is nothing "fundamental" about it, its just representation.
Complex numbers are just a field over 2D vectors, no? When you find "complex solutions to an equation", you're not working with a real equation anymore, you're working in C. I hate when people talk about complex zeroes like they're a "secret solution", because you're literally not talking about the same equation anymore.
There's this lack of rigor where people casually move "between" R and C as if a complex number without an imaginary component suddenly becomes a real number, and it's all because of this terrible "a + bi" notation. It's more like (a, b). You can't ever discard that second component, it's always there.
We identify the real number 2 with the rational number 2 with the integer 2 with the natural number 2. It does not seem so strange to also identify the complex number 2 with those.
The movement from R to C can be done rigorously. It gets hand-waved away in more application-oriented math courses, but it's done properly in higher level theoretically-focused courses. Lifting from a smaller field (or other algebraic structure) to a larger one is a very powerful idea because it often reveals more structure that is not visible in the smaller field. Some good examples are using complex eigenvalues to understand real matrices, or using complex analysis to evaluate integrals over R.
I hate when people casually move "between" Q and Z as if a rational number with unit denominator suddenly becomes an integer, and it's all because of this terrible "a/b" notation. It's more like (a, b). You can't ever discard that second component, it's always there. ;)
It's not like I have a real answer, of course, but something flipped inside of me after hearing the following story by Aaronson. He is asking[0], why quantum amplitudes would have to be complex. I.e., can we imagine a universe, where it's not the case?
> Why did God go with the complex numbers and not the real numbers?
> Years ago, at Berkeley, I was hanging out with some math grad students -- I fell in with the wrong crowd -- and I asked them that exact question. The mathematicians just snickered. "Give us a break -- the complex numbers are algebraically closed!" To them it wasn't a mystery at all.
Apparently, you weren't one of these math grad students, and, to be fair, Aaronson is starting with the question that is somewhat opposite to yours, but still, doesn't it intuitively make sense somehow? We are modeling something. In the process of modeling something we discover functions, and algebra, and find out that we'd like to use square roots all over the place. And just that alone leads us naturally to complex numbers! We didn't start with them, we only imagined an algebra that allows us to describe some process we'd like to describe, and suddenly there's no way around complex numbers! To me, thinking this way makes it almost obvious that ℂ-numbers are "real" somehow, they are indeed the fundamental building block of some complex-enough model, while ℝ are not.
Now, I must admit, that of course it doesn't reveal to me what the fuck they actually are, how to "imagine" them in the real world. I suppose, it's the same with you. But at least it makes me quite sure that indeed this is "the shadow of something natural that we just couldn't see", and I just don't know what. I believe it to be the consequence of us currently representing all numbers somehow "wrong". Similarly to how ancient Babylonian fraction representations were preventing ancient Babylonians from asking the right questions about them.
P.S. I think I must admit, that I do NOT believe real numbers to be natural in any sense whatsoever. But this is completely besides the point.
1. Algebra: Let's say we have a linear operator T on a real vector space V. When trying to analyze a linear operator, a key technique is to determine the T-invariant subspaces (these are subspaces W such that TW is a subset of W). The smallest non-trivial T-invariant subspaces are always 1- or 2-dimensional(!). The first case corresponds to eigenvectors, and T acts by scaling by a real number. In the second case, there's always a basis where T acts by scaling and rotation. The set of all such 2D scaling/rotation transformations are closed under addition, multiplication, and the nonzero ones are invertible. This is the complex numbers! (Correspondence: use C with 1 and i as the basis vectors, then T:C->C is determined by the value of T(1).)
2. Topology: The fact the complex numbers are 2D is essential to their fundamentality. One way I think about it is that, from the perspective of the real numbers, multiplication by -1 is a reflection through 0. But, from an "outside" perspective, you can rotate the real line by 180 degrees, through some ambient space. Having a 2D ambient space is sufficient. (And rotating through an ambient space feels more physically "real" than reflecting through 0.) Adding or multiplying by nonzero complex numbers can always be performed as a continuous transformation inside the complex numbers. And, given a number system that's 2D, you get a key topological invariant of closed paths that avoid the origin: winding number. This gives a 2D version of the Intermediate Value Theorem: If you have a continuous path between two closed loops with different winding numbers, then one of the intermediate closed loops must pass through 0. A consequence to this is the fundamental theorem of algebra, since for a degree-n polynomial f, when r is large enough then f(r*e^(i*t)) traces out for 0<=t<=2*pi a loop with winding number n, and when r=0 either f(0)=0 or f(r*e^(i*t)) traces out a loop with winding number 0, so if n>0 there's some intermediate r for which there's some t such that f(r*e^(i*t))=0.
So, I think the point is that 2D rotations and going around things are natural concepts, and very physical. Going around things lets you ensnare them. A side effect is that (complex) polynomials have (complex) roots.
Given that you have a Ph.D. in mathematics, this might seem hopelessly elementary, but who knows--I found it intuitive and insightful: https://news.ycombinator.com/item?id=18310788
I've always been satisfied with the explanation "Just as you need signed numbers for translation, you need complex numbers to express rotation." Nobody asks if negative numbers are really a natural thing, so it doesn't make sense to ask if complex ones are, IMO.
I like to think of complex numbers as “just” the even subset of the two dimensional geometric algebra.
Almost every other intuition, application, and quirk of them just pops right out of that statement. The extensions to the quarternions, etc… all end up described by a single consistent algebra.
It’s as if computer graphics was the first and only application of vector and matrix algebra and people kept writing articles about “what makes vectors of three real numbers so special?” while being blithely unaware of the vast space that they’re a tiny subspace of.
[Obligatory: Engineering background. Not an expert]
I've always found it a bit odd that we DO define "i" to help us express complex numbers, with the convenient assumption that "i = sqrt(-1)"... but we DON'T have any such symbols to map between more than 2 dimensions.
I felt a bit better when I found out about
- (nth) roots of unity (to explore other "i"-like definitions, including things like roots of unity modulo n, and hidden abelian subgroup problems which feel a bit to me like dealing with orthogonal dimensions)
- tensors (e.g. in physics, when we need a better way to discuss more than 2 dimensions, and often establish syntactic sugar for (x,y,z,t))
IDK if that helps at all (or worse, simply betrays some misunderstanding of mine. If so, please complain- I'd appreciate the correction!)
How does your question differ from the classic question more normally applied to maths in general - does it exist outside the mind (eg platonism) or no (eg. nominalism)?
If it doesn't differ, you are in the good company of great minds who have been unable to settle this over thousands of years and should therefore feel better!
How are there real numbers real? They're certainly not physical in a finite universe with quantised fundamental fields. I would say that natural numbers are there only physically represented ones and everything else is convenience.
Maybe the bottom ~1/3, starting at "The complex field as a problem for singular terms", would be helpful to you. It gives a philosophical view of what we mean when we talk about things like the complex numbers, grounded in mathematical practice.
> I doubt anyone could make a reply to this comment that would make me feel any better about it.
You may be right, but just to have said it : the Fast Fourier Transform requires complex numbers. One can write a version that avoids complex numbers, but (a) its ugliness gives away what's missing, and (b) it's significantly slower in execution.
I am with you on this (the challenge, not (yet) the phd), however, I myself have a far greater problem.
I do not see what’s the deal about prime numbers which seems to be more of a limitation on our end, similar to our shortage in understanding to a point we call e, π, √2 etc Irrationals.
We simply did not get the actual mathematical structure of the universe and we came up with something “good enough” that helps moving forward.
In the universe the perfect circle has perfect symmetry, hence perfect ratio, hence well-defined sweet heaven balanced harmonic entity.
Exponentials are natural phenomena. The very fact that e is its own derivative tells us we are all wrong here.
We are in an infinite escape that no matter how long we will play, and how many riddles we will solve, we will never get the entire picture.
Yes, primes are nice structure when you deal with us humans counting potatoes. But e, just e, let alone √2 or π are far more fascinating to me.
The e point cuts deep. e being its own derivative isn’t a curiosity. It’s saying that there’s a growth process so fundamental that its rate is indistinguishable from its state. That’s not a number — it’s a signature of how change works.
And yet: π, e, √2 — we only name them, define them, catch them using the integers. π is the ratio of circumference to diameter. Ratio of what to what? e is lim(1 + 1/n)^n. The integers sneak in.
Is that just our access route? Or is discreteness also woven into the fabric, alongside continuity?
My intuition led me to the following: we think our counting units (1, 2, 3, …) and fractions are the “numbers”, and when we want to refer to multi-dimensional phenomena, we use vectors or matrices or any other logical structure.
However, this is a very superficial aspect of the business, since the actual math is multi-dimensional inherently. The natural math is not linear, nor is it a plane. It is simply a multi-dimensional number system (imagine our complex numbers, but many other dimensions). Perhaps tensors or even more.
This is why we experience quantum mechanics as statistical states, results of specific measurements. We think in units, and we don’t understand things are happening in parallel across all directions.
Once we figure this out, we will understand why e, π and others are as natural as it gets, while our natural numbers are barely a dot, a point in the real math universe.
Sorry for the length but you triggered me with a long time pain point.
C is the only way to make a field out of pairs of reals. Also (or rather just another facet of the same phenomenon) we might be interested in polynomials with integer coefficients, but some of those will have non integral roots. And we might be interested in polynomials with rational coeffs but some will not have rational roots. Same with the reals but the buck stops with the complex numbers. They are definitely not accidental they are the natural (so to speak) completion of our number system. That they exist physically in some sense is "unreasonable effectiveness" territory.
What is a negative number? What is multiplication? What is a complex "number"?
Complex are not even orderable. Is complex addition an overloading of the addition operator. Same with multiplication?
What i squared is -1 ? What does -1 even mean? Is the sign, a kind of operator?
The geometric interpretation help. These are transformations. Instead of 1 + i, we could/should write (1,i)
A lot of math is not very clear because it is not very well taught. The notations are unclear.
For instance, another example is: what is the difference between a matrix and a tensor? But that is another debate for anyone who wants to think about it. The definition found in books is often kind of wrong making a distinction that shouldn't really exist more often than not.
I don't understand what it means for something to feel "natural". You can formally define the real numbers in multiple ways which are all isomorphic and coherent. These definitions are usually more complicated than people expect which nicely show that the real set is not a very intuitive object. Same thing for C.
There is not evidence for C. It's a construction. Obviously it shows up in physics models. They are built using mathematical formalism.
If multiple definitions turn out to be isomorphic, that's generally because there is an underlying structure linking the properties together.
Personally, no number is natural. They are probably a human construct. Mathematics does not come naturally to a human. Nowadays, it seems like every child should be able to do addition, but it was not the case in the past. The integers, rationals, and real numbers are a convenience, just like the complex numbers.
A better way to understand my point is: we need mental gymnastics to convert problems into equations. The imaginary unit, just like numbers, are a by-product of trying to fit problems onto paper. A notable example is Schrodinger's equation.
The complex numbers is just the ring such that there is an element where the element multiplied by itself is the inverse of the multiplicative identity. There are many such structures in the universe.
For example, reflections and chiral chemical structures. Rotations as well.
It turns out all things that rotate behave the same, which is what the complex numbers can describe.
Polynomial equations happen to be something where a rotation in an orthogonal dimension leaves new answers.
As you say, "the fundamental theorem of algebra relies on complex numbers" gets to the heart of the view that complex numbers are the algebraic closure of R.
But also, the most slick, sexy proof I know for the fundamental theorem of algebra is via complex analysis, where it's an easy consequence of Liouville's Theorem, which states that any function which is complex-differentiable and bounded on all of C must in fact be constant.
Like many other theorems in complex analysis, this is extremely surprising and has no analogue in real analysis!
If you view all of math as just a set of logic games with the axioms as the basic rules, then there's nothing unnatural about complex numbers. Various mathematical constructs describe various phenomena in the real world well. It just so happens that many physical systems behave in a way that can be very naturally described using complex numbers.
First, let's try differential equations, which are also the point of calculus:
Idea 1: The general study of PDEs uses Newton(-Kantorovich)'s method, which leads to solving only the linear PDEs,
which can be held to have constant coefficients over small regions, which can be made into homogeneous PDEs,
which are often of order 2, which are either equivalent to Laplace's equation, the heat equation,
or the wave equation. Solutions to Laplace's equation in 2D are the same as holomorphic functions.
So complex numbers again.
Now algebraic closure, but better:
Idea 2: Infinitary algebraic closure. Algebraic closure can be interpeted as saying that any rational functions can be factorised into monomials.
We can think of the Mittag-Leffler Theorem and Weierstrass Factorisation Theorem as asserting that this is true also for meromorphic functions,
which behave like rational functions in some infinitary sense. So the algebraic closure property of C holds in an infinitary sense as well.
This makes sense since C has a natural metric and a nice topology.
Next, general theory of fields:
Idea 3: Fields of characteristic 0. Every algebraically closed field of characteristic 0 is isomorphic to R[√-1] for some real-closed field R.
The Tarski-Seidenberg Theorem says that every FOL statement featuring only the functions {+, -, ×, ÷} which is true over the reals is
also true over every real-closed field.
I think maybe differential geometry can provide some help here.
Idea 4: Conformal geometry in 2D. A conformal manifold in 2D is locally biholomorphic to the unit disk in the complex numbers.
Idea 5: This one I'm not 100% sure about. Take a smooth manifold M with a smoothly varying bilinear form B \in T\*M ⊗ T\*M.
When B is broken into its symmetric part and skew-symmetric part, if we assume that both parts are never zero, B can then be seen as an almost
complex structure, which in turn naturally identifies the manifold M as one over C.
I began studying 3-manifolds after coming up with a novel way I preferred to draw their presentations. All approaches are formally equivalent, but they impose different cognitive loads in practice. My approach was trivially equivalent to triangulations, or spines, or Heegaard splittings, or ... but I found myself far more nimbly able to "see" 3-manifolds my way.
I showed various colleagues. Each one would ask me to demonstrate the equivalence to their preferred presentation, then assure me "nothing to see here, move along!" that I should instead stick to their convention.
Then I met with Bill Thurston, the most influential topologist of our lifetimes. He had me quickly describe the equivalence between my form and every other known form, effectively adding my node to a complete graph of equivalences he had in his muscle memory. He then suggested some generalizations, and proposed that circle packings would prove to be important to me.
Some mathematicians are smart enough to see no distinction between any of the ways to describe the essential structure of a mathematical object. They see the object.
I was interested in how it would make sense to define complex numbers without fixing the reals, but I'm not terribly convinced by the method here. It seemed kind of suspect that you'd reduce the complex numbers purely to its field properties of addition and multiplication when these aren't enough to get from the rationals to the reals (some limit-like construction is needed; the article uses Dedekind cuts later on). Anyway, the "algebraic conception" is defined as "up to isomorphism, the unique algebraically closed field of characteristic zero and size continuum", that is, you just declare it has the same size as the reals. And of course now you have no way to tell where π is, since it has no algebraic relation to the distinguished numbers 0 and 1. If I'm reading right, this can be done with any uncountable cardinality with uniqueness up to isomorphism. It's interesting that algebraic closure is enough to get you this far, but with the arbitrary choice of cardinality and all these "wild automorphisms", doesn't this construction just seem... defective?
It feels a bit like the article's trying to extend some legitimate debate about whether fixing i versus -i is natural to push this other definition as an equal contender, but there's hardly any support offered. I expect the last-place 28% poll showing, if it does reflect serious mathematicians at all, is those who treat the topological structure as a given or didn't think much about the implications of leaving it out.
More on not being able to find π, as I'm piecing it together: given only the field structure, you can't construct an equation identifying π or even narrowing it down, because if π is the only free variable then it will work out to finding roots of a polynomial (you only have field operations!) and π is transcendental so that polynomial can only be 0 (if you're allowed to use not-equals instead of equals, of course you can specify that π isn't in various sets of algebraic numbers). With other free variables, because the field's algebraically closed, you can fix π to whatever transcendental you like and still solve for the remaining variables. So it's something like, the rationals plus a continuum's worth of arbitrary field extensions? Not terribly surprising that all instances of this are isomorphic as fields but it's starting to feel about as useful as claiming the real numbers are "up to set isomorphism, the unique set whose cardinality matches the power set of the natural numbers", like, of course it's got automorphisms, you didn't finish defining it.
You need some notion of order or of metric structure if you want to talk about numbers being "close" enough to π. This is related to the property of completeness for the real numbers, which is rather important. Ultimately, the real numbers are also a rigorously defined abstraction for the common notion of approximating some extant but perhaps not fully known quantity.
There's a related idea in mathematics, the proof that the real numbers are a vector space over the rational numbers. If you scramble the basis vectors, you obtain an isomorphic vector space, but it is effectively a "permutation" of |R. Of course, vector spaces don't even have multiplication, but one interesting thing is that the proof requires the axiom of choice.
I think that actually constructing a "nontrivial" model of C using the field conception might require choosing a member from each of an infinite family of sets, i.e. it requires applying the axiom of choice, similar to the way you construct R as a vector space.
Most commenters are talking about the first part of the post, which lays out how you might construct the complex numbers if you're interested in different properties of them. I think the last bit is the real interesting substance, which is about how to think about things like this in general (namely through structuralism), and why the observations of the first half should not be taken as an argument against structuralism. Very interesting and well written.
It is very re-assuring to know, on a post where I can essentially not even speak the language (despite a masters in engineering) HN is still just discussing the first paragraph of the post.
The field C is a tool, just as with any other abstraction in math. Accountants don't need it, so ignore it. In abstract algebra they arise - and so do many other abstractions, such as quaternions. Quaternions can be regarded as a further development of the concept of number. Note that every such development gives up some property its predecessors had. In the case of quaternions, commutativity. If a field of application finds a mathematical invention useful, it gets used. Often, too, it's a matter of simplicity. Use mathematical invention X in applied field Y and it simplifies the work. Abstain from using invention X, and then the work could still be done in a less simple way. That's all there is to it.
To be clear, this "disagreement" is about arbitrary naming conventions which can be chosen as needed for the problem at hand. It doesn't make any difference to results.
The author is definitely claiming that it's not just about naming conventions: "These different perspectives ultimately amount, I argue, to mathematically inequivalent structural conceptions of the complex numbers". So you would need to argue against the substance of the article to have a basis for asserting that it is just about naming conventions.
Article: "They form the complex field, of course, with the corresponding algebraic structure, but do we think of the complex numbers necessarily also with their smooth topological structure? Is the real field necessarily distinguished as a fixed particular subfield of the complex numbers? Do we understand the complex numbers necessarily to come with their rigid coordinate structure of real and imaginary parts?"
So yes these are choices. If I care how the complex plane maps onto some real number somewhere, then I have to pick a mapping. "Real part" is only one conventional mapping. Ditto the other stuff: If I'm going to do contour integrals then I've implied some things about metric and handedness.
I still don't see how this really puts mathematicians in "disagreement." Let's pedestrian example:
I usually make an x,y plot with the x-axis pointing to the right and the y-axis pointing away from me. If I put a z-axis, personally I'll make it upwards out of the paper (sometimes this matters). Usually, but not always, my co-ordinates are meant to be smooth. But if somebody does some of this another way, are they really disagreeing with me? I think "no." If we're talking about the same problem, we'll eventually get the same answer (after we each fix 3 or 4 mistakes). If we're talking about different problems, then we need our answers to potentially "disagree."
In the article he says there is a model of ZFC in which the complex numbers have indistinguishable square roots of -1. Thus that model presumably does not allow for a rigid coordinate view of complex numbers.
This is a very interesting question, and a great motivator for Galois theory, kind of like a Zen koan. (e.g. "What is the sound of one hand clapping?")
But the question is inherently imprecise. As soon as you make a precise question out of it, that question can be answered trivially.
In particular, the core disagreement seems to be about whether the automorphisms of C should keep R (as a subset) fixed, or not.
The easy solution here would be to just have two different names: (general) automorphisms (of which there might be many) and automorphisms-that-keep-R-fixed (of which there are just the two mentioned.
If you make this distinction, then the approach of construction of C should not matter, as they are all equivalent?
Names, language, and concepts are essential to and have powerful effects on our understanding of anything, and knowledge of mathematics is much more than the results. Arguably, the results are only tests of what's really important, our understanding.
No the entire point is that it makes difference in the results. He even gave an example in which AI(and most humans imo) picked different interpretation of complex numbers giving different result.
I really know almost nothing about complex analysis, but this sure feels like what physicists call observational entropy applied to mathematics: what counts as "order" in ℂ depends on the resolution of your observational apparatus.
The algebraic conception, with its wild automorphisms, exhibits a kind of multiplicative chaos — small changes in perspective (which automorphism you apply) cascade into radically different views of the structure. Transcendental numbers are all automorphic with each other; the structure cannot distinguish e from π. Meanwhile, the analytic/smooth conception, by fixing the topology, tames this chaos into something with only two symmetries. The topology acts as a damping mechanism, converting multiplicative sensitivity into additive stability.
I'll just add to that that if transformers are implementing a renormalization group flow, than the models' failure on the automorphism question is predictable: systems trained on compressed representations of mathematical knowledge will default to the conception with the lowest "synchronization" cost — the one most commonly used in practice.
The way I think of complex numbers is as linear transformations. Not points but functions on points that rotate and scale. The complex numbers are a particular set of 2x2 matrices, where complex multiplication is matrix multiplication, i.e. function composition. Complex conjugation is matrix transposition. When you think of things this way all the complex matrices and hermitian matrices in physics make a lot more sense. Which group do I fall into?
In the case of quaternions, there is called double-covering, which turns out (rather than being an artefact), play fundamental role in particle physics.
Does anyone have any tips on how I would fundamentally understand this article without just going back to school and getting a degree in mathematics? This is the sort of article where my attempts to understand a term only ever increase the number of terms I don't understand.
Being an engineer by training, I never got exposed to much algebra in my courses (beyond the usual high school stuff in high school). In fact did not miss it much either. Tried to learn some algebraic geometry then... oh the horror. For whatever reason, my intuition is very geometric and analytic (in the calculus sense). Even things like counting and combinatorics, they feel weird, like dry flavorless pretzels made of dried husk. Combinatorics is good only when I can use Calculus. Calculus, oh that's different, it's rich savoury umami buttery briskets. Yum.
That's not the interesting part. The interesting part is that I thought everyone is the same, like me.
It was a big and surprising revelation that people love counting or algebra in just the same way I feel about geometry (not the finite kind) and feel awkward in the kind of mathematics that I like.
It's part of the reason I don't at all get the hate that school Calculus gets. It's so intuitive and beautifully geometric, what's not to like. .. that's usually my first reaction. Usually followed by disappointment and sadness -- oh no they are contemplating about throwing such a beautiful part away.
School calculus is hated because it's typically taught with epsilon delta proofs which is a formalism that happened later in the history of calculus. It's not that intuitive for beginners, especially students who haven't learn any logic to grok existential/universal quantifiers. Historically, mathematics is usually developed by people with little care for complete rigor, then they erase their tracks to make it look pristine. It's no wonder students are like "who the hell came up with all this". Mathematics definitely has an education problem.
Of course everyone agrees that this is a nice way to construct the complex field. The question is what is the structure you are placing on this construction. Is it just a field? Do you intend to fix R as a distinguished subfield? After all, there are many different copies of R in C, if one has only the field structure. Is i named as a constant, as it seems to be in the construction when you form the polynomials in the symbol i. Do you intend to view this as a topological space? Those further questions is what the discussion is about.
As a non-mathematican, I found that trying to introduce C as a closure of R (i. e. analytically in author's terms) invariably triggers confusion and "hey, why do mathematicians keep changing rules on the fly, they just told me square of minus one doesn't exist". And in terms of practical applications it doesn't seem particularly useful on the first glance (who cares about solving cubics algebraically? The formula is too unwieldy anyway.) Most applications tends to start in the coordinate view and go from there. And it does introduce a nasty sharp edge to cut oneself on (i vs -i), but then for instance physics is full of such edges: direction of pseudo-vectors, sign of voltage on loads sources, holes in dimensional analysis (VA vs W, Ohm/square), the list could go on. And nobody really care.
> "hey, why do mathematicians keep changing rules on the fly, they just told me square of minus one doesn't exist
Mathematicians aren’t chasing numerical solutions, they’re chasing structure. ℂ isn’t just about solving cubics, it’s about eliminating holes in algebra so the theory behaves uniformly and is easier to build upon.
And as for "changing rules" they haven't changed, they have broadened the field (literally) over which the old rules applied in a clever way to remove a restriction.
Real men know that infinite sets are just a tool for proving statements in Peano arithmetic, and complex numbers must be endowed with the standard metric structure, as God intended, since otherwise we cannot use them to approximate IEEE 754 floats.
Basically C comes up in the chain R \subset C \subset H (quaternions) \subset O (octonions) by the so-called Cayley-Dickson construction. There is a lot of structure.
There is perfect agreement on the Gaussian integers.
The disagreement is on how much detail of the fine structure we care about. It is roughly analogous to asking whether we should care more about how an ellipse is like a circle, or how they are different. One person might care about the rigid definition and declare them to be different. Another notices that if you look at a circle at an angle, you get an ellipse. And then concludes that they are basically the same thing.
This seems like a silly thing to argue about. And it is.
However in different branches of mathematics, people care about different kinds of mathematical structure. And if you view the complex numbers through the lens of the kind of structure that you pay attention to, then ignore the parts that you aren't paying attention to, your notion of what is "basically the same as the complex numbers" changes. Just like how one of the two people previously viewed an ellipse as basically the same as a circle, because you get one from the other just by looking from an angle.
Note that each mathematician here can see the points that the other mathematicians are making. It is just that some points seem more important to you than others. And that importance is tied to what branch of mathematics you are studying.
The Gaussian integers usually aren't considered interesting enough to have disagreements about. They're in a weird spot because the integer restriction is almost contradictory with considering complex numbers: complex numbers are usually considered as how to express solutions to more types of polynomials, which is the opposite direction of excluding fractions from consideration. They're things that can solve (a restricted subset of) square-roots but not division.
This is really a disagreement about how to construct the complex numbers from more-fundamental objects. And the question is whether those constructions are equivalent. The author argues that two of those constructions are equivalent to each other, but others are not. A big crux of the issue, which is approachable to non-mathematicians, is whether it i and -i are fundamentally different, because arithmetically you can swap i with -i in all your equations and get the same result.
I don't think anyone thinks is "i and -i are fundamentally different". What they care more about is whether the 5 5th roots of 2 have an natural ordering or not.
"God made the integers, all else is the work of man", Kronecker, 1886.
Complex numbers are just a fancy way to represent 2-dimensional numbers that are convenient in geometry through the sq(-1)=π/2 rotation.
They are nothing special and they could just be a matrix. Out of my head I think about complex integers. Also there are higher-order complex numbers which are defined by sq(sq(-1)) etc. In Greek complex numbers are called "mongrel". Both names are bad, I would just use 2-dimensional numbers.
the title is a bit clickbait - mathematicians don't disagree, all the "conceptions" the article proposes agree with each other. It also seems to conflate the algebraic closure of Q (which would contain the sqrt of -1) and all of the complex numbers by insisting that the former has "size continuum". Once you have "size continuum" then you need some completion to the reals.
anyhow. I'm a bit of an odd one in that I have no problems with imaginary numbers but the reals always seemed a bit unreal to me. that's the real controversy, actually. you can start looking up definable numbers and constructivist mathematics, but that gets to be more philosophy than maths imho.
For what it's worth, Errett Bishop, the famous constructivist did not have this kind of existential issue with the complex numbers, commenting that the Reals were inadequate for some things. I really liked the trig cos isin connection in High School
To the ones objecting to "choosing a value of i" I might argue that no such choice is made. i is the square root of -1 and there is only one value of i. When we write -i that is shorthand for (-1)i. Remember the complex numbers are represented by a+bi where a and b are real numbers and i is the square root of -1. We don't bifurcate i into two distinct numbers because the minus sign is associated with b which is one of the real numbers. There is a one-to-one mapping between the complex numbers and these ordered pairs of reals.
You say that i is "the square root of -1", but which one is it? There are two. This is the point in the essay---we cannot tell the difference between i and -i unless we have already agreed on a choice of which square root of -1 we are going to call i. Only then does the other one become -i. How do we know that my i is the same as your i rather than your -i?
To fix the coordinate structure of the complex numbers (a,b) is in effect to have made a choice of a particular i, and this is one of the perspectives discussed in the essay. But it is not the only perspective, since with that perspective complex conjugation should not count as an automorphism, as it doesn't respect the choice of i.
Is it two, or is it infinite? The quaternions have three imaginary units, i, j, and k. They're distinct, and yet each of them could be used for the complex numbers and they'd work the same way. How would I know that "my" imaginary unit i is the same as some other person's i? Maybe theirs is j, or k, or something else entirely.
One perspective of the complex numbers is that they are the even subalgebra of the 2D geometric algebra. The "i" is the pseudoscalar of that 2D GA, which is an oriented area.
If you flip the plane and look at it from the bottom, then any formula written using GA operations is identical, but because you're seeing the oriented area of the pseudoscalar from behind, its as if it gains a minus sign in front.
This is equivalent to using a right-handed versus left-handed coordinate systems in 3D. The "rules of physics" remain the same either way, the labels we assign to the coordinate systems are just a convention.
There are 2 square roots of 9, they are 3 and -3. Likewise there are two square roots of -1 which are i and -i. How are people trying to argue that there are two different things called i? We don't ask which 3 right? My argument is that there is only 1 value of i, and the distinction between -i and i is the same as (-1)i and (1)i, which is the same as -3 vs 3. There is only one i. If there are in fact two i's then there are 4 square roots of -1.
There is no way to distinguish between "i" and "-i" unless you choose a representation of C. That is what Galois Theory is about: can you distinguish the roots of a polynomial in a simple algebraic way?
For instance: if you forget the order in Q (which you can do without it stopping being a field), there is no algebraic (no order-dependent) way to distinguish between the two algebraic solutions of x^2 = 2. You can swap each other and you will not notice anything (again, assuming you "forget" the order structure).
Building off of this point, consider the polynomial x^4 + 2x^2 + 2. Over the rationals Q, this is an irreducible polynomial. There is no way to distinguish the roots from each other. There is also no way to distinguish any pair of roots from any other pair.
But over the reals R, this polynomial is not irreducible. There we find that some pairs of roots have the same real value, and others don't. This leads to the idea of a "complex conjugate pair". And so some pairs of roots of the original polynomial are now different than other pairs.
That notion of a "complex conjugate pair of roots" is therefore not a purely algebraic concept. If you're trying to understand Galois theory, you have to forget about it. Because it will trip up your intuition and mislead you. But in other contexts that is a very meaningful and important idea.
And so we find that we don't just care about what concepts could be understood. We also care about what concepts we're currently choosing to ignore!
The famous constructivist Errett Bishop did not have this sort of existential issue with the Complex Numbers, only saying the Reals were inadequate for some things.
My biggest pet peeve in complex analysis is the concept of multi-value functions.
Functions are defined as relations on two sets such that each element in the first set is in relation to at most one element in the second set. And suddenly we abandon that very definitions without ever changing the notation! Complex logarithms suddenly have infinitely many values! And yet we say complex expressions are equal to something.
> You can think of it as returning an equivalence class if you like. Then it's single-valued.
I can, but I still have to be very mindful of how I use the "=" sign. Sometimes it's an (in)equality, sometimes it's... the equivalence class thing. The ambiguity doesn't seem very elegant.
> Also note the very cool and fun topology connection here. The keyword to search for is Riemann surface.
Idk, to me it feels much much better than just picking one root when defining the inverse function.
This desire to absolutely pick one when from the purely mathematical perspective they're all equal is both ugly and harmful (as in complicates things down the line).
But couldn't we just switch the nomenclature? Instead of an oxymoronic concept of "multivalue function", we could just call it "relation of complex equivalence" or something of sorts.
The square root of any number x is ±y, where +y = (+1)*y = y, and -y = (-1)*y.
So we define i as conforming to ±i = sqrt(-1). The element i itself has no need for a sign, so no sign needs to be chosen. Yet having defined i, we know that that i = (+1)*i = +i, by multiplicative identity.
We now have an unsigned base element for complex numbers i, derived uniquely from the expansion of <R,0,1,+,*> into its own natural closure.
We don't have to ask if i = +i, because it does by definition of the multiplicative identity.
TLDR: Any square root of -1 reduced to a single value, involves a choice, but the definition of unsigned i does not require a choice. It is a unique, unsigned element. And as a result, there is only a unique automorphism, the identity automorphism.
I thought i understood complex numbers and accepted them until I did countour integration for the first time.
Ever since then I have been deeply unsettled. I started questioning taking integrals to (+/-) infinity, and so I became unsettled with R too.
If C exists to fix R, then why does R even exist? Why does R need to be fixed? Why does the use of the upper or lower plane for counter integration not matter? I can do mathematically why, but why do we have a choice?
This blog post really articulated stuff formally that I have been bothered by for years.
We could've called the imaginaries "orthogonals", "perpendiculars", "complications", "atypicals", there's a million other options. I like the idea that a number is complex because it has a "complicated component".
Usually they explain it something like: oh, at first people didn't know what 2-5 added up to, but then we invented negative numbers. Well, complex numbers are that but for square roots of negative numbers.
But that's a completely misleading way to explain these things. Complex numbers aren't numbers aren't numbers really.
Honestly, the rigid conception is the correct one. Im of the view that i as an attribute on a number rather than a number itself, in the same way a negative sign is an attribute. Its basically exists to generalize rotations through multiplication. Instead of taking an x,y vector and multiplying it by a matrix to get rotations, you can use a complex number representation, and multiply it by another complex number to rotate/scale it. If the cartesian magnitude of the second complex number is 1, then you don't get any scaling. So the idea of x/y coordinates is very much baked in to the "imaginary attribute".
I feel like the problem is that we just assume that e^(pi*i) = -1 as a given, which makes i "feel" like number, which gives some validity to other interpretations. But I would argue that that equation is not actually valid. It arises from Taylor series equivalence between e, sin and cos, but taylor series is simply an approximation of a function by matching its derivatives around a certain point, namely x=0. And just because you take 2 functions and see that their approximations around a certain point are equal, doesn't mean that the functions are equal. Even more so, that definition completely bypasses what it means to taking derivatives into the imaginary plane.
If you try to prove this any other way besides Taylor series expansion, you really cant, because the concept of taking something to the power of "imaginary value" doesn't really have any ties into other definitions.
As such, there is nothing really special about e itself either. The only reason its in there is because of a pattern artifact in math - e^x derivative is itself, while cos and sin follow cyclic patterns. If you were to replace e with any other number, note that anything you ever want to do with complex numbers would work out identically - you don't really use the value of e anywhere, all you really care about is r and theta.
So if you drop the assumption that i is a number and just treat i as an attribute of a number like a negative sign, complex numbers are basically just 2d numbers written in a special way. And of course, the rotations are easily extended into 3d space through quaternions, which use i j an k much in the same way.
> As such, there is nothing really special about e itself either. The only reason its in there is because of a pattern artifact in math - e^x derivative is itself
Not sure I follow you here... The special thing about e is that it's self-derivative. The other exponential bases, while essentially the same in their "growth", have derivatives with an extra factor. I assume you know e is special in that sense, so I'm unclear what you're arguing?
Im saying that the definition of polar coordinates for complex numbers using e instead of any other number is irrelevant to the use of complex numbers, but its inclusion in Eulers identity makes it seem like a i is a number rather than an attribute. And if you assume i is a number, it leads to one thinking that that you can define the complex field C. But my argument is that Eulers identity is not really relevant in the sense of what the complex numbers are used for, so i is not a number but rather a tool.
This completely misses the point of why the complex numbers were even invented. i is a number: it is one of the 2 solutions to the equation x^2 = -1 (the other being -i, of course). The whole point of inventing the complex numbers was to have a set of numbers for which any polynomial has a root. And sure, you can call this number (0,1) if you want to, but it's important to remember that C is not the same as R².
Your whole point about Taylor series is also wrong, as Taylor series are not approximations, they are actually equal to the original function if you take their infinite limit for the relevant functions here (e^x, sin x, cos x). So there is no approximation to be talked about, and no problem in identifying these functions with their Taylor series expansions.
I'd also note that there is no need to use Taylor series to prove Euler's formula. Other series that converge to e^x,cos x, sin x can also get you there.
>The whole point of inventing the complex numbers was to have a set of numbers for which any polynomial has a root
Think about what this implies.
You have an operation, like exponentiation, that has limits. Something squared can never be negative if you are talking about any real number.
In terms of Sets, you essentially have an operation that produces results only in a finite subset of the overall set. And so the inverse of that operation, when applied to the complement of that finite subset, is undefined.
However you can introduce another (ordered) set in complement to your original set and combine them to form a new set, with operations that define how you move around the values of those sets. So in the case of imaginary numbers, you basically redefine all your reals as "real number + 0 i". And now you have a way to apply that inverse operation to the complement of the finite subset, which means you can get answers to the roots of the polynomial.
And in defining the operation of multiplication, you essentially define a way to move around the 2 dimensional set now. And moving around 2 dimensions is exactly the same thing as rotation+scaling.
And note that when you say sqrt(-1) = i, you basically assume that the complex plane is 2d. There is nothing that is stopping you from making a complex plane 3d or 4d or nd. So sqrt(-1) can also be j, or it can be k. To know what it is, you have to specify the axis of the plane when you specify the sqrt operation, which again, brings it back to the concept of rotations.
And thats my whole point, there is nothing special about i, its simply just a construct that bakes in rotations through any way you wanna define it.
>our whole point about Taylor series is also wrong, as Taylor series are not approximations, they are actually equal to the original function if you take their infinite limit
Looking back at what I wrote, I worded it very poorly.
I don't have a problem with any math involved, not trying to say that Eulers identity is not valid.
What Im trying to say is that all the definitions sort of assume that if you have some operation that you can do on real numbers, and have a result, if you just plug in a complex value, it all works out, so people think that i behaves like a number. I personally don't think that this is the case, specifically about i behaving like a number just because those results work out.
For example, even without Taylor series, you can prove Eulers identity using the limit formula for e(x). The idea is that you have (1+xi/n)^n as n goes to infinity, but because you baked in the rotation as a multiplication in the definition, all you are doing is starting at 1+0i and doing smaller and smaller rotations to get to some value, and the limit of that value is essentially the unit vector rotated by a certain angle. So naturally the cos and sin equivalence arises.
My issue is that the limit equation for e, in the case of the reals, take e x times in multiplication and then compute the limit equation, and you get equivalence. But in the case of the complex, you don't really have any idea what it takes something to ith power, but you can compute the limit equation, and so you end up with a definition of what it means to take something to the ith power.
My argument is that its not really applicable - not that its wrong, but the fact that its not defining exponentiation to the ith power in the sense that i has "number like" qualities like real numbers do. You would have to prove that an equivalence
What is really happening is that you never really escape the real numbers, and your complex numbers are just simplified operations that rotate/scale a number, like rotation matricies do through multiplication, and that in the nature of the definition of those rotations, you get stuff like Eulers identity, which is somewhat pointless because like I mentioned - the value of e (i.e 2.7) is never really used to compute anything in regards to complex numbers in polar form of re^ix, all you care about is r and the x which is the angle.
And for this reason, I don't consider i a number, so the analytic/smooth interpretations to me are meaningless.
i is not a "trick" or a conceit to shortcut certain calculations like, say, the small angle approximation. i is a number and this must be true because of the fundamental theorem of algebra. Disbelieving in the imaginary numbers is no different from disbelieving in negative numbers.
"Imaginary" is an unfortunate name which gives makes this misunderstanding intuitive.
However, what's true about what you and GP have suggested is that both i and -1 are used as units. Writing -10 or 10i is similar to writing 10kg (more clearly, 10 × i, 10 × -1, 10 × 1kg). Units are not normally numbers, but they are for certain dimensionless quantities like % (1/100) or moles (6.02214076 × 10^23) and i and -1. That is another wrinkle which is genuinely confusing.
Rotations fell out of the structure of complex numbers. They weren't placed there on purpose. If you want to rotate things there are usually better ways.
> If you want to rotate things there are usually better ways.
Can you elaborate? If you want a representation of 2D rotations for pen-and-paper or computer calculations, unit complex numbers are to my knowledge the most common and convenient one.
The whole idea of imaginary number is its basically an extension of negative numbers in concept.
When you have a negative number, you essentially have scaling + attribute which defines direction. When you encounter two negative attributes and multiply them, you get a positive number, which is a rotation by 180 degrees. Imaginary numbers extend this concept to continuous rotation that is not limited to 180 degrees.
With just i, you get rotations in the x/y plane. When you multiply by 1i you get 90 degree rotation to 1i. Multiply by i again, you get another 90 degree rotation to -1 . And so on. You can do this in xyz with i and j, and you can do this in 4dimentions with i j and k, like quaternions do, using the extra dimension to get rid of gimbal lock computation for vehicle control (where pointed straight up, yaw and roll are identicall)
The fact that i maps to sqrt of -1 is basically just part of this definition - you are using multiplication to express rotations, so when you ask what is the sqrt of -1 you are asking which 2 identical number create a rotation of 180 degrees, and the answer is 1i and 1i.
Note that the definition also very much assumes that you are only using i, i.e analogous to having the x/y plane. If you are working within x y z plane and have i and j, to get to -1 you can rotate through x/y plane or x/z plane. So sqrt of -1 can either mean "sqrt for i" or "sqrt for j" and the answer would be either i or j, both would be valid. So you pretty much have to specify the rotation aspect when you ask for a square root.
Note also that you can you can define i to be <90 degree rotation, like say 60 degrees and everything would still be consistent. In which case cube root of -1 would be i, but square root of -1 would not be i, it would be a complex number with real and imaginary parts.
The thing to understand about math is under the hood, its pretty much objects and operations. A lot of times you will have conflicts where doing an operation on a particular object is undefined - for example there are functions that assymptotically approach zero but are never equal to it. So instead, you have to form other rules or append other systems to existing systems, which all just means you start with a definition. Anything that arises from that definition is not a universal truth of the world, but simply tools that help you deal with the inconsistencies.
> But in fact, I claim, the smooth conception and the analytic conception are equivalent—they arise from the same underlying structure.
Conjugation isn’t complex-analytic, so the symmetry of i -> -i is broken at that level. Complex manifolds have to explicitly carry around their almost-complex structure largely for this reason.
Knowledge is the output of a person and their expertise and perspective, irreducibly. In this case, they seem to know something of what they're talking about:
> Starting 2022, I am now the John Cardinal O’Hara Professor of Logic at the University of Notre Dame.
> From 2018 to 2022, I was Professor of Logic at Oxford University and the Sir Peter Strawson Fellow at University College Oxford.
Also interesting:
> I am active on MathOverflow, and my contributions there (see my profile) have earned the top-rated reputation score.
I am confused by both the article and the discussion and I don't mean confused by the discussion on the complex which is all fairly clear but by this very weird idea of essential structure whatever that's supposed to mean. I'm wondering if there is something cultural here (I'm French) and linked to the central place algebra has in our curriculum or if I'm just reading a lot of IA generated convoluted discussion.
To me, the question doesn't even make sense. There is no disagreement here and I don't understand what is an essential structure. All the properties presented on the complex are consistent. They all exist. There is nothing ever essential about mathematics.
I mean, it's just mathematics. As long as you are internally consistent with your axioms, things just are. It's like asking if water is a liquid or a collection of molecules. There is nothing to disagree about here.
I have a Ph.D. in a field of mathematics in which complex numbers are fundamental, but I have a real philosophical problem with complex numbers. In particular, they arose historically as a tool for solving polynomial equations. Is this the shadow of something natural that we just couldn't see, or just a convenience?
As the "evidence" piles up, in further mathematics, physics, and the interactions of the two, I still never got to the point at the core where I thought complex numbers were a certain fundamental concept, or just a convenient tool for expressing and calculating a variety of things. It's more than just a coincidence, for sure, but the philosophical part of my mind is not at ease with it.
I doubt anyone could make a reply to this comment that would make me feel any better about it. Indeed, I believe real numbers to be completely natural, but far greater mathematicians than I found them objectionable only a hundred years ago, and demonstrated that mathematics is rich and nuanced even when you assume that they don't exist in the form we think of them today.
One way to sharpen the question is to stop asking whether C is "fundamental" and instead ask whether it is forced by mild structural constraints. From that angle, its status looks closer to inevitability than convenience.
Take R as an ordered field with its usual topology and ask for a finite-dimensional, commutative, unital R-algebra that is algebraically closed and admits a compatible notion of differentiation with reasonable spectral behavior. You essentially land in C, up to isomorphism. This is not an accident, but a consequence of how algebraic closure, local analyticity, and linearization interact. Attempts to remain over R tend to externalize the complexity rather than eliminate it, for example by passing to real Jordan forms, doubling dimensions, or encoding rotations as special cases rather than generic elements.
More telling is the rigidity of holomorphicity. The Cauchy-Riemann equations are not a decorative constraint; they encode the compatibility between the algebra structure and the underlying real geometry. The result is that analyticity becomes a global condition rather than a local one, with consequences like identity theorems and strong maximum principles that have no honest analogue over R.
I’m also skeptical of treating the reals as categorically more natural. R is already a completion, already non-algebraic, already defined via exclusion of infinitesimals. In practice, many constructions over R that are taken to be primitive become functorial or even canonical only after base change to C.
So while one can certainly regard C as a technical device, it behaves like a fixed point: impose enough regularity, closure, and stability requirements, and the theory reconstructs it whether you intend to or not. That does not make it metaphysically fundamental, but it does make it mathematically hard to avoid without paying a real structural cost.
This is the way I think. C is "nice" because it is constructed to satisfy so many "nice" structural properties simultaneously; that's what makes it special. This gives rise to "nice" consequences that are physically convenient across a variety of applications.
I work in applied probability, so I'm forced to use many different tools depending on the application. My colleagues and I would consider ourselves lucky if what we're doing allows for an application of some properties of C, as the maths will tend to fall out so beautifully.
4 replies →
> Take R as an ordered field with its usual topology and ask for a finite-dimensional, commutative, unital R-algebra that is algebraically closed and admits a compatible notion of differentiation with reasonable spectral behavior.
No thank you, you can keep your R.
Damn... does this paragraph mean something in the real world?
Probably I've the brain of a gnat compared to you, but do all the things you just said have a clear meaning that you relate to the world around you?
6 replies →
I used to feel the same way. I now consider complex numbers just as real as any other number.
The key to seeing the light is not to try convincing yourself that complex number are "real", but to truly understand how ALL numbers are abstractions. This has indeed been a perspective that has broadened my understanding of math as a whole.
Reflect on the fact that negative numbers, fractions, even zero, were once controversial and non-intuitive, the same as complex are to some now.
Even the "natural" numbers are only abstractions: they allow us to categorize by quantity. No one ever saw "two", for example.
Another thing to think about is the very nature of mathematical existence. In a certain perspective, no objects cannot exist in math. If you can think if an object with certain rules constraining it, voila, it exists, independent of whether a certain rule system prohibit its. All that matters is that we adhere to the rule system we have imagined into being. It does not exist in a certain mathematical axiomatic system, but then again axioms are by their very nature chosen.
Now in that vein here is a deep thought: I think free will exists just because we can imagine a math object into being that is neither caused nor random. No need to know how it exists, the important thing is, assuming it exists, what are its properties?
I think free will exists just because we can imagine a math object into being that is neither caused nor random.
Can you? I can only imagine world_state(t + ε) = f(world_state(t), true_random_number_source). And even in that case we do not know if such a thing as true_random_number_source exists. The future state is either a deterministic function of the current state or it is independent of it, of which we can think as being a deterministic function of the world state and some random numbers from a true random number source. Or a mixture of the two, some things are deterministic, some things are random.
But neither being deterministic nor being random qualifies as free will for me. I get the point of compatibilists, we can define free will as doing what I want, even if that is just a deterministic function of my brain state and the environment, and sure, that kind of free will we have. But that is not the kind of free will that many people imagine, being able to make different decisions in the exact same situation, i.e. make a decision, then rewind the entire universe a bit, and make the decision again. With a different outcome this time but also not being a random outcome. I can not even tell what that would mean. If the choice is not random and also does not depend on the prior state, on what does it depend?
The closest thing I can imagine is your brain deterministically picking two possible meals from the menu based on your preferences and the environment respectively circumstances, and then flipping a coin to make the final decision. The outcome is deterministically constraint by your preferences but ultimately a random choice within those constraints. But is that what you think of as free will? The decision result depends on you, which option you even consider, but the final choice within those acceptable options does not depend on you in any way and you therefore have no control over it.
2 replies →
I like this approach. I especially agree with the comparison of complex numbers to negative numbers. Remember that historically, not every civilization even had a number for zero. Likewise, mathematicians struggled with a generalized solution to the Quadratic. The problem was that there were at least 6 possible equations to solve a quadratic without using negative numbers. Back then, its application was limited to area and negative numbers seemed irrelevant based on the absolute value nature of distance. It was only by abandoning our simplistic application rooted in reality that we could develop a single Quadratic Equation and with it open a new world of possibilities.
Correct. And this is the key distinction between the mathematical approach and the everyday / business / SE approach that dominates on hacker news.
Numbers are not "real", they just happen to be isomorphic to all things that are infinite in nature. That falls out from the isomorphism between countable sets and the natural numbers.
You'll often hear novices referencing the 'reals' as being "real" numbers and what we measure with and such. And yet we categorically do not ever measure or observe the reals at all. Such thing is honestly silly. Where on earth is pi on my ruler? It would be impossible to pinpoint... This is a result of the isomorphism of the real numbers to cauchy sequences of rational numbers and the definition of supremum and infinum. How on earth can any person possibly identify a physical least upper bound of an infinite set? The only things we measure with are rational numbers.
People use terms sloppily and get themselves confused. These structures are fundamental because they encode something to do with relationships between things
The natural numbers encode things which always have something right after them. All things that satisfy this property are isomorphic to the natural numbers.
Similarly complex numbers relate by rotation and things satisfying particular rotational symmetries will behave the same way as the complex numbers. Thus we use C to describe them.
As a Zen Koan:
A novice asks "are the complex numbers real?"
The master turns right and walks away.
4 replies →
> I have a real philosophical problem with complex numbers
> I believe real numbers to be completely natural
I have to say I find this perspective interesting but completely alien.
We need to have a way to find x such that x^2-2 = 0, and Q won’t cut it so we have R. (Or if you want, we need a complete ordered field so we have R)
We need to have a way to find x such that x^2+2 = 0, and R won’t cut it so we have C. (Or if you want, we need algebraic closure of R by the fundamental theorem of algebra so we need C)
I don’t really think any numbers (even “natural” numbers) are any more natural than any other kind of numbers. If you start to distinguish, where do you stop. Negative numbers are ok or not? What about zero? Is that “natural”? Mathematicians disagree about whether 0 is in N at least.
It reminds me of the famous quote from Gauss:
This is exactly my thoughts too !
The Gauss quote is what made me finally "understand" Complex Numbers as the article states; "The complex numbers are an algebraically closed field with a distinguished real coordinate structure <C,+,.,0,1,Re,Im>".
Welch Labs on Youtube has an excellent series of videos titled "Imaginary Numbers are Real" graphing the geometrical implications - https://www.youtube.com/playlist?list=PLiaHhY2iBX9g6KIvZ_703... (book versions can be bought at - https://www.welchlabs.com/resources)
A Short History of Complex Numbers by Orlando Merino gives the historical context (pdf) - https://kleinex.mit.edu/~dunkel/Teach/18.S996_2022S/history/...
All of logic and math is a convincence tool. There are no, circles, quantities. Reality just is. We created these tools because they're a convinent way to cope with complexity of reality. There are no "objects" in a sense that chair is just atoms arranged chair-like. And atoms are just smaller particles arranged atom-like and yet physics operate in these objects treating them as something that exist.
So, now we have created these mental tools called mathematics that are heavily constrained. Then we create models that are approximately map 1:1 to some patterns that exist in reality (IE patterns that are roughly local so that we can call them objects). Due to the fact that our mental tools have heavy constrains and that we iteratively adjust these models to fit reality at focal points, we can approximately predict reality, because we already mapped the constrains into the model. But we shouldn't mistake model for the reality. Map is not territory.
Yep. Humans (and other animals) have an inbuilt ability to count small numbers of objects, so whole numbers seem more natural to us, but it's just a bias.
The real numbers have some very unreal properties. Especially, their uncountable infinite cardinality is mind boggling.
A person can have a finite number of thoughts in his live. The number of persons that have and will ever live is countably infinite, as they can be arranged in a family tree (graph). This means that the total thoughts that all of mankind ever had and will have is countably infinite. For nearly all real numbers, humankind will never have thought of them.
You can do a similar argument with the subset of real numbers than can be described in any way. With description, I do not just mean writing down digits. Sentences of the form "the limit of sequence X", "the number fulfilling equation Y", etc are also descriptions. There are a countably infinite descriptions, as at the end every description is text, yet there are uncountably many real numbers. This means that nearly no real number can even be described.
I find it hard to consider something "real" when it is not possible to describe most of it. I find equally hard when nearly no real number has been used (thought of) by humankind.
The complex extension of the rational numbers, on the other hand, feel very natural to me when I look at them as vectors in a plane.
I think the main thing people stumble over when grasping complex numbers is the term "number". Colloquially, numbers are used to order stuff. The primary function of the natural numbers is counting after all. We think of numbers as advanced counting, i.e., ordering. The complex "numbers" are not ordered though (in the sense of an ordered field). I really think that calling them "numbers" is therefore a misnomer. Numbers are for counting. Complex "numbers" cannot count, and are thus no numbers. However, they make darn good vectors.
For people who read this parent comment and are tempted to say “well of course complex numbers can be ordered, I could just define an ordering like if I have two complex numbers z_1 and z_2 I just sort them by their modulus[1].”
The problem is that it’s not a strict total order so doesn’t order them “enough”. For a field F to be ordered it has to obey the “trichotomy” property, which is that if you have a and b in F, then exactly one of three things must be true: 1)a>b 2)b>a or 3)a = b.
If you define the ordering by modulus, then if you take, say z_1 = 1 and z_2 = i then |z_1| = |z_2| but none of the three statements in the trichotomy property are true.
[1] For a complex number z=a + b i, the modulus |z|= sqrt(a^2 + b^2). So it’s basically the distance from the origin in the complex plane.
> The number of persons that have and will ever live is countably infinite
I don't think you can say that their number is infinite. Countable, yes. But there is no rule that new people will keep spawning.
im not very good at all this, having just a basic engineers education in maths. But the sentence
> There are a countably infinite descriptions, as at the end every description is text
seems to hide some nuance I can't follow here. Can't a textual description be infinitely long? contain a numerical amount of operations/characters? or am I just tripping over the real/whole numbers distinction
For me, the complex numbers arise as the quotients of 2-dimensional vectors (which arise as translations of the 2-dimensional affine space). This means that complex numbers are equivalence classes of pairs of vectors is a 2-dimesional vector space, like 2-dimensional vectors are equivalence classes of pairs of points in a 2-dimensional affine space or rational numbers are equivalence classes of pairs of integers, or integers are equivalence classes of pairs of natural numbers, which are equivalence classes of equipotent sets.
When you divide 2 collinear 2-dimensional vectors, their quotient is a real number a.k.a. scalar. When the vectors are not collinear, then the quotient is a complex number.
Multiplying a 2-dimensional vector with a complex number changes both its magnitude and its direction. Multiplying by +i rotates a vector by a right angle. Multiplying by -i does the same thing but in the opposite sense of rotation, hence the difference between them, which is the difference between clockwise and counterclockwise. Rotating twice by a right angle arrives in the opposite direction, regardless of the sense of rotation, therefore i*i = (-i))*(-i) = -1.
Both 2-dimensional vectors and complex numbers are included in the 2-dimensional geometric algebra, whose members have 2^2 = 4 components, which are the 2 components of a 2-dimensional vector together with the 2 components of a complex number. Unlike the complex numbers, the 2-dimensional vectors are not a field, because if you multiply 2 vectors the result is not a vector. All the properties of complex numbers can be deduced from those of the 2-dimensional vectors, if the complex numbers are defined as quotients, much in the same way how the properties of rational numbers are deduced from the properties of integers.
A similar relationship like that between 2-dimensional vectors and complex numbers exists between 3-dimensional vectors and quaternions. Unfortunately the discoverer of the quaternions, Hamilton, has been confused by the fact that both vectors and quaternions have multiple components and he believed that vectors and quaternions are the same thing. In reality, vectors and quaternions are distinct things and the operations that can be done with them are very different. This confusion has prevented for many years during the 19th century the correct use of quaternions and vectors in physics (like also the confusion between "polar" vectors and "axial" vectors a.k.a. pseudovectors).
Problem is: you have chosen an orientation (x rightwards, y upwards). That makes your choice of i/-i not canonical: as is natural, because it cannot be canonical.
1 reply →
Also, with elementary math: y+ as positive exponential numbers, y- as negative. Try rotating 90 deg the axis, into the -x part. What happens?
A question I enjoy asking myself when I'm wondering about this stuff is "if there are alien mathematicians in a distant galaxy somewhere, do they know about this?"
For complex numbers my gut feeling is yes, they do.
In my view nonnegative real numbers have good physical representations: amount, size, distance, position. Even negative integers don't have this types of models for them. Negative numbers arise mostly as a tool for accounting, position on a directed axis, things that cancel out each other (charge). But in each case it is the structure of <R,+> and not <R,+,*> and the positive and negative values are just a convention. Money could be negative, and debt could be positive, everything would be the same. Same for electrons and protons.
So in our everyday reality I think -1 and i exist the same way. I also think that complex numbers are fundamental/central in math, and in our world. They just have so many properties and connections to everything.
> In my view nonnegative real numbers have good physical representations
In my view, that isn’t even true for nonnegative integers. What’s the physical representation of the relatively tiny (compared to ‘most integers’) Graham’s number (https://en.wikipedia.org/wiki/Graham's_number)?
Back to the reals: in your view, do reals that cannot be computed have good physical representations?
1 reply →
That physical representation argument never made any sense to me. Like say I have a rock. I split it in two. Do I now have 2 rocks? So 2=1? Or maybe 1/2 =1 and 1+1=1.
What about if I have a rock and I pick up another rock that is slightly bigger. Do I now have 2 rocks or a bit more than 2 rocks? Which one of my rocks is 1? Maybe the second rock, so when I picked up the first rock I was actually wrong - I didn’t have one rock I had a little bit less than one rock. So now I have a little bit less than 2 rocks actually. How can I ever hope to do arithmetic in this physical representation?
The more I think through this physical representation thing the less sense it makes to me.
OK so say somehow I have 2 rocks in spite of all that. The room I am in also has 2 doors. What does the 2-ness of the rocks have in common with the 2-ness of the doors? You could say I can put a rock by each door (a one-to-one correspondence) and maybe that works with rocks and doors but if you take two pieces of chocolate cake and give one to each of two children you had better be sure that your pieces of chocolate cake are goddam indistinguishable or you will find that a one-to-one correspondence is not possible.
To me, numbers only make sense as a totally abstract concept.
> In my view nonnegative real numbers have good physical representations: amount, size, distance, position.
Rational numbers I guess, but real numbers? Nothing physical requires numbers of which the decimal expansion is infinite and never repeating (the overwhelming majority of real numbers).
> In my view nonnegative real numbers have good physical representations: amount, size, distance, position
I'm not a physicist, but do we actually know if distance and time can vary continuously or is there a smallest unit of distance or time? A physics equation might tell you a particle moves Pi meters in sqrt(2) seconds but are those even possible physical quantities? I'm not sure if we even know for sure whether the universe's size is infinite or finite?
2 replies →
> I believe real numbers to be completely natural
You can teach middle school children how to define complex numbers, given real numbers as a starting point. You can't necessarily even teach college students or adults how to define real numbers, given rational numbers as a starting point.
well it's hard to formally define them, but it's not hard to say "imagine that all these decimals go on forever" and not worry about the technicalities.
9 replies →
I have MS in math and came to a conclusion that C is not any more "imaginary" than R. Both are convenient abstractions, neither is particularly "natural".
How do you feel about N?
7 replies →
We have too much mental baggage about what a "number" is.
Real numbers function as magnitudes or objects, while complex numbers function as coordinatizations - a way of packaging structure that exists independently of them, e.g. rotations in SO(2) together with scaling). Complex numbers are a choice of coordinates on structure that exists independently of them. They are bookkeeping (a la double‑entry accounting) not money
> We have too much mental baggage about what a "number" is.
I do feel like when I was young or when I tried to teach some of my neighbour's daughter something once.
At some point, one just has to accept it when they are young.
It's sort of a pattern, you really can't explain it to them. You can just show them and if they don't understand, then just repeat it. You really can't explain say complex numbers or philosophy or even negative numbers or decimals.
A lot of it is visual. I see one apple and then the teacher added one more and calls it two.
Its even hard for me to explain this right now because the very sentence that I am trying to say requires me to say one and two so on and this is the very thing that the children are taught to learn. So I can't really say one apple without saying one but I think that now my point is that I couldnt have said one without seeing one apple in the first place.
Then came some half bit apples which we started calling fractions and mixed fractions and then we got taught of a magic dot to convert fractions -> decimals -> rationals -> real numbers / exponents -> complex numbers -> (??)
A lot of the times atleast in schooling I feel like one just has to accept them the way they are because you really cant get philosophical about them or necessarily have the privilege or intellectual ability to do so.
We are systematically given mental baggage about what a number is because for 99.9% use cases that's probably enough (Accounting and literally even shopkeeping or just the whole world revolves around numbers and we all know it)
I honestly don't know what I am typing right now. I am writing whatever I am thinking but I thought about that we aren't the only ones like this.
We might think we are special in this but Crows are really intelligent as well (a little funny but I saw a cronelius shorts channel and If this sort of humour entertains you, I will link their channel as well)
I searched if crows can count numbers and found this article https://www.npr.org/2024/07/18/g-s1-9773/crows-count-out-lou...
And I Found this to be pretty interesting to maybe share. Maybe even after all of this/all development made, we are still made of flesh & still similar to our peers at animal kingdom and they might be as smart as some toddlers when we were first taught what numbers are and maybe they are capable of learning these mythical abstract baggage and we humans are capable of transferring/training others with this mental baggage not necessarily even being humans (Crows in this case)
It's always sad to see how humanity ignores other animals sometimes.
We might have created weapons of mass destructions, went to moon and back but we as a society are still restricted by basic human guilts/flaws which I feel like are inevitable whether the society is large & connected creating different types of flaws & also the same when its small & hunter-gathering oriented.
It's really these issues combined with whenever some real problems comes with us that we push for the next generation and so on and so on and then later we try to find scapegoats and do wars and just struggle but once again the struggle is felt the most by a middle class or the poor.
The rules of the game of life are still/might still be fundamentally broken but we are taught to accept it when we are young in a similar fashion to numbers which might be broken too if you stare too long into them.
But I guess there's hope because the system still has love and moments of intimacy and we have improved from past, perhaps we can improve in future as well. One can be sad and depressed about current realities or if the future looks bleak. Perhaps it is, perhaps not, only future can tell but the only thing we can do right now is to hopefully stay happy and smile and just pain/suffering is a universal constant in life but maybe one can derive their own meaning of existence withstanding all these hardships and having optimism for a better future and maybe even taking actions in each of our individual ways doing what we do best, doing what we enjoy, spending time with our family/community. Maybe its a cope for a world which is flawed but maybe that's all we need to chug along and maybe leave a footprint in this world when the days are feeling down.
I don't know but lets just be kind to each other. Let's be kind to animals and humans alike. Because I feel like most of us are similar than different and sometimes we feel empty for very minor reasons in which even minor gestures from others might be enough to make us happy again. Let's try to be those others as well and maybe reach out if there's something troubling anyone.
I am really unable to explain myself but my point is that there's still beauty and life's still good even with these flaws. It's kind of like a sine wave and if one would zoom enough they would only see things flat (whether at the top of the curve or at the bottom) but in a reality both are likely. Both are part of life as-is and if one can be happy in both, and still intend to do good just for the good it might do and the sake for it itself, then I feel as if that might be the meaning of life in general.
Can we be happy in just existing? and still do our best to improve our lives and potentially others surrounding us in a community whether its small or large that's besides the point imo
I feel as if we all are in a loop keeping the system of humanity alive while maybe going through some troubles in a more isolationist period at times. We are so connected yet so disconnected at the same time in today's world. This is really the crux of so many issues I feel. We as humanity have so many paradoxical properties but a system will still work as long as not all people question it simultaneously.
I hope this message can atleast make one feel more aware & more like not being in an automatic loop of sorts and sort of snapping out of it & perhaps using this awareness for a more deeper reflection in life itself and maybe finding the will to live or forging it for yourself and periodically going to it to find one's own sense of meaning in a world of meaninglessness.
This has been cathartic for me to write even though I feel as if I might not be able to make it all positive from perhaps despair to optimism but maybe that's the point because I do feel positive in just accepting reality as-is and leaving a foot print in humanity in our own way. Maybe this message is my way of shouting in the world that "hey I exist look at me" but I hope that the deeper reason behind this is because I feel cathartic writing it and perhaps maybe it can be useful to anyone else too.
Also a PhD in math, where complex numbers are fundamental, and also part of large swaths of similar structures that are also fundamental. They fit in nicely among a ton of other similar structures and concepts, so they seem about as fundamental as sets or addition or groups or fields (and there it is).
They also seem fundamental to physical reality in a way most math concepts do not: they're required (in structure) for quantum mechanics, in many equations that seem to be part of the universe. The behavior of subatomic particles (and more precisely, QFTs), require the waveforms to evolve as complex valued functions, where the probability of an event is the magnitude of the complex value.
This has been tested between theory and experiment to about 14 decimal digits precision for QED.
I'd guess they should be considered as real as radio waves (which we don't see), as the fact things we think are solid are mostly empty space (which we don't feel), or that time flows at different rates under different situations (which we also don't experience). Yet all those things are more real than stuff our limited senses experiences.
There's some string of research on if/how fundamental complex numbers are to QM, e.g., https://www.scientificamerican.com/article/quantum-physics-f...
> I doubt anyone could make a reply to this comment that would make me feel any better about it.
I am also a complex number skeptic. The position I've landed on is this.
1) complex numbers are probably used for far more purposes across math than they "ought" to be, because people don't have the toolbox to talk about geometry on R^2 but they do know C so they just use C. In particular, many of the interesting things about complex analysis are probably just the n=2 case of more general constructions that can be done by locating R inside of larger-dimensional algebras.
2) The C that shows up in quantum mechanics is likely an example of this--it's a case of physics having a a circular symmetry embedded in it (the phase of the wave functions) and everyone getting attached to their favorite way of writing it. (Ish. I'm not sure how the square the fact that wave functions add in superposition. but anyway it's not going to be like "physics NEEDS C", but rather, physics uses C because C models the algebra of the thing physics is describing.
3) C is definitely intrinsic in a certain sense: once you have polynomials in R, a natural thing to do is to add a sqrt(-1). This is not all that different conceptually from adding sqrt(2), and likely any aliens we ever run into will also have done the same thing.
> but anyway it's not going to be like "physics NEEDS C", but rather, physics uses C because C models the algebra of the thing physics is describing.
Maybe it’s just my math background shouting at me about what “model” means, but if object X models object Y, then I’m going to say that X is Y. It doesn’t matter how you write it. You can write it as R^2 if you want, but there’s some additional mathematical structure here and we can recognize it as C.
Mathematicians love to come up with different ways to write the same thing. Objects like R and C are recognized as a single “thing” even though you can come up with all sorts of different ways to conceive of them. The basic approach:
1. You come up with a set of axioms which describe C,
2. You find an example of an object which follows those rules,
3. That object “is” C in almost any sense we care about, and so is any other object following the same rules.
You can pretend that the complex numbers used in quantum mechanics are just R^2 with circular symmetries. That’s fine—but in order to play that game of pretend, you have to forget some of the axioms of complex numbers in order to get there.
Likewise, we can “forget” that vectors exist and write Maxwell’s equations in terms of separate x, y, and z variables. You end up with a lot more equations—20 equations instead of 4. Or you can go in the opposite direction and discover a new formalism, geometric algebra, and rewrite Maxwell’s equation as a single equation over multivectors. (Fewer equations doesn’t mean better, I just want to describe the concept of forgetting structure in mathematics.)
You can play similar games with tensors. Does physics really use tensors, or just things that happen to transform like tensors? Well, it doesn’t matter. Anything that transforms like a tensor is actually a tensor. And anything that has the algebraic properties of C is, itself, C.
5 replies →
I can't entirely follow the details, but apparently quantum mechanics actually doesn't work for fields other than C, including quaternions. https://scottaaronson.blog/?p=4021
1 reply →
> The C that shows up in quantum mechanics is likely an example of this--it's a case of physics having a a circular symmetry embedded in it (the phase of the wave functions) and everyone getting attached to their favorite way of writing it
No, it really is C, not R^2. Consider product spaces, for example. C^2 ⊗ C^2 is C^4 = R^8, but R^4 ⊗ R^4 is R^16 - twice as large. So you get a ton of extra degrees of freedom with no physical meaning. You can quotient them out identifying physically equivalent states - but this is just the ordinary construction of the complex numbers as R^2/(x^2 + 1).
> but rather, physics uses C because C models the algebra of the thing physics is describing.
That's what C is: R^2, with extra algebraic structure.
1 reply →
I don't know if this will help, but I believe that all of mathematics arises from an underlying fundamental structure to the universe and that this results in it both being "discoverable" (rather than invented) and "useful" (as in helpful for describing, expressing and calculating things).
> but I believe that all of mathematics arises from an underlying fundamental structure to the universe and that this results in it both being "discoverable" (rather than invented) and "useful" (as in helpful for describing, expressing and calculating things).
That is an interesting idea. Can you elaborate? As in, us, that is our brains live in this physical universe so we’re sort of guided towards discovering certain mathematical properties and not others. Like we intuitively visualize 1d, 2d, 3d spaces but not higher ones? But we do operate on higher dimensional objects nevertheless?
Anyway, my immediate reaction is to disagree, since in theory I can imagine replacing the universe with another with different rules and still maintaining the same mathematical structures from this universe.
Why do you believe that the same mathematical properties hold everywhere in the universe?
7 replies →
> I believe real numbers to be completely natural
Are real numbers not just "a convenience" in a sense? I do not see anything "fundamental" or "natural" about dedekind cuts or any other construction of the real numbers. If anything real numbers, to me, are more built out of the convenience of having a complete field extension of the rational numbers. We could do just fine with computable numbers and avoid a lot of problems that this line of convenience leads to.
One nice way of seeing the inevitability of the complex numbers is to view them as a metric completion of an algebraic closure rather than a closure of a completion.
Taking the algebraic closure of Q gives us algebraic numbers, which are a very natural object to consider. If we lived in an alternative timeline where analysis was never invented and we only thought about polynomials with rational coefficients, you’d still end up inventing them.
If you then take the metric completion of algebraic numbers, you get the complex numbers.
This is sort of a surprising fact if you think about it! the usual construction of complex numbers adds in a bunch of limit points and then solutions to polynomial equations involving those limit points, which at first glance seems like it could give a different result then adding those limit points after solutions.
I always wondered in the higher levels of maths, theoretical physics etc how much of it reflects a "real" thing and how much of is hand-wavey "try not to think about it too much but the equations work".
EG complex numbers, extra dimensions, string theory, weird particles, whatever electrons do, possibly even dark matter/energy.
> I believe real numbers to be completely natural,
Most of real numbers are not even computable. Doesn't that give you a pause?
Why would we expect most real numbers to be computable? It's an idealized continuum. It makes perfect sense that there are way too many points in it for us to be able to compute them all.
12 replies →
> I believe real numbers to be completely natural, but far greater mathematicians than I found them objectionable only a hundred years ago
I suspect, as you may as while, that this quote is at the core of the matter. Identifying what you find the difference between real and complex numbers are. You are inclined to split them into separate categories. I suspect you must identify the platonic (Or HTW, if that is your metaphor) property of the real numbers which the complex lack.
I think you would enjoy (and possibly have your mind blown) this series of videos by the “Rebel Mathematician” Prof Norman Wildburger. https://youtu.be/XoTeTHSQSMU
He constructs “true” complex numbers, generalises them over finite and unbounded fields, and demonstrates how they somewhat naturally arise from 2x2 matrices in linear algebra.
The author mentioned that the theory of the complex field is categorical, but I didn't see them directly mention that the theory of the real field isn't - for every cardinal there are many models of the real field of that size. My own, far less qualified, interpretation, is that even if the complex field is just a convenient tool for organizing information, for algebraic purposes it is as safe an abstraction as we could really hope for - and actually much more so than the real field.
The real field is categorically characterized (in second-order logic) as the unique complete ordered field, proved by Huntington in 1903. The complex field is categorically characterized as the unique algebraic closure of the real field, and also as the unique algebraically closed field of characteristic 0 and size continuum. I believe that you are speaking of the model-theoretic first-order notion of categoricity-in-a-cardinal, which is different than the categoricity remarks made in the essay.
1 reply →
A long time ago on HN, I said that I didn't like complex numbers, and people jumped all over my case. Today I don't think that there's anything wrong with them, I just get a code smell from them because I don't know if there's a more fundamental way of handling placeholder variables.
I get the same feeling when I think about monads, futures/promises, reactive programming that doesn't seem to actually watch variables (React.. cough), Rust's borrow checker existing when we have copy-on-write, that there's no realtime garbage collection algorithm that's been proven to be fundamental (like Paxos and Raft were for distributed consensus), having so many types of interprocess communication instead of just optimizing streams and state transfer, having a myriad of GPU frameworks like Vulkan/Metal/DirectX without MIMD multicore processors to provide bare-metal access to the underlying SIMD matrix math, I could go on forever.
I can talk about why tau is superior to pi (and what a tragedy it is that it's too late to rewrite textbooks) but I have nothing to offer in place of i. I can, and have, said a lot about the unfortunate state of computer science though: that internet lottery winners pulled up the ladder behind them rather than fixing fundamental problems to alleviate struggle.
I wonder if any of this is at play in mathematics. It sure seems like a lot of innovation comes from people effectively living in their parents' basements, while institutions have seemingly unlimited budgets to reinforce the status quo..
A decent substitute for i is R, an explicit rotation operator. Just a change of symbol but it clears a lot of things up.
Ok... How about this? All (human) models of the universe are "Ptolemaic" to some degree. That is, they work but don't necessarily describe the true underlying structure ().
So it is a mistake to assume that any model is actually true.
Therefore complex numbers are just another modeling language, useful in certain contexts. All mathematics is just a modeling language.
() If you doubt this, ask yourself the question: Will the science of particle physics have changed in 100 years?
I wonder off and on if in good fiction of "when we meet aliens and start communicating using math"- should the aliens be okay with complex residue theorems? I used to feel the same about "would they have analytic functions as a separate class" until I realized how many properties of polynomials analytic functions imitate (such as no nontrivial bounded ones).
As a math enjoyer who got burnt out on higher math relatively young, I have over time wondered if complex numbers aren’t just a way to represent an n-dimensional concept in n-1 dimensions.
Which makes me wonder if complex numbers that show up in physics are a sign there are dimensions we can’t or haven’t detected.
I saw a demo one time of a projection of a kind of fractal into an additional dimension, as well as projections of Sierpinski cubes into two dimensions. Both blew my mind.
Might you mean an n-dimensional concept in n/2 dimensions?
Stepping out of pure maths and into engineering we find complex numbers indispensable for describing physical systems and predicting system change over time.
I don’t have a list to hand, but there are so many areas of physics and engineering where complex numbers are the best representation of how we perceive the universe to work.
That's how I see complex numbers:
In mathematics and physics, complex numbers aren't just "imaginary" values—they are the secret language of 2D rotation. While real numbers live on a 1D line, complex numbers inhabit a 2D plane, and multiplying them acts as a bridge between dimensions. 1. The Geometry of i To understand how we switch dimensions, look at the imaginary unit i. In a standard real-number system, you only move left or right. Adding i introduces a vertical axis. * The 90-degree turn: Multiplying a real number by i is geometrically equivalent to a 90° counter-clockwise rotation. * The Dimension Switch: If you start at 1 (on the x-axis) and multiply by i, you land at i (on the y-axis). You have effectively "switched" your direction from horizontal to vertical. 2. Rotation via Euler’s Formula The most elegant link between complex numbers and rotation is Euler’s Formula: This formula places any complex number on a unit circle in the complex plane. When you multiply a vector by e^{i\theta}, you aren't changing its length; you are simply rotating it by the angle \theta. Why this matters: * Algebraic Simplicity: Instead of using messy rotation matrices (which involve four separate multiplications and additions), you can rotate a point by simply multiplying two complex numbers. * Phase in Physics: This is why complex numbers are used in electrical engineering and quantum mechanics. A "phase shift" in a wave is just a rotation in the complex plane. 3. Beyond 2D: Quaternions If complex numbers (a + bi) handle 2D rotations by adding one imaginary dimension, what happens if we want to rotate in 3D? To handle 3D space without hitting "Gimbal Lock" (where two axes align and you lose a degree of freedom), mathematicians use Quaternions. These extend the concept to three imaginary units: i, j, and k. > The Rule of Four: Interestingly, to rotate smoothly in three dimensions, you actually need a four-dimensional number system. > Summary Table | Number System | Dimensions | Primary Use in Rotation | |---|---|---| | Real Numbers | 1D | Scaling (stretching/shrinking) | | Complex Numbers | 2D | Planar rotation, oscillations, AC circuits | | Quaternions | 4D | 3D computer graphics, aerospace navigation |
They can be treated as vectors, but they have "superpowers" that standard vectors do not. 1. The Similarities (The 2D Map) In a purely visual or structural sense, a complex number z = a + bi behaves exactly like a 2D vector \vec{v} = (a, b). * Addition: Adding two complex numbers is identical to "tip-to-tail" vector addition. * Magnitude: The "absolute value" (modulus) of a complex number |z| = \sqrt{a^2 + b^2} is the same as the length of a vector. * Coordinates: Both represent a point on a 2D plane. 2. The Difference: Multiplication This is where complex numbers leave standard 2D vectors in the dust. In standard vector algebra (like what you'd use in an introductory physics class), there isn't a single, clean way to "multiply" two 2D vectors to get another 2D vector. You have the Dot Product (which gives you a single number/scalar) and the Cross Product (which actually points out of the 2D plane into the 3D world). Complex numbers, however, can be multiplied together to produce another complex number. The "Rotation" Secret When you multiply two complex numbers, the math automatically handles two things at once: * Scaling: The lengths are multiplied. * Rotation: The angles are added. Standard vectors cannot do this on their own; you would need to bring in a "Rotation Matrix" to force a vector to turn. A complex number just "knows" how to turn naturally through its imaginary component. 3. When to use which? Mathematically, complex numbers form a Field, while vectors form a Vector Space. * Use Vectors when you are dealing with forces, velocities, or any dimension higher than 2 (like 3D space). * Use Complex Numbers when you are dealing with things that rotate, vibrate, or oscillate (like radio waves, electricity, or quantum particles). > The Peer-to-Peer Truth: Think of a complex number as a vector with an attitude. It lives in the same 2D house, but it knows how to spin and transform itself algebraically in ways a simple (x, y) coordinate cannot. >
Perhaps of your interest might be this work https://arxiv.org/abs/2101.10873v1 on why quantum physics needs complex numbers to work. Interesting noting though that as for solving polynomials, quantum physics might be also considered a “convenience” within the Copenhagen interpretation
Unsure this would help, but maybe thinking in English Prime could be an interesting exercice. https://en.wikipedia.org/wiki/E-Prime
My naive take is we discovered it as a math tool first but later on rediscovered it in nature when we discovered the electromagnetic field.
The electromagnetic field is naturally a single complex valued object(Riemann/Silberstein F = E + i cB), and of course Maxwell's equations collapse into a single equation for this complex field. The symmetry group of electromagnetism and more specifically, the duality rotation between E and B is U(1), which is also the unit circle in the complex plane.
People thought negative numbers were weird until the 1800s or so, they arose in much the same way as a way to solve algebraic equations (or even just to balance the books, literally).
Complex numbers were always going to show up just so we could diagonalise matrices, which is an important part of solving (linear) differential equations.
> Is this the shadow of something natural that we just couldn't see, or just a convenience?
They originally arose as tool, but complex numbers are fundamental to quantum physics. The wave function is complex, the Schrödinger equation does not make sense without them. They are the best description of reality we have.
The schroedinger equation could be rewritten as two coupled equations without the need for complex numbers. Complex numbers just simplify things and "beautify it", but there is nothing "fundamental" about it, its just representation.
1 reply →
Complex numbers are just a field over 2D vectors, no? When you find "complex solutions to an equation", you're not working with a real equation anymore, you're working in C. I hate when people talk about complex zeroes like they're a "secret solution", because you're literally not talking about the same equation anymore.
There's this lack of rigor where people casually move "between" R and C as if a complex number without an imaginary component suddenly becomes a real number, and it's all because of this terrible "a + bi" notation. It's more like (a, b). You can't ever discard that second component, it's always there.
We identify the real number 2 with the rational number 2 with the integer 2 with the natural number 2. It does not seem so strange to also identify the complex number 2 with those.
2 replies →
The movement from R to C can be done rigorously. It gets hand-waved away in more application-oriented math courses, but it's done properly in higher level theoretically-focused courses. Lifting from a smaller field (or other algebraic structure) to a larger one is a very powerful idea because it often reveals more structure that is not visible in the smaller field. Some good examples are using complex eigenvalues to understand real matrices, or using complex analysis to evaluate integrals over R.
I hate when people casually move "between" Q and Z as if a rational number with unit denominator suddenly becomes an integer, and it's all because of this terrible "a/b" notation. It's more like (a, b). You can't ever discard that second component, it's always there. ;)
1 reply →
It's not like I have a real answer, of course, but something flipped inside of me after hearing the following story by Aaronson. He is asking[0], why quantum amplitudes would have to be complex. I.e., can we imagine a universe, where it's not the case?
> Why did God go with the complex numbers and not the real numbers?
> Years ago, at Berkeley, I was hanging out with some math grad students -- I fell in with the wrong crowd -- and I asked them that exact question. The mathematicians just snickered. "Give us a break -- the complex numbers are algebraically closed!" To them it wasn't a mystery at all.
Apparently, you weren't one of these math grad students, and, to be fair, Aaronson is starting with the question that is somewhat opposite to yours, but still, doesn't it intuitively make sense somehow? We are modeling something. In the process of modeling something we discover functions, and algebra, and find out that we'd like to use square roots all over the place. And just that alone leads us naturally to complex numbers! We didn't start with them, we only imagined an algebra that allows us to describe some process we'd like to describe, and suddenly there's no way around complex numbers! To me, thinking this way makes it almost obvious that ℂ-numbers are "real" somehow, they are indeed the fundamental building block of some complex-enough model, while ℝ are not.
Now, I must admit, that of course it doesn't reveal to me what the fuck they actually are, how to "imagine" them in the real world. I suppose, it's the same with you. But at least it makes me quite sure that indeed this is "the shadow of something natural that we just couldn't see", and I just don't know what. I believe it to be the consequence of us currently representing all numbers somehow "wrong". Similarly to how ancient Babylonian fraction representations were preventing ancient Babylonians from asking the right questions about them.
P.S. I think I must admit, that I do NOT believe real numbers to be natural in any sense whatsoever. But this is completely besides the point.
[0] https://www.scottaaronson.com/democritus/lec9.html
1. Algebra: Let's say we have a linear operator T on a real vector space V. When trying to analyze a linear operator, a key technique is to determine the T-invariant subspaces (these are subspaces W such that TW is a subset of W). The smallest non-trivial T-invariant subspaces are always 1- or 2-dimensional(!). The first case corresponds to eigenvectors, and T acts by scaling by a real number. In the second case, there's always a basis where T acts by scaling and rotation. The set of all such 2D scaling/rotation transformations are closed under addition, multiplication, and the nonzero ones are invertible. This is the complex numbers! (Correspondence: use C with 1 and i as the basis vectors, then T:C->C is determined by the value of T(1).)
2. Topology: The fact the complex numbers are 2D is essential to their fundamentality. One way I think about it is that, from the perspective of the real numbers, multiplication by -1 is a reflection through 0. But, from an "outside" perspective, you can rotate the real line by 180 degrees, through some ambient space. Having a 2D ambient space is sufficient. (And rotating through an ambient space feels more physically "real" than reflecting through 0.) Adding or multiplying by nonzero complex numbers can always be performed as a continuous transformation inside the complex numbers. And, given a number system that's 2D, you get a key topological invariant of closed paths that avoid the origin: winding number. This gives a 2D version of the Intermediate Value Theorem: If you have a continuous path between two closed loops with different winding numbers, then one of the intermediate closed loops must pass through 0. A consequence to this is the fundamental theorem of algebra, since for a degree-n polynomial f, when r is large enough then f(r*e^(i*t)) traces out for 0<=t<=2*pi a loop with winding number n, and when r=0 either f(0)=0 or f(r*e^(i*t)) traces out a loop with winding number 0, so if n>0 there's some intermediate r for which there's some t such that f(r*e^(i*t))=0.
So, I think the point is that 2D rotations and going around things are natural concepts, and very physical. Going around things lets you ensnare them. A side effect is that (complex) polynomials have (complex) roots.
Does this seemingly-amazing 2swap math exposition video offer any extra perspective? https://youtu.be/9HIy5dJE-zQ
I ask as someone who doesn't understand as much as you, but who is charmed by such visual explanations :)
Given that you have a Ph.D. in mathematics, this might seem hopelessly elementary, but who knows--I found it intuitive and insightful: https://news.ycombinator.com/item?id=18310788
I've always been satisfied with the explanation "Just as you need signed numbers for translation, you need complex numbers to express rotation." Nobody asks if negative numbers are really a natural thing, so it doesn't make sense to ask if complex ones are, IMO.
I like to think of complex numbers as “just” the even subset of the two dimensional geometric algebra.
Almost every other intuition, application, and quirk of them just pops right out of that statement. The extensions to the quarternions, etc… all end up described by a single consistent algebra.
It’s as if computer graphics was the first and only application of vector and matrix algebra and people kept writing articles about “what makes vectors of three real numbers so special?” while being blithely unaware of the vast space that they’re a tiny subspace of.
Clifford algebras are harder to philosophically motivate than complex numbers, so you've reduced a hard problem to a harder problem.
3 replies →
[Obligatory: Engineering background. Not an expert]
I've always found it a bit odd that we DO define "i" to help us express complex numbers, with the convenient assumption that "i = sqrt(-1)"... but we DON'T have any such symbols to map between more than 2 dimensions.
I felt a bit better when I found out about - (nth) roots of unity (to explore other "i"-like definitions, including things like roots of unity modulo n, and hidden abelian subgroup problems which feel a bit to me like dealing with orthogonal dimensions) - tensors (e.g. in physics, when we need a better way to discuss more than 2 dimensions, and often establish syntactic sugar for (x,y,z,t))
IDK if that helps at all (or worse, simply betrays some misunderstanding of mine. If so, please complain- I'd appreciate the correction!)
How does your question differ from the classic question more normally applied to maths in general - does it exist outside the mind (eg platonism) or no (eg. nominalism)?
If it doesn't differ, you are in the good company of great minds who have been unable to settle this over thousands of years and should therefore feel better!
More at SEP:
https://plato.stanford.edu/entries/philosophy-mathematics/
How are there real numbers real? They're certainly not physical in a finite universe with quantised fundamental fields. I would say that natural numbers are there only physically represented ones and everything else is convenience.
HN once recommended a book
https://press.princeton.edu/books/paperback/9780691133911/ne...
Maybe the bottom ~1/3, starting at "The complex field as a problem for singular terms", would be helpful to you. It gives a philosophical view of what we mean when we talk about things like the complex numbers, grounded in mathematical practice.
> Is this the shadow of something natural that we just couldn't see
In special relativity there are solutions that allow FTL if you use imaginary numbers. But evidence suggests that this doesn’t happen.
> I believe real numbers to be completely natural, but far greater mathematicians than I found them objectionable only a hundred years ago
I believe even negative numbers had their detractors
> I doubt anyone could make a reply to this comment that would make me feel any better about it.
You may be right, but just to have said it : the Fast Fourier Transform requires complex numbers. One can write a version that avoids complex numbers, but (a) its ugliness gives away what's missing, and (b) it's significantly slower in execution.
Oh -- also --
e^(i Ⲡ) + 1 = 0
Nevertheless, you may be right.
I'm presuming this is old news to you, but what helped me get comfortable with ℂ was learning that it's just the algebraic closure of ℝ.
And why would R be "entitled" to an algebraic closure?
(I have a math degree, so I don't have any issues with C, but this is the kind of question that would have troubled me in high school.)
4 replies →
Even the counting numbers arose historically as a tool, right?
Even negative numbers and zero were objected to until a few hundred years ago, no?
I am with you on this (the challenge, not (yet) the phd), however, I myself have a far greater problem.
I do not see what’s the deal about prime numbers which seems to be more of a limitation on our end, similar to our shortage in understanding to a point we call e, π, √2 etc Irrationals.
We simply did not get the actual mathematical structure of the universe and we came up with something “good enough” that helps moving forward.
In the universe the perfect circle has perfect symmetry, hence perfect ratio, hence well-defined sweet heaven balanced harmonic entity.
Exponentials are natural phenomena. The very fact that e is its own derivative tells us we are all wrong here.
We are in an infinite escape that no matter how long we will play, and how many riddles we will solve, we will never get the entire picture.
Yes, primes are nice structure when you deal with us humans counting potatoes. But e, just e, let alone √2 or π are far more fascinating to me.
The e point cuts deep. e being its own derivative isn’t a curiosity. It’s saying that there’s a growth process so fundamental that its rate is indistinguishable from its state. That’s not a number — it’s a signature of how change works. And yet: π, e, √2 — we only name them, define them, catch them using the integers. π is the ratio of circumference to diameter. Ratio of what to what? e is lim(1 + 1/n)^n. The integers sneak in. Is that just our access route? Or is discreteness also woven into the fabric, alongside continuity?
My intuition led me to the following: we think our counting units (1, 2, 3, …) and fractions are the “numbers”, and when we want to refer to multi-dimensional phenomena, we use vectors or matrices or any other logical structure.
However, this is a very superficial aspect of the business, since the actual math is multi-dimensional inherently. The natural math is not linear, nor is it a plane. It is simply a multi-dimensional number system (imagine our complex numbers, but many other dimensions). Perhaps tensors or even more. This is why we experience quantum mechanics as statistical states, results of specific measurements. We think in units, and we don’t understand things are happening in parallel across all directions. Once we figure this out, we will understand why e, π and others are as natural as it gets, while our natural numbers are barely a dot, a point in the real math universe.
Sorry for the length but you triggered me with a long time pain point.
Thanks for your comment.
C is the only way to make a field out of pairs of reals. Also (or rather just another facet of the same phenomenon) we might be interested in polynomials with integer coefficients, but some of those will have non integral roots. And we might be interested in polynomials with rational coeffs but some will not have rational roots. Same with the reals but the buck stops with the complex numbers. They are definitely not accidental they are the natural (so to speak) completion of our number system. That they exist physically in some sense is "unreasonable effectiveness" territory.
Maybe it is a notation issue.
What is a negative number? What is multiplication? What is a complex "number"? Complex are not even orderable. Is complex addition an overloading of the addition operator. Same with multiplication?
What i squared is -1 ? What does -1 even mean? Is the sign, a kind of operator?
The geometric interpretation help. These are transformations. Instead of 1 + i, we could/should write (1,i)
The AI might be clearer: https://gemini.google.com/share/6e00fab74749
A lot of math is not very clear because it is not very well taught. The notations are unclear. For instance, another example is: what is the difference between a matrix and a tensor? But that is another debate for anyone who wants to think about it. The definition found in books is often kind of wrong making a distinction that shouldn't really exist more often than not.
I don't understand what it means for something to feel "natural". You can formally define the real numbers in multiple ways which are all isomorphic and coherent. These definitions are usually more complicated than people expect which nicely show that the real set is not a very intuitive object. Same thing for C.
There is not evidence for C. It's a construction. Obviously it shows up in physics models. They are built using mathematical formalism.
If multiple definitions turn out to be isomorphic, that's generally because there is an underlying structure linking the properties together.
Personally, no number is natural. They are probably a human construct. Mathematics does not come naturally to a human. Nowadays, it seems like every child should be able to do addition, but it was not the case in the past. The integers, rationals, and real numbers are a convenience, just like the complex numbers.
A better way to understand my point is: we need mental gymnastics to convert problems into equations. The imaginary unit, just like numbers, are a by-product of trying to fit problems onto paper. A notable example is Schrodinger's equation.
The complex numbers is just the ring such that there is an element where the element multiplied by itself is the inverse of the multiplicative identity. There are many such structures in the universe.
For example, reflections and chiral chemical structures. Rotations as well.
It turns out all things that rotate behave the same, which is what the complex numbers can describe.
Polynomial equations happen to be something where a rotation in an orthogonal dimension leaves new answers.
> In particular, they arose historically as a tool for solving polynomial equations.
That is how they started, but mathematics becomes remarkable "better" and more consistent with complex numbers.
As you say, The Fundamental Theorem of Algebra relies on complex numbers.
Cauchy's Integral Theorem (and Residue Theorem) is a beautiful complex-only result.
As is the Maximum Modulus Principle.
The Open Mapping Theorem is true for complex functions, not real functions.
---
Are complex numbers really worse than real numbers? Transcendentals? Hippasus was downed for the irrationals.
I'm not sure any numbers outside the naturals exist. And maybe not even those.
As you say, "the fundamental theorem of algebra relies on complex numbers" gets to the heart of the view that complex numbers are the algebraic closure of R.
But also, the most slick, sexy proof I know for the fundamental theorem of algebra is via complex analysis, where it's an easy consequence of Liouville's Theorem, which states that any function which is complex-differentiable and bounded on all of C must in fact be constant.
Like many other theorems in complex analysis, this is extremely surprising and has no analogue in real analysis!
If you view all of math as just a set of logic games with the axioms as the basic rules, then there's nothing unnatural about complex numbers. Various mathematical constructs describe various phenomena in the real world well. It just so happens that many physical systems behave in a way that can be very naturally described using complex numbers.
I've been thinking about this myself.
First, let's try differential equations, which are also the point of calculus:
Now algebraic closure, but better:
Next, general theory of fields:
I think maybe differential geometry can provide some help here.
I began studying 3-manifolds after coming up with a novel way I preferred to draw their presentations. All approaches are formally equivalent, but they impose different cognitive loads in practice. My approach was trivially equivalent to triangulations, or spines, or Heegaard splittings, or ... but I found myself far more nimbly able to "see" 3-manifolds my way.
I showed various colleagues. Each one would ask me to demonstrate the equivalence to their preferred presentation, then assure me "nothing to see here, move along!" that I should instead stick to their convention.
Then I met with Bill Thurston, the most influential topologist of our lifetimes. He had me quickly describe the equivalence between my form and every other known form, effectively adding my node to a complete graph of equivalences he had in his muscle memory. He then suggested some generalizations, and proposed that circle packings would prove to be important to me.
Some mathematicians are smart enough to see no distinction between any of the ways to describe the essential structure of a mathematical object. They see the object.
Would you mind sharing your representation? :-)
I was interested in how it would make sense to define complex numbers without fixing the reals, but I'm not terribly convinced by the method here. It seemed kind of suspect that you'd reduce the complex numbers purely to its field properties of addition and multiplication when these aren't enough to get from the rationals to the reals (some limit-like construction is needed; the article uses Dedekind cuts later on). Anyway, the "algebraic conception" is defined as "up to isomorphism, the unique algebraically closed field of characteristic zero and size continuum", that is, you just declare it has the same size as the reals. And of course now you have no way to tell where π is, since it has no algebraic relation to the distinguished numbers 0 and 1. If I'm reading right, this can be done with any uncountable cardinality with uniqueness up to isomorphism. It's interesting that algebraic closure is enough to get you this far, but with the arbitrary choice of cardinality and all these "wild automorphisms", doesn't this construction just seem... defective?
It feels a bit like the article's trying to extend some legitimate debate about whether fixing i versus -i is natural to push this other definition as an equal contender, but there's hardly any support offered. I expect the last-place 28% poll showing, if it does reflect serious mathematicians at all, is those who treat the topological structure as a given or didn't think much about the implications of leaving it out.
More on not being able to find π, as I'm piecing it together: given only the field structure, you can't construct an equation identifying π or even narrowing it down, because if π is the only free variable then it will work out to finding roots of a polynomial (you only have field operations!) and π is transcendental so that polynomial can only be 0 (if you're allowed to use not-equals instead of equals, of course you can specify that π isn't in various sets of algebraic numbers). With other free variables, because the field's algebraically closed, you can fix π to whatever transcendental you like and still solve for the remaining variables. So it's something like, the rationals plus a continuum's worth of arbitrary field extensions? Not terribly surprising that all instances of this are isomorphic as fields but it's starting to feel about as useful as claiming the real numbers are "up to set isomorphism, the unique set whose cardinality matches the power set of the natural numbers", like, of course it's got automorphisms, you didn't finish defining it.
You need some notion of order or of metric structure if you want to talk about numbers being "close" enough to π. This is related to the property of completeness for the real numbers, which is rather important. Ultimately, the real numbers are also a rigorously defined abstraction for the common notion of approximating some extant but perhaps not fully known quantity.
1 reply →
There's a related idea in mathematics, the proof that the real numbers are a vector space over the rational numbers. If you scramble the basis vectors, you obtain an isomorphic vector space, but it is effectively a "permutation" of |R. Of course, vector spaces don't even have multiplication, but one interesting thing is that the proof requires the axiom of choice.
I think that actually constructing a "nontrivial" model of C using the field conception might require choosing a member from each of an infinite family of sets, i.e. it requires applying the axiom of choice, similar to the way you construct R as a vector space.
Vector space over which field ? The reals ? In that case you have got a chicken and egg problem.
Most commenters are talking about the first part of the post, which lays out how you might construct the complex numbers if you're interested in different properties of them. I think the last bit is the real interesting substance, which is about how to think about things like this in general (namely through structuralism), and why the observations of the first half should not be taken as an argument against structuralism. Very interesting and well written.
It is very re-assuring to know, on a post where I can essentially not even speak the language (despite a masters in engineering) HN is still just discussing the first paragraph of the post.
The field C is a tool, just as with any other abstraction in math. Accountants don't need it, so ignore it. In abstract algebra they arise - and so do many other abstractions, such as quaternions. Quaternions can be regarded as a further development of the concept of number. Note that every such development gives up some property its predecessors had. In the case of quaternions, commutativity. If a field of application finds a mathematical invention useful, it gets used. Often, too, it's a matter of simplicity. Use mathematical invention X in applied field Y and it simplifies the work. Abstain from using invention X, and then the work could still be done in a less simple way. That's all there is to it.
To be clear, this "disagreement" is about arbitrary naming conventions which can be chosen as needed for the problem at hand. It doesn't make any difference to results.
The author is definitely claiming that it's not just about naming conventions: "These different perspectives ultimately amount, I argue, to mathematically inequivalent structural conceptions of the complex numbers". So you would need to argue against the substance of the article to have a basis for asserting that it is just about naming conventions.
I mean, fine, I guess? But on the other hand Meh.
Article: "They form the complex field, of course, with the corresponding algebraic structure, but do we think of the complex numbers necessarily also with their smooth topological structure? Is the real field necessarily distinguished as a fixed particular subfield of the complex numbers? Do we understand the complex numbers necessarily to come with their rigid coordinate structure of real and imaginary parts?"
So yes these are choices. If I care how the complex plane maps onto some real number somewhere, then I have to pick a mapping. "Real part" is only one conventional mapping. Ditto the other stuff: If I'm going to do contour integrals then I've implied some things about metric and handedness.
I still don't see how this really puts mathematicians in "disagreement." Let's pedestrian example:
I usually make an x,y plot with the x-axis pointing to the right and the y-axis pointing away from me. If I put a z-axis, personally I'll make it upwards out of the paper (sometimes this matters). Usually, but not always, my co-ordinates are meant to be smooth. But if somebody does some of this another way, are they really disagreeing with me? I think "no." If we're talking about the same problem, we'll eventually get the same answer (after we each fix 3 or 4 mistakes). If we're talking about different problems, then we need our answers to potentially "disagree."
2 replies →
In the article he says there is a model of ZFC in which the complex numbers have indistinguishable square roots of -1. Thus that model presumably does not allow for a rigid coordinate view of complex numbers.
It just means that there are two indistinguishable coordinate views a + bi and a - bi, and you can pick whichever you prefer.
6 replies →
I'm not a professional, but to me it's clear that whether i and -i are "the same" or "different" is actually quite important.
I'm a professional mathematician and professor.
This is a very interesting question, and a great motivator for Galois theory, kind of like a Zen koan. (e.g. "What is the sound of one hand clapping?")
But the question is inherently imprecise. As soon as you make a precise question out of it, that question can be answered trivially.
1 reply →
They would never be the same. It's just that everything still works the same if you switch out every i with -i (and thus every -i with i).
4 replies →
A bit like +0 and -0? It makes sense in some contexts, and none in others.
In particular, the core disagreement seems to be about whether the automorphisms of C should keep R (as a subset) fixed, or not.
The easy solution here would be to just have two different names: (general) automorphisms (of which there might be many) and automorphisms-that-keep-R-fixed (of which there are just the two mentioned.
If you make this distinction, then the approach of construction of C should not matter, as they are all equivalent?
Agreed. To me it looks like the entire discussion is just bike-shedding.
It's math. Bikeshedding is the goal.
Names, language, and concepts are essential to and have powerful effects on our understanding of anything, and knowledge of mathematics is much more than the results. Arguably, the results are only tests of what's really important, our understanding.
No the entire point is that it makes difference in the results. He even gave an example in which AI(and most humans imo) picked different interpretation of complex numbers giving different result.
I really know almost nothing about complex analysis, but this sure feels like what physicists call observational entropy applied to mathematics: what counts as "order" in ℂ depends on the resolution of your observational apparatus.
The algebraic conception, with its wild automorphisms, exhibits a kind of multiplicative chaos — small changes in perspective (which automorphism you apply) cascade into radically different views of the structure. Transcendental numbers are all automorphic with each other; the structure cannot distinguish e from π. Meanwhile, the analytic/smooth conception, by fixing the topology, tames this chaos into something with only two symmetries. The topology acts as a damping mechanism, converting multiplicative sensitivity into additive stability.
I'll just add to that that if transformers are implementing a renormalization group flow, than the models' failure on the automorphism question is predictable: systems trained on compressed representations of mathematical knowledge will default to the conception with the lowest "synchronization" cost — the one most commonly used in practice.
https://www.symmetrybroken.com/transformer-as-renormalizatio...
The whole substack is great, I recommend reading all of it if you are interested in infinity
He's also very active at Stack Exchange
– https://stackexchange.com/users/510234/joel-david-hamkins
– https://mathoverflow.net/users/1946/joel-david-hamkins
The way I think of complex numbers is as linear transformations. Not points but functions on points that rotate and scale. The complex numbers are a particular set of 2x2 matrices, where complex multiplication is matrix multiplication, i.e. function composition. Complex conjugation is matrix transposition. When you think of things this way all the complex matrices and hermitian matrices in physics make a lot more sense. Which group do I fall into?
This would be the rigid interpretation since i and -i are concrete distinguishable elements with Im and Re defined.
if only matrices would've been invented before i..
In short: Reposting my comment from https://news.ycombinator.com/item?id=46775758 thread:
scaling -> real numbers
2d rotations and scaling -> complex numbers
3d rotations and scaling -> quaternions
In the case of quaternions, there is called double-covering, which turns out (rather than being an artefact), play fundamental role in particle physics.
Does anyone have any tips on how I would fundamentally understand this article without just going back to school and getting a degree in mathematics? This is the sort of article where my attempts to understand a term only ever increase the number of terms I don't understand.
Study analysis and algebra from books and videos on your own?
There's no disagreement, the algebraic one is the correct one, obviously. Anyone that says differently is wrong. :)
Being an engineer by training, I never got exposed to much algebra in my courses (beyond the usual high school stuff in high school). In fact did not miss it much either. Tried to learn some algebraic geometry then... oh the horror. For whatever reason, my intuition is very geometric and analytic (in the calculus sense). Even things like counting and combinatorics, they feel weird, like dry flavorless pretzels made of dried husk. Combinatorics is good only when I can use Calculus. Calculus, oh that's different, it's rich savoury umami buttery briskets. Yum.
That's not the interesting part. The interesting part is that I thought everyone is the same, like me.
It was a big and surprising revelation that people love counting or algebra in just the same way I feel about geometry (not the finite kind) and feel awkward in the kind of mathematics that I like.
It's part of the reason I don't at all get the hate that school Calculus gets. It's so intuitive and beautifully geometric, what's not to like. .. that's usually my first reaction. Usually followed by disappointment and sadness -- oh no they are contemplating about throwing such a beautiful part away.
School calculus is hated because it's typically taught with epsilon delta proofs which is a formalism that happened later in the history of calculus. It's not that intuitive for beginners, especially students who haven't learn any logic to grok existential/universal quantifiers. Historically, mathematics is usually developed by people with little care for complete rigor, then they erase their tracks to make it look pristine. It's no wonder students are like "who the hell came up with all this". Mathematics definitely has an education problem.
7 replies →
"The Axiom of Choice is obviously true, the Well-ordering theorem obviously false, and who can tell about Zorn's lemma?"
(attributed to Jerry Bona)
Hah. This perspective is how you get an embedding of booleans into the reals in which False is 1 and True is -1 :-)
(Yes, mathematicians really use it. It makes parity a simpler polynomial than the normal assignment).
It works if you don't care about magnitudes, distances, or angles of complex numbers. Those properties aren't algebraic.
The complex numbers are just elements of R[i]/(i^2+1). I don't even understand how people are able to get this wrong.
Of course everyone agrees that this is a nice way to construct the complex field. The question is what is the structure you are placing on this construction. Is it just a field? Do you intend to fix R as a distinguished subfield? After all, there are many different copies of R in C, if one has only the field structure. Is i named as a constant, as it seems to be in the construction when you form the polynomials in the symbol i. Do you intend to view this as a topological space? Those further questions is what the discussion is about.
3 replies →
Obviously.
As a non-mathematican, I found that trying to introduce C as a closure of R (i. e. analytically in author's terms) invariably triggers confusion and "hey, why do mathematicians keep changing rules on the fly, they just told me square of minus one doesn't exist". And in terms of practical applications it doesn't seem particularly useful on the first glance (who cares about solving cubics algebraically? The formula is too unwieldy anyway.) Most applications tends to start in the coordinate view and go from there. And it does introduce a nasty sharp edge to cut oneself on (i vs -i), but then for instance physics is full of such edges: direction of pseudo-vectors, sign of voltage on loads sources, holes in dimensional analysis (VA vs W, Ohm/square), the list could go on. And nobody really care.
> "hey, why do mathematicians keep changing rules on the fly, they just told me square of minus one doesn't exist
Mathematicians aren’t chasing numerical solutions, they’re chasing structure. ℂ isn’t just about solving cubics, it’s about eliminating holes in algebra so the theory behaves uniformly and is easier to build upon.
And as for "changing rules" they haven't changed, they have broadened the field (literally) over which the old rules applied in a clever way to remove a restriction.
Tired: De Moivre’s Theorem Wired: The complex number-line Expired: The complex plane
Real men know that infinite sets are just a tool for proving statements in Peano arithmetic, and complex numbers must be endowed with the standard metric structure, as God intended, since otherwise we cannot use them to approximate IEEE 754 floats.
The link is about set theory, but others may find this interesting which discusses division algebras https://nigelvr.github.io/post-4.html
Basically C comes up in the chain R \subset C \subset H (quaternions) \subset O (octonions) by the so-called Cayley-Dickson construction. There is a lot of structure.
Is there agreement Gaussian integers?
This disagreement seems above the head of non mathematicians, including those (like me) with familiarity with complex numbers
There is perfect agreement on the Gaussian integers.
The disagreement is on how much detail of the fine structure we care about. It is roughly analogous to asking whether we should care more about how an ellipse is like a circle, or how they are different. One person might care about the rigid definition and declare them to be different. Another notices that if you look at a circle at an angle, you get an ellipse. And then concludes that they are basically the same thing.
This seems like a silly thing to argue about. And it is.
However in different branches of mathematics, people care about different kinds of mathematical structure. And if you view the complex numbers through the lens of the kind of structure that you pay attention to, then ignore the parts that you aren't paying attention to, your notion of what is "basically the same as the complex numbers" changes. Just like how one of the two people previously viewed an ellipse as basically the same as a circle, because you get one from the other just by looking from an angle.
Note that each mathematician here can see the points that the other mathematicians are making. It is just that some points seem more important to you than others. And that importance is tied to what branch of mathematics you are studying.
The Gaussian integers usually aren't considered interesting enough to have disagreements about. They're in a weird spot because the integer restriction is almost contradictory with considering complex numbers: complex numbers are usually considered as how to express solutions to more types of polynomials, which is the opposite direction of excluding fractions from consideration. They're things that can solve (a restricted subset of) square-roots but not division.
This is really a disagreement about how to construct the complex numbers from more-fundamental objects. And the question is whether those constructions are equivalent. The author argues that two of those constructions are equivalent to each other, but others are not. A big crux of the issue, which is approachable to non-mathematicians, is whether it i and -i are fundamentally different, because arithmetically you can swap i with -i in all your equations and get the same result.
I don't think anyone thinks is "i and -i are fundamentally different". What they care more about is whether the 5 5th roots of 2 have an natural ordering or not.
One agreement could be that Eisenstein integers are more beautiful...
"God made the integers, all else is the work of man", Kronecker, 1886.
Complex numbers are just a fancy way to represent 2-dimensional numbers that are convenient in geometry through the sq(-1)=π/2 rotation.
They are nothing special and they could just be a matrix. Out of my head I think about complex integers. Also there are higher-order complex numbers which are defined by sq(sq(-1)) etc. In Greek complex numbers are called "mongrel". Both names are bad, I would just use 2-dimensional numbers.
the title is a bit clickbait - mathematicians don't disagree, all the "conceptions" the article proposes agree with each other. It also seems to conflate the algebraic closure of Q (which would contain the sqrt of -1) and all of the complex numbers by insisting that the former has "size continuum". Once you have "size continuum" then you need some completion to the reals.
anyhow. I'm a bit of an odd one in that I have no problems with imaginary numbers but the reals always seemed a bit unreal to me. that's the real controversy, actually. you can start looking up definable numbers and constructivist mathematics, but that gets to be more philosophy than maths imho.
For what it's worth, Errett Bishop, the famous constructivist did not have this kind of existential issue with the complex numbers, commenting that the Reals were inadequate for some things. I really liked the trig cos isin connection in High School
Idk if this perspective is naive, but complex numbers to me are most motivated by spinning things.
To the ones objecting to "choosing a value of i" I might argue that no such choice is made. i is the square root of -1 and there is only one value of i. When we write -i that is shorthand for (-1)i. Remember the complex numbers are represented by a+bi where a and b are real numbers and i is the square root of -1. We don't bifurcate i into two distinct numbers because the minus sign is associated with b which is one of the real numbers. There is a one-to-one mapping between the complex numbers and these ordered pairs of reals.
You say that i is "the square root of -1", but which one is it? There are two. This is the point in the essay---we cannot tell the difference between i and -i unless we have already agreed on a choice of which square root of -1 we are going to call i. Only then does the other one become -i. How do we know that my i is the same as your i rather than your -i?
To fix the coordinate structure of the complex numbers (a,b) is in effect to have made a choice of a particular i, and this is one of the perspectives discussed in the essay. But it is not the only perspective, since with that perspective complex conjugation should not count as an automorphism, as it doesn't respect the choice of i.
Is it two, or is it infinite? The quaternions have three imaginary units, i, j, and k. They're distinct, and yet each of them could be used for the complex numbers and they'd work the same way. How would I know that "my" imaginary unit i is the same as some other person's i? Maybe theirs is j, or k, or something else entirely.
1 reply →
One perspective of the complex numbers is that they are the even subalgebra of the 2D geometric algebra. The "i" is the pseudoscalar of that 2D GA, which is an oriented area.
If you flip the plane and look at it from the bottom, then any formula written using GA operations is identical, but because you're seeing the oriented area of the pseudoscalar from behind, its as if it gains a minus sign in front.
This is equivalent to using a right-handed versus left-handed coordinate systems in 3D. The "rules of physics" remain the same either way, the labels we assign to the coordinate systems are just a convention.
There are 2 square roots of 9, they are 3 and -3. Likewise there are two square roots of -1 which are i and -i. How are people trying to argue that there are two different things called i? We don't ask which 3 right? My argument is that there is only 1 value of i, and the distinction between -i and i is the same as (-1)i and (1)i, which is the same as -3 vs 3. There is only one i. If there are in fact two i's then there are 4 square roots of -1.
2 replies →
There is no way to distinguish between "i" and "-i" unless you choose a representation of C. That is what Galois Theory is about: can you distinguish the roots of a polynomial in a simple algebraic way?
For instance: if you forget the order in Q (which you can do without it stopping being a field), there is no algebraic (no order-dependent) way to distinguish between the two algebraic solutions of x^2 = 2. You can swap each other and you will not notice anything (again, assuming you "forget" the order structure).
Building off of this point, consider the polynomial x^4 + 2x^2 + 2. Over the rationals Q, this is an irreducible polynomial. There is no way to distinguish the roots from each other. There is also no way to distinguish any pair of roots from any other pair.
But over the reals R, this polynomial is not irreducible. There we find that some pairs of roots have the same real value, and others don't. This leads to the idea of a "complex conjugate pair". And so some pairs of roots of the original polynomial are now different than other pairs.
That notion of a "complex conjugate pair of roots" is therefore not a purely algebraic concept. If you're trying to understand Galois theory, you have to forget about it. Because it will trip up your intuition and mislead you. But in other contexts that is a very meaningful and important idea.
And so we find that we don't just care about what concepts could be understood. We also care about what concepts we're currently choosing to ignore!
3 replies →
The famous constructivist Errett Bishop did not have this sort of existential issue with the Complex Numbers, only saying the Reals were inadequate for some things.
My biggest pet peeve in complex analysis is the concept of multi-value functions.
Functions are defined as relations on two sets such that each element in the first set is in relation to at most one element in the second set. And suddenly we abandon that very definitions without ever changing the notation! Complex logarithms suddenly have infinitely many values! And yet we say complex expressions are equal to something.
Madness.
You can think of it as returning an equivalence class if you like. Then it's single-valued.
More explicitly, it returns an equivalence class whose members are complex numbers that differ by integer multiples of 2*pi*i.
When it's important to distinguish members of the class, we speak of branches of the logarithm.
Also note the very cool and fun topology connection here. The keyword to search for is Riemann surface.
> You can think of it as returning an equivalence class if you like. Then it's single-valued.
I can, but I still have to be very mindful of how I use the "=" sign. Sometimes it's an (in)equality, sometimes it's... the equivalence class thing. The ambiguity doesn't seem very elegant.
> Also note the very cool and fun topology connection here. The keyword to search for is Riemann surface.
I'll check that out, thanks.
Idk, to me it feels much much better than just picking one root when defining the inverse function.
This desire to absolutely pick one when from the purely mathematical perspective they're all equal is both ugly and harmful (as in complicates things down the line).
Well, yeah, the alternative is also bad.
But couldn't we just switch the nomenclature? Instead of an oxymoronic concept of "multivalue function", we could just call it "relation of complex equivalence" or something of sorts.
Just think of it as a function that returns an array or a set: it still one value in a sense
The square root of any number x is ±y, where +y = (+1)*y = y, and -y = (-1)*y.
So we define i as conforming to ±i = sqrt(-1). The element i itself has no need for a sign, so no sign needs to be chosen. Yet having defined i, we know that that i = (+1)*i = +i, by multiplicative identity.
We now have an unsigned base element for complex numbers i, derived uniquely from the expansion of <R,0,1,+,*> into its own natural closure.
We don't have to ask if i = +i, because it does by definition of the multiplicative identity.
TLDR: Any square root of -1 reduced to a single value, involves a choice, but the definition of unsigned i does not require a choice. It is a unique, unsigned element. And as a result, there is only a unique automorphism, the identity automorphism.
I thought i understood complex numbers and accepted them until I did countour integration for the first time.
Ever since then I have been deeply unsettled. I started questioning taking integrals to (+/-) infinity, and so I became unsettled with R too.
If C exists to fix R, then why does R even exist? Why does R need to be fixed? Why does the use of the upper or lower plane for counter integration not matter? I can do mathematically why, but why do we have a choice?
This blog post really articulated stuff formally that I have been bothered by for years.
Notably, neither `1 + i > 1 - i` or `1 + i < 1 - i` are correct statements, and obviously `1 + i = 1 - i` is absurd.
What do > and < mean in the context of an infinite 2D plane?
Typically, the order of complex numbers is done by projecting C onto R, i.e. by taking the absolute value.
1 reply →
One is above the plane and the other is below it. ;)
In a word - "true".
In more words - it's interesting, but messy:
https://en.wikipedia.org/wiki/Partial_order
https://en.wikipedia.org/wiki/Ordered_field
> The complex numbers also cannot be turned into an ordered field, as −1 is a square of the imaginary unit i.
Whoever coined the terms ‘complex numbers’ with a ‘real part’ and ‘imaginary part’ really screwed a lot of people..
How come? They are part real numbers, what would you call the other part?
We could've called the imaginaries "orthogonals", "perpendiculars", "complications", "atypicals", there's a million other options. I like the idea that a number is complex because it has a "complicated component".
1 reply →
Iirc Gauss suggested "lateral numbers". Not the worst idea, but it's too late now.
Twisted ? Rotated ?
I mean that they're not really numbers.
Usually they explain it something like: oh, at first people didn't know what 2-5 added up to, but then we invented negative numbers. Well, complex numbers are that but for square roots of negative numbers.
But that's a completely misleading way to explain these things. Complex numbers aren't numbers aren't numbers really.
2 replies →
Honestly, the rigid conception is the correct one. Im of the view that i as an attribute on a number rather than a number itself, in the same way a negative sign is an attribute. Its basically exists to generalize rotations through multiplication. Instead of taking an x,y vector and multiplying it by a matrix to get rotations, you can use a complex number representation, and multiply it by another complex number to rotate/scale it. If the cartesian magnitude of the second complex number is 1, then you don't get any scaling. So the idea of x/y coordinates is very much baked in to the "imaginary attribute".
I feel like the problem is that we just assume that e^(pi*i) = -1 as a given, which makes i "feel" like number, which gives some validity to other interpretations. But I would argue that that equation is not actually valid. It arises from Taylor series equivalence between e, sin and cos, but taylor series is simply an approximation of a function by matching its derivatives around a certain point, namely x=0. And just because you take 2 functions and see that their approximations around a certain point are equal, doesn't mean that the functions are equal. Even more so, that definition completely bypasses what it means to taking derivatives into the imaginary plane.
If you try to prove this any other way besides Taylor series expansion, you really cant, because the concept of taking something to the power of "imaginary value" doesn't really have any ties into other definitions.
As such, there is nothing really special about e itself either. The only reason its in there is because of a pattern artifact in math - e^x derivative is itself, while cos and sin follow cyclic patterns. If you were to replace e with any other number, note that anything you ever want to do with complex numbers would work out identically - you don't really use the value of e anywhere, all you really care about is r and theta.
So if you drop the assumption that i is a number and just treat i as an attribute of a number like a negative sign, complex numbers are basically just 2d numbers written in a special way. And of course, the rotations are easily extended into 3d space through quaternions, which use i j an k much in the same way.
> As such, there is nothing really special about e itself either. The only reason its in there is because of a pattern artifact in math - e^x derivative is itself
Not sure I follow you here... The special thing about e is that it's self-derivative. The other exponential bases, while essentially the same in their "growth", have derivatives with an extra factor. I assume you know e is special in that sense, so I'm unclear what you're arguing?
Im saying that the definition of polar coordinates for complex numbers using e instead of any other number is irrelevant to the use of complex numbers, but its inclusion in Eulers identity makes it seem like a i is a number rather than an attribute. And if you assume i is a number, it leads to one thinking that that you can define the complex field C. But my argument is that Eulers identity is not really relevant in the sense of what the complex numbers are used for, so i is not a number but rather a tool.
3 replies →
This completely misses the point of why the complex numbers were even invented. i is a number: it is one of the 2 solutions to the equation x^2 = -1 (the other being -i, of course). The whole point of inventing the complex numbers was to have a set of numbers for which any polynomial has a root. And sure, you can call this number (0,1) if you want to, but it's important to remember that C is not the same as R².
Your whole point about Taylor series is also wrong, as Taylor series are not approximations, they are actually equal to the original function if you take their infinite limit for the relevant functions here (e^x, sin x, cos x). So there is no approximation to be talked about, and no problem in identifying these functions with their Taylor series expansions.
I'd also note that there is no need to use Taylor series to prove Euler's formula. Other series that converge to e^x,cos x, sin x can also get you there.
>The whole point of inventing the complex numbers was to have a set of numbers for which any polynomial has a root
Think about what this implies.
You have an operation, like exponentiation, that has limits. Something squared can never be negative if you are talking about any real number.
In terms of Sets, you essentially have an operation that produces results only in a finite subset of the overall set. And so the inverse of that operation, when applied to the complement of that finite subset, is undefined.
However you can introduce another (ordered) set in complement to your original set and combine them to form a new set, with operations that define how you move around the values of those sets. So in the case of imaginary numbers, you basically redefine all your reals as "real number + 0 i". And now you have a way to apply that inverse operation to the complement of the finite subset, which means you can get answers to the roots of the polynomial.
And in defining the operation of multiplication, you essentially define a way to move around the 2 dimensional set now. And moving around 2 dimensions is exactly the same thing as rotation+scaling. And note that when you say sqrt(-1) = i, you basically assume that the complex plane is 2d. There is nothing that is stopping you from making a complex plane 3d or 4d or nd. So sqrt(-1) can also be j, or it can be k. To know what it is, you have to specify the axis of the plane when you specify the sqrt operation, which again, brings it back to the concept of rotations.
And thats my whole point, there is nothing special about i, its simply just a construct that bakes in rotations through any way you wanna define it.
>our whole point about Taylor series is also wrong, as Taylor series are not approximations, they are actually equal to the original function if you take their infinite limit
Looking back at what I wrote, I worded it very poorly.
I don't have a problem with any math involved, not trying to say that Eulers identity is not valid.
What Im trying to say is that all the definitions sort of assume that if you have some operation that you can do on real numbers, and have a result, if you just plug in a complex value, it all works out, so people think that i behaves like a number. I personally don't think that this is the case, specifically about i behaving like a number just because those results work out.
For example, even without Taylor series, you can prove Eulers identity using the limit formula for e(x). The idea is that you have (1+xi/n)^n as n goes to infinity, but because you baked in the rotation as a multiplication in the definition, all you are doing is starting at 1+0i and doing smaller and smaller rotations to get to some value, and the limit of that value is essentially the unit vector rotated by a certain angle. So naturally the cos and sin equivalence arises.
My issue is that the limit equation for e, in the case of the reals, take e x times in multiplication and then compute the limit equation, and you get equivalence. But in the case of the complex, you don't really have any idea what it takes something to ith power, but you can compute the limit equation, and so you end up with a definition of what it means to take something to the ith power.
My argument is that its not really applicable - not that its wrong, but the fact that its not defining exponentiation to the ith power in the sense that i has "number like" qualities like real numbers do. You would have to prove that an equivalence
What is really happening is that you never really escape the real numbers, and your complex numbers are just simplified operations that rotate/scale a number, like rotation matricies do through multiplication, and that in the nature of the definition of those rotations, you get stuff like Eulers identity, which is somewhat pointless because like I mentioned - the value of e (i.e 2.7) is never really used to compute anything in regards to complex numbers in polar form of re^ix, all you care about is r and the x which is the angle.
And for this reason, I don't consider i a number, so the analytic/smooth interpretations to me are meaningless.
1 reply →
Yeah i is not a number. Once you define complex numbers from reals and i, i becomes a complex numbers but that's a trick
i is not a "trick" or a conceit to shortcut certain calculations like, say, the small angle approximation. i is a number and this must be true because of the fundamental theorem of algebra. Disbelieving in the imaginary numbers is no different from disbelieving in negative numbers.
"Imaginary" is an unfortunate name which gives makes this misunderstanding intuitive.
https://youtube.com/playlist?list=PLiaHhY2iBX9g6KIvZ_703G3KJ...
However, what's true about what you and GP have suggested is that both i and -1 are used as units. Writing -10 or 10i is similar to writing 10kg (more clearly, 10 × i, 10 × -1, 10 × 1kg). Units are not normally numbers, but they are for certain dimensionless quantities like % (1/100) or moles (6.02214076 × 10^23) and i and -1. That is another wrinkle which is genuinely confusing.
https://en.wikipedia.org/wiki/Dimensionless_quantity
1 reply →
If you take this tack, then 0 and 1 are not numbers either.
7 replies →
Rotations fell out of the structure of complex numbers. They weren't placed there on purpose. If you want to rotate things there are usually better ways.
> If you want to rotate things there are usually better ways.
Can you elaborate? If you want a representation of 2D rotations for pen-and-paper or computer calculations, unit complex numbers are to my knowledge the most common and convenient one.
7 replies →
No.
The whole idea of imaginary number is its basically an extension of negative numbers in concept. When you have a negative number, you essentially have scaling + attribute which defines direction. When you encounter two negative attributes and multiply them, you get a positive number, which is a rotation by 180 degrees. Imaginary numbers extend this concept to continuous rotation that is not limited to 180 degrees.
With just i, you get rotations in the x/y plane. When you multiply by 1i you get 90 degree rotation to 1i. Multiply by i again, you get another 90 degree rotation to -1 . And so on. You can do this in xyz with i and j, and you can do this in 4dimentions with i j and k, like quaternions do, using the extra dimension to get rid of gimbal lock computation for vehicle control (where pointed straight up, yaw and roll are identicall)
The fact that i maps to sqrt of -1 is basically just part of this definition - you are using multiplication to express rotations, so when you ask what is the sqrt of -1 you are asking which 2 identical number create a rotation of 180 degrees, and the answer is 1i and 1i.
Note that the definition also very much assumes that you are only using i, i.e analogous to having the x/y plane. If you are working within x y z plane and have i and j, to get to -1 you can rotate through x/y plane or x/z plane. So sqrt of -1 can either mean "sqrt for i" or "sqrt for j" and the answer would be either i or j, both would be valid. So you pretty much have to specify the rotation aspect when you ask for a square root.
Note also that you can you can define i to be <90 degree rotation, like say 60 degrees and everything would still be consistent. In which case cube root of -1 would be i, but square root of -1 would not be i, it would be a complex number with real and imaginary parts.
The thing to understand about math is under the hood, its pretty much objects and operations. A lot of times you will have conflicts where doing an operation on a particular object is undefined - for example there are functions that assymptotically approach zero but are never equal to it. So instead, you have to form other rules or append other systems to existing systems, which all just means you start with a definition. Anything that arises from that definition is not a universal truth of the world, but simply tools that help you deal with the inconsistencies.
18 replies →
> But in fact, I claim, the smooth conception and the analytic conception are equivalent—they arise from the same underlying structure.
Conjugation isn’t complex-analytic, so the symmetry of i -> -i is broken at that level. Complex manifolds have to explicitly carry around their almost-complex structure largely for this reason.
Knowledge is the output of a person and their expertise and perspective, irreducibly. In this case, they seem to know something of what they're talking about:
> Starting 2022, I am now the John Cardinal O’Hara Professor of Logic at the University of Notre Dame.
> From 2018 to 2022, I was Professor of Logic at Oxford University and the Sir Peter Strawson Fellow at University College Oxford.
Also interesting:
> I am active on MathOverflow, and my contributions there (see my profile) have earned the top-rated reputation score.
https://jdh.hamkins.org/about/
Another "xyz" domain that doesn't resolve on my network.
Yep- there’s some issues representing complex numbers in 3D space. You may want to check out quaternions.
Instructions unclear, gimbal locked
https://web.archive.org/web/20251015174117/https://www.infin...
This one has the paywall, but the main site has no paywall currently.
I am confused by both the article and the discussion and I don't mean confused by the discussion on the complex which is all fairly clear but by this very weird idea of essential structure whatever that's supposed to mean. I'm wondering if there is something cultural here (I'm French) and linked to the central place algebra has in our curriculum or if I'm just reading a lot of IA generated convoluted discussion.
To me, the question doesn't even make sense. There is no disagreement here and I don't understand what is an essential structure. All the properties presented on the complex are consistent. They all exist. There is nothing ever essential about mathematics.
I mean, it's just mathematics. As long as you are internally consistent with your axioms, things just are. It's like asking if water is a liquid or a collection of molecules. There is nothing to disagree about here.
What does Terry Tao think?
I found the article mildly interesting "light reading", until I got to this part:
> I was astounded to see that the Google AI overview in effect takes a stand amongst three conceptions
Uh oh. Hype alert. Should we continue reading?
... [a few moments later] ...
Oh, ok, the answer is yes. That was a bit of pandering but the author goes on to discuss how mathematicians think if this issue.
Also, don't miss this gem of a pun :
> Choosing the square root of -1 is a mathematical sin
:-)
[dead]