Измеримые функции

Определение и простейшие свойства измеримой функции

Если каждому x из множества E поставлено в соответствие некоторое число f(x), то мы будем говорить, что на множестве E задана функция f(x). При этом мы допускаем и бесконечные значения функции, лишь бы они имели определенный знак, т.е. вводим ВлнесобственныеВ» числа - и +. Эти числа связаны между собой и с любым конечным числом a неравенствами

-,

и мы устанавливаем для них следующие законы действий:

+В±a=+, ++(+)=+, +-(-)=+,

-В±a=-, -+(-)=-, --(+)=-,

½+½=½-½=+, +×a=a×(+)=+,

-×a=a×(-)=-, если a>0,

+×a=a×(+)=-,

-×a=a×(-)=+, если a<0

0×(В±)=(В±)×0=0,

(+)×(+)=(-)×(-)=+,

(+)×(-)=(-)×(+)=-,

=0.

Здесь a обозначает вещественное конечное число. Символы

+¥-(+¥), -¥-(-¥), +¥+(-¥), -¥+(+¥).

,

мы считаем лишенными смысла.

Имея дело с функцией f (x), заданной на множестве E, мы будем символом

E(f>a)

обозначать множество тех x из множества Е, для которых выполнено неравенство f(x)>а.

Аналогичным образом вводятся символы

Е(f³а), Е(f=а), Е(f£а), Е(а

и т.п. Если множество, на котором задана функция f(x), обозначено какой-либо другой буквой, например А или В, то мы соответственно будем писать

А(f>а), В(f>а)

и т.п.

Определение 1. Функция f(x), заданная на множество Е, называется измеримой, если измеримо это множество Е и если при любом конечном а измеримо множество

Е(f>а).

В связи с тем, что здесь речь идет о множествах, измеримых в смысле Лебега, часто (желая подчеркнуть именно это обстоятельство) говорят об измеримой (L) функции. Если же Е и все множества Е(f>а) измеримы (В), то и f(x) называется измеримой (В) функцией.

Теорема 1.Всякая функция, заданная на множестве меры нуль, измерима.

Это утверждение очевидно.

Теорема 2.Пусть f(x) есть измеримая функция, заданная на множестве Е. Если А есть измеримое подмножество Е, то f(x), рассматриваемая только для xÎА, измерима.

Действительно, А(f>а) =А×Е (f>а).

Теорема 3.Пусть f(x) задана на измеримом множестве Е, представимом в форме суммы конечного числа или счетного множества измеримых множеств Е_k:

E=×

Если f(x) измерима на каждом из множеств E_R., то она измерима и на Е.

В самом деле, E(f>a)= .

Определение 2. Две функции f(x) и g(x), заданные на одном и том же множестве Е, называются эквивалентными, если

mE (f¹g)=0

Обозначать эквивалентность функций f(x) и g(x) принято так:

f (x) ~g(x).

Определение 3. Пусть некоторое обстоятельство S имеет место для всех точек какого-нибудь множества Е, кроме точек, входящих в подмножество Е₀ множества Е. Если mЕ₀ = 0, то говорят, что S имеет место почти везде на множестве Е, или почти для всех точек Е.

В частности, множество исключительных точек Е₀ может быть и пустым.

Теперь можно сказать, что две функции, заданные на множестве Е, эквиваленты, если они ровны почти везде на Е.

Теорема 4.Если f(х) есть измеримая функция, заданная на множестве Е, а g(x) ~ f(x), то g(x) также измерима.

Д о к а з а т е л ь с т в о. Пусть А = Е (f ¹ g), B = E тАУ A. Тогда mA = 0, так что В измеримо. Значит функция f(x) измерима на множестве В. Но на множестве В функции f(x) и g(x) неотличимы, так что g(x) измерима на В. Поскольку g(x) измерима и на А (ибо mA = 0), она измерима на Е = А + В.

Теорема 5.Если для всех точек измеримого множества Е будет f(x) = c, то функция f(x) измерима.

Действительно,

E (f > a) =

Заметим, что в этой теореме с может быть и бесконечным.

Функция f(x), заданная на сегменте [а, b], называется ступенчатой, если [а,b] разложить точками.

с₀ = а< с₁<с₂<тАж<с_n = b

на конечное число частей, в н у т р и которых (т.е. в интервалах (с_k, c_{k+ 1}) при k = 0, 1, тАж., n тАУ1) функция f(x) постоянна. Легко понять, что из теоремы 5 вытекает

Следствие. Ступенчатая функция измерима.

Теорема 6. Если f(x) есть измеримая функция, заданная на множестве Е, то при любом а измеримы множества

E (f ³ a), E (f = a), E (f £ a), E (f < a),

Д о к а з а т е л ь с т в о. Легко проверить, что

E (f ³ a) =

откуда следует измеримость множества E (f ³ a). Измеримость прочих множеств вытекает из соотношений:

E (f = a) = E(f ³ a) тАУ E(f > a), E(f £ a) = E тАУ E(f > a),

E (f < a) = E тАУ E (f ³ a).

Замечание. Легко показать, что если хоть одно из множеств

E (f ³ a), E (f £ a), E (f < a)

оказывается измеримым при всяком а, то функция f(x) измерима на множестве Е (которое также предполагается измеримым).

Действительно, тождество ) показывает, например, что f(x) измерима, если измеримы все множества Е (f³а). Сходным образом устанавливаются и остальные утверждения. Таким образом, в определении измеримой функции можно заменить множество Е (f>a) любым из множеств (1).

Теорема 7. Если функция f(x), заданная на множестве Е, измерима, а kконечное число, то измеримы и функции 1) f(x) + k, 2) kf(x), 3) çf (x)ç, 4) f² (x), и если f(x) ¹0, то измерима и функция 5) .

Д о к а з а т е л ь с т в о. 1) Измеримость функции f(x) + k вытекает из соотношения Е (f+ k >a) = E (f>a- k).

2) Измеримость функции kf(x) при k =0 следует из теоремы 5. Для прочих k измеримость следует из очевидных соотношений

3) Функция çf(x) ç измерима потому, что

4) Аналогично, из того , что

E (f² > a) =

вытекает измеримость функции f ² (x).

5) Наконец, при f(x) ¹ 0 имеем

> a) =

откуда и следует измеримость .

Теорема 8.Функция f(x), заданная и непрерывная на сегменте Е=, измерима.

Д о к а з а т е л ь с т в о. Прежде всего установим, что множество

F = E (f£ a)

замкнуто. Действительно, если x₀ есть предельная точка этого множества и x_nВоx₀ (x _nÎF ), то f(x_n) £a и, в силу непрерывности f(x), будет f(x₀ ) £a, т.е. x₀ ÎF, что и устанавливает замкнутость множества F.

Но тогда множество Е (f>а) = Е тАУ Е(f£а) измеримо, и теорема доказана.

Из самого определения измеримой функции следует, что функция, заданная на неизмеримом множестве, неизмерима.

Однако легко обнаружить существование неизмеримой функции, заданной на измеримом множестве.

Определение 4. Пусть М есть подмножество сегмента Е = [А, В]. Функция jм (х), равная единице на множестве М и нулю на множестве ЕтАУМ, называется характеристической функцией множества М.

Теорема 9.Множество М и его характеристическая функция j_м одновременно измеримы или нет.

Д о к а з а т е л ь с т в о. Если функция j_M (х) измерима, то измеримость множества М вытекает из соотношения

М = Е (jм > 0).

Обратно, если М есть измеримое множество, то соотношения

устанавливают измеримость функции j_М (х).

Отсюда, между прочим, весьма просто получаются примеры разрывных измеримых функций.

Дальнейшие свойства измеримых функций

Лемма. Если на множестве Е заданы две измеримые функции f(х) и g(х), то множество Е (f >g) измеримо.

