Comment by ActorNightly
21 hours ago
>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).