Skip to content

Comment on What are the 'real numbers', really?

Comments

Can someone explain the setup of the 0=1 exercise? It's poorly worded. Is it saying find: (Y,1,+,1,×) or is it saying find what "1" has to be to make it a valid field?

Given the field (Y, 0, +, 1, *), you need to show that either 0 != 1, or 0 = 1 is the only element in the set.

I don't remember the precise proof, but if memory serves it derives from the existance of opposites and inverses, and 0 and 1 being unique in the set, due the commutative properties of abelean groups.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.