Непрерывность функции на множестве

Определение

Непрерывность функции нескольких переменных:

Пусть точка [latex]A[/latex] принадлежит области определения функции [latex] u=f(M)[/latex] нескольких переменных и любая [latex]\varepsilon[/latex]-окрестность точки [latex]A[/latex] содержит отличные от [latex]A[/latex] точки области определения этой функции.

Функция [latex] u=f(M)[/latex] называется непрерывной на множестве [latex]\left \{ M \right \}[/latex], если она непрерывна в каждой точке этого множества.

Основные свойства непрерывных функций нескольких переменных:

Теорема об устойчивости знака непрерывной функции:

Если функция [latex] u=f(M)[/latex] непрерывна в точке [latex]A[/latex] евклидова пространства [latex] E^m [/latex] и если [latex] f(A)\neq0 [/latex], тo существует такая  [latex] \delta [/latex] окрестность точки [latex]A[/latex], в пределах которой во всех точках области своего задания [latex] f(M)[/latex] не обращается в нуль и имеет знак совпадающий со знаком[latex] f(M)[/latex]. Справедливость этой теоремы непосредственно вытекает из определения непрерывности функции в терминах «[latex] \varepsilon — \delta [/latex]».

Теорема о прохождении непрерывной функции через любое промежуточное значение:

Пусть функция [latex] u=f(M)[/latex] непрерывна во всех точках связного множества [latex]\left \{ M \right \}[/latex] евклидова пространства [latex]E^{m}[/latex], причем [latex] f(A)[/latex] и [latex] f(B)[/latex] — значения этой функции в точках [latex]A[/latex] и [latex]B[/latex] этого множества. Пусть, далее, [latex]C[/latex] — любое число, заключенное между [latex] f(A)[/latex] и [latex] f(B)[/latex] . Тогда на любой непрерывной кривой [latex]L[/latex], соединяющей точки [latex]A[/latex] и [latex]B[/latex] и целиком располагающейся в [latex] \left \{ M \right \} [/latex], найдется точка N такая, что [latex] f(N)=C [/latex].

Спойлер

Пусть

[latex]x_{1}=\varphi_{1}t[/latex], [latex]x_{2}=\varphi_{2}t[/latex], [latex]\ldots[/latex], [latex]x_{m}=\varphi_{m}t[/latex], [latex]\alpha \le t \le \beta[/latex],

— уравнения непрерывной кривой [latex]L[/latex], соединяющий точки [latex]A[/latex] и [latex]B[/latex] множества [latex]\left \{ M \right \}[/latex] и целиком располагающейся в [latex]\left \{ M \right \}[/latex].

На сегменте [latex][\alpha, \beta][/latex] определена сложная функция [latex] u=f(x_{1}, x_{2}, \ldots, x_{m})[/latex], где и [latex]x_{i}=\varphi_{i}t[/latex], [latex]i=1, 2, \ldots, m[/latex], [latex]\alpha \le t \le \beta[/latex]. Очевидно, значение этой функции на сегменте [latex][\alpha, \beta][/latex] совпадают со значениями функции [latex] u=f(M)[/latex] на кривой [latex]L[/latex]. Указанная сложная функция одной переменной [latex]t[/latex], в силу непрерывности сложной функции, непрерывна на сегменте [latex][\alpha, \beta][/latex] и согласно второй теореме Больцано-Коши, в некоторой точке [latex]\xi[/latex] сегмента [latex][\alpha, \beta][/latex] принимает значение [latex]C[/latex]. По этому в точке [latex]N[/latex] кривой [latex]L[/latex] с координатами [latex]\varphi_{1}(\xi)[/latex], [latex]\varphi_{2}(\xi), \ldots,[/latex] [latex]\varphi_{m}(\xi)[/latex] справедливо равенство [latex]f(N)=C[/latex]. Теорема доказана.

[latex]\blacksquare[/latex]

[свернуть]

Литература:

Непрерывная функция

Тест на тему «непрерывные функции»

Таблица лучших: Непрерывная функция

максимум из 6 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Фундаментальные последовательности и их свойства

Определение

