Ограниченное сверху числовое множество имеет бесконечно много верхних границ, среди которых особенную роль играет найменьшая из них. Число latexM называется точной верхней гранью (границей), если:
latex1) для latex∀x∈X:x≤M;
latex2) для latex∀M′<M:∃x′∈X:x′>M′; (любое число меньшее M верхней гранью не является).
latexM=supX (latexM — супремум latexX).
Число latexM называется точной нижней гранью (границей), если:
latex1) для latex∀x∈X:x≥M;
latex2) для latex∀M′>M:∃x′∈X:x′<M′; (любое число меньшее M верхней гранью не является).
latexM=infX (latexM — инфимум latexX).
(если множество latexX неограничено сверху, то пишем latexsupX=+∞; если множество latexX неограничено снизу, то пишем latexsupX=−∞.)
Примечание: если latexM не является точной верхней гранью множества latexX и latex∀x∈X:x≤M, тогда latex∃M′<M:∀x′∈X:x′>M′;
если latexM не является точной нижней гранью множества latexX и latex∀x∈X:x≥M, тогда latex∃M′>M:∀x′∈X:x′<M′.
Примеры:
latex1)X=[1;2):
latexsupX=2∉X; latexinfX=1.
latex2)X={12;122;123;…};
latexsupX=maxX=12∈X;
latexinfX=0∉X.
Единственность верхних и нижних точных граней
Если множество имеет latexsup и latexinf, то он единственный.
latex Рассмотрим для latexsup.
Пусть множество latexX имеет 2 точных верхних грани: latexM1 и latexM2.
Допустим latexM1<M2.
Так как latexM1<M2 и latexM2=supX, то latex∃x′∈X:x′>M1, что противоречит тому факту, что latexM1=supX. latex
Аналогично доказывается единственность нижней точной грани.
Практические задания:
latex1) Определить точные нижнюю и верхнюю грани множества рациональных чисел latexr, удовлетворяющих равенству latexr2<2.
Решим неравенство latexr2.
latexx∈(−√2;√2)
latexsupr=√2 Докажем это:
latex1)∀x∈r:x≤√2. Так и есть, latex√2 является верхней границей множества latexr.
latex2)∀M′<√2:∃x′∈r:x′>M′;
Действительно, всякие рациональные latexx<√2 (и при этом latexx>−√2) будут элементами множества latexr, причём latex∀ϵ:∃x∈r:√2—x<ϵ. То есть какое бы рациональное число из latexr мы не взяли, можно взять рациональное число из latexr так, что оно будет находиться ближе к latex√2 на числовой прямой.
latex2) Пусть latex{−x} — множество чисел, противоположных числам latexx∈{x}.
Доказать, что latexinf{−x}=sup{x}.
latex Пусть latex(−x) — элемент из множества latex{−x} противоположный элементу latexx из множества latex{x}.
Распишем точную нижнюю грань для множества latex{−x} по определению:
latex1) latex∀(−x)∈{−x}:(−x)≥M; latex⇒ latex∀x∈{x}:x≤−M;
latex2) latex∀M′>M:∃(−x′)∈{−x}:(−x′)<M′⇒
latex⇒∀(−M′)<−M:∃x′∈{x}:x′>−M′.
Получили:
latex1) latex∀x∈{x}:x≤−M;
latex2) latex∀(−M′)<−M:∃x′∈{x}:x′>−M′.
Тоесть: latex−M=sup{x} latex⇒ latexM=−sup{x}.
Так как latexM=inf{−x}, latexinf{−x}=—sup{x}. latex
Тест "Верхняя и нижняя грани множества"
Тестовые вопросы по вышеизложенному материалу.
Таблица лучших: Тест "Верхняя и нижняя грани множества"
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |
Источники:
Конспект по мат.анализу (Лекции Лысенко З.М.)
В.И.Коляда, А.А.Кореновский «Курс лекций по мат.анализу, часть 1» (Одесса «Астропринт» , 2009г.), стр.7.
В.И.Ильин, Э.Г.Позняк «Основы мат.анализа, часть 1, выпуск 2» (Издание четвёртое, переработанное и дополненное, 1982г.) стр.44.
Б.П.Демидович «Сборник задач и упражнений по мат.анализу» (издание пятое) стр.12. №17, 19а.
Подробнее на: