Math 2.0

Real functions Definition

Order on the reals

Builds on Construction of the reals from Cauchy sequencesThe rationals form an ordered field

Definition

Construct the real numbers as classes of Cauchy sequences of rational numbers, as in the construction from Cauchy sequences. Let xx and yy be real numbers, represented by the Cauchy sequences (xn)(x_n) and (yn)(y_n) of rational numbers. The notation x<yx < y means that there are a rational number ε>0\varepsilon > 0 and a natural number NN such that yn−xn>εy_n - x_n > \varepsilon for each n≥Nn \ge N. The notation x≤yx \le y means that x<yx < y or x=yx = y.

Remarks

The relation x<yx < y does not depend on the choice of the sequences that represent xx and yy. For all real numbers xx and yy, exactly one of x<yx < y, x=yx = y and y<xy < x holds. Thus ≤\le is a total order. On the rational numbers, this order agrees with the order of the rationals. With Dedekind cuts, the order is inclusion of the lower sets of the cuts.

Reading path

To understand this page from the ground up, read these 8 pages in order. The foundations come first.

Show the path as a graph
Construction of the reals from Cauchy sequences, concept, no evidence levelConstruction of the r…conceptIntegers, object, no evidence levelIntegersobjectOrdered field, definition, no evidence levelOrdered fielddefinitionRational numbers, object, no evidence levelRational numbersobjectRing of integers, statement, no evidence levelRing of integersstatementThe rationals form a field, statement, no evidence levelThe rationals form a …statementThe rationals form an ordered field, statement, no evidence levelThe rationals form an…statementOrder on the reals, definition, no evidence levelOrder on the realsdefinition
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Construction of the reals from Cauchy sequences concept
  2. Integers object
  3. Ordered field definition
  4. Rational numbers object
  5. Ring of integers statement
  6. The rationals form a field statement
  7. The rationals form an ordered field statement
  8. Order on the reals definition

Where this leads

415 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Construction_of_the_real_numbers, Construction from Cauchy sequences
About this page
Tag0337CYB0VD
URIm2://0337CYB0VD
Kinddefinition
WritingW0 stub
MSC26A03
DefinesOrder on the reals
UsesConstruction of the reals from Cauchy sequences, The rationals form an ordered field

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by