русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Супремум и инфимум числовых множеств.


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


 

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

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

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

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

  1. Если вещественные числа а и b разных знаков, то большим считается число, имеющее знак +.
  2. Пусть оба числа имеют знак –. Назовем модулем вещественного числа это же число, но со знаком +.

Тогда, если |a|>|b| то считаем, что а<b, если же |a|<|b| то считаем, что а>b.

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

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

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

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

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

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

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

Определение 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}.

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

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

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

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

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

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

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

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

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

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

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

.

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

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

Подумайте сами, что надо изменить в процедуре построения , если во множестве {x} есть только отрицательные числа.

 



<== предыдущая лекция | следующая лекция ==>
Множества мощности континуума | Приближение вещественных чисел рациональными.


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.007 сек.