19 Пределы функций. Непрерывность. Точки разрыва.
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Пусть - равномерно непрерывна на
и
- равномерно непрерывна на
,
и,
более того,
Доказать, что тогда - равномерно непрерывна на
.
Вопрос. А верно ли аналогичное свойство для объединения бесконечного количества
множеств?.
1. Разберемся со случаем объединения двух множеств .
Тот факт, что - равномерно непрерывна на
означает, что
А тот факт, что - равномерно непрерывна на
означает, что
Докажем, что тогда будет равномерно непрерывна и на их объединении
.
Действительно, пусть нам дали произвольное . Выберем
, которое существует по
определению равномерной непрерывности
на
.
Затем выберем , которое существует по определению равномерной непрерывности
на
.
Пусть к тому же - расстояние между множествами
. По условию нам
дано, что
.
Тогда утверждается, что
уже подойдёт в качестве из определения равномерной непрерывности на объединении
.
Проверим это. Во-первых, очевидно, что , поскольку минимум из трёх положительных чисел
тоже будет положительным.
Во-вторых, пусть теперь дано . Тогда посмотрим, что будет для
и
, взятых из
и
удовлетворяющих условию
.
Если оба и
принадлежат
, то, поскольку расстояние между ними меньше
, а
, то по определению равномерной непрерывности для
на
, обязательно будет
выполнено
Аналогично, если оба и
принадлежат
, то, поскольку расстояние между ними меньше
, а
, то по определению равномерной непрерывности для
на
, обязательно будет
выполнено
Если же какой-то из иксов принадлежит, например, , а другой принадлежит
, то для них
просто не может выполняться условие
, потому что
, а минимальное расстояние
между точками из
и точками из
равно
. Следовательно, этот третий случай вообще
невозможен, при
.
Таким образом, мы рассмотрели все случае и показали, что для любых с условием
выполнено, что
. Это и означает, что
- равномерно непрерывна на
объединении
.
2. Случай бесконечного объединения. А что будет, если равномерно непрерывна на каждом
,
. И пусть даже для всех
выполнены условия, что они попарно не пересекаются и
расстояния между всеми ними положительны. Обязательно ли из этого будет следовать, что
равномерно непрерывна на
?
По крайней мере, провернуть аналогичное доказательство, как мы сделали для объединения двух
множеств (и как могли бы сделать для любого конечного объединения) уже не получится (почему???)
И ответ в данном случае - уже не обязательно. Рассмотрим
Тогда , будучи просто поточечно непрерывной на каждом
, будет и равномерно непрерывна
на каждом
по теореме Гейне-Кантора (заметим, что все
- отрезки, так что мы как раз
попадаем в условие этой теоремы).
Однако равномерной непрерывности на уже не будет. Это проверяется аналогично тому, как
мы проверяли, что
не будет равномерно непрерывной на
. Надо брать точки вида
, для больших
расстояние между этими точками будет стремиться к нулю, эти точки
обязательно (для больших
) будут попадать в объединение
, однако разность
от
этих точек будет всегда равна 1. Поэтому равномерной непрерывности
на
мы не
получим.
Ошибка.
Попробуйте повторить позже
Пусть - любое вещественное число. Пусть
- непрерывна поточечно на замкнутом луче , и существует конечный предел
Доказать, что тогда - равномерно непрерывна на
.
Пусть дано произвольное . Поскольку мы знаем, что
это означает, что обязательно найдется такое , что при всех
таких, что
будет выполнено
А, значит, при всех обязательно
С другой стороны, поскольку - поточечно непрерывна на
, то она, конечно, будет
поточечно непрерывна и на отрезке
. Но тогда, по теореме Гейне-Кантора,
будет
равномерно непрерывна на отрезке
. Таким образом, существует
такая, что при всех
обязательно выполнено, что
И мы уже почти готовы заключить, что - равномерно непрерывна на
. Действительно,
мы утверждаем, что теперь для этого произвольного
мы сможем найти такую
, что при всех
обязательно будет выполнено, что
Пусть . Покажем, что она подойдёт.
Итак, если оба попали в
, то какое бы между ними ни было расстояние, мы
уже заведомо знаем, что
. Если же оба
попали в
, то,
поскольку
, а при
из-за равномерной непрерывности
на
уже
автоматически получится, что
, то с этим случаем тоже все в порядке.
Но что же делать, если один из исков попал в , а другой попал в
? Но, поскольку мы
сейчас рассматриваем только иксы, расстояние между которыми меньше
, а
уж заведомо
меньше 1 (она не превосходит
по построению), то в таком случае не может быть такого,
что один из иксов лежит в интервале
, а другой лежит в интервале
.
То есть, один из иксов обязательно лежит в пересечении .
Но тогда второй либо лежит в
и тогда все хорошо, то есть
,
потому что они оба лежат тогда в отрезке
, а там
равномерно непрерывна.
Либо второй лежит в луче , но тогда они оба лежат в этом луче
и тогда тоже все
хорошо и
Ошибка.
Попробуйте повторить позже
Будет ли функция равномерно непрерывна на
?
Поскольку - непрерывна поточечно на прямой
и имеет конечные пределы
То будет равномерно непрерывна на
(рассуждать нужно аналогично тому, как при
доказательстве общего свойства:
Пусть - любое вещественное число. Пусть
- непрерывна поточечно на замкнутом луче , и существует конечный
предел
Тогда - равномерно непрерывна на
.
Ошибка.
Попробуйте повторить позже
Обязательно ли из равномерной непрерывности на
следует, что
- ограничена на
?
Указание. Рассмотреть функцию на
.
Не обязательно. Указанная функция на указанном множестве и будет контрпримером. А именно,
очевидно, что - не ограничена на
, более того,
.
Однако будет равномерно непрерывна на
. Действительно,
Следовательно, какое бы нам ни дали, мы возьмем
и тогда при
таких, что
мы автоматически получим, что
.
Что доказывает, что - равномерно непрерывна на
.
Ошибка.
Попробуйте повторить позже
a) Найти
b) Найти
c) Найти
a) Домножим и разделим на сопряженное:
Теперь поделим и числитель и знаменатель на .
Только будем осторожными - когда мы будем делить вот этот кусочек знаменателя на
, нам,
разумеется, захочется внести его под корень. Но у нас
, поэтому мы вспоминаем школьное свойство, что при
выполнено
(в нашем случае роль играет
, которое то как раз и отрицательно при
).
И тогда
Итак, числитель, очевидно, стремится к .
В знаменателе же стоит разность и корня
, который, очевидно, стремится к 1. Таким образом,
знаменатель наш стремится к нулю, причем оставаясь всегда положительным, а числитель стремится к
.
Делаем вывод: при выражение
А вместе с ним и наше исходное выражение
расходится к .
b) Поскольку задача состоит в том, чтобы найти
необходимо исследовать предел
и
Если окажется, что они существуют и равны между собой, то тогда и только тогда мы скажем, что существует и равен им предел
Итак, приступим:
Домножим и разделим на сопряженное:
Теперь поделим и числитель и знаменатель на .
В данном случае мы делим, во-первых, на что-то явно положительное при , и при
тоже. Да и
корень у нас нечетной степени. Поэтому никаких таких забот, как в предыдущем пункте у нас не возникнет.
Наше деление происходит без смены знака у корня причем как при
, так и при
.
Тогда:
Видно, что числитель стремится к 2 (он просто равен 2), а в знаменателе стоит сумма трех корней, в
каждом из которых подкоренное выражение стремится к 1, следовательно, знаменатель стремится к 3.
Причем, обратите внимание, что мы нигде не пользовались тем, или
.
Следовательно, мы можем заключить и то, что
И то что
А значит, вывод:
c) Поскольку задача состоит в том, чтобы найти
необходимо исследовать предел
и
Если окажется, что они существуют и равны между собой, то тогда и только тогда мы скажем, что существует и равен им предел
Итак, приступим:
Домножим и разделим на сопряженное:
1. Исследуем при . Тогда числитель стремится к
, а в знаменателе давайте вынесем
за
скобки:
И видно, что при выполнено:
Следовательно, наш умножается на скобку, стремящуюся к 2.
Следовательно, знаменатель стремится к , следовательно, вся дробь
стремится к 0 при .
2. Исследуем при . Тогда числитель стремится к
, а в знаменателе давайте вынесем
за скобки.
Однако, вспомним, что , поэтому по школьному свойству, говорящему о том, что при
выполнено
(в нашем случае роль играет
, которое то как раз и отрицательно при
). И будем
иметь:
К чему же все это стремится при ? Давайте немного преобразуем:
Сделаем замену . Тогда наш пример превратится в
Но при такой замене, если , то
, конечно,
.
Засунем обратно под корень (
):
Домножим на сопряженное:
И видно, что знаменатель при стремится к
, числитель стремится к
.
Следовательно,
Следовательно, и до замены
То есть
Таким образом,
- есть константа, деленная на бесконечно малую. Следовательно,
- расходится к бесконечности при . Следовательно,
расходится к бесконечности при .
Получилось, что
однако
Следовательно.
Ошибка.
Попробуйте повторить позже
Зачем в определении того, что для функции
выполнено, что
мы потребовали, что - предельная точка множества
?
Давайте продемонстрируем это на примере определения предела функции в точке по Гейне.
Опр. (по Гейне) Пусть ,
. Пусть
- предельная точка для множества
. Число
называется пределом функции
в смысле Гейне при
, если для любой последовательности
но так, чтобы
выполнено, что
.
Итак, допустим теперь, что - не предельная точка множества
, т.е. области определения функции
.
Это означает, что существует проколотая окрестность точки (обозначим её
), в которую не попало вообще ни
одной точки множества
.
А теперь остановитесь и попробуйте ответить на вопрос, при этих условиях, может ли существовать хотя бы одна
последовательность такая, что:
1) ;
2) ;
3) Значения вообще определены, то есть можно считать
на элементах последовательности
?
Правильный ответ - конечно, нет.
Ибо, если все таки , при этом
, то рано или поздно
попадёт таки в ту самую проколотую
окрестность
(это просто следует из определения того, что и из того, что самому
-му никакой член
последовательности
не равен. А поэтому, начиная с какого-то момента, то есть при
все члены
попадают в сколь угодно малую именно проколотую окрестность своего предела
- в том числе попадают и в
).
Но что же тогда, тогда же получается, что рано или поздно, то есть начиная с какого-то все члены
попадают
именно туда, где функция
не определена. Ведь по построению
.
Следовательно, у нас с вами в таком случае просто-напросто не получится проверить определение предела функции по
Гейне.
Потому что в определении по Гейне мы должны брать все возможные последовательности такие, что
, подставлять их в
и смотреть, куда сходится
. Однако, если
- не предельная
точка множества
, то
СОВЕРШЕННО ЛЮБАЯ ТАКАЯ ОБРЕЧЕНА НА ТО, ЧТОБЫ С КАКОГО-ТО
МОМЕНТА ПОПАДАТЬ В ПРОКОЛОТУЮ ОКРЕСТНОСТЬ
, В КОТОРОЙ
НЕ
ОПРЕДЕЛЕНА.
ПОЭТОМУ МЫ НЕ СМОЖЕМ НИ ДЛЯ ОДНОЙ ПОСЛЕДОВАТЕЛЬНОСТИ ТАКОЙ
ЧТО
ПРОВЕРИТЬ, КУДА СТРЕМИТСЯ
.
Ошибка.
Попробуйте повторить позже
Найти
Чтобы воспользоваться таблицей эквивалентностей, сделаем замену . Тогда
и будем
иметь
Теперь, согласно модифицированной таблице эквивалентностей:
Таким образом, в силу того, что :
Аналогично, и для всех остальных степеней тоже, то есть при любом будет:
Таким образом:
Ошибка.
Попробуйте повторить позже
Найти
Поскольку у нас , то сразу в лоб пользоваться таблицей эквивалентностей не получится. Нужно вначале
сделать замену, чтобы аргумент в пределе стремился к нулю. Сделаем замену
. Тогда
и:
А далее пользуемся формулами приведения. Поскольку мы не знаем, четно или нечетно и
(они по условию
могут быть какими угодно), то запишем формулы приведения в общем виде, в зависимости от четностей
и
:
Далее, так как , то
и
и поэтому имеем право пользоваться модифицированной таблицей
эквивалентностей:
. Они оба входят как множители во все выражение, и поэтому их можно
менять на эквивалентные:
(В конце мы просто сократили на )
Ошибка.
Попробуйте повторить позже
a) Пусть - разрывна в точке
. Пусть она, однако, определена в точке
, то
есть существует
. Пусть
- разрывна в точке
. Может ли, однако,
оказаться непрерывной в точке
?
b) Пусть - разрывна в точке
. Пусть она, однако, определена в точке
, то есть существует
. Пусть
- непрерывна в точке
. Может
ли, однако,
оказаться непрерывной в точке
?
a) Пусть
Пусть .
Ясно, что тогда - разрывна в точке
(у нее даже нет предела при
).
- разрывна в точке
. Однако
всюду на
, поэтому
- непрерывна в точке 0.
b) Пусть (функция знака, равная 1 для положительных
,
для
отрицательных
и 0 в нуле).
Пусть - константа, всегда равная 3.
Ясно, что - разрывна в точке 0. Ясно, что
- непрерывна в точке
.
Но
- константа, всегда равная 1. Поэтому
- непрерывна в точке
0.