русс | укр

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

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

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

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


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

Основные теоремы о непрерывных функциях


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


Теорема 1. (I теорема Больцано-Коши). Пусть функция определена и непрерывна на и на концах принимает значения разных знаков, т.е. , тогда существует точка , такая что .

Замечание. О единственности точки ничего не утверждается.

 

Доказательство: Допустим, что , . Разделим отрезок пополам, т.е. рассмотрим точку . Возможны 3 случая: 1) ;

2) ,

(рассмотрим отрезок );

3) .

(рассмотрим отрезок );

 

Рассмотрим отрезок , где и .

Теперь разделим пополам и тоже самое проделаем для данного отрезка. Продолжим этот процесс до -ого шага.

Получим отрезок , где , . Разделим отрезок пополам и рассмотрим 3 случая:

1) ;

2) (рассмотрим отрезок );

3) (рассмотрим отрезок ).

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

Теорема 2. (II теорема Больцано-Коши). Пусть функция определена и непрерывна на . Обозначим: , и допустим, что . Тогда, для , , что .

Иначе говоря, значения непрерывной функции охватывают весь отрезок .

Доказательство: Введем дополнительную функцию . Понятно, что если непрерывна на , то будет также непрерывна на и , . Т.к. , то и , т.е. для функции на отрезке выполняются все условия I теоремы Больцано-Коши. Следовательно, обязательно существует такая точка , что , и т.к.



Теорема 3. (I теорема Вейерштрасса). Любая непрерывная на отрезке функция ограниченная.

Доказательство: показать, что функция – ограниченная, означает показать, что что . Пусть это условие нарушается, тогда для любого натурального числа существует что . Т.к. ограниченная то по теореме Больцано-Вейерштрасса тогда при .

С другой стороны, а – непрерывная, то . Оказывается, что с одной стороны, (к конечному числу), а с другой стороны . Пришли к противоречию, т.е. – ограниченная. Ч.т.д.

 

Например, функция определена на отрезке , но неограниченная, т.к.в точке функция не является непрерывной.

 

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

Возникает вопрос, достигает ли функция значений ?

 

Теорема 4. (II теорема Вейерштрасса). Любая непрерывная на отрезке функция достигает своего наибольшего и наименьшего значения, т.е. , что и .

Доказательство: допустим это так, т.е. и для Обозначим через . Функция – непрерывна на отрезке , т.к. – непрерывная функция и . Следовательно, по I теореме Вейерштрасса, функция – ограниченная, т.е. , что . Следовательно, . А это противоречит, тому, что не должна быть верхней гранью, но . Пришли к противоречию. Т.о. , что .

 

 

С помощью данной теоремы перефразируем II теорему Больцано-Коши:

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

 

 



<== предыдущая лекция | следующая лекция ==>
Точки разрыва функции | Равномерная непрерывность. Теорема Кантора.


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


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

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

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


 


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

 
 

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

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