Пусть функция
определена на множестве E
Пусть
где
.
Понятно,
что для любого
на области
от
(то есть:
) выполняется
.
Следовательно, для
, выполняется
.
\ \ \ |x^2-x_0^2|< |x-x_0|\cdot|2x_0+1|<\delta|2x_0+1|=\epsilon" alt="|(x^2+2)-(x_0^2+2)|=|x^2-x_0^2|=|x-x_0|\cdot|x+x_0| < |x-x_0|\cdot|2x_0+1| \\
\delta= \frac{\epsilon}{x_0+1} \ \ \ => \ \ \ |x^2-x_0^2|< |x-x_0|\cdot|2x_0+1|<\delta|2x_0+1|=\epsilon" align="absmiddle" class="latex-formula">
Получили,
что для любого
0" alt="\epsilon > 0" align="absmiddle" class="latex-formula"> есть
, на области
которой выполняется
(Проще говоря:
0 \ \ \exists\delta>0 \ \ : \ \ |x-x_0|<\delta \ \
\bigwedge \ \ |f(x)-f(x_0)|<\epsilon" alt="\forall
\epsilon>0 \ \ \exists\delta>0 \ \ : \ \ |x-x_0|<\delta \ \
\bigwedge \ \ |f(x)-f(x_0)|<\epsilon" align="absmiddle" class="latex-formula">). Следовательно -
.
Что и требовалось доказать.
Для
нужно отдельно доказать предел
.
Теперь
в чём проблема самого вопроса: мы только что доказали непрерывность
функции на любом подмножестве
. Но! Множество натуральных
чисел
тоже подмножество
, значит
тоже непрерывна, получается - доказали что
непрерывна на области определения? Известно, что
тоже непрерывна на области определения, но
, понятное дело, не определена на
!
Потому вопрос, ИМХО, поставлен не верно (претензия не к тебе, а скорее к преподавателям твоим). Правильно задать вопрос указывая то множесто точек, которое интересует: к примеру "непрерывна на
" или, "непрерывна на отрезке
"...
Тем более, что есть понятие "равномерная непрерывность" - свойство области, а не так, как "непрерывность" - свойство точки. Отсюда и непонимание.
А то получается: спрашивают об области, а проверяют точку.
Будут вопросы - пиши.
P.S. Исправил ошибки в наборе символов. Текста много :)