|
|
|
|
topic entry on real numbers
|
(Topic)
|
|
|
The real number system may be conceived as an attempt to fill in the gaps in the rational number system. These gaps first became apparent in connection with the Pythagorean theorem, which requires one to extract a square root in order to find the third side of a right triangle two of whose sides are known. Hypossos, a student of Pythagoras, showed that there is no rational number whose square is exactly 2. In particular, this means that there is no rational number which may be used to describe the length of the diagonal of a square the length of whose sides is rational. This result ruined the philosophical program of Pythagoras, which was to describe everything in terms of whole numbers (or ratios of whole numbers) and, according to legend, resulted in Hypossos drowning himself. Eventually, geometers reconciled themselves to the existence of irrational magnitudes and Eudoxos devised his method of exhaustion which allowed one to prove results about irrational magnitudes by considerations of rational magnitudes which are smaller and larger than the the irrational magnitude in question.
Centuries later, Descartes showed how it is systematically possible to reduce questions of geometry to algebra. This brought up the issue of irrational numbers again -- if one is going to reformulate everything in terms of algebra, then one cannot have recourse to defining magnitudes geometrically, but have to find some sort of number which can adequately represent things like the hypotenuse of a square with rational sides. At first, such problems of logical consistency were swept under the rug,
but eventually mathematicians realized that their subject needed to be put on a firm logical foundation. In particular, Dedekind solved this difficulty by defining the real numbers as a certain type of partition of the set of rational numbers which he termed a cut and defining operations on these numbers, such as addition, subtraction, multiplication, and division in terms of operations on these partitions.
The below list presents entries on real numbers in an order suitable for studying the subject.
- Rational numbers
- Axiomatic definition of the real numbers.
- Constructions of real numbers (advanced):
- Dedekind cuts
- Cauchy sequences
- Characterization of real numbers
- Reals not isomorphic to $p$ -adic numbers
- commensurable numbers
- positive
- Inequalities for real numbers
- index of inequalities
- rational numbers are real numbers
- interval
- nested interval theorem
- Real numbers are uncountable
- Archimedean property
- Operations for real numbers
- infimum and supremum for real numbers
- minimal and maximal number
- absolute value
- square root
- fraction power
- Topic entry on algebraic and transcendental numbers
- Irrational number
- Transcendental number
- Algebraic number
- Particular real numbers
- Natural log base
- pi
- Mascheroni constant
There are many generalizations of real numbers. These include the complex numbers, quaternions, extended real numbers, hyperreal numbers, and surreal numbers. Of course the field $\mathbb{R}$ has many other field extensions, e.g. the field $\mathbb{R}(x)$ of the
rational functions.
|
Anyone with an account can edit this entry. Please help improve it!
"topic entry on real numbers" is owned by matte. [ full author list (4) ]
|
|
(view preamble | get metadata)
Cross-references: rational functions, field extensions, field, surreal numbers, extended real numbers, quaternions, complex numbers, Mascheroni constant, pi, natural log base, transcendental number, fraction power, absolute value, minimal and maximal number, infimum and supremum for real numbers, Archimedean property, nested interval theorem, interval, rational numbers are real numbers, index of inequalities, positive, commensurable numbers, Dedekind cuts, axiomatic definition of the real numbers, division, multiplication, subtraction, addition, operations, cut, rational numbers, partition, type, logical foundation, hypotenuse, represent, sort, algebra, geometry, method of exhaustion, irrational, eventually, numbers, terms, rational, diagonal, length, square, right triangle, side, order, square root, Pythagorean theorem, connection, rational number, real number
There are 2 references to this entry.
This is version 18 of topic entry on real numbers, born on 2006-02-13, modified 2009-08-14.
Object id is 7618, canonical name is TopicEntryOnRealNumbers.
Accessed 12694 times total.
Classification:
| AMS MSC: | 12D99 (Field theory and polynomials :: Real and complex fields :: Miscellaneous) | | | 26-00 (Real functions :: General reference works ) | | | 54C30 (General topology :: Maps and general types of spaces defined by maps :: Real-valued functions) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|