Construction of real numbers
The idea of extending the number system from the set of rational numbers by adjoining roots of polynomial equations is very interesting, but faces obvious difficulties: we need to treat all possible polynomial equations, and this still give us no guarantees whatsoever that transcendental equations (trigonometric, exponential etc). will be solvable when we expect them to be.
The alternative is to extend the set of rationals by adding “solutions to systems of inequalities”. In order for such a system to represent a unique “new” number, the equations need to be consistent (compatible between themselves) and possess some uniqueness property.
These two requirements can be implemented by consideration of the so called Dedekind cuts, which can be informally considered as sets of rational “approximations” (lower and upper) for the missing number.
In the lectures we pursue this strategy and explain how the cuts can be compared, how arithmetic operations on the cuts can be defined and why the addition of all possible cuts results in a “complete” number system.
The detailed exposition, as before, is downloadable as a pdf file. Please take a time to signal (in the comments to this post or by any other way) about all errors, inevitable in the first draft.