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