Definition talk:Real Number/Real Number Line

The question is:
 * "Okay, this gives a list of proofs, but what exactly is this "real number line" defined as?"

It's just a list of proofs justifying the identification of the real number line with the geometrical entity. Feel free to put it into a format that suits our site better - I'm not sure how best to structure it. --prime mover (talk) 09:18, 3 November 2012 (UTC)


 * I was always taught to call it the Real Number System. It pleased me that this coincided with Definition:Algebraic System. I have recently become aware of the many proofs with "induces" in their title too. (I believe according to LF this would just be a shift from one point to another in the gigantic landscape of Magmas of Sets).


 * I would like to know PM when you think the verb "induces" is appropriate in a title (the power set is involved a lot isn't it?). I could take \mathbb{R} and equip it with the discrete topology and discrete metric but that's not really an interesting result because you can do it with any.


 * Btw, on a completely pointless note some of the titles capitalise induce others don't. --Jshflynn (talk) 11:01, 3 November 2012 (UTC)


 * The trouble with "real number system" is that "system" is one of those lazy but clever-sounding words which is frequently used instead of the specific word that is really required. A "system", as I was taught in one of my courses in higher education, is "anything" made out of bits which "interact somehow". That is of course completely general, and "general" here just means "vague". Thus I would generally discourage the word "system" unless there is a specific meaning to be exploited. As such, the term Definition:Algebraic System is almost as vague - and in this particular context that is too vague to be of any use.


 * Let me try to explain. The real numbers under addition form an Definition:Abelian Group; under addition and multiplication form a Definition:Field; with the Definition:Positivity Property added on top of that they form an Definition:Ordered Field (a.k.a. totally ordered field but that's a tautology); with the conventional metric forms a Definition:Metric Space. My view is that each of these properties is relevant at a particular level of abstraction: sometimes you need the group properties, sometimes the field properties, and (in the context of topology and metric spaces, which we're currently tightening up) sometimes you need its metric space properties. In this particular instance, the intention of "real number line" is to exploit its ability to be treated as a mathematical model of an infinite straight line in geometrical space - for which purpose it needs to be considered as a Definition:Euclidean Space, that is, as a Definition:Metric Space.


 * Yes, the Real Number line is an Definition:Algebraic System, but it's a close call, because the Definition:Distance Function is only a "finitary operation on $\R$" by default - a Definition:Metric Space whose domain is not the Real Number Line is (technically) not an algebraic system because $d: M \times M \to \R$ is not an operation (finitary or otherwise) on $M$, unless $M$ is itself $\R$. --prime mover (talk) 11:48, 3 November 2012 (UTC)


 * Oh, and I'm not discussing the word "induce" here for obvious reasons. --prime mover (talk) 11:50, 3 November 2012 (UTC)