19 Пределы функций. Непрерывность. Точки разрыва.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Показать, что если - непрерывна в точке
, то найдется такая
окрестность
точки
, в которой
ограничена. То есть
такая,
что для всех
выполнено
.
Пусть это не так. То есть пусть не ограничена ни в какой окрестности
точки
.
Это означает, что в каждой окрестности для любого
найдется
такая точка
, что
.
Тогда посмотрим последовательность (каждый раз
можно
брать из всё меньшей и меньшей окрестности
) такую, что
.
Но тогда последовательность - неограничена, а, значит, не может иметь
предела.
Противоречие с тем, что нам дано, что - непрерывна в точке
, ведь это,
в частности, означает, что
имеет предел в
.
Ошибка.
Попробуйте повторить позже
Доказать, что функция Дирихле
не непрерывна(=разрывна) в каждой точке .
Пусть - произвольная точка вещественной прямой.
Тогда ясно, что мы можем построить такую последовательность , что,
во-первых,
, и, во-вторых,
.
(Такую последовательность можно построить потому, что в любой сколь
угодно малой окрестности любой точки найдется рациональное число. В
том числе, можно построить последовательность рациональных чисел,
находящихся на сколь угодно малом расстоянии от
.)
Но для такой ясно, что
, а, значит,
.
С другой стороны, мы можем построить такую последовательность , что,
во-первых,
, и, во-вторых,
.
(Такую последовательность можно построить потому, что в любой сколь
угодно малой окрестности любой точки найдется иррациональное число.)
Но для такой ясно, что
, а, значит,
.
Таким образом, получаем, что, согласно определению по Гейне, у нет
предела ни в какой точке
. Поскольку на разных последовательностях,
стремящихся к
, сама функция
может стремиться к разным
пределам.
А функция, которая не имеет предела, тем более не может быть непрерывной.
Ошибка.
Попробуйте повторить позже
Доказать, что функция Римана
непрерывна в каждой иррациональной точке .
Пусть . Нам надо показать, что
.
То есть нам нужно показать, что
Последнее неравенство эквивалентно тому, что
Пусть нам задан . Как же нам выбрать такую
, чтобы
было выполнено
?
Рассмотрим это последнее неравенство .
1. Если . То тогда
, и поэтому неравенство
выполнено автоматически.
2. Если ,
- несократимая дробь. То тогда
, и
поэтому неравенство
эквивалентно тому, что
. А для каких
такое неравенство вообще может нарушаться? Только для таких
,
что
.
Или, что то же самое, . Но понятно, что при заданном
таких
натуральных чисел
будет лишь конечное число. Следовательно, нам
нужно взять такое
, чтобы ни один
из
-окрестности
не
удовлетворял неравенству
(Это как раз и можно сделать, потому что
иксов, удовлетворяющих этому неравенству только конечное число).
Таким образом, все иксы из выбранной окрестности удовлетворяют
неравенству
. Но это нам и нужно.
Ошибка.
Попробуйте повторить позже
Вычислить
.
Исследуем предел отдельно.
Следовательно,
Ошибка.
Попробуйте повторить позже
Вычислить
.
Исследуем предел отдельно.
Следовательно,
Ошибка.
Попробуйте повторить позже
Вычислить
.
Исследуем предел отдельно.
Следовательно,
Ошибка.
Попробуйте повторить позже
Найти предел
Поскольку при
А также
То получим
Ошибка.
Попробуйте повторить позже
Найти предел
В силу непрерывности экспоненты, можем записать:
Исследуем теперь предел
отдельно.
Во-первых, посмотрим на асимптотику внутреннего логарифма при :
Тем самым,
Однако , а значит:
Далее работает просто школьное свойство логарифма:
Тем самым, получается, что при :
Следовательно,
Следовательно,
Ошибка.
Попробуйте повторить позже
Найти предел
В силу непрерывности экспоненты, можем записать:
Исследуем теперь предел
отдельно.
Во-первых, ясно, что - бесконечно малая при
. Но логарифм единицы плюс бесконечно
малой эквивалентен этой бесконечно малой. Давайте заменим его на эквивалентную, с учетом того, что
логарифм в наш последний предел входит как множитель всего выражения:
Следовательно,
Ошибка.
Попробуйте повторить позже
Найти предел
Сделаем удобную замену , тогда
, а
. Теперь, с учётом непрерывности
экспоненты:
Исследуем предел
отдельно.
Далее, при :
Таким образом,
Далее,
Следовательно,
Ошибка.
Попробуйте повторить позже
Найти
Во-первых, при :
Далее, при :
Аналогично,
Следовательно,
Ошибка.
Попробуйте повторить позже
Сформулировать на языке последовательностей (по Гейне) определения правостороннего и
левостороннего предела функции в точке
.
1. Тот факт, что
в терминологии Гейне будет записываться так:
Для любой последовательности с условиями:
1) ;
2)
обязательно выполнено, что .
2. Тот факт, что
в терминологии Гейне будет записываться так:
Для любой последовательности с условиями:
1) ;
2)
обязательно выполнено, что .
Ошибка.
Попробуйте повторить позже
Доказать, что
1. . Пусть
. Докажем, что в таком случае обязательно
и
они оба равны
.
Будем доказывать от противного. Пусть это не так. Возможны три случая. Либо не существует
, либо не существует
, либо они оба существуют, но не равны между собой.
Поскольку первые два случая из этих трёх рассматриваются аналогично, мы рассмотрим только один
из них, ну и, конечно, третий тоже рассмотрим.
1.1. Пусть .
Однако нам дано, что . Это означает, что для любой последовательности
такой, что
выполнено, что
.
В том числе, это верно и для любой последовательности такой, что
. Но это по
определению по Гейне означает, что
. Противоречие.
1.2. Пусть , но
.
Пусть .
Тогда можно найти последовательность такую, что
и
, а также можно
найти последовательность
такую, что
и
. Но это противоречит тому, что
- мы на двух разных последовательностях, стремящихся к
, получаем разные
значения предела функции. Противоречие.
2. . Пусть
.
Докажем, что тогда .
А тут давайте для разнообразия порассуждаем в духе , то есть как Коши.
Итак, нам дано, что . Это означает, что
А ещё нам дано, что . Это означает, что
Итак, пусть нам теперь дано произвольное . Выберем
так, что при всех
,
удовлетворяющих условию
, выполняется, что
.
Выберем так, что при всех
, удовлетворяющих условию
, выполняется, что
.
Тогда при возьмём . Тогда при любом
таком, что
,
одновременно выполняется и то, что
и то, что
, а, значит, мы
однозначно можем заключить, что при таких
, что
, обязательно выполняется,
что
.
А это и есть не что иное, как определение того, что .
Ошибка.
Попробуйте повторить позже
Определить точки разрыва функций и исследовать характер этих точек, если
Выделим все возможные особые точки:
- особые точки числителя:
и
- особые точки знаменателя:
и
- точки, в которых знаменатель равен 0:
- таких точек нет
Получаем, что особые точки функции - это
. Проверим, какие
разрывы будут в этих точках:
-
Правый предел:
Левый предел:
Получаем, что в точке
устранимый разрыв.
-
Правый предел:
Левый предел:
Получаем, что в точке
устранимый разрыв.
-
Правый предел:
Получаем, что в точке
разрыв второго рода.
Ответ
Точки ,
- устранимые разрывы, точка
- разрыв второго рода.
Ошибка.
Попробуйте повторить позже
Определить точки разрыва функций и исследовать характер этих точек, если
Показатель степени () имеет разрыв в точке
. В остальных точках показатель будет
непрерывным. Соответственно, и вся функция
будет непрерывна во всех точках, кроме
.
Расмотрим правый предел в точке :
Расмотрим левый предел в точке :
Получаем, что точка - разрыв второго рода.
Ответ
- точка разрыва второго рода
Ошибка.
Попробуйте повторить позже
Определить точки разрыва функций и исследовать характер этих точек, если
Функция будет определена для
. И так как знаменатель (
) непрерывен для
, то исследовать на разрыв мы будем точки
- предельную точку области определения
и точку
- в которой
обращается в 0.
Так как функция определена только в правой области точки, то рассмотрим правый предел:
.
Получаем, что точка- точка устранимого разрыва.
Рассмотрим правый предел:
Левый предел:
Получаем, что точка- точка разрыва второго рода.
Ответ
- точка устранимого разрыва,
- точка разрыва второго рода.
Ошибка.
Попробуйте повторить позже
Определить точки разрыва функций и исследовать характер этих точек, если
Заметим, что у дроби и числитель, и знаменатель (как отдельные функции) непрерывны. Заметим
также, что определена при
, то есть на интервале
, так как иначе под корнем
будет отрицательное число. Получаем, что исследователь на разрыв нужно только точки, в которых
знаменатель
будет обращаться в 0.
Получаем особые точки и
. Так как функция определена только в левой
окрестности
и только в правой окрестности
, то мы будем рассматривать только
левый предел для
и только правый для
.
=
=
.
Получаем, что - точка устранимого разрыва.
Аналогично для :
=
.
Получаем, что - тоже точка устранимого разрыва.
Ошибка.
Попробуйте повторить позже
Определить точки разрыва и их род у функции
Поскольку при функция
равна
, то есть просто композиция
линейной функции и модуля, то на указанном участке
заведомо непрерывна как композиция
двух непрерывных всюду функций.
Далее, при
равна
, то по теореме о композиции непрерывных функций
,
будучи композицией всюду непрерывного косинуса и всюду непрерывной линейной функции
, на
этом участке также непрерывна.
Следовательно, подозрительными точками могут быть только граничные точки склейки - точки и
.
1. Исследуем точку . При
задаётся формулой
, и, значит,
В то же время При задаётся формулой
, и, значит,
Следовательно, в точке существуют оба односторонних предела и они равны между собой, то
есть, существует и просто предел. Но равен ли он значению
?
нужно считать по формуле
и
. Значит,
. Таким образом,
- непрерывна в точке
.
2. Исследуем точку . При
задаётся формулой
, и, значит,
В то же время При задаётся формулой
, и, значит,
Следовательно, в точке существуют оба односторонних предела, но они не равны между собой,
то есть в точке
функция
терпит разрыв 1 рода.
Ошибка.
Попробуйте повторить позже
Будет ли функция равномерно непрерывной на
?
Докажем, что не будет равномерно непрерывна на
. Давайте для этого построим отрицание
определения равномерной непрерывности:
Так у нас и будет. Возьмем . Тогда какую бы
нам ни дали, мы возьмем две такие
точки
,
:
В качестве точки мы возьмем точку вида
А качестве точки мы возьмем точку вида
Понятно, что, поскольку
То при достаточно большом мы сможем добиться того, чтобы
.
Однако
Ошибка.
Попробуйте повторить позже
Будет ли функция равномерно непрерывной на
?
Докажем, что не будет равномерно непрерывна на
. Давайте для этого построим отрицание
определения равномерной непрерывности:
Так у нас и будет. Возьмем . Тогда какую бы
нам ни дали, мы возьмем две такие
точки
,
:
В качестве точки мы возьмем точку вида
А качестве точки мы возьмем точку вида
Понятно, что, поскольку
То при достаточно большом мы сможем добиться того, чтобы
.
Однако
(проследите простую закономерность, какие значения принимает первый синус и какие значения
принимает второй синус. Когда один из них равен , другой равен нулю, и наоборот. Поэтому
модуль разности между ними всегда равен 1.)
Ну и мы получили, что для сколь угодно близких значения функции
отличаются
на единицу, то есть, в частности, отличаются больше, чем на взятый нами
. Следовательно,
-
не равномерно непрерывна на
.