1 = -1?

Quote:

---

Originally Posted by PhilosopherStoned

There are people today that I've encountered in real life that don't accept even zero let alone the negative integers. Of course, as somebody that understands them, you think that that's stupid. They normally come up on some travesty of mathematical reasoning that depends upon taking a trivial statement out of context and then call it a proof. :cackle:

Most of them are fairly smart outside of mathematics and formal logic. They must be to care.

I once saw a man, within the same hour no less, deny the "existence" of negative numbers and then point out that we could use peanut butter that we had at hand as a sealant for an impromptu bong.

That's pretty smart. Plus they're apparently even useful for practical things on occasion and that's always nice.

---

Are those travesties proofs that you yourself posted? It is another case of an argument I would love to see. It would be pretty easy to show them zero and negative numbers in the real world.

Quote:

---

Originally Posted by PhilosopherStoned

When I get around to it, I'll go back to the other thread and point out how your assumptions about the "fantasy" unit, together with the assumption that they satisfy field axioms, imply that the fantasy unit is a square root for -1. I'll then leave it for you as an exercise to show that the square root isn't multiplicative on the fantasy numbers.

---

If you can do that, we are having a purely semantic argument. I made up fantasy numbers for satiricical purposes. Could you do anything useful and logical with a number that is equal to both 2 and 7 but not equal to 2? If so, our argument is ultra-semantic.

Quote:

---

Originally Posted by PhilosopherStoned

That is to say that however you take the algebraic completion of the reals, one gets the complex numbers. They're determined by the question "How do I factor every polynomial into linear roots?" to the same degree that the reals are determined by the question "How do I take the limit of any convergent series of rationals?".

---

I agree that it works. However, remember what I have said about the hypothetical nature. The FBI makes up characters who satisfy the elements of a given suspect situation based on profiling techniques. That doesn't make the characters real. I think this paragraph addresses most of the rest of your post.

Quote:

---

Originally Posted by PhilosopherStoned

It would be nice though it's been proven impossible. We only get numbers containing the reals and using archimedian norms on one and two dimensions. :(

Plus they're apparently even useful for practical things on occasion and that's always nice.

---

I think that raises some issues concerning our discussion. "Usefulness" vs. "true existence."

Quote:

---

Originally Posted by Xei

I don't know about this, want to talk about it some more?

---

Sure. Like I said I'm rusty and this is all very informal, but think about it like this. Take the most basic linear equation in one dimension w = cz. We are here interpreting number in two ways, as a function and as an element in the domain/range. Of the two numbers c is playing the role of a function and z is playing the role of an element.

So when we go to generalize to higher dimensions (and solve more equations) we have two distinct roles to fulfill. One gets fulfilled with vectors and the other with matrices. So we end up with something like w=Cz.

The analogy is however still striking. Take matrices. if M is a matrix ring over R then we can define maps M -> M. Take the map A |-> A². Differentiate it. The derivative at A will be a linear function on H in M where H is interpreted as the displacement. The derivative is H |-> AH + HA! Consider that if A and H commute than this is just 2AH. But in one dimension, x |-> x² has a derivative at x which is a linear function on h real of the form h |-> 2xh.

So the analogy can be very tight at times. It's of course important to realize that matrices are different from numbers in that everything doesn't carry over by a long shot but there is some intuition to be had there.

As far as grassman algebras and differential forms go, they're ways to generalize the purpose of numbers in measuring various volumes. They're pretty deep for me but I could probably bullshit my way through an explanation.

Quote:

---

Also out of curiosity where and when do you get all of this learning?

---

Books. Ending mostly about seven years ago or so. Though I do try to at least keep sharp with my basic algebra and analysis. I wasn't above dropping in on a math department and asking random people if I got stuck with something. I'm actually very slow and stupid so it's not like I'm a genius or anything. At least not at math ;) Nobody was impressed with anything other than that I work very hard.

Another example is positive and negative matrices. For the reals, the invertible elements are in an open set with two disconnected components, N = (-inf, 0) and P = (0, inf). Numbers in P multiplied by each other end up in P so it's closed under multiplication. Numbers in N multiplied together end up in P. Multiplying a number in P and a number in N ends up in N. This is just the negative times a negative is a positive rule and its variants.

Now consider the invertible elements of some matrix ring over the reals. These will be the matrices with non-zero determinants. Now N is the set of matrices with Det(A) < 0 and P will have Det(A) > 0. Note that Det(AB) = Det(A)Det(B) so matrix multiplications satisfies all the same negative-times-a-negative-is-a-positive type rules.

Also note that it is an open set with two disconnected components. To see that it's open, just note that the determinant is a polynomial. Because polynomials are continuous, given an invertible matrix A, we can put a sufficiently small open ball around it so that the determinate is non-zero on that too.

To show that it's disconnected, note that a continuous function that switches signs must take on a value of zero. Hence any path s |-> A(s) that we can draw from a positive matrix to a negative matrix or vice-versa will have Det(A(s)) = 0 for some s. Here the s are just real numbers.

So again, it's very much like numbers.

no wai.