Importantly, however, the complex numbers have no total ordering that respects addition and multiplication. In other words, there’s no large set of “positive complex numbers” closed under both operations.
This is also the reason why the math in this XKCD strip doesn’t actually work.
You can still find divisors for Gaussian integers. If x, y, and xy are all Gaussian integers, which will be trivially fulfilled for any x when y=1, then x, y both divide xy.
You can then generalize the \sigma function by summing over all the divisors of z and dividing by |z|.
The resulting number \sigma(z) lies in C (or maybe Q + iQ), not just Q, but it’s perfectly well defined.
If you sum over all the divisors of z, the result is perfectly well defined; however, it’s 0. Whenever x divides z, so does -x.
Over the integers, this is solved by summing over all positive divisors. However, there’s no canonical choice of what divisors to consider positive in the case of Gaussian integers, and making various arbitrary choices (like summing over all divisors in the upper half-plane) leads to unsatisfying results.
That’s like saying the standard choice of branch cut for the complex logarithm is arbitrary.
And?
When you complexify, things get messier. My point is that making a generalization is possible (though it’s probably best to sum over integers with 0 \leq arg(z) < \pi, as you pointed out), which is the only claim I’m interested in disputing. Whether it’s nice to look at is irrelevant to whether it’s functional enough to be punnable.
Mainly what I don’t like about it is that \sigma(z) no longer has the nice properties it had over the integers: for example, it’s no longer multiplicative. This doesn’t stop Gaussian integers from being friendly, though, and the rest is a matter of aesthetics.
The well-ordering principle doesn’t really have any effect on canonical orderings, like that induced by the traditional less-than relation on the real numbers.
This doesn’t affect the truth of your claim, but I do think that DanArmak’s point was quite separate from the language he chose. He might instead have worded it as having no real solution, so that any solution must be not-real.
There are lots of total orderings on the complex numbers. For example:
a + bi [>] c + di iff a >= c or (a = c and b >= d).
In fact, if you believe the axiom of choice there are “nice total orders” for any set at all.
Importantly, however, the complex numbers have no total ordering that respects addition and multiplication. In other words, there’s no large set of “positive complex numbers” closed under both operations.
This is also the reason why the math in this XKCD strip doesn’t actually work.
You can still find divisors for Gaussian integers. If x, y, and xy are all Gaussian integers, which will be trivially fulfilled for any x when y=1, then x, y both divide xy.
You can then generalize the \sigma function by summing over all the divisors of z and dividing by |z|.
The resulting number \sigma(z) lies in C (or maybe Q + iQ), not just Q, but it’s perfectly well defined.
If you sum over all the divisors of z, the result is perfectly well defined; however, it’s 0. Whenever x divides z, so does -x.
Over the integers, this is solved by summing over all positive divisors. However, there’s no canonical choice of what divisors to consider positive in the case of Gaussian integers, and making various arbitrary choices (like summing over all divisors in the upper half-plane) leads to unsatisfying results.
That’s like saying the standard choice of branch cut for the complex logarithm is arbitrary.
And?
When you complexify, things get messier. My point is that making a generalization is possible (though it’s probably best to sum over integers with 0 \leq arg(z) < \pi, as you pointed out), which is the only claim I’m interested in disputing. Whether it’s nice to look at is irrelevant to whether it’s functional enough to be punnable.
You’re right—the generalization works.
Mainly what I don’t like about it is that \sigma(z) no longer has the nice properties it had over the integers: for example, it’s no longer multiplicative. This doesn’t stop Gaussian integers from being friendly, though, and the rest is a matter of aesthetics.
The well-ordering principle doesn’t really have any effect on canonical orderings, like that induced by the traditional less-than relation on the real numbers.
This doesn’t affect the truth of your claim, but I do think that DanArmak’s point was quite separate from the language he chose. He might instead have worded it as having no real solution, so that any solution must be not-real.
Gah. You’re quite right. I should refrain from making rash mathematical statements. Thank you.