- #1

- 28

- 0

For example, when defining an ordered field, the fourth axiom for addition states:

To every x belonging to F, corresponds an element -x belonging to F such that x+(-x)=0

I feel that the usage of "-x" and "0" are misleading. We're not assuming that we're talking of numbers. While it's true that we can still pretend we're talking abstractly, the choice of commonly used algebraic symbols is like a trap - encouraging us to subconsciously associate this definition of a field with rational numbers or real numbers.

I would have liked it if instead of "-x", he had written say (x') and instead of "0", he had written θ and instead of "1", he had chosen something like "I". This way, it encourages us to think abstractly instead of using "numbers" as our subconscious base.

For example, I was trying to prove something using Rudin's notation and unconsciously made the mistake of substituting -x with (-1)x when it wasn't proved yet! I caught the error while reading through the proof the second time, but because I've been using this notation for the past 20 years, it came naturally.

If on the other hand instead of -x, it was x', I would never have made the leap of logic to assume that x' = (I')x. It's just not the same thing. Even symbols like ">" and "<" are misleading because it encourages us (once again) to think of numbers. While it's still possible to go through the proofs and texts abstractly, it just makes it more difficult. And I wonder why this is necessary.

My question is, do you think Rudin deliberately chose "number based" terminology in order to make us think about numbers, or was it a mistake on his part?