Пусть функция определена на множестве 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. Исправил ошибки в наборе символов. Текста много :)