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

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