Предел монотонных функций — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (мон. ф-и & одност. lim)
м (rollbackEdits.php mass rollback)
 
(не показано 7 промежуточных версий 3 участников)
Строка 1: Строка 1:
{{В разработке}}
+
[[Категория:Математический анализ 1 курс]]
 
 
 
== Монотонные функции ==
 
== Монотонные функции ==
 
{{Определение
 
{{Определение
Строка 16: Строка 15:
 
{{Определение
 
{{Определение
 
|definition=
 
|definition=
<tex> A = \lim\limits_{x \to a+0} f(x)</tex> {{---}} '''правосторонний''' предел, если <tex>\forall \varepsilon > 0 \ \  \exists \delta: \ \ 0 < x - a < \delta \Rightarrow | f(x) - A| < \varepsilon </tex>.
+
<tex> A = \lim\limits_{x \to a+0} f(x) = f(a+0)</tex> {{---}} '''правосторонний''' предел, если <tex>\forall \varepsilon > 0 \ \  \exists \delta: \ \ 0 < x - a < \delta \Rightarrow | f(x) - A| < \varepsilon </tex>.
 +
 
 +
<tex> A = \lim\limits_{x \to a-0} f(x) = f(a-0)</tex> {{---}} '''левосторонний''' предел, если <tex>\forall \varepsilon > 0 \ \  \exists \delta: \ \ 0 < a - x < \delta \Rightarrow | f(x) - A| < \varepsilon </tex>.
 +
 
 +
Если <tex>\  f(a-0) = f(a+0) = A </tex>,  то <tex>A = \lim\limits_{x \to a} f(x)</tex>.
 +
}}
 +
 
 +
== Классификация точек разрыва ==
 +
{{Определение
 +
|definition=
 +
Пусть <tex> a </tex> {{---}} точка разрыва функции <tex> f(x) </tex>. Тогда:
 +
# Если <tex> \exists A = \lim\limits_{x \to a} f(x)</tex>, то <tex> a </tex> {{---}} точка '''устранимого''' разрыва, и, как правило, функцию доопределяют: <tex> f(a) = A</tex>.
 +
# Если <tex> \exists f(a-0), f(a+0)</tex> и <tex> f(a-0) \ne f(a+0) </tex>, то в точке <tex> a </tex> {{---}} разрыв '''первого рода'''.
 +
# Иначе в точке <tex> a </tex> {{---}} разрыв '''второго рода'''.
 +
}}
 +
 
 +
== Простая, но важная теорема ==
 +
 
 +
{{Теорема
 +
|statement =
 +
Пусть функция <tex> f </tex> {{---}} монотонна и ограничена в проколотой окрестности точки  <tex> x_0 </tex>. Тогда в этой точке у функции существует  односторонний предел.
 +
 
 +
|proof =
 +
Рассмотрим левосторонний предел и будем считать, что функция возрастает.
 +
 
 +
Так как <tex> f </tex> {{---}} ограничена, то <tex> M = \sup\limits_{x < x_0} f(x) < +\infty </tex>.
 +
 
 +
Докажем, что <tex> M = \lim\limits_{x \to x_0 - 0} f(x) </tex>, используя свойства <tex> \sup </tex>.
 +
 
 +
<tex>\forall \varepsilon > 0 \ \ \exists x_1 < x_0 : M - \varepsilon < f(x1)</tex>
  
<tex> A = \lim\limits_{x \to a-0} f(x)</tex> {{---}} '''левосторонний''' предел, если <tex>\forall \varepsilon > 0 \ \  \exists \delta: \ \ 0 < a - x < \delta \Rightarrow | f(x) - A| < \varepsilon </tex>.
+
Тогда так как <tex>f(x)\!\!\uparrow \forall x \in (x_1; x_0) \ \ f(x_1) \le f(x)</tex>, тогда для таких <tex> x \ \ M - \varepsilon < f(x) \le M \le M + \varepsilon </tex>.
  
Если <tex>\ \lim\limits_{x \to a+0} f(x) = \lim\limits_{x \to a-0} f(x) = A </tex>, то <tex>A = \lim\limits_{x \to a} f(x)</tex>.
+
В качестве <tex> \delta </tex> можно брать <tex> \delta = x_0 - x_1 </tex>, тогда предел существует по определению.
 
}}
 
}}

Текущая версия на 19:38, 4 сентября 2022

Монотонные функции

Определение:
[math] y = f(x), x \in \mathbb R [/math].

Если [math]\ \forall x_1 \lt x_2\ \ f(x_1) \lt f(x_2) [/math], то [math]f(x)[/math] возрастает, пишут [math]f(x)\!\!\uparrow[/math].

Если [math]\ \forall x_1 \lt x_2\ \ f(x_1) \gt f(x_2) [/math], то [math]f(x)[/math] убывает, пишут [math]f(x)\!\!\downarrow[/math].

Класс функций [math]f(x)\!\!\downarrow[/math] и [math]f(x)\!\!\uparrow[/math] — класс монотонных функций.


Односторонние пределы

Определение:
[math] A = \lim\limits_{x \to a+0} f(x) = f(a+0)[/math]правосторонний предел, если [math]\forall \varepsilon \gt 0 \ \ \exists \delta: \ \ 0 \lt x - a \lt \delta \Rightarrow | f(x) - A| \lt \varepsilon [/math].

[math] A = \lim\limits_{x \to a-0} f(x) = f(a-0)[/math]левосторонний предел, если [math]\forall \varepsilon \gt 0 \ \ \exists \delta: \ \ 0 \lt a - x \lt \delta \Rightarrow | f(x) - A| \lt \varepsilon [/math].

Если [math]\ f(a-0) = f(a+0) = A [/math], то [math]A = \lim\limits_{x \to a} f(x)[/math].


Классификация точек разрыва

Определение:
Пусть [math] a [/math] — точка разрыва функции [math] f(x) [/math]. Тогда:
  1. Если [math] \exists A = \lim\limits_{x \to a} f(x)[/math], то [math] a [/math] — точка устранимого разрыва, и, как правило, функцию доопределяют: [math] f(a) = A[/math].
  2. Если [math] \exists f(a-0), f(a+0)[/math] и [math] f(a-0) \ne f(a+0) [/math], то в точке [math] a [/math] — разрыв первого рода.
  3. Иначе в точке [math] a [/math] — разрыв второго рода.


Простая, но важная теорема

Теорема:
Пусть функция [math] f [/math] — монотонна и ограничена в проколотой окрестности точки [math] x_0 [/math]. Тогда в этой точке у функции существует односторонний предел.
Доказательство:
[math]\triangleright[/math]

Рассмотрим левосторонний предел и будем считать, что функция возрастает.

Так как [math] f [/math] — ограничена, то [math] M = \sup\limits_{x \lt x_0} f(x) \lt +\infty [/math].

Докажем, что [math] M = \lim\limits_{x \to x_0 - 0} f(x) [/math], используя свойства [math] \sup [/math].

[math]\forall \varepsilon \gt 0 \ \ \exists x_1 \lt x_0 : M - \varepsilon \lt f(x1)[/math]

Тогда так как [math]f(x)\!\!\uparrow \forall x \in (x_1; x_0) \ \ f(x_1) \le f(x)[/math], тогда для таких [math] x \ \ M - \varepsilon \lt f(x) \le M \le M + \varepsilon [/math].

В качестве [math] \delta [/math] можно брать [math] \delta = x_0 - x_1 [/math], тогда предел существует по определению.
[math]\triangleleft[/math]