PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: High
real number (Definition)
MathbbR

"real number" is owned by djao. [ full author list (2) ]
(view preamble | get metadata)

View style:

See Also: Dedekind cuts

Other names:  real, $\mathbb{R}$

Attachments:
extended real numbers (Definition) by matte
interval (Definition) by PrimeFan
every ordered field with the least upper bound property is isomorphic to the real numbers (Theorem) by archibal
$0\ne 1$ as real numbers (Theorem) by mps
the groups of real numbers (Result) by Algeboy
nested interval theorem (Theorem) by pahio
commensurable numbers (Definition) by pahio
Log in to rate this entry.
(view current ratings)

Cross-references: terms, proper class, surreal numbers, subfield, David Hilbert, completion, Dedekind complete, archimedean, characterisation, topology, uniform structure, subtraction, operations, group, ordered group, structure, lattice, even, sums, exponential function, series, Calculus, square root, rationals, convergent, converse, convergent sequence, easy to see, converges, eventually, elements, distance, integer, section, order, uniform spaces, metric spaces, complete, limits, contain, field, isomorphism, Dedekind cuts, infinite, decimal point, every ordered field with the least upper bound property is isomorphic to the real numbers, lowest upper bound, upper bound, subset, least upper bound property, ordered field, represent, well-defined, ordering relation, multiplication, addition, ring, interleave sequence, equivalence relation, equivalence classes, absolute value, natural number, rational number, property, sequence, rational numbers, Cauchy sequence, definitions, equivalent
There are 1034 references to this entry.

This is version 18 of real number, born on 2001-10-21, modified 2007-03-16.
Object id is 454, canonical name is RealNumber.
Accessed 82108 times total.

Classification:
AMS MSC12D99 (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
None.
[ View all 8 ]
Discussion
Style: Expand: Order:
forum policy
Axiomatic definition by me_and on 2007-06-13 14:53:28
I've always understood the real numbers as having a relatively simple axiomatic definition (e.g. [0]). I'll admit I didn't properly understand this entry, but it didn't even seem to acknowledge the existance of this kind of definition. Is it worth me writing such a definition, either for inclusion on this article, or as a seperate article?

[0] http://www.maths.ox.ac.uk/current-students/undergraduates/lecture-material/Mods/analysis1/pdf/analysisIaxioms.pdf
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)