Последовательность [latex] \left \{ x_{n} \right \} [/latex] называют фундаментальной, если она удовлетворяет условию Коши: для каждого [latex]\varepsilon > 0[/latex] существует такое натуральное число [latex] n_{0} [/latex], что для любого [latex]n \geq n_{0}[/latex] и любого [latex]m \geq n_{0}[/latex] справедливо неравенство [latex]\left | x_{n} — x_{m} \right | < \varepsilon[/latex]. Кратко это условие можно записать так: [latex]\forall \varepsilon > 0[/latex]  [latex]\exists n_{0}\in \mathbb{N} :[/latex] [latex]\forall n, m \geq n_{0} :[/latex] [latex]\left | x_{n} — x_{m} \right | < \varepsilon[/latex].

Дадим эквивалентное определение. Последовательность [latex]\left \{ x_{n} \right \}[/latex] называют фундаментальной, если для каждого [latex]\varepsilon > 0[/latex] существует такое натуральное число [latex]n_{0}[/latex], что для любого [latex]n\geq n_{0}[/latex] и для любого натурального [latex]p[/latex] справедливо неравенство [latex]\left | x_{n+p} — x_{n} \right | < \varepsilon[/latex]. Кратко это условие можно записать так: [latex]\forall \varepsilon > 0[/latex]  [latex]\exists n_{0} :[/latex] [latex]\forall n\geq n_{0}[/latex] [latex]\forall p\in \mathbb{N} :[/latex] [latex]\left | x_{n+p} — x_{n} \right | < \varepsilon[/latex].

Докажем, что фундаментальная последовательность является ограниченной. Пусть [latex]\varepsilon = 1[/latex], тогда согласно условию Коши найдется номер $latex n_{0} $ такой, что для всех [latex] n \geq n_{0} [/latex] и для всех [latex]m \geq n_{0}[/latex] выполняется неравенство [latex]\left | x_{n} — x_{m} \right | < 1[/latex], и, в частности, [latex]\left | x_{n} — x_{n_{0}} \right | < 1[/latex]. Так как [latex]\left | x_n \right | = \left | (x_{n}-x_{n_{0}}) + x_{n_{0}} \right |[/latex]   [latex]\leq \left | x_{n_{0}} \right | + \left | x_{n} — x_{n_{0}} \right | [/latex] [latex]< \left | x_{n_{0}} \right | +1[/latex] для  всех [latex] n \geq n_{0} [/latex], то при всех [latex] n \in \mathbb{N}[/latex] справедливо неравенство [latex] \left | x_{n} \right | \le C[/latex], где [latex] C=\max(\left | x_{1} \right | ,\ldots, \left | x_{n_{0}-1} \right | , \left | x_{n_{0}} \right | +1) [/latex]. Это означает, что [latex] \left \{ x_{n} \right \} [/latex] — ограниченная последовательность.

Необходимое и достаточное условие сходимости последовательности

Теорема (критерий Коши)

Для того чтобы последовательность имела конечный предел, необходимо и достаточно, чтобы она была фундаментальной.

Необходимость

Пусть последовательность имеет конечный предел. Положим его равным [latex]a[/latex]. По определению предела [latex] \forall \varepsilon > 0 [/latex]  [latex] \exists n_{0}[/latex] такое, что [latex] \forall k \geq n_{0}[/latex] и выполняется неравенство [latex] \left | x_{k} — a \right | < [/latex] [latex]\frac{\varepsilon}{2} [/latex]. Пусть [latex] k=n[/latex], тогда [latex] \left | x_{n} — a \right | < \frac{\varepsilon}{2} [/latex]. Пусть [latex]k=m[/latex], тогда [latex] \left | x_{m} — a \right | < \frac{\varepsilon}{2} [/latex]. В силу неравенства для модуля суммы (разности), получаем [latex] \left | x_{n}-x_{m} \right |=\left | (x_{n}-a) — (x_{m}-a) \right | [/latex][latex]\leq \left | x_{n}-a \right | + \left | x_{m} — a \right |[/latex] [latex]< \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon [/latex]. Следовательно, для любого [latex] n \geq n_{0}[/latex] и для любого [latex] m \geq n_{0}[/latex] выполняется неравенство [latex] \left | x_{n}-x_{m} \right | < \varepsilon[/latex], т. е. выполняется условие Коши.

Достаточность

Пусть  [latex] \left \{ x_{n} \right \} [/latex]- фундаментальная последовательность. Докажем, что она имеет конечный предел. По определению фундаментальной последовательности [latex] \forall \varepsilon > 0[/latex]  [latex] \exists n_{\varepsilon} :[/latex] [latex] \forall n \geq n_{\varepsilon} [/latex]    [latex] \forall m \geq n_{\varepsilon}[/latex] выполняется неравенство [latex] \left | x_{n} — x_{m} \right | < \frac{\varepsilon}{2}[/latex]. Так как фундаментальная последовательность [latex] \left \{ x_{n} \right \} [/latex] является ограниченной, то, по теореме Больцано-Вейерштрасса, она содержит сходящуюся подпоследовательность [latex] \left \{ x_{n_{k}} \right \} [/latex]. Пусть ее предел равен $latex a $, т. е. [latex] \lim\limits_{ k \to \infty} x_{n_{k}} = a[/latex]. Покажем, что число [latex]a[/latex] является пределом исходной последовательности [latex] \left \{ x_{n} \right \} [/latex]. По определению предела : [latex] \forall \varepsilon > 0[/latex]  [latex] \exists k_{\varepsilon} :[/latex] [latex] \forall k \geq k_{\varepsilon} [/latex] [latex]\rightarrow[/latex] [latex] \left | x_{n_{k}} — a \right | < \frac{\varepsilon}{2}[/latex]. Пусть [latex] N_{\varepsilon} = \max( n_{\varepsilon}, k_{\varepsilon} )[/latex]. Фиксируем  номер [latex] n_{k} \geq N_{\varepsilon}[/latex] (такой номер найдется, так как [latex] n_{k} \to \infty[/latex] при [latex] k \to \infty[/latex] ). Тогда при [latex] m=n_{k}[/latex] и при всех [latex] n \geq N_{\varepsilon}[/latex]  выполняется неравенство [latex] \left | x_{n} — x_{n_{k}} \right | < \frac{\varepsilon}{2}[/latex]. Из этого следует, что при всех  [latex] n \geq N_{\varepsilon}[/latex] справедливо неравенство: [latex] \left | x_{n}-a \right | = \left | (x_{n}-x_{n_{k}}) + (x_{n_{k}}-a) \right | [/latex] [latex]\leq \left | x_{n}-x_{n_{k}}\right | + \left | x_{n_{k}} — a \right | [/latex] [latex]< \frac{\varepsilon}{2} + \frac{\varepsilon}{2} = \varepsilon [/latex] т. е. [latex] \lim\limits_{n \to \infty} x_{n} = a[/latex].

Пример

Доказать, что последовательность [latex]x_{n}=1+ \frac{1}{2} +…+\frac{1}{n}[/latex] расходится.

Спойлер

Последовательность  [latex]\left \{ x_{n} \right \}[/latex] расходится, если не выполняется условие Коши, т.е. [latex]\exists \varepsilon_{0} > 0[/latex]  [latex]\forall k \in \mathbb{N} :[/latex] [latex]\exists n \geq k[/latex]    [latex]\exists m \geq k[/latex], что выполняется неравенство [latex]\left | x_{n} — x_{m} \right | \geq \varepsilon_{0}[/latex]. Пусть задано любое [latex]k \in \mathbb{N}[/latex], положим [latex]n=2k[/latex], [latex]m=k[/latex]. Тогда [latex] \left | x_{n} — x_{m} \right | = \left | x_{2k} — x_{k} \right | = \frac{1}{k+1} + \frac{1}{k+2}+…+ \frac{1}{2k} \geq \frac{1}{2k} k = \frac{1}{2} [/latex]. Таким образом, отрицание условия Коши выполняется при  [latex]\varepsilon_{0} = \frac{1}{2}[/latex], и, в силу критерия Коши, последовательность  [latex] \left \{ x_{n} \right \} [/latex]  расходится.

[свернуть]

Литература

фундаментальные последовательности

Тест на тему «фундаментальные последовательности»:

Оценка погрешности приближенного вычисления определенных интегралов по формуле Тейлора

Рассмотрим погрешность приближённого вычисления определённых интегралов по формуле Тейлора.

Обозначим погрешность через [latex]R_{n}[/latex]

[latex]R_{n}[/latex] представляет собой разность истинного значения определённого интеграла и полученного в результате приблизительного вычисления.

Разумеется, что истинное значение также считается приближённо. Иначе, можно было б использовать точные методы вычисления определённых интегралов.

Проанализируем погрешность вычисление примера 1 :

[latex]\int_{0}^{0.3} e^{-2x^{2}}=0.3-2\frac{0.3^{3}}{3}+2\frac{0.5^{5}}{5}-\frac{4*(0.3)^{7}}{21}+…=0.3-0.018+0.000972-…\approx[/latex]

[latex] \approx0.3-0.018=0.282[/latex]

Видем, что каждый следующий член суммы на порядки меньше предыдущего.

Если вычислить интеграл, взяв только первый член ряда, получим погрешность [latex]R_{n}\approx0.018972[/latex]

Два первых:

[latex]R_{n}\approx0.000972[/latex]

Имеем, что высокая точность достигается довольно быстро.

Аналогичные рассуждения можно провести с  примером 2.

Литература :

Интегрируемость по Риману монотонных функций

Теорема. Если функция f монотонна на отрезке \left[ {a,b} \right], то она интегрируема на этом отрезке.

Доказательство. Пусть, например, f возрастает. Возьмём произвольное разбиение \Pi . Тогда {\omega _i} = f\left( {{x_{i + 1}}} \right) - f\left( {{x_i}} \right),
поскольку колебание функции является разностью между наибольшим и наименьшим значениями функции. Получим

[latex]\sum\limits_{i = 0}^{n — 1} {{\omega _i}\Delta {x_i} \le d\left( \Pi \right)} \sum {\left( {f\left( {{x_{i + 1}}} \right) — f\left( {{x_i}} \right)} \right) = d\left( \Pi \right)\left[ {f\left( b \right) — f\left( a \right)} \right]} [/latex]

.
Отсюда видно, что выполнены условия критерия интегрируемости в терминах колебаний и теорема доказана.\blacksquare

Замечание. Из вышеизложенной теоремы видно, что существуют разрывные интегрируемые функции. В частности, монотонная функция может иметь
разрывы в счётном множестве точек. Поэтому интегрируемая функция может иметь счётное множество точек разрыва.

Пример. Положим f\left( 0 \right) = 0,\;f\left( x \right) = \frac{1}{n}\left( {x \in \left( {\frac{1}{{n + 1}},\frac{1}{n}} \right],\;n = 1,2,...} \right). Ясно, что каждая точка вида \frac{1}{n} является точкой разрыва функции, так что множество точек разрыва функции f счётно.
С другой стороны, поскольку f возрастает на \left[ {0,1} \right], то, по вышеизложенной теореме, она интегрируема на \left[ {0,1} \right].

Интегрируемость на отрезке

В данном тесте будут проверены ваши знания свойств интегрируемости функций на отрезке. Удачи!


Таблица лучших: Интегрируемость на отрезке

максимум из 40 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Примеры интегрирования рациональных функций от sin x, cos x и sinh x, cosh x

(Прочитав разделы «Универсальная подстановка» и «Интегрирование рациональных функций от sin x, cos x и sinh x, cosh x», попробуйте решить следующие примеры. Если же решить не получиться, жмите «ПОКАЗАТЬ»)

 

1) Найти интеграл $latex \int \frac{dx}{4\sin x+3\cos x+5}$

Подсказка: используйте подстановку        $latex \tan \frac{x}{2}=t$

Спойлер

\small \inline \dpi{100} \fn_jvn \Delta Подынтегральная функция рационально зависит от  $latex \sin x$  и  $latex \cos x$; применим подстановку $latex \tan \frac{x}{2}=t$,

тогда  $latex \sin x=\frac{2t}{1+t^{2}}$ ;  $latex \cos x=\frac{1-t^{2}}{1+t^{2}}$ ;  $latex dx=\frac{2dt}{1+t^{2}}$       и

$latex \int \frac{dx}{4\sin x+3\cos x+5}=$ $latex \int \frac{\frac{2dt}{1+t^{2}}}{4\cdot \frac{2t}{1+t^{2}}+3\cdot \frac{1-t^{2}}{1+t^{2}}}=$

$latex =2 \int \frac{dt}{2t^{2}+8t+5}=$  $latex \int \frac{dt}{(t+2)^{2}}=$ $latex =-\frac{1}{t+2}+C$ .

Возвращаясь к старой переменной, получим

$latex \int \frac{dx}{4\sin x+3\cos x+5}=-\frac{1}{\tan \frac{x}{2}}+C$   $latex \blacktriangle$

[свернуть]

 

 

2) Найти интеграл $latex \int \frac{(\sin x+\sin ^{3}x)dx}{\cos 2x}$ .

Подсказка : используйте замену   $latex \cos x=t$   , а также свои знания по теме  «Тригонометрические тождества» 

Спойлер

$latex \triangle$ Так как подынтегральная функция нечетна относительно синуса, то полагаем $latex \cos x=t$.

Отсюда    $latex \sin ^{2}x=1-t^{2},\ \cos 2x=2\cos ^{2}x-1=2t^{2}-1,\ dt=-\sin x \ dx.$

Таким образом :

$latex \int \frac{(\sin x+\sin ^{3}x)dx}{\cos 2x}=\int \frac{(2-t^{2})(-dt)}{2t^{2}-1}=\int \frac{(2t^{2}-2)\ dt}{2t^{2}-1}=$

$latex =\frac{1}{2}\int \frac{2t^{2}-4}{2t^{2}-1}\ dt=\frac{1}{2}\int dt-\frac{3}{2}\int\frac{dt}{2t^{2}-1}=$

$latex =\frac{t}{2}-\frac{3}{2\sqrt{2}}\int \frac{d(t\sqrt{2})}{2t^{2}-1}=\frac{t}{2}-\frac{3}{2\sqrt{2}}\ln \left | \frac{t\sqrt{2}-1}{t\sqrt{2}+1} \right |+C.$

Следовательно:

$latex \int \frac{(\sin x+\sin ^{3}x)dx}{\cos 2x}=\frac{1}{2}\cos x-\frac{3}{2\sqrt{2}} \ln\left | \frac{\sqrt{2}\cos x-1}{\sqrt{2}\cos x+1} \right |+C .$          $latex \blacktriangle$

[свернуть]

 

 

3) Найти интеграл $latex \int \frac{\cosh x}{2+3\sinh x}dx$

Подсказка: используйте подстановку    $latex t=2+3\sinh x $ 

Спойлер

$latex \triangle$ Сделаем подстановку $latex t=2+3\sinh x,\ du=3\cosh xdx.$ Тогда $latex \cosh xdx=\frac{dt}{3}.$ Следовательно, интеграл равен

$latex \int \frac{\cosh x}{2+3\sinh x}dx=\int \frac{dt}{3}\cdot \frac{1}{t}=\frac{1}{3}\int \frac{dt}{t}=\frac{1}{3}\ln \left | t \right |+C=\frac{1}{3}\ln \left | 2+3\sinh x \right |+C.$       $latex \blacktriangle$

[свернуть]

 

 

4) Найти интеграл $latex \int \sinh ^{3}xdx$
Подсказка:  используйте гиперболиские соотношения 

Спойлер

$latex \triangle$ Поскольку $latex \cosh ^{2}x-\sinh ^{2}x=1$, и, следовательно, $latex \sinh ^{2}x=\cosh ^{2}x-1,$ интеграл можно переписать в виде

$latex \mathbb{I}=\int \sinh ^{3} xdx=\int \sinh ^{2}x\cosh xdx=\int (\cosh ^{2}x-1)\sinh xdx$

Делая замену $latex t=\cosh x,\ dt=\sinh xdx,$ получаем

$latex \mathbb{I}=\int (\cosh ^{2}x-1)\sinh xdx=\int (t^{2}-1)dt=$

$latex =\frac{t^{3}}{3}-t+C=\frac{\cosh ^{3}x}{3}-\sinh x+C$ $latex \blacktriangle$

[свернуть]

Список литературы:

  • А.Г. Попов, П.Е. Данко, Т.Я. Кожевникова «Мир и образование» 2005 г.  (Издание 6-е. Часть 1)  стр. 234-242
  • Лысенко З.М. Конспект лекций по курсу математического анализа.

Дополнительные материалы :

 

 

Тест (Вычисление интегралов методом универсальной подстановки)

по темам «Интегрирование рациональных функций от sin x, cos x и sinh x, cosh x» и «Универсальная подстановка«


Таблица лучших: Тест (Вычисление интегралов методом универсальной подстановки)

максимум из 7 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных