Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
extended_real_number_line [2013/08/04 16:44] nikolaj |
extended_real_number_line [2013/08/16 15:28] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Extended real number line ===== | ===== Extended real number line ===== | ||
==== Definition ==== | ==== Definition ==== | ||
- | | @#55EE55: $ \overline{\mathbb R} \equiv \mathbb R\cup{-\infty,\infty} $ | | + | | @#55EE55: $ \overline{\mathbb R} \equiv \mathbb R\cup\{-\infty,\infty\} $ | |
>todo: model $-\infty$ and $\infty$ | >todo: model $-\infty$ and $\infty$ | ||
Line 10: | Line 10: | ||
==== Context ==== | ==== Context ==== | ||
- | Set | + | === Requirements === |
- | === Parents === | + | |
[[Real number]] | [[Real number]] |