Теорема Гейне – Бореля. Чтобы множество [latex]K \subset \mathbb{R}^n[/latex] являлось компактным, необходимо и достаточно, чтобы [latex]K[/latex] было ограниченным и замкнутым.

Доказательство. Достаточность. Пусть [latex]K[/latex] замкнуто и ограничено. Тогда найдется сегмент [latex]I \subset \mathbb{R}^n[/latex], содержащий [latex]K[/latex]. В силу леммы Гейне – Бореля, этот сегмент [latex]I[/latex] компактен. Поэтому, в силу свойств компактных множеств, компактно также его замкнутое подмножество [latex]K[/latex]. Необходимость. Пусть [latex]K[/latex] —  компакт. Докажем, что данное множество ограничено. Обозначим через [latex]B_s[/latex] открытый шар с центром в точке [latex]0[/latex] радиуса [latex]s[/latex]. Тогда последовательность шаров[latex]\left\{B_s\right\}^{\infty}_{s=1}[/latex] покрывает все пространство [latex]\mathbb{R}^n[/latex], а следовательно, и множество [latex]K[/latex]. Так как [latex]K[/latex] компактно, следовательно, оно может быть покрыто конечным набором шаров [latex]B_s[/latex]. Среди всех этих шаров выберем шар с наибольшим радиусом. Пусть это шар [latex]B^{\ast}[/latex]. Тогда ясно, что [latex]K \subset B^{\ast}[/latex], так что [latex]K[/latex] ограничено. Покажем теперь, замкнутость множества [latex]K[/latex]. Для этого достаточно показать, что любая точка [latex]y \notin K[/latex], не будет предельной для [latex]K[/latex]. Итак, пусть [latex]y \notin K[/latex]. Рассмотрим множества [latex]G_k = c\overline{B}(y, \frac{1}{k}) (k = 1,2,…)[/latex]. Так как замкнутый шар [latex]\overline{B}(y, \frac{1}{k})[/latex] – множество замкнутое, следовательно его дополнение [latex]G_k[/latex] открыто. Кроме того, ясно, что[latex] \bigcup^{\infty}_{k=1}G_k = \mathbb{R}^n \setminus \left\{y\right\}[/latex]. Поскольку [latex]y \notin K[/latex], то совокупность множеств [latex]G_k (k = 1,2,…)[/latex] образует открытое покрытие множества [latex]K[/latex]. Пользуясь компактностью [latex]K[/latex], выберем из этого покрытия конечное подпокрытие [latex]\left\{G_{k_1},…,G_{k_s}\right\}[/latex] и положим [latex]\rho = \frac{1}{max\left\{k_1,…,k_s\right\}} > 0[/latex]. Отсюда следует, что шар [latex]B(y,\rho)[/latex] не имеет общих точек с множеством [latex]K[/latex]. Получаем, что точка [latex]y[/latex] не будет предельной для [latex]K[/latex]. [latex]\square[/latex]

Литература:

• В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу — Одесса, «Астропринт», 2009. (с.235)
• Портнов И.В. Понятие и критерии компактности.

Лемма (Гейне – Бореля). Произвольный сегмент в [latex]\mathbb{R}^n[/latex] является компактным множеством .

Доказательство. Обозначим через [latex]I = [a^1,b^1;…;a^n,b^n][/latex] – сегмент в [latex]\mathbb{R}^n[/latex]. Докажем от противного. Пусть данный сегмент не является компактным. Тогда найдется такое открытое покрытие [latex]\Omega[/latex] сегмента [latex]I[/latex], что никакое конечное подсемейство множеств из [latex]\Omega[/latex] не покрывает [latex]I[/latex]. Все стороны [latex][a^i,b^i][/latex] сегмента [latex]I[/latex] разделим пополам. Таким образом данный сегмент можно разбить на [latex]2^n[/latex] сегментов. По крайней мере один из них не покрывается конечным подсемейством множеств из [latex]\Omega[/latex]. В противном случае, исходный сегмент [latex]I[/latex] также мог бы быть покрытым конечным набором множеств из [latex]\Omega[/latex], что приводит к противоречию. Обозначим через [latex]I_1[/latex] тот из подсегментов [latex]I[/latex], который не может быть покрыт конечным набором множеств из [latex]\Omega[/latex]. Каждую из сторон сегмента [latex]I_1[/latex] опять разделим пополам и среди полученных [latex]2^n[/latex] сегментов, на которые окажется разбитым [latex]I_1[/latex], возьмем тот, который не покрывается конечным подсемейством множеств из [latex]\Omega[/latex]. Обозначим его через [latex]I_2[/latex] и так далее. Продолжая подобные действия, получим последовательность вложенных сегментов [latex]I \supset I_1 \supset I_2 \supset … \supset I_{\nu} \supset …[/latex], таких, что любой из сегментов [latex]I_{\nu}[/latex] не может быть покрыт каким-либо конечным подсемейством множеств из [latex]\Omega[/latex]. Заметим также, что [latex]diam \> I_{\nu} = \frac{diam \> I}{2^{\nu}} \mapsto 0 (\nu \mapsto \infty)[/latex]. Применив к полученной последовательности [latex]I_{\nu}[/latex] лемму о вложенных сегментах, найдем точку [latex]x_0 \in I_{\nu} (\nu = 1,2,…)[/latex]. Поскольку [latex]x_0 \in I[/latex], а [latex]I[/latex] покрыт семейством [latex]\Omega[/latex] открытых множеств, то найдется такое открытое множество [latex]F \in \Omega[/latex], что [latex]x_0 \in F[/latex]. Поскольку множество [latex]F[/latex] открытое и точка [latex]x_0 \in F[/latex], то эта точка внутренняя в [latex]F[/latex]. Это означает, что найдется такая окрестность [latex]B(x_0,\delta)[/latex] точки [latex]x_0[/latex], которая целиком содержится во множестве [latex]F[/latex]. Но поскольку диаметры сегментов [latex]I_{\nu}[/latex] стремятся к нулю при [latex]\nu \mapsto \infty[/latex], то, начиная с какого-то номера [latex]\nu_0[/latex], они будут меньшими, чем [latex]\delta[/latex], то есть. [latex]diam \> I_{\nu} < \delta (\nu \geq \nu_0)[/latex]. Учитывая, что [latex]x_0 \in I_{\nu}[/latex], получаем, что [latex]I_{\nu} \subset B(x_0,\delta)[/latex], а значит, [latex]I_{\nu} \subset F[/latex]. Итак, мы получили, что при [latex]\nu \geq \nu_0[/latex] сегмент [latex]I_{\nu}[/latex] содержится во множестве [latex]F[/latex]. Но это противоречит выбору сегментов [latex]I_{\nu}[/latex], поскольку они были выбраны так, что никакое конечное подсемейство множеств из [latex]\Omega[/latex] не покрывает [latex]I_{\nu}[/latex]. Полученное противоречие завершает доказательство. [latex]\square[/latex]

Литература:

• В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу — Одесса, «Астропринт», 2009. (с.239-240)
• Лемма Гейне-Бореля. Материал из Википедии — свободной энциклопедии
• Конспект лекций З.М. Лысенко.

Интегрирование любого рационального выражения тригонометрических функций можно всегда свести к интегрированию алгебраической рациональной функции используя универсальную тригонометрическую подстановку $latex x=2\arctan t$    или  $latex \tan \frac{x}{2}=t$ .

Интегралы вида $latex \int R(\sin x, \cos x)dx$   , где R-рациональная функция.

В результате подстановки   $latex t=\tan \frac{x}{2}$    в указанные интегралы получаем:

$latex \sin x=\frac{2\tan \frac{x}{2}}{1+\tan ^{2}\frac{x}{2}}=\frac{2t}{1+t^{2}}$ ;       $latex \cos x=\frac{1-\tan ^{2}\frac{x}{2}}{1+\tan ^{2}\frac{x}{2}}=\frac{1-t^{2}}{1+t^{2}}$ , где    $latex dx=\frac{2dt}{1+t^{2}}$ .

Гиперболические функции    определяются следующим образом:

$latex \sinh x=\frac{e^{x}-e^{-x}}{2}$ ;       $latex \cosh x=\frac{e^{x}+e^{-x}}{2}$ .

Приведем еще несколько полезных соотношений :   

• $latex \cosh ^{2}x-\sinh ^{2}x=1$ ;

• $latex \sinh 2x=2\sinh \cosh $ ;

• $latex \cosh 2x=\cosh ^{2}+\sinh ^{2} $ . 

Если подынтегральное выражение содержит гиперболическую функцию, то такой интеграл можно свести к интегрированию рациональной функции с помощью подстановки : 

$latex t=e^{x}$ ;           $latex x=\ln t$ ;           $latex dx=\frac{dt} {t}$ .

Рассмотрим несколько примеров:

(Прочитав вышеизложенный материал, попробуйте решить следующие примеры. Если же решить не получиться, жмите «ПОКАЗАТЬ»)

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

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

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

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

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

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

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

Литература:

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

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

• Лекции по матанализу т1. стр. 171-173
• Г.М.Фихтенгольц т.2  1964 год стр. 73-78

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

Лимит времени: 0

Навигация (только номера заданий)

0 из 5 заданий окончено

Вопросы:

1. 1
2. 2
3. 3
4. 4
5. 5

Информация

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

Вы уже проходили тест ранее. Вы не можете запустить его снова.

Тест загружается...

Вы должны войти или зарегистрироваться для того, чтобы начать тест.

Вы должны закончить следующие тесты, чтобы начать этот:

Результаты

Правильных ответов: 0 из 5

Ваше время:

Время вышло

Вы набрали 0 из 0 баллов (0)

Средний результат
Ваш результат

Рубрики

1. Нет рубрики 0%

Ваш результат был записан в таблицу лидеров

Загрузка

Имя: E-Mail:

Капча:

1. 1
2. 2
3. 3
4. 4
5. 5

1. С ответом
2. С отметкой о просмотре

1. Задание 1 из 5

   1.

   Универсальной тригонометрической подстановкой являеться формула
   

    

    

   • $ x=2\arcsin t$
   • $ t=\tan \frac{x}{2}$
   • $ x=2\ arctan\ t$
   • $ x=2\arccos\ t$
   Правильно 1 / 1Баллы

   Неправильно / 1 Баллы
2. Задание 2 из 5

   2.

   Если подынтегральное выражение содержит гиперболическую функцию, то такой интеграл можно свести к интегрированию рациональной функции с помощью подстановки :
   

   • $ t=a^{x}$
   • $ t=e^{x}$
   • $ x=2\arctan t$
   • $ t=\tan \frac{x}{2}$
   Правильно
   

   Неправильно
   
3. Задание 3 из 5

   3.

   Интеграл $$\int \frac{(\cos ^{3}x+\cos ^{5}x)\ dx}{\sin ^{2}x+\sin ^{4}x}$$    равен $$\sin x-\frac{2}{\sin x}-6\arctan x(\sin x)+C$$
   

    

   • Да, верно.
   • Нет, неверно.
   Правильно
   

   Неправильно
   
4. Задание 4 из 5

   4.

   
   Интеграл   $latex \int x\sinh xdx$   равен

   • $ x\sinh ^{2}+C$
   • $ x\sinh x-\cosh x+C$
   • $ x\cosh x-\sinh x+C$
   • $ x\cosh x-\sinh x$
   Правильно
   

   Неправильно
   
5. Задание 5 из 5

   5.

   Сопоставте интегралы и их значения:
   

    

    

    

   Элементы сортировки

   • $ \frac{e^{2x}}{4}-\frac{x}{2}+C$
   • $ \frac{2}{\sqrt[3]{x}}\arctan (\sqrt{3}e^{x})+C$
   • $ \frac{\cosh 5x}{10}-\frac{\cosh x }{2}+C$

   • $ \int e^{x}\sinh xdx$

   • $ \int \frac{dx}{\sinh x+2\cosh x}$

   • $ \int \sinh 2x\cosh 3xdx$

   Правильно
   

   Неправильно
   

КОМПАКТНЫЕ МНОЖЕСТВА

Определение. Пусть множество [latex]E \subset \mathbb{R}^n[/latex]. Семейство открытых множеств [latex]\left\{G_{\alpha}\right\}[/latex] называется открытым покрытием множества [latex]E[/latex], если каждая точка [latex]x \in E[/latex] принадлежит хотя бы одному из множеств [latex]G_{\alpha}[/latex], т. е. если [latex]E \subset \bigcup_{\alpha}G_{\alpha}[/latex].

Определение. Множество [latex]E \subset \mathbb{R}^n[/latex] называется компактным, если каждое его открытое покрытие содержит конечное подсемейство, также покрывающее множество [latex]E[/latex]. Это подсемейство называется конечным подпокрытием.

Например, множество, состоящее из одной точки, двух точек или любого конечного набора точек, очевидно, компактное. Пусть [latex]E \subset \mathbb{R}^n[/latex]. Диаметром множества [latex]E[/latex] называется число [latex]diam \> E = sup_{x,y \in E} \left | x — y \right |[/latex], т. е. верхняя грань расстояний между всевозможными парами точек из [latex]E[/latex]. Например, если [latex]E = \left [a^1,b^1;…;a^n,b^n \right ][/latex] – [latex]n[/latex]-мерный сегмент, то, очевидно, [latex]diam \> E = |b-a|[/latex], где [latex]a = (a^1,…,a^n), b = (b^1,…,b^n)[/latex].

Лемма (о вложенных сегментах). Пусть  [latex]\left\{I_{\nu}\right\}[/latex] – последовательность вложенных сегментов из [latex] \mathbb{R}^n [/latex], т. е. [latex]I_1 \supset I_2 \supset…\supset I_{\nu} \supset…[/latex], диаметры которых стремятся к нулю при [latex]\nu \mapsto \infty[/latex]. Тогда существует, и притом единственная, точка [latex]x_0[/latex], принадлежащая всем этим сегментам.
Доказательство. Пусть [latex]I_{\nu} = \left [a^1_{\nu},b^1_{\nu};…;a^n{\nu},b^n_{\nu} \right ] (\nu = 1,2,…)[/latex]. При каждом фиксированном [latex]i = 1,…,n[/latex] последовательность одномерных отрезков [latex] \left [a^i_{\nu},b^i_{\nu} \right ] (\nu = 1,2,…)[/latex] состоит из вложенных друг в друга отрезков, т. е. [latex][a^i_1,b^i_1] \subset [a^i_2,b^i_2] \subset … \subset [a^i_{\nu},b^i_{\nu}] \subset …[/latex], и длины этих отрезков стремятся к нулю при [latex]\nu \mapsto \infty[/latex]. По лемме Кантора, для зафиксированного [latex]i[/latex] найдется число [latex]x^i_0[/latex], такое, что [latex]x^i_0 \in [a^i_{\nu},b^i_{\nu}] (\nu = 1,2,…)[/latex], т. е. [latex]a^i_{\nu} \leq x^i_0 \leq b^i_{\nu} (\nu = 1,2,…)[/latex]. Но тогда точка [latex]x_0 = (x^1_0,…,x^n_0)[/latex], очевидно, принадлежит всем [latex]I_{\nu}[/latex]. Двух различных точек, принадлежащих всем [latex]I_{\nu}[/latex] одновременно, быть не может. Действительно, если [latex]{x}’,{x}» \in I_{\nu} (\nu = 1,2,…)[/latex], то [latex]|{x}’-{x}»| \leq diam \> I_{\nu}[/latex]. По условию правая часть стремится к нулю при [latex]\nu \mapsto \infty[/latex], так что [latex]{x}’={x}»[/latex].

Литература:

• В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу — Одесса, «Астропринт», 2009. (с.238-239)
• Александров А. Д., Нецветаев Н.Ю.; Геометрия: Учебное пособие — изд. «Наука», гл. ред. физ.-мат. лит., 1990 (с.188-191)
• Конспект лекций З.М. Лысенко.

Компактные множества

Лимит времени: 0

Навигация (только номера заданий)

0 из 3 заданий окончено

Вопросы:

1. 1
2. 2
3. 3

Информация

Тест по теме «Компактные множества»

Вы уже проходили тест ранее. Вы не можете запустить его снова.

Тест загружается...

Вы должны войти или зарегистрироваться для того, чтобы начать тест.

Вы должны закончить следующие тесты, чтобы начать этот:

Результаты

Правильных ответов: 0 из 3

Ваше время:

Время вышло

Вы набрали 0 из 0 баллов (0)

Рубрики

1. Нет рубрики 0%

Ваш результат был записан в таблицу лидеров

Загрузка

Имя: E-Mail:

Капча:

1. 1
2. 2
3. 3

1. С ответом
2. С отметкой о просмотре

1. Задание 1 из 3

   1.

   Что такое открытое покрытие множества?

   • Множество
   • Семейство множеств
   • Пространство
   Правильно
   

   Неправильно
   
2. Задание 2 из 3

   2.

   Покрытие — это…?

   • Пространство
   • Семейство множеств
   • Множество
   Правильно
   

   Неправильно
   
3. Задание 3 из 3

   3.

   Поставьте в соответствие множеству его класс.

   Элементы сортировки

   • открытый шар
   • отрезок на вещественной прямой
   • замкнутое и ограниченное множество

   • открытое множество

   • замкнутое множество

   • компактное множество

   Правильно
   

   Неправильно
   

1. [latex]\varnothing[/latex] замкнуто (и, в то же время, открыто).
2. Отрезок [latex]\left [a,b \right ] \subset \mathbb{R}[/latex] на вещественной прямой замкнут в стандартной топологии, поскольку его дополнение открыто.
3. Множество [latex]\mathbb{Q} \bigcap \left [0,1 \right ][/latex] будет замкнутым в пространстве рациональных чисел [latex]\mathbb{Q}[/latex], но не будет замкнутым в пространстве вещественных чисел [latex]\mathbb{R}[/latex].
4. Произвольный замкнутый шар [latex]B(x_0,r) = \left\{x : |x — x_0| \leq r \right\}[/latex] будет замкнутым множеством. Для доказательства данного утверждения, достаточно показать, что какую бы мы ни взяли точку [latex]x[/latex], не принадлежащую [latex]B(x_0,r)[/latex], она не будет являться предельной для этого шара, то есть. найдется такая окрестность [latex]B(x,\rho)[/latex], в которой нет ни одной точки данного шара (Достаточно взять [latex]\rho \leq |x-x_0|-r[/latex]).
5. Произвольный сегмент [latex]I \equiv \left [a_1,b_1;…;a_n,b_n \right ][/latex] будет замкнутым множеством. Для доказательства данного утверждения, достаточно показать, что окрестность произвольной точки [latex]x[/latex], не принадлежащей [latex]I[/latex], не будет содержать точек из [latex]I[/latex]. Действительно, так как [latex]x \notin I[/latex], то найдется такое [latex]j[/latex], что [latex]x_j \notin \left [a_j,b_j \right ][/latex]. Пусть, к примеру, [latex]x_j < a_j[/latex]. Легко видеть, что шар [latex]B(x,\rho)[/latex], где [latex]0 < \rho \leq a_j — x_j[/latex], не имеет общих точек с [latex]I[/latex]. Следовательно, [latex]I[/latex] – замкнутое множество.
6. Рассмотрим множество [latex]E \equiv \left\{(x,y) : y = sin \frac{1}{x}, x \neq 0\right\}[/latex]. Отрезок [latex] \left [-1,1 \right ][/latex] оси ординат целиком состоит из предельных точек множества [latex]E[/latex], но ни одна из точек этого отрезка не принадлежит [latex]E[/latex]. Поэтому множество [latex]E[/latex] не является замкнутым.

Литература:

• В.И. Коляда, А.А. Кореновский. Курс лекций по математическому анализу — Одесса, «Астропринт», 2009. (с.235)
• Замкнутое множество. Материал из Википедии — свободной энциклопедии.