![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Выше было описано правило, устанавливающее признак равенства двух вещественных чисел. Опишем теперь правило, позволяющее установить, какое из двух вещественных чисел больше.
1. Пусть оба вещественных числа имеют знак +.
Найдем первую по порядку цифру в этих числах, которые не равны друг другу. Пусть это будет цифра с номером n, то есть
(заметим, что символами математики это записывается так: ). Тогда, если
, то считаем, что a > b, а если
, то a < b.
2. Если вещественные числа а и b разных знаков, то большим считается число, имеющее знак +.
3. Пусть оба числа имеют знак –. Назовем модулем вещественного числа это же число, но со знаком +:
Тогда, если | a |>| b | то считаем, что а < b, если же | a |<| b | то считаем, что а > b.
Это правило будет необходимо нам ниже.
Определение. Множество, элементами которого являются вещественные числа, называется числовым множеством.
Числовые множества мы будем обозначать { x }, где под х будут пониматься вещественные числа.
Для того, чтобы все дальнейшие определения и теоремы записывались в принятой математической форме, введем специальные значки, которые носят название кванторов. Их два:
Знак называется «квантор общности» и читается «для каждого», «для любого» (
есть перевернутая буква А из английского выражения «for A ll»).
Знак называется «квантором существования» и читается «существует» (
есть перевернутая буква Е из английского слова «E xist»). Вариантом этого квантора является знак
!, который читается «существует единственный» или «существует один и только один».
А теперь перейдем к определениям.
Определение 1. Числовое множество { x } называется ограниченным сверху, если (читается: существует такое
, что для любого
выполнено условие x £ M). Число М называется верхней гранью числового множества { x }.
Определение 2. Числовое множество { x } называется ограниченным снизу, если . Число m называется нижней гранью числового множества { x }.
Определение 3. Числовое множество { x } называется ограниченным, если .
Очевидно, что если, скажем, существует одна верхняя грань, то их бесконечно много: если, например, М – верхняя грань числового множества { x }, то М +1, М +2, М +3 и т.д. – также верхние грани для {x}.
Определение 4. Наименьшая из верхних граней называется точной верхней гранью или супремумом числового множества { x } (обозначение sup{ x }).
Наибольшая из нижних граней называется точной нижней гранью или инфимумом числового множества { x } (обозначение inf{ x }).
Эти понятия столь важны, что опишем их в других терминах.
sup{x} определяется двумя свойствами:
Первое свойство означает, что sup{ x } – верхняя грань, то есть все элементы { x } не превосходят sup{ x }.
Второе свойство означает, что любая попытка уменьшить эту верхнюю грань приводит к появлению элемента из { x }, который окажется больше .
Говоря образно, sup{ x } это планка, перепрыгнуть которую нельзя, но любая попытка опустить эту планку хоть чуть-чуть приводит к тому, что кто-то ее преодолевает.
Аналогично, inf{ x } определяется двумя свойствами:
Заметим, что сами sup{ x } и inf{ x } могут как принадлежать, так и не принадлежать множеству { x }.
Теперь мы в состоянии доказать важнейшую теорему этого раздела и одну из важнейших теорем всего математического анализа.
Теорема о существовании супремума и инфимума.
Если числовое множество { x } не пусто и ограничено сверху, то у него существует sup{ x }.
Если числовое множество { x } не пусто и ограничено снизу, то у него существует inf{ x }.
Доказательство.
Мы докажем эту теорему только для sup{ x } при одном дополнительном предположении – в множестве { x } имеются положительные числа. Доказательство разбивается на три части.
1. Процедура построения sup{ x }.
Пусть М – верхняя грань для { x }, то есть . Проделаем следующее построение:
а) Выбросим из множества { x } все отрицательные числа.
б) У оставшихся чисел выпишем те цифры , которые стоят перед запятой. Множество
этих цифр конечно, так как этих цифр не более чем [ M ] (целая часть М). Обратите внимание, что именно в этом месте используется ограничение теоремы – существование верхней грани. Если бы верхней грани не существовало, то множество { x } было бы бесконечным.
В силу конечности множества из этих цифр до запятой можно выбрать самую большую -–ведь их же конечное число. Обозначим самую большую из этих цифр через
.
в) Выбросим из { x } все те числа, у которых цифра до запятой меньше . У оставшихся чисел выпишем первую цифру после запятой. Этих цифр
не более 10. Выберем из них самую большую и обозначим ее через
.
г) Выбросим из { x } все те числа, у которых первая цифра после запятой меньше . У оставшихся чисел выпишем вторую цифру после запятой. Этих цифр
не более 10. Выберем из них самую большую и обозначим ее через
.
д) Выбросим из { x } все те числа, у которых…
Повторяя эту операцию до бесконечности мы построим число
Покажем, что и есть sup{ x }.
2. Проверим первое свойство sup{ x }.
Возьмем любое . Если х имеет знак –, то ясно, что
.
Пусть х имеет знак +. Тогда
Сравним х 0 и . Вспомним, что
было самым большим из
. Поэтому может быть всего два варианта: либо
, либо
. В первом случае
и дальнейшая проверка ни к чему. Если же
, то сравним х 1 и
. Опять-таки по построению возможны два варианта: либо
и тогда
и дальнейшая проверка ни к чему, либо
.
Если , то сравним х 2 и
. Опять-таки по построению возможны два варианта: либо
и тогда
и дальнейшая проверка ни к чему, либо
.
Продолжая этот процесс и дальше, получим, что возможны два следующих варианта.
а) Найдется какое-то n, для которого . Тогда
.
б) Для всех n . Тогда
.
Поэтому всегда и первое свойство супремума выполнено.
Эту процедуру можно пояснить следующей диаграммой:
3. Проверка второго свойства супремума.
Заметим, что второе свойство можно записать так:
такой, что
.
Возьмем положительное :
.
Так как , то найдется такое n, что
.
Но вспомним процедуру построения . На n -м шаге после выбрасывания во множестве { x } оставались лишь те числа, для которых
. Любое из этих чисел будет больше x' (так как
), но естественно, меньше или равно
. Поэтому любое из этих чисел удовлетворяет второму свойству супремума. <
Подумайте сами, что надо изменить в процедуре построения , если во множестве { x } есть только отрицательные числа.
Дата публикования: 2015-01-23; Прочитано: 1089 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!