Точная верхняя и нижняя границы: различия между версиями
| [непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
→Формулировка: Добавил линейность. Для частично упорядоченного множества это неправда. |
→Теорема о гранях: Эта теорема и не для всех линейно упорядоченных множеств верна |
||
Строка 37:
=== Формулировка ===
''Непустое
То есть существуют <math>a</math> и <math>b</math> такие, что
: <math>b = \sup X \begin{cases}
Строка 50:
=== Доказательство ===
Для множества <math>X</math> ограниченного сверху. Пусть <math>\tilde{b}=\tilde{b}_0, \tilde{b}_1 \dots \tilde{b}_n \dots </math> — мажоранта множества <math>X</math>, представленная в виде [[Десятичная дробь|бесконечной десятичной дроби]]. Множество <math>X</math> непусто. Запишем все числа <math>x</math> из <math>X</math> в виде нормальных десятичных дробей,▼
▲Для множества ограниченного сверху. Пусть <math>\tilde{b}=\tilde{b}_0, \tilde{b}_1 \dots \tilde{b}_n \dots </math> — мажоранта множества <math>X</math>, представленная в виде [[Десятичная дробь|бесконечной десятичной дроби]]. Множество <math>X</math> непусто. Запишем все числа <math>x</math> из <math>X</math> в виде нормальных десятичных дробей,
: <math>x=x_0,x_1\dots x_m \dots</math>.
| |||