Comment by tsimionescu
1 day ago
> You would agree that in the quest to solve x^2+1=0, we had to introduce another dimension, with a multiply operator that lets us move through that dimension.
I don't really agree, no. In the analytic definition, there is no second dimension. Sure, C is isomorphic to R×R, but that is not how you construct it. C is not R×R, it's R+{a + b * i | a,b in R, b≠0} in this view. Just like Z is N+{a * -1 | a in N, a≠0}. You introduce one new number that you need to solve the equation, and then all of the numbers needed to make the new construction a field again. You don't introduce a new notion of multiplication, C uses the exact same multiplication operation as R does, or at least as polynomials over R do, as I showed.
The fact that C is isomorphic to R×R, and that multiplication of numbers in C is isomorphic to scaling+rotation of vectors in R×R, is not part of the construction.
I do agree that there are no accidents in math, so I imagine this isomorphism is related to some more fundamental relationship between polynomials, 2d vectors, and rotation matrices - because our construction of C is strictly motivated by polynomials.
> For reals, the power operator has a strict definition with multiplication and division.
I don't agree with this statement. It's true for the integers, but already for the the rationals it loses any direct relationship to multiplication and division (how do you get 4^(1/2) = 2 by repeated multiplication?). And for the reals, it's completely gone. We can't even define many properties of real-valued exponentials - we don't even know if e^pi is an irrational number, for example.
> When you search for something like taylor series or limit form of e and you see a way to compute e^i what you are doing is basically using operators designed for real numbers and extending them to the complex numbers (when you substitute i for where normally a real number would be in the power term.
We've already agreed that there are no accidents in math. So just as the multiplication of polynomials is fundamentally linked with rotations of 2d real-valued vectors, we must accept that real exponentiation is fundamentally linked to complex exponentiation, otherwise the formulas wouldn't work the way they do.
Note also that calculus is not limited to operations on the number line - you can take the derivatives or integrate or calculate limits of n-dimensional curves, and even differentiate over surfaces and n-dimensional manifolds more generally. Smoothness and continuity are anyway part of the structure of C, regardless what definition of it you use.
> And if you think thats silly, consider the fact that the algebraic view of complex numbers doesn't even consider calculus on them to be valid.
I don't understand what you mean by this. Calculus is well defined for functions over any field of size continuum, and that is exactly what <C,+,*,0,1> is in the algebraic view.
>C uses the exact same multiplication operation as R does
Not quite. If it did, the -i*-i would be i^2, not -1. And yes, I totally agree that C is R+, not RxR. The point is that you still introducing something extra with some rules, where you introduce the concept of geometric orthogonality into i^2 = -1, whether that is your intention or not.
>For reals, the power operator has a strict definition with multiplication and division for rationals, and generically extended to reals through limits.
I accidentally swapped reals and rationals there. The whole point was to highlight that exponentiation for real exponents relies on limits which relies on continutity.
>So just as the multiplication of polynomials is fundamentally linked with rotations of 2d real-valued vectors, we must accept that real exponentiation is fundamentally linked to complex exponentiation, otherwise the formulas wouldn't work the way they do.
Don't agree.
Multiplication of polynomials involves operations that are clearly defined. When you do (a+bi)^2, you have defined what it means to multiply complex numbers in their construction, without needing to use any such formula from real numbers.
Exponentiation where you have i exponent however, is not defined solely in the complex field.
>I don't understand what you mean by this. Calculus is well defined for functions over any field of size continuum, and that is exactly what <C,+,*,0,1> is in the algebraic view.
Algebraic view is basically the idea of that numbers are only defined if there is some relation that expresses their definition.
For example, 1+2=3, locks all 3 number down. 1 is 3-2, 2 is 3-1 and 3 is 1+2.
pi or e on the other hand, are "something else", because there is no algebraic formula that defines them. To do so you have to invoke the computation of limits, which is an analytic view, not algebraic.*
> Not quite. If it did, the -i-i would be i^2, not -1.
It is i², though, but that is equal to -1. Just like 22 = 2² = 4. I also maintain that the historical view is that this something extra comes from the properties of polynomials and their roots, not from geometric orthogonality.
> Exponentiation where you have i exponent however, is not defined solely in the complex field.
We can take another tack for defining the complex exponential function, if you'd prefer. One of the definitions of the exponential function is that e^x is the only function that respects f'(x) = f(x) (well, up to constant multiplication).
So, we need to look for a function f(z) such that f'(z) = f(z). There are various ways to do this (for example, using the Taylor series expansion and noting that all of the f derived n times factors are equal to f(z), which yields the power series definition). You don't need to appeal to limits of e^x to get there this way.
> Algebraic view is basically the idea of that numbers are only defined if there is some relation that expresses their definition.
Understood, you are using a different sense of "algebraic" than what I was - I was thinking more of the abstract algebraic definition of C.
Still, the sense you are using seems to be the concept of algebraic numbers, which is more formalized - the algebraic numbers are all those that represent the root of a polynomial with integer or rational coefficients. Interestingly, while pi and e are not algebraic numbers, i or i+7 are still algebraic.
However, I'm not sure what the point of bringing this up is. Exponentiation is simply not defined over the algebraic numbers, especially not e^x where x is algebraic - so if we restrict ourselves to algebraic numbers, e^i is not defined, true, but neither is e^1. And while 2^2 is defined, of course, I'm not even sure you can define 2^sqrt(2), so I wouldn't be surprised if 2^i doesn't make sense either.
Either way, the algebraic numbers are not "a way of thinking about numbers", they are a restricted subset of what is generally meant by "number", and many famous and useful results from many branches of math do not work over this subset (for example, you can't even use the same set of algebraic numbers to refer to the length of a circle and the length of a square).
I still think you misunderstanding what im saying. i don't have a problem with the math working out, its that i have a problem with the math being able to be applied in the first place.
Let me try a different way.
Suppose you start with just the i number line with the rules that exist. You have zero, integer i's, rational is, and even irrational i's. All seems good. Then you start to define operations. i*i is undefined (because it goes to -1, and the reals are outside of your domain that you are working with currently). And this means you can't effectively do any sort of futher work in defining exponentiation, or limits, because you can have purely complex polynomials with just undefined terms.
So like you said, complex is R+, not something like RxR. The definition of complex numbers is intrinsic to real numbers - its an enhancement on real numbers. And by extension, all the math works out when you do taylor series with e^i and such.
But this pretty much means its a rigid definition, i.e you are defining something in a certain construction to supplement reals.
And as for geometric claim, my argument with that is that just like when you have x, and then you add <x,y> in some form and way, you are defining geometry. So in defining a+bi, you are defining geometry.*