Difference between revisions of "Axiom of completeness/Statement"
From Maths
(Created page with "<noinclude> ==Statement== </noinclude>If {{M|S\subseteq\mathbb{R} }} is a ''non-empty set'' of real numbers that has an upper bound then{{rFAVIDMH}}: * {{M|\text{...") |
m (typo) |
||
Line 3: | Line 3: | ||
==Statement== | ==Statement== | ||
</noinclude>If {{M|S\subseteq\mathbb{R} }} is a ''[[non-empty set]]'' of [[real numbers]] that has an [[upper bound]] then{{rFAVIDMH}}: | </noinclude>If {{M|S\subseteq\mathbb{R} }} is a ''[[non-empty set]]'' of [[real numbers]] that has an [[upper bound]] then{{rFAVIDMH}}: | ||
− | * {{M|\text{Sup}(S)}} (the [[supremum]] of {{M|S}}) exists.< | + | * {{M|\text{Sup}(S)}} (the [[supremum]] of {{M|S}}) exists.<noinclude> |
==References== | ==References== | ||
<references/> | <references/> | ||
{{Theorem Of|Real Analysis}} | {{Theorem Of|Real Analysis}} | ||
</noinclude> | </noinclude> |
Latest revision as of 13:57, 2 June 2016
Statement
If S⊆R is a non-empty set of real numbers that has an upper bound then[1]:
- Sup(S) (the supremum of S) exists.
References