Что такое sup в математике

Число называется верхней границей множества , если любое число не превосходит . Иными словами, — верхняя граница множества , если .

Множество называется ограниченным сверху, если оно имеет хотя бы одну верхнюю границу.

Если множество ограничено сверху, то его минимальная верхняя граница называется точной верхней границей, или супремумом, и обозначается .

Минимальность верхней границы означает, что ее нельзя уменьшить. Если мы уменьшим супремум на любое небольшое 0$" title="$varepsilon>0$">, то число уже не будет верхней границей для множества , то есть найдется число , для которого уже не является верхней границей, то есть будет верно неравенство s-varepsilon$" title="$x_0 > s-varepsilon$">.

Определение супремума в формальной записи:

, если
1) — верхняя граница , то есть ;
2) — минимальная верхняя граница , то есть 0 exists x_0in X colon x_0> s-varepsilon$" title="$forall varepsilon>0 exists x_0in X colon x_0> s-varepsilon$">.

Аналогично определяется нижняя граница и точная нижняя граница как максимум всех нижних границ.

Число называется нижней границей множества , если любое число не меньше . Иными словами, — нижняя граница , если .

Множество называется ограниченным снизу, если оно имеет хотя бы одну нижнюю границу.

Если множество ограничено снизу, то его максимальная нижняя граница называется точной нижней границей, или инфимумом, и обозначается .

Определение инфимума в формальной записи:

, если
1) — нижняя граница , то есть ;
2) — максимальная нижняя граница , то есть 0 exists x_0in X colon x_0 0 exists x_0in X colon x_0 .

Множество натуральных чисел не органичено сверху, поэтому и супремума у него нет.

По определению можно показать, что .
Так как , то есть 1 — нижняя граница.
Так как 0 1 0 1 , то 1 — максимальная нижняя граница.

Дата добавления: 2015-08-14 ; просмотров: 16747 ; Нарушение авторских прав

Выше было описано правило, устанавливающее признак равенства двух вещественных чисел. Опишем теперь правило, позволяющее установить, какое из двух вещественных чисел больше.

1. Пусть оба вещественных числа имеют знак +.

Найдем первую по порядку цифру в этих числах, которые не равны друг другу. Пусть это будет цифра с номером n, т.е.

(заметим,что символами математики это записывается так: ). Тогда, если , то считаем, что a>b, а если , то a |b| то считаем, что а b.

Это правило будет необходимо нам ниже.

Определение. Множество, элементами которого являются вещественные числа, называется числовым множеством.

Числовые множества мы будем обозначать , где под х будут пониматься вещественные числа.

Для того, чтобы все дальнейшие определения и теоремы записывались в принятой математической форме, введем специальные значки, которые носят название кванторов. Их два:

Знак называется “квантор общности” и читается “для каждого” ( есть перевернутая буква А из английского выражения “for All”).

Знак называется “квантором существования” и читается “существует” ( есть перевернутая буква Е из английского слова “Exist”). Вариантом этого квантора является знак !, который читается “существует единственный” или “существует один и только один”.

А теперь перейдем к определениям.

Определение 1. Числовое множество называется ограниченным сверху, если (читается: существует такое , что для любого выполнено условие x меньше либо равно M) .Число М называется верхней гранью числового множества .

Определение 2. Числовое множество называется ограниченным снизу, если . Число m называется нижней гранью числового множества .

Определение 3. Числовое множество называется ограниченным, если .

Очевидно,что если, скажем, существует одна верхняя грань, то их бесконечно много: если, например, М – верхняя грань числового множества ,то М+1, М+2, М+3 и т.д. – также верхние грани для .

Определение 4. Наименьшая из верхних граней называется точной верхней гранью или супремумом числового множества (обозначение sup).

Наибольшая из нижних граней называется точной нижней гранью или инфимумом числового множества (обозначение inf).

Эти понятия столь важны, что опишем их в других терминах.

Sup определяется двумя свойствами:

Первое свойство означает, что sup – верхняя грань, т.е. все элементы не превосходят sup.

Второе свойство означает, что любая попытка уменьшить эту верхнюю грань приводит к появлению элемента из , который окажется больше .

Говоря образно, sup это планка, перепрыгнуть которую нельзя, но любая попытка опустить эту планку хоть чуть-чуть приводит к тому, что кто-то ее преодолевает.

Аналогично, inf определяется двумя свойствами:

Заметим, что сами sup и inf могут как принадлежать, так и не принадлежать множеству x.

Теперь мы в состоянии доказать важнейшую теорему этого раздела и одну из важнейших теорем всего мат. анализа.

Теорема о существовании супремума и инфимума.

Если числовое множество не пусто и ограничено сверху, то у него существуетsup.

Если числовое множество не пусто и ограничено снизу, то у него существуетinf.

Мы докажем эту теорему только для sup при одном дополнительном предположении – в множестве имеются положительные числа. Доказательство разбивается на три части.

Пусть М – верхняя грань для , т.е. . Проделаем следующее построение:

а) Выбросим из множества все отрицательные числа.

б) У оставшихся чисел выпишем те цифры , которые стоят перед запятой. Множество этих цифр конечно, т.к. этих цифр не более чем [M] (целая часть М). Обратите внимание, что именно в этом месте используется ограничение теоремы – существование верхней грани. Если бы верхней грани не существовало, то множество было бы бесконечным.

В силу конечности множества из этих цифр до запятой можно выбрать самую большую -–ведь их же конечное число. Обозначим самую большую из этих цифр через .

в) Выбросим из все те числа, у которых цифра до запятой меньше . У оставшихся чисел выпишем первую цифру после запятой. Этих цифр не более 10. Выберем из них самую большую и обозначим ее через .

г) Выбросим из все те числа, у которых первая цифра после запятой меньше . У оставшихся чисел выпишем вторую цифру после запятой. Этих цифр не более 10. Выберем из них самую большую и обозначим ее через .

д) Выбросим из все те числа, у которых…

Повторяя эту операцию до бесконечности мы построим число

Покажем,что и естьsup.

1. Проверим первое свойство sup .

Возьмем любое . Если х имеет знак –, то ясно, что .

Пусть х имеет знак +. Тогда

Сравним . Вспомним, что было самым большим из . Поэтому может быть всего два варианта: либо , либо . В первом случае и дальнейшая проверка ни к чему.

Если же , то сравним . Опять-таки по построению возможны два варианта: либо и тогда и дальнейшая проверка ни к чему, либо .

Если , то сравним . Опять-таки по построению возможны два варианта: либо и тогда и дальнейшая проверка ни к чему, либо .

Продолжая этот процесс и дальше, получим, что возможны два следующих варианта.

а) Найдется какое-то n, для которого . Тогда .

б) Для всех n . Тогда . Поэтому всегда и первое свойство супремума выполнено.

1. Проверка второго свойства супремума.

Заметим,что второе свойство можно записать так: . Возьмем положительное :

.

Так как , то найдется такое n,что

но вспомним процедуру построения . На n-м шаге после выбрасывания во множестве оставались лишь те числа, для которых . Любое из этих чисел будет больше x’ (т.к. ), но естественно, меньше или равно . Поэтому любое из этих чисел удовлетворяет второму свойству супремума.