Действительно, если мы перенумеруем все рациональные числа r_1, r₂, r₃, тАж, то легко проверим справедливость соотношения

Е (f > g) = Е (f > r_k) Е (g < r_k),

откуда и следует лемма.

Теорема 1. Пусть f(х) и g(х) суть конечные измеримые функции, заданные на множестве Е. Тогда измерима каждая из функций 1) f(х) тАУ g(х), 2) f(х) + g (х), 3) f(х) ^.g(х), и если g(х) ¹ 0, то измерима также функция 4).

Д о к а з а т е л ь с т в о. 1) Функция а + g(х) измерима при любом а. Значит (на основании леммы), множество Е (f > а+g ), а так как E(f-g>a)=E(f>a+g), то измерима функция f (х) тАУ g(х).

2) Измеримость суммы f(х) + g(х) следует из того, что

f(х) + g(х) = f(х) тАУ [ - g (х)].

3) Измеримость произведения f(x) ^.g(x) вытекает из тождества

f(x) ^.g(x)={[f(x)+g(x)]-[f(x)-g(x)]}

и теоремы 7

4) Наконец, измеримость частного есть следствие тождества

=f(x) В·.

Эта теорема показывает, что действия арифметики, будучи применены к измеримым функциям, не выводят нас за пределы этого класса функций. Следующая теорема устанавливает сходный результат относительно уже не арифметической операции тАУ предельного перехода.

Теорема 2.Пусть на множестве Е задана последовательность измеримых функций f₁(x), f₂(x), тАж Если в каждой точке хЕ существует (конечный или бесконечный) предел

F(x)=f_n(x),

то функция F(х) измерима.

Д о к а з а т е л ь с т в о. Фиксируем произвольные а и введем в рассмотрение множества

А=Е(f> a + ), В=.

Эти множества, очевидно, измеримы, и для доказательства теоремы достаточно проверить, что

E(F>a) = .

Займемся же проверкой этого тождества.

Пусть хЕ (F>a), тогда F (x₀) > a, и найдется такое натуральное m, что F(x₀) > a + 1/m. Поскольку же f_k (x) F (x₀), то найдется такое n, что при knбудет

f_k(x₀) > a + .

Иначе говоря, х₀ А при всех kn, а тогда х₀ В и тем более х₀. Отсюда следует, что Е (F > a) .

Теперь остается установить обратное включение

E (F > a),

и теорема будет доказана.

Пусть х₀. Тогда х₀ Впри некоторых фиксированных n и m. Это значит, что х₀ А для kn. Иначе говоря для kn будет f_k(x₀) > a+1/m.

Устремляя k к бесконечности и переходя в последнем неравенстве к пределу, получим, что F(x₀)>a, т.е. x₀ ÎE (F>a). Этим и доказано включение (*). Доказанная теорема допускает следующее обобщение.

Теорема 3. Пусть на множестве E заданы измеримые функции f₁(x), f₂(x), тАж и некоторая функция F(x). Если соотношение

(a)

выполняется почти везде на Е, то F(x) измерима.

Д о к а з а т е л ь с т в о. Обозначим через А множество всех точек X Î Е, в которых соотношение (a) не имеет места (в этих точках предела может вовсе не существовать). По условию, mA=0 и F(x) измерима на множестве А. По теореме 2 она измерима и на множестве Е тАУ А, а тогда она измерима и на всем множестве Е.

Последовательности измеримых функций. Сходимость по мере.

В этом месте нам придется рассматривать множества вида Е (|f тАУ g| ³ s), Е (|f тАУ g| < s), где f(x) и g(x) суть функции заданные не множестве Е, а s некоторое положительное число. При этом точки, в которых обе функции f(x) и g(x) принимают бесконечные значения одного знака, строго говоря, не входят ни в одно из этих множеств, поскольку в этих точках разность f(x) тАУ g(x) лишена смысла. Так как указанное обстоятельство представляет известные неудобства, то мы раз и навсегда условимся эти точки относить к множеству Е (|f тАУ g| ³ s). При таком соглашении очевидно

Е = Е (|f тАУ g| ³ s) + Е (|f тАУ g| < s)

и слагаемые правой части не пересекаются.

Теорема 1 (А. Лебег). Пусть на измеримом множестве Е задана последовательность измеримых и почти везде конечных функций f₁(x), f₂(x), f₃(x), тАж, которая почти во всех точках Е сходится к почти везде конечной функции f(x). Тогда, каково бы ни было s>0, будет

Д о к а з а т е л ь с т в о. Отметим прежде всего, что в силу теоремы 3, предельная функция f(x) также измерима и, стало быть, измеримы те множества, о которых идет речь.

Положим

А = Е(|f| = + ¥), A_n = E(|f_n| = + ¥), B = E (f_n не Во f)

.

Очевидно,

MQ = 0 (1)

Пусть, далее,

, , .

Все эти множества измеримы.

Так как R₁(s)ÉR₂(s)ÉR₃(s)ÉтАж, то, в силу теоремы 12, при n Во¥ будет

mR_n(s)ВоmM. (2)

Убедимся в том, что

MÌQ. (3)

В самом деле, если , то , причем все числа f₁(x₀), f₂(x₀), тАж и их предел f (x₀) тАУ конечны. Значит найдется такое n, что для k ³ n будет |f_k(x₀) тАУ f(x₀) < s.

Иначе говоря (k ³ n), а потому и тем более , откуда и следует (3).

Но тогда, в силу (1), nM=0, и (2) принимает вид

(4)

Этим и доказана теорема, ибо Е_n(s) Ì R_n(s).

Замечание. Отметим, что нами установлен результат (4), более сильный, чем то, что мы хотели доказать. Ниже при доказательстве теоремы Д.Ф. Егорова, нам придется воспользоваться именно этим более сильным результатом.

Доказанная теорема дает повод установить следующее

Определение. Пусть на измеримом множестве Е задана последовательность измеримых и почти везде конечных функций

f₁(x), f₂(x), f₃(x), тАж

и измеримая и почти везде конечная функция f(x). Если, каково бы ни было положительное число s, оказывается, что

,

то говорят, что последовательность (^*) сходится к функции f (x) по мере.

Мы будем, следуя Г.М.Фихтенгольцу, обозначать сходимость по мере символом

f_n(x) Þ f(x).

С помощью понятия сходимости по мере можно формулировать теорему Леберга так.

Теорема 1*.Если последовательность функций сходится почти везде, то она сходится и по мере к той же предельной функции.

Следующий пример показывает, что эта теорема необратима.

П р и м е р . Определим на полусегменте [0, 1) для каждого натурального k группу из k функций: f₁^(k) (x), f₂^(k) (x), тАж, f_k^(k) (x), полагая

В частности, f₁⁽¹⁾ (x) º 1 на [0, 1). Нумеруя все построенные функции подряд одним значком, мы получим последовательность

j₁ (x) = f₁⁽¹⁾ (x), j₂ (x) = f₁⁽²⁾ (x), j₃ (x) = f₂⁽²⁾ (x), j₄ (x) = f₁⁽³⁾ (x), тАж

Легко видеть, что последовательность функций j_n (x) сходится по мере к нулю. В самом деле, если j_n (x) = f_i^(k) (x), то при любом s>0 будет

и мера этого множества, равная 1/k, стремится к нулю с возрастанием n.

Вместе с тем, соотношение j_n (x)Во0 не выполняется ни в одной точке промежутка [0, 1). Действительно, если так что f_i^(k) (x₀) = 1. Иначе говоря, как далеко мы не продвинемся вдоль ряда чисел j₁ (x₀), j₂ (x₀), j₃ (x₀), тАж, мы всегда будем встречать в этом ряду числа, равные 1, что и доказывает наше утверждение.

Таким образом, понятие сходимости по мере есть понятие, существенно более общее, чем понятие сходимости почти везде и тем более, чем понятие сходимости везде.

Естественно спросить, в какой степени соотношение

f_n(x) Þ f(x)

определяет функцию f(x), т.е. единственна ли предельная функция при сходимости по мере.

Теоремы 2 и 3 позволяют ответь на этот вопрос.

Теорема 2.Если последовательность функций f_n(x) сходится по мере к функции f(x), то эта же последовательность сходится по мере ко всякой функции g(x), эквивалентной функции f(x).

Д о к а з а т е л ь с т в о. При любом s > 0 будет

E( êf_nтАУ g ê ³ s ) Ì E( f ¹ g) + E( çf_n - f ç ³ s),

откуда (поскольку mE (f ¹ g) = 0)

mE (êf_n тАУ g ê³ s) £ mE(çf_n тАУ f ç³ s),

что и доказывает теорему.

Теорема 3. Если последовательность функций f_n(x) сходится по мере к двум функциям f(x) и g(x), то эти предельные функции эквивалентны.

Д о к а з а т е л ь с т в о. Легко проверить, что при s > 0 будет

(*)

ибо точка, не входящая в правую часть этого соотношения, и подавно не может входить и в левую часть. Но соотношения

f_n Þ f, f_n Þ g

показывают, что мера правой части (*) стремится к нулю с возрастанием n, откуда ясно, что mE (êf_n тАУ g ê³ s) = 0.

Но так как

то f ~g, что и требовалось доказать.

Теоремы 2 и 3 показывают, что, желая восстановить свойство единственной предельной функции для сходимости по мере, мы должны были бы условиться считать эквивалентные функции за тождественные. Это обычно и делается в метрических вопросах теории функций, т.е. в тех вопросах, где все свойства функций изучаются с помощью меры множеств, на которых функция обладает или не обладает тем или другим свойством. В интегральном исчислении мы надем много примеров подобного подхода к вещам.

Хотя сходимость по мере общее сходимости почти везде, имеет место все же следующая теорема.

Теорема 4 (Ф.Рисс).Пусть {fn(x)} последовательность функций, которая сходится по мере к функции f(x). В таком случае существует подпоследовательность

fn₁(x), fn₂(x), fn₃(x), .. (n₁23<..),

сходящаяся к функции f(x) почти везде.

Д о к а з а т е л ь с т в о. Возьмем последовательность положительных чисел s₁>s₂>s₃>¼, для которой lim s_k=0.

Пусть, далее, h₁+h₂+h₃+¼ (h_k>0) есть сходящийся положительный ряд.

Теперь мы можем построить требуемую последовательность индексов

n₁ < n₂ < n₃ < .. (*)

следующим образом: обозначим через n₁ натуральное число, для которого

mE(½f_n1-f½³s₁)1.

Такое число обязательно существует, ибо

mE(½f_n-f½³s₁)Во0 при nВо¥.

Затем через n₂ обозначим то натуральное число, для которого

mE(½f_n2-f½³s₂)h₂, n₂>n₁.

Вообще через n_k мы обозначаем такое число, что

mE(½f_nk-f½³s_k)< h_k, n_k>n_k-1.

Последовательность (*), таким образом, построена.

Теперь установим, что почти везде на множестве E будет

(**)

Действительно, пусть

, .

Так как R₁ÉR₂ÉR₃É.., то (теорема 12)

mR_iВоmQ

C другой стороны, очевидно, что так что mR_iВо0 и, стало быть, mQ=0.

Остается проверить, что соотношение (**) имеет место для всех x из множества E - Q.

Пусть x₀ Î E - Q. Тогда x₀ R_io. Иначе говоря, при k ³ i₀

x₀E(|f_nk-f|³s_k),

и, следовательно,

|f_nk(x₀) тАУ f(x₀₎|k, (k ³ i₀)

и, поскольку s_kВо0, ясно, что f_nk(x₀) Воf(x₀).

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

Теорема Лебега дала повод к установлению понятия сходимости по мере. С другой стороны, с помощью этой же теоремы можно установить весьма важную теорему Д.Ф.Егорова.

Теорема 5 (Д.Ф.Егоров).Пусть на измеримом множестве Е задана последовательность измеримых и почти везде конечных функцийf₁(x)^,f₂(x)^,f₃(x), тАж, почти везде сходящаяся к измеримой и почти везде конечной функции f (x):

В таком случае, для любого d>0 существует такое измеримое множество Е_dЕ, что:

1) mE_s >mE- d

2) на множестве E_dстремление(*) происходит равномерно.

Д о к а з а т е л ь с т в о. При доказательстве теоремы Лебега было установлено, что при любом s >0 будет

(1)

где .

Заметив это, возьмем сходящийся положительный ряд

h₁+h₂+h₃+.. (h_i>0)

и стремящуюся к нулю последовательность положительных чисел

s₁>s₂>s₃>тАж, lim s_i=0.

В силу (1), можно каждому натуральному i соотнести такое натуральное n_i, что mR_ni(s_i)< h_i.

Сделав это, найдем такое i₀, что (где d число, фигурирующее в формулировке теоремы), и положим .

Очевидно,

me

Пусть Е_d = Е тАУ е. Установим, что множество Е_d требуемое. Неравенство mE_d> mE - d ясно, так что остается убедиться в равномерности стремления

f_n(x)Воf(x)

на множестве Е_d.

Пусть e > 0. Найдем i такое, что i ³ i₀, s_i < e, и покажем, что при k ³ n_i и при всех x Î Е_d будет

|f_k(x) тАУ f(x)| < e,

откуда и будет следовать теорема.

Если x Î Е_d , то хe. Значит в частности, xR_ni(s_i).

Иначе говоря, при k ³ n_i

x ÎE(|f_k тАУ f|³ s_i),

так что

|f_k(x) тАУ f(x)| i (k ³ n_i)

и тем более

|f_k(x) тАУ f(x)| < e (k ³ n_i).

Теорема доказана, ибо n_i зависит только от e, но не от x.

Структура измеримых функций

При изучении какой-нибудь функции сам собою встает вопрос о точном или приближенном представлении ее с помощью функций более простой природы.

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

В этой части мы устанавливаем различные теоремы о приближении измеримых функций функциями непрерывными, т.е. решаем сходный вопрос для измеримых функций. Эти теоремы позволяют нам найти основное структурное свойство измеримой функции выражаемой теоремой 4.

Теорема 1. Пусть на множестве Е задана измеримая, почти везде конечная функция f(x). Каково бы ни было e > 0, существует измеримая ограниченная функция g(x), такая, что mE(f¹g)< e.

Д о к а з а т е л ь с т в о. Положим

А_k = E(|f|>k), Q = E(|f| = + ¥).

По условию, mQ = 0. Ввиду очевидных соотношений

А₁ É А₂ É А₃ É тАж,

будет (теорема 12) при kВо¥

mA_kВоmQ = 0.

Значит, найдется такое k_0, что mA_k0

Определим на множестве E функцию g(x), полагая

Эта функция измерима и, кроме того, ограничена, поскольку g (x)ê k₀. Наконец, E(f ¹ g) = A_ko, что и доказывает теорему.

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

Определение. Пусть функция F(x) задана на множестве E и x₀ÎE, причем F(x₀) ¹В±¥. Говорят, что функция F(x) непрерывна в точке х₀ в двух случаях: 1) если х₀ есть изолированная точка E; 2) если х₀Î E¢ и соотношения x_nВоx₀, x_nÎE влекут соотношение

f(x_n) Воf(x₀).

Если f(x) непрерывна в каждой точке множества E, то говорят, что она непрерывна на этом множестве.

Лемма 1.Пусть множества F₁, F₂, тАж, F_n замкнутыи попарно не пересекаются. Если функция j (х),заданная на множестве

постоянна на каждом из множеств F_k, то она непрерывна на множестве F.

Д о к а з а т е л ь с т в о. Пусть x₀ÎFтАЩ и x_iВоx₀, x_iÎF.

В силу замкнутости множества F точка x₀ принадлежит этому множеству и, стало быть, найдется такое m, что x₀ÎF_m.

Но множества F_k попарно не пересекаются. Значит, если k¹m, то х₀F_k и, в силу замкнутости множества F_k, точка x₀ не является и предельной точкой этого множества.

Отсюда следует, что в последовательности {x_i} может быть только конечное число точек, принадлежащих множеству F_k при k¹m. Отметим все члены последовательности, которые входят в одно из множеств F₁, тАж, F_m-1, F_m+1, тАж, F_n, и пусть x_i0, последний из них. Тогда при i > i₀ необходимо будет x₁ÎF_m, т.е. при i > i₀ оказывается j (x_i) = j (x₀), а это доказывает лемму.

Лемма 2. Пусть F есть замкнутое множество, содержащееся в сегменте [a, ]. Если функция j(x) задана и непрерывна на множестве F, то можно определить на [a, ] функцию y(x) со следующими свойствами

1) y(x) непрерывна;

2) если xÎF, то y(x)= j(x);

3) maxy(x)| = maxj(x)|.

Д о к а з а т е л ь с т в о. Обозначим через [a, b] наименьший сегмент, содержащий множество F. Если бы требуемая функция y(x) была уже построена на сегменте [a, b], то достаточно было бы дополнить ее определение, полагая

чтобы получить требуемую функцию уже на всем сегменте [a, b].

Поэтому, не ограничивая общности, можно считать что [a, b] и есть наименьший сегмент, содержащий множество F.

Если F = [a, b], то теорема тривиальна. Будем считать, что F ¹ [a, b]. Тогда множество [a, b] тАУ F состоит из конечного или счетного множества взаимно не налегающих интервалов, концы которых принадлежат F (дополнительных интервалов множества F).

Зададим функцию y(x), полагая ее равной j(x) в точках множества F и линейной на всех дополнительных интервалах.

Убедимся в непрерывности этой функции. Непрерывность ее в каждой точке множества [a, b] тАУ F очевидна.

Пусть х₀ есть точка множества F . Мы покажем, что функция y(x) непрерывна в этой точке слева (непрерывность справа устанавливается совершенно аналогично).

Если точка х₀ служит правым концом какого-нибудь дополнительного интервала, то непрерывность функции y(x) в этой точке слева очевидна.

Пусть же x₀ не является правым концом никакого дополнительного интервала и пусть x₁< x₂< x₃<тАж последовательность точек, стремящихся к x₀.

Если x_nÎF (n = 1, 2, 3, тАж) то, используя непрерывность на множестве F функции j(x), имеем y(x_n) = j(x_n) Во j(x₀) =y(x₀). Поэтому можно считать, что х_nF (n = 1, 2, 3, тАж).

В таком случае точка x₁ попадает в какой-то дополнительный интервал (l₁, m₁), причем m₁<х₀. Продолжая это рассуждение, мы приходим к последовательности (l₁, m₁), (l₂, m₂), (l₃, m₃), тАж дополнительных интервалов, расположенных в порядке номеров слева направо и таких, что

X_kÎ(l₁, m₁) (k = n_i-1+1, тАж, n_i).

Соотношение x_nii0 показывает, что m_i, а из того, что m_i-1£l_i< x₀, ясно, что и l_i Воx₀.

Но l_i и m_iвходят в F, так что

lim y(l_i) = lim y(m_i) = y( x₀).

Ввиду того, что значения линейной функции в каком-нибудь интервале лежат между ее значениями на концах этого интервала, ясно, что и limy(x_n)=y(x₀).

Итак, непрерывность функции y(x) доказана.

Из самого ее построения видно, что она совпадает с j(x) на множестве F.

Наконец по известной теореме Вейерштрасса, среди значений непрерывной на сегменте функции |y(x)| есть наибольшее тАУ max |y(x)|. Легко видеть, что этот максимум достигается именно в точке, принадлежащей множеству F, ибо на дополнительных интервалах функция y(x) линейна. Поэтому max |y(x)| = max |j(x)|.

Лемма доказана полностью.

Теорема 2 (Э. Борель). Пусть на сегменте [a, b] задана измеримая и почти везде конечная функция f(x). Каковы бы ни были числа s >0 и e >0 существует непрерывная на [a, b] функция y(x), для которой

mE(|f-y| ³ s) <e

Если при этом |f(x)| £ K, то можно и y(x) выбрать так, что |y(x)| £ K.

Д о к а з а т е л ь с т в о. Предположим сначала, что |f(x)| £ K, т.е. что функция f(x) ограничена.

Фиксируя произвольные s >0 и e >0, найдем столь большое натуральное m, что K/m

(i = 1 тАУ m, 2 тАУ m, тАж, m тАУ 1)

Эти множества измеримы, попарно не пересекаются и

Построим для каждого i замкнутое множество F_i Ì E_i с мерой и положим .

Ясно, что , откуда m[a, b] тАУ mF

Зададим теперь на множестве F функцию j(x), полагая

при xÎF_i (i = 1 тАУ m, тАж, m).

В силу леммы 1 эта функция непрерывна на множестве F, |j(x)| £ K и, наконец, при xÎF будет |f(x) - j(x)| < s.

Остается применить лемму 2. Это приводит к непрерывной функции y(x), совпадающей на множестве F с функцией j(x), причем |j(x)|³K. Поскольку E ( | f - y | ³ s ) Ì [a , b] тАУ F , ясно, что функция y(x) требуемая.

Итак, для ограниченной функции теорема доказана.

Допустим теперь, что f (x) не ограничена. Тогда, пользуясь теоремой 1, можно построить такую ограниченную функцию g(x), что mE (f ¹ g) < e/2.

Применяя уже доказанную часть теоремы к функции g(x), мы найдем такую непрерывную функцию y(x), что

Но легко видеть, что

E (|f-y| ³ s) Ì E (f ¹ g) + E (|g-y| ³ s),

Так что функция y(x) решает задачу.

Следствие. Для всякой измеримой и почти везде конечной функции f(x), заданной на сегменте [a, ], существует последовательность непрерывных функций y_n(x), сходящаяся по мере к функции f(x).

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

s₁>s₂>s₃>тАж, s_nВо0,

e₁>e₂>e₃>тАж, e_nВо0,

построим для каждого n такую непрерывную функцию y_n(x), что

mE(|f-y_n|³s_n)< e_n

Легко видеть, что y_n(x) Þ f(x).

Действительно, какое бы s > 0 ни взять, для n ³ n₀ будет s_n

откуда и следует наше утверждение.

Применив к последовательности {y_n(x)} теорему Ф. Рисса мы приходим к последовательности непрерывных функций {y_nk(x)}, которая сходится к функции f(x) почти везде.

Иначе говоря установлена

Теорема 3 (М.Фреше). Для всякой измеримой и почти везде конечной функции f(x), заданной на сегменте [a, ], существует последовательность непрерывных функций, сходящаяся к f(x) почти везде.

С помощью этой теоремы легко устанавливается весьма замечательная и важная

Теорема 4 (Н. Н. Лузин). Пусть f(x) измеримая и почти везде конечная функция, заданная на [a, ]. Каково бы ни было d > 0, существует такая непрерывна функция j(x), что

mE(f¹j) < d

Если, в частности, |f(x)| £K, то и |j(x)| £K.

Вместе с этим смотрят:

10 способов решения квадратных уравнений

РЖнварiантнi пiдпростори. Власнi вектори i власнi значення лiнiйного оператора

РЖнженерна графiка

РЖнтегральнi характеристики векторних полiв

РЖнтерполювання функцiй