Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
order_structure_of_real_numbers [2013/09/08 15:00] nikolaj |
order_structure_of_real_numbers [2014/03/21 11:11] 127.0.0.1 external edit |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Order structure of real numbers ===== | ===== Order structure of real numbers ===== | ||
| - | ==== Definition ==== | + | ==== Set ==== |
| - | | @#FFBB00: $\langle \mathbb R,\le \rangle$ | | + | | @#FFBB00: definiendum | @#FFBB00: $\langle \mathbb R,\le \rangle$ | |
| We define the total order over the real numbers (in the Dedekind cut model) via $r<s \equiv r\subset s$, i.e. | We define the total order over the real numbers (in the Dedekind cut model) via $r<s \equiv r\subset s$, i.e. | ||
| - | | @#55EE55: $s \subseteq r \Leftrightarrow s\ge r$ | | + | | @#55EE55: postulate | @#55EE55: $s \subseteq r \Leftrightarrow s\ge r$ | |
| ==== Discussion ==== | ==== Discussion ==== | ||
| Line 11: | Line 11: | ||
| Wikipedia: [[http://en.wikipedia.org/wiki/Real_number|Real number]], [[http://en.wikipedia.org/wiki/Construction_of_the_real_numbers|Construction of the real numbers]], [[http://en.wikipedia.org/wiki/Dedekind_cut|Dedekind cut]] | Wikipedia: [[http://en.wikipedia.org/wiki/Real_number|Real number]], [[http://en.wikipedia.org/wiki/Construction_of_the_real_numbers|Construction of the real numbers]], [[http://en.wikipedia.org/wiki/Dedekind_cut|Dedekind cut]] | ||
| ==== Parents ==== | ==== Parents ==== | ||
| - | === Requirements === | + | === Context === |
| [[Real number]] | [[Real number]] | ||
| === Element of === | === Element of === | ||
| [[Total order]] | [[Total order]] | ||
