Difference between revisions of "The real numbers"
From Maths
(Created page with "{{DISPLAYTITLE:The real numbers: {{M|\mathbb{R} }}}}{{Stub page|grade=C|msg=Once cleaned up and fleshed out, demote to D}} <div>{{Infobox|title=The real numbers|above=<span st...") |
m |
||
| Line 6: | Line 6: | ||
===[[Axiomatic construction of the real numbers]]=== | ===[[Axiomatic construction of the real numbers]]=== | ||
{{:Axiomatic construction of the real numbers/Definition}} | {{:Axiomatic construction of the real numbers/Definition}} | ||
| + | =={{M|\mathbb{R} }} is an example of:== | ||
| + | * [[Vector space]] | ||
| + | * [[Field]] ({{M|\implies\ \ldots\implies}} [[ring]]) | ||
| + | * [[Complete metric space]] ({{M|\implies}} [[topological space]]) | ||
| + | ** With the metric of [[absolute value]] | ||
| + | {{Todo|Flesh out}} | ||
| + | ==Properties== | ||
| + | {{Collapsible box|title= | ||
| + | * The [[axiom of completeness]] - a badly named property that isn't really an [[axiom]]. | ||
| + | |content={{:Axiom of completeness/Statement}}}} | ||
==Notes== | ==Notes== | ||
<references group="Note"/> | <references group="Note"/> | ||
Revision as of 13:44, 2 June 2016
Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Once cleaned up and fleshed out, demote to D
| The real numbers | |
| [ilmath]\mathbb{R} [/ilmath] |
Contents
Definition
Cantor's construction of the real numbers
The set of real numbers, [ilmath]\mathbb{R} [/ilmath], is the quotient space, [ilmath]\mathscr{C}/\sim[/ilmath] where:[1]
- [ilmath]\mathscr{C} [/ilmath] - the set of all Cauchy sequences in [ilmath]\mathbb{Q} [/ilmath] - the quotients
- [ilmath]\sim[/ilmath] - the usual equivalence of Cauchy sequences
We further claim:
- that the familiar operations of addition, multiplication and division are well defined and
- by associating [ilmath]x\in\mathcal{Q} [/ilmath] with the sequence [ilmath] ({ x_n })_{ n = 1 }^{ \infty }\subseteq \mathbb{Q} [/ilmath] where [ilmath]\forall n\in\mathbb{N}[x_n:=x][/ilmath] we can embed [ilmath]\mathbb{Q} [/ilmath] in [ilmath]\mathbb{R}:=\mathscr{C}/\sim[/ilmath]
Axiomatic construction of the real numbers
Axiomatic construction of the real numbers/Definition
[ilmath]\mathbb{R} [/ilmath] is an example of:
- Vector space
- Field ([ilmath]\implies\ \ldots\implies[/ilmath] ring)
- Complete metric space ([ilmath]\implies[/ilmath] topological space)
- With the metric of absolute value
TODO: Flesh out
Properties
- The axiom of completeness - a badly named property that isn't really an axiom.
If [ilmath]S\subseteq\mathbb{R} [/ilmath] is a non-empty set of real numbers that has an upper bound then[2]:
- [ilmath]\text{Sup}(S)[/ilmath] (the supremum of [ilmath]S[/ilmath]) exists.
