Точная верхняя и нижняя границы: различия между версиями

отмена правки 67966479 участника 195.50.31.217 (обс)
(отмена правки 74189650 участника 195.122.249.52 (обс))
(отмена правки 67966479 участника 195.50.31.217 (обс))
: <math>s=\sup(X)\iff s\in S_X\and\forall y\in S_X\!:s\leqslant y.</math>
 
{{Якорь|Инфимум}}'''Точной (наибольшей) нижней гранью (границей)''', или '''инфи́мумоми́нфимумом''' ({{lang-la|infimum}} — самый низкий) подмножества <math>X</math> [[линейно упорядоченное множество|упорядоченного множества]] (или [[Класс (математика)|класса]]) <math>M</math>, называется наибольший элемент <math>M</math>, который равен или меньше всех элементов [[множество|множества]] <math>X</math>. Другими словами, инфимум — это наибольшая из всех нижних граней. Обозначается <math>\inf X</math>.
 
=== Замечание ===