Pogrebnoj

2. Если не существует хотя бы одного из односторонних пределов, то это точка разрыва 2-го рода.

Пример

' 0; x < 0

f (x) = < i_n 1_;_x > 0 имеет в точке x₀ = 0 разрыв 2-го рода,

^sin 2^;^x

ибо $ llm sin¹.

x®+0 2

Рассмотрим некоторые факты, связанные с точками разрыва. Теорема 1

Пусть функция f задана на замкнутом множестве F с Rⁿ . Множество A_e ={x: w(x, f )>e} замкнуто "e > 0.

Доказательство

Пусть x - предельная точка множества A_e .

A_e с F^ x₀ е F. В любой окрестности V(x^d) имеется точка x Ф x₀ из A_e, т. е. w(x'; f)>e. Тем более, тогда w(x'; f) > e ^ x₀ е A_e и A_e замкнуто.

Теорема доказана.

Интересен следующий результат.

Теорема 2

Множество точек разрыва функции, заданной на замкнутом множестве F с Rⁿ, есть объединение не более чем счетного числа замкнутых множеств. Доказательство

Множество точек разрыва функции f обозначим через A .

Покажем, что A = u Aj . Доказываем как равенство

m — m

множеств.

1 ."xе A^ w(x; f )> 0.

Тогда $mе N: w(л; f)> — ^ хе A₁ ^ хе u A₁ ^ Aеu A₁

ТЕОРИЯ ФУНКЦИЙ ДЕЙСТВИТЕЛЬНОЙ ПЕРЕМЕННОЙ 2

КОНСПЕКТЛЕКЦИЙ 2

ТЕОРИЯ ФУНКЦИЙ ДЕЙСТВИТЕЛЬНОЙ ПЕРЕМЕННОЙ 3

КОНСПЕКТ ЛЕКЦИИ 3

а\в 15

( А \ Д) п (А \ Аг ) = 0 ( д\ Аг ) п ( а \ Аз )=0 23

2o Если A = U A, 1Ф j ^ A П Af =0, A = c, то A = c 37

Возьмем набор точек 0 = x0 < x1 < x2 < ... < xx i < xn = 1. 37

склеивания A = u A = ^ [xk-1, xk) = [0,1) = c. 38

3o A = u A, 1 ф j ^ A п A,. = 0, A = c ^ A = c. 38

. («,А )с G^iej ^ U (a ,b ) = a с g. 77

х = щ, k = 1,2,...,n 101

(L) J [ f\dx = 0 ^ [ L ]J f (x)dx = 0. 202

^ [ l ] J a fi - EIf i] П0) dx< [ l ] J a fi - nf i] П0) dx. 216

= (L) J n2 dx = ( R)J n2dx = n ® +¥ fn (x) ® 0 . 245

[i] f t—(x)dx = limi (- - - 1 264

m — m

В итоге A = u A₁ .

m — m

По теореме 2 все множества A₁ замкнуты, их не более IC₀.

Теорема доказана. Следствие

Множество точек разрыва есть множество типа F_s. Особенное внимание уделим монотонным функциям. Теорема 3

Все точки разрыва монотонной функции f: R ® R, если они есть, только 1 -го рода. Доказательство

Пусть, например, f (х) не убывает. Если х е X -

изолированная, то в т. х₀ f (х) непрерывна. Достаточно считать, что х - предельная точка множества X = dom f, х₀ е X. Допустим, что в любой окрестности точки х₀ есть бесконечно много точек из X, лежащих слева от х₀. В силу монотонности f для всех этих точек х* будет f (х*) < f (х₀).

Тогда существует sup f (х). Обозначим его через m.

хе X

^х< ^х0

Покажем, что lim f (х) = m.

х® х0-0

По свойствам sup, "e > 0 3x* е X: f (x*) > m-e . Тогда для x е (x*; x₀) будет m-e< f(x*) < f(x) < m < m +e, т. е. | f (x) - m |<e, т. е. f (x₀ - 0) = m.

Пусть далее в любой окрестности точки x₀ справа от x₀ есть бесконечно много точек из множества X .

Для таких точек f (x₀) < f (x), тогда 3inf f (x) = m.

xeX

X>XQ

Аналогично показываем, что f(x₀ + 0) = m. В этом случае f (x₀ ± 0) существуют, они конечны. Если х₀ - точка разрыва, то 1-го рода с конечным скачком.

Если же слева от x₀ в любой ее окрестности имеется лишь конечное множество точек из X , а справа бесконечное или наоборот, т. е. в достаточно малой окрестности есть точка из X только с одной стороны, то x - точка устранимого разрыва.

Теорема доказана.

Таким образом, точка разрыва монотонной функции, если они есть, только 1- го рода и с конечным скачком: f ( х + 0) - f (x0 - 0).

Установим мощность множества точек разрыва монотонной функции. С учетом наших дальнейших потребностей, ограничимся случаем X = [a; b].

Теорема 4

Множество точек разрыва монотонной функции, заданной на [a; b] , не более чем счетно.

Доказательство

Пусть, например, f возрастает. Известно, что множество

точек разрыва по теореме 1 A = ^ A₁ . Каждое А_г - конечное

^m m m

или пустое: оно имеет элементов не больше, чем ( f (b)- f (a)) :

—. Тогда A как объединение счетного числа не более чем m

конечных множеств не более чем счетно. Теорема доказана.

Этот результат можно обобщить на случай более общего множества X. А именно, верны:

Теорема 5

Если функция f монотонна и ограничена на множестве X с R, то "e > 0 множество A_e не более чем конечно.

Теорема 6

Множество точек разрыва функции, монотонной и ограниченной на множестве X с R, не более чем счетно.

Теорема 7

Множество точек разрыва функции, монотонной на множестве X с R, не более чем счетно. Доказательства см. в [4].

Содержание