next up previous contents
Next: Construction of R Up: What are numbers? Previous: Construction of Z

Construction of Q

We define an equivalence relation on : iff . Note that ``simulates'' a division in Z. . We will refer to the elements of Q by giving them a subscript . The elements of Z can be embedded as follows: such that . Furthermore we can define:

Alex Lopez-Ortiz
Mon Feb 23 16:26:48 EST 1998