What is the definition of greater than or less than in terms of real numbers?by mitcho Tags: definition, greater, numbers, real, terms 

#1
Nov811, 01:50 AM

P: 31

A thought just struck me today after watching a lecture on the construction of the rational numbers. What is the definition of 'greater than (>)' and 'less than (<)' in the real number system. The only way I can think to describe it is to make some reference to the Euclidean distance between the number and zero and see which distance is greater or smaller but of course that is just using the term in the definition itself. I also thought about the number of steps it takes to construct the number from ZFC set theory. Again though, you have to have some concept of greater than or less than to determine which took more steps.
Any help would be appreciated Thanks 



#2
Nov811, 04:04 AM

P: 2,490





#3
Nov811, 08:07 AM

Sci Advisor
P: 1,686

One popular construction of the real numbers is to start with the natural numbers N with their natural ordering defined by 0 < n for all natural numbers n.
Then you continue to construct the integers Z = N x N / ~ where ~ is the equivalence relation such that (a,b) ~ (c,d) if a+c = d+b, where n = [(n,0)], and n = [(0,n)] for positive n. We induce an ordering on Z by [(a,b)] < [(c,d)] if a+d > c+b. Note that this gives the natural order on Z we are used to. Then we construct Q = Z x (N{0}) / ~, where ~ is defined by (a,b) ~ (c,d) if ad = bc, and [(a,b)] < [(c,d)] if ad < bc, where < is the order of Z. Finally, we construct R by looking at the cauchysequences of Q^N (i.e. sequences or rational numbers that are cauchy). A sequence (q_n) of rational numbers is cauchy if for every rational number e, there is a natural number N such that q_nq_m < e for all n,m >= N. Let this set of cauchysequences be C. We define R = C /~ where (q_n) = (p_n) if the sequence (q_n p_n) converge to 0. The order of R induced is defined as [(q_n)] < [(p_n)] if there is a rational number e such that there exists a natural number N such that p_nq_n >= e for all n >= N. It will require a proof of that this in fact is a welldefined ordering, but when you do that it will be the natural ordering of R we are used to. From this definition of R we can prove all the known axioms of R we need, most importantly the leastupperbound property. 


Register to reply 
Related Discussions  
Real Numbers vs Extended Real Numbers  Linear & Abstract Algebra  5  
Counting Function for Polygonal Numbers of Rank Greater Than 2.  General Math  0  
numbers greater than zero  General Math  4  
Define negative numbers to be greater than infinity  General Math  21  
Line of real numberstranscendental numbers  General Math  11 