Мера ограниченного открытого множества

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

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

Определение 1. Мерой интервала (a, b) называется его длина, т.е. b - a. Это число обозначается так:

m (a, b) = b - a

Очевидно, что всегда m (a, b) 

Лемма 1. Если в интервале  содержится конечное число взаимно не налегающих интервалов ___n, то

Д о к а з а т е л ь с т в о. Пусть  = (A, B), _k = (a_k, b_k) (k = 1, 2, …, n).

Не нарушая общности, можно считать, что интервалы _k перенумерованы в порядке возрастания левых концов, т.е. что

a₁  a₂  …  a_n.

Но тогда, очевидно, b_k a_k+1 (k = 1, 2, …, n - 1), ибо иначе интервалы _k и _k+1 налегали бы друг на друга. Поэтому сумма

Q = (B - b_n) + (a_n - b_n-1) + … + (a₂ - b₁) + (a₁ - A)

не отрицательна. Но очевидно, что , откуда и следует лемма.

Следствие. Если на интервале  лежит счетное множество взаимно не налегающих интервалов _k (k = 1, 2, 3, …), то

.

[Имея дело с положительным расходящимся рядом, мы приписываем ему сумму, равную + ; поэтому всякий положительный ряд имеет некоторую сумму. Неравенства _k C (положительного ряда) гарантирует его сходимость.]

Определение 2. Мерой mG непустого открытого ограниченного множества G называется сумма длин всех его составляющих интервалов _k:

(Не зная, конечно или счетно множество _k}, мы будем употреблять обозначение _k, подразумевая, смотря по обстоятельствам, под этим символом _k или _k.)

В силу вышеотмеченного следствия,

mG + 

Если множество G пусто, то мы , по определению, полагаем

mG=0,

так что всегда mG0.

Если  есть интервал, содержащий в себе открытое множество G, то

mG  m,

что вытекает из того же следствия.

Пример (Канторово множество G₀). Построение Канторова множества G₀ состояло из ряда последовательных шагов.

На первом шагу брался интервал (1/3, 2/3) длины 1/3. На втором шагу к нему присоединялись два интервала: (1/9, 2/9) и (7/9, 8/9), длины 1/9 каждый.

На третьем шагу присоединялись еще четыре интервала, длины 1/27 каждый и т.д.

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

mG₀ =…

Суммируя по известной формуле эту прогрессию, получаем

mG₀ = 1.

Теорема 1. Пусть G₁ и G₂ два ограниченных открытых множества. Если G₁  G₂, то

mG₁  mG₂.

Д о к а з а т е л ь с т в о. Пусть _i (i = 1, 2, …) и _k (k = 1, 2, …) суть, соответственно, составляющие интервалы множеств G₁ и G₂.

В силу теоремы 4, § 5, гл.II, каждый из интервалов _i содержится в одном (и только одном) из интервалов _k.

Поэтому множество {_i} можно разбить на ряд взаимно не пересекающихся подмножеств А₁, А₂, А_3,…, относя _i в А_k в том случае, когда _i _k.

Тогда, пользуясь известными свойствами двойных рядов, мы можем написать

.

Но, в силу следствия леммы 1,

, откуда ,

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

Следствие. Мера открытого ограниченного множества G есть точная нижняя граница мер всевозможных открытых ограниченных множеств, содержащих G.

Теорема 2. Если открытое ограниченное множество G является суммой конечного числа или счетного множества взаимно не налегающих открытых множеств

,

то

.

Это свойство меры называется полной аддитивностью.

Д о к а з а т е л ь с т в о. Пусть (i = 1, 2, …) суть составляющие интервалы множества G_k. Покажем, что каждый из них является составляющим интервалом суммы G.

В самом деле, то обстоятельство, что G, очевидно. Остается убедиться, что концы интервала не принадлежат G. Допустим, что, например, правый конец интервала принадлежит G. Тогда этот правый конец (обозначим его через должен принадлежать какому-нибудь из слагаемых множеств. Пусть G_k'. (Очевидно kk, ибо множеству G_k точка заведомо не принадлежит.) Но множество G_k открыто и, стало быть, точка принадлежит одному из составляющих интервалов этого множества _i^k^Однако это влечет за собой то, что интервалы _i^(k) и _i^k^пересекаются, последнее же противоречит условию G_k G_k= 0.

Итак, действительно, каждый из _i^(k) есть составляющий интервал множества G. С другой стороны, каждая точка G принадлежит хоть одному _i^(k) . Наконец, все эти интервалы различны. Таким образом, множество

(i = 1, 2, …; k = 1, 2, …)

есть множество всех составляющих интервалов суммы G.

Установив это, уже легко закончить доказательство:

=

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

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

Лемма 2. Пусть сегмент [P, Q] покрыт конечной системой Н интервалов (Тогда

Д о к а з а т е л ь с т в о. Выделим из системы Н некоторую ее часть Н*, которая строится следующим образом: обозначим через (_,) какой-нибудь из интервалов системы содержащих точку P

_ < P < ₁

(хоть один такой интервал существует). Если окажется, что _Q, то интервал (_ _) , и составляет требуемую систему ^Если же _Q, то ₁[P, Q], и можно в системе  найти интервал (_ _), содержащий точку _

_ < ₁ < ₂

Если окажется, что _Q, то процесс окончен, и интервалы (_ _) и (_ _) и составляют систему Н*.

Если же _Q, то ₂[P, Q], и можно в системе  найти интервал (_ _), содержащий _

_ < ₂ < ₃

Если _>Q, то процесс закончен, а если _Q, то продолжаем наш процесс.

Но ведь множество по условию конечно, а наш процесс состоит в выделении из все новых и новых интервалов, ибо

₁ < ₂ < ₃ < …

Поэтому процесс обязательно должен закончится, а конец его состоит в том, что какая-то из точек _k окажется лежащей правее точки Q.

Пусть _n>Q, но _n-1Q, т.е. процесс заканчивается после n-го шага.

Тогда интервалы (_ _), (_ _), … , (_n _n) и составляют систему H. При этом _k+1<_k (k = 1, 2, … , n-1).

Значит

а так как _n - ₁Q – P, то Q – P  , откуда и подавно

Q – P  .

Лемма 3. Пусть интервал есть сумма конечного или счетного множества открытых множеств

.

Тогда

m.

Д о к а з а т е л ь с т в о. Пусть A, B) и пусть составляющие интервалы множества G_k суть _i^(k) (i = 1, 2, …).

Возьмем положительное число ) и рассмотрим сегмент , содержащийся в интервале 

Этот сегмент покрыт системой интервалов _i^(k) (i = 1, 2, …; k = 1, 2, …). Применяя к этой системе теорему Бореля о конечном покрытии из § 2, гл. II, мы получим некоторую конечную систему

(s = 1, 2, … n),

покрывающую сегмент . В силу предыдущей леммы, , откуда и подавно

B – A - 2< .

Так как число произвольно мало, то

B – A ,

и лемма доказана.

Теорема 3. Если открытое ограниченное множество G является суммой конечного числа или счетного множества открытых множеств G_k, G = , то

mG.

Д о к а з а т е л ь с т в о. Пусть _i (i = 1, 2, …) суть составляющие интервалы суммы G. Тогда mG = .

Но откуда, в силу леммы 3, и, стало быть,

(*)

С другой стороны

При этом (что является здесь основным) отдельные слагаемые правой части взаимно не пересекаются (потому что при ii`). Значит, мы находимся в условиях применимости теоремы 2, а потому

(**)

Сопоставляя (и (мы и получаем теорему.

Мера ограниченного замкнутого множества

Пусть F непустое ограниченное замкнутое множество и S наименьший сегмент, содержащий множество F. Как известно, множество C_SF открыто и поэтому имеет определенную меру m[C_SF]. Это дает возможность установить следующее определение.

Определение 1. Мерой непустого ограниченного замкнутого множества F называется число

где S=[A, B] есть наименьший сегмент, содержащий множество F.

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

Рассмотрим некоторые примеры.

1. F=a, b. В этом случае, очевидно, S=[a, b] и C_sF=0, так, что m [a, b] = b – a, т. е. мера сегмента равна его длине.

2. F есть сумма конечного числа попарно не пересекающихся сегментов

Можно считать, что сегменты перенумерованы в порядке возрастания левых концовтогда, очевидно,

k=1, 2, … n-1,

откуда следует, что

Стало быть,

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

3. Пусть (Канторово совершенное множество). В этом случае

и откуда

т.е. Канторово совершенное множество имеет меру нуль. Этот факт интересно сопоставить с тем, что мощность множества есть с.

Теорема 1. Мера ограниченного замкнутого множества F не отрицательна.

Д о к а з а т е л ь с т в о. Действительно, если пользоваться обозначениями определения 1, то очевидно (А, В), и по теореме 1, откуда и следует, что

Лемма. Пусть F ограниченное замкнутое множество, содержащееся в интервале тогда

 [ C_F]

Д о к а з а т е л ь с т в о. Множество C_F – открыто, так что лемма имеет смысл. Пусть A, B), а наименьший сегмент, содержащий множество F, есть S=[a, b] (рис.1.).

Тогда легко видеть, что С_F=C_S+C_sF.

Рис. 1

Оба слагаемые правой части открыты и взаимно не налегают. Значит, по свойству аддитивности меры (теорема 2) будет m[C_F]=m[C_S]+m[C_sF].

Но, очевидно,C_S = (A, a) + (b, B), откуда

m[C_] = (a-A) + (B-b),

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

m[C_F]=(B-A)-(b-a)+m[C_sF],

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

Теорема 2. Пусть F₁ и F₂ два ограниченных замкнутых множества. Если F₁ F₂, то mF₁mF₂.

Д о к а з а т е л ь с т в о. Пусть есть интервал, содержащий множество F₂. Тогда легко проверить, что С_F₁ C_F₂, и, стало быть, m[C_F₁ ] [ C_F₂ ], так что дело сводиться к предыдущей лемме.

Следствие. Мера ограниченного замкнутого множества F есть точная верхняя граница мер всевозможных замкнутых множеств, содержащихся в F.

Теорема 3. Пусть F замкнутое множество, а G открытое ограниченное множество. Если F G, то mFmG.

Д о к а з а т е л ь с т в о. Пусть есть интервал, содержащий множество G. Легко видеть, что G+C_F, откуда, в силу теоремы 3, получаем, что mmG + m[C_F], и дело сводится к лемме.

Теорема 4. Мера открытого ограниченного множества G есть точная верхняя граница мер всевозможных замкнутых множеств, содержащихся в G.

Д о к а з а т е л ь с т в о. В силу предыдущей теоремы, mG есть точная граница мер замкнутых множеств FG, и надо доказать, что меры этих замкнутых множеств могут быть сколь угодно близки к mG.

Пусть составляющие интервалы множеств G суть_k, _k k=1, 2, …)так что mG = (__k).

Возьмем произвольное  и найдем столь большое натуральное n, чтобы оказалось _k - _kmG - .

Затем для каждого k (k=1, 2, …, n) найдем такой сегмент[_k, _k], чтобы было

[_k_k,]  (_k, _k), m[_k, _k]  m(_k, _k) -,

(для чего достаточно взять такое _k, что

0 < _k < min[, ]

и положить _k = _k+_k, _k =_k - _k). Положим, наконец,

F₀= _k, _k].

Тогда, очевидно, F₀  G, F₀ замкнуто и

mF₀=(_k-_k) > (_k-_k) - > mG - .

Так как произвольно мало, то теорема доказана.

Теорема 5. Мера замкнутого ограниченного множества F есть точная нижняя граница мер всевозможных открытых ограниченных множеств, содержащих F.

Д о к а з а т е л ь с т в о. Как и выше, достаточно показать, что можно построить открытое ограниченное множество, содержащее множество F и имеющее меру, сколь угодно близкую к mF.

С этой целью возьмем интервал содержащий множество F, и рассмотрим открытое множество C_F. Каково бы ни было , мы можем (в силу теоремы 4) найти замкнутое множество Ф такое, что Ф  С_F, mФm[C_F]-.

Положим G₀ = С_Ф. Легко видеть, что G₀ есть открытое множество, содержащее F. Вместе с тем

mG₀ = m  mФ  m  m[C_F] +  = mF + 

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

Теорема 6 . Пусть ограниченное замкнутое множество F есть сумма конечного числа взаимно не пересекающихся замкнутых множеств

F = (F_kF_k’ = 0, k  k’

Тогда

mF =

Д о к а з а т е л ь с т в о. Очевидно, достаточно рассмотреть случай двух слагаемых F = F₁F₂ (F₁F₂=0).

Возьмем произвольное > 0 и подберем два ограниченных открытых множества G₁ и G₂ так, чтобы оказалось

G_i  F_i (i = 1, 2),

что возможно в силу предыдущей теоремы.

Положим G = G₁ + G₂.

Тогда G есть открытое ограниченное множество, содержащее множество F. Значит,

mF  mG  mG₁ + mG₂ < mF₁ + mF₂ + .

В силу произвольности отсюда следует что

mF  mF₁ + mF₂ (*)

С другой стороны, в силу теоремы отделимости, существуют такие открытые множества B₁ и B₂, что

B_i  F_i (i = 1, 2), B₁B₂ = 0.

Отметив это возьмем произвольное > 0 и найдем такое открытое ограниченное множество G, что G  F, mG < mF + 

Тогда множества B₁G и B₂G суть открытые ограниченные взаимно не пересекающиеся множества, содержащие, соответственно, множества F₁ и F₂.

Значит,

MF₁ + mF₂  m(B₁G) + m(B₂G) = m [B₁G + B₂G]

(здесь мы воспользовались аддитивностью меры для открытых множеств). Но B₁G + B₂G G, откуда

mF₁+mF₂ mG mF+

и в силу произвольности ,

mF₁ + mF₂ mF. (^_

Сопоставляя (^и (^_получим

mF = mF₁ + mF₂,

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

Внешняя и внутренняя меры ограниченного множества

Определение 1. Внешней мерой m^E ограниченного множества E называется точная нижняя граница мер всевозможных открытых ограниченных множеств, содержащих множество E:

Очевидно, для всякого ограниченного множества E cуществует внешняя мера, причем 0  m*E  +

Определение 2. Внутренней мерой m*E ограниченного множества E называется точная верхняя граница мер всевозможных замкнутых множеств, содержащихся в множестве E:

m*E=.

Очевидно, что всякое ограниченное множество E имеет внутреннюю меру, причем 0  m_*E  +.

Теорема 1. Если G есть открытое ограниченное множество, то

m*G = m_*G = mG.

Теорема вытекает из следствия теоремы 1 и теоремы 4.

Теорема 2. Если F есть замкнутое ограниченное множество, то

m*F = m_*F = mF.

Теорема вытекает из следствия теоремы 2 и теоремы 5.

Теорема 3. Для всякого ограниченного множества Е

m_*E  m*E.

Д о к а з а т е л ь с т в о. Пусть G ограниченное открытое множество, содержащее множество Е. Какое бы замкнутое подмножество F множества Е ни взять, будет F G и, в силу теоремы 3, mF mG. Отсюда m_*E mG. Но так как это верно для всякого открытого ограниченного множества G, содержащего Е, то m_*E m*E, что и требовалось доказать.

Теорема 4. Пусть A и B суть ограниченные множества. Если A В, то

m_*A m_*В, m^*A m^*B.

Д о к а з а т е л ь с т в о. Оба неравенства доказываются аналогично. Остановимся для примера на первом из них.

Пусть S есть множество, состоящее из мер всевозможных замкнутых подмножеств множества А, а Т такое же множество для множества В. Тогда m_*A = sup S, m_*B = sup T.

Пусть F есть замкнутое подмножество А, тогда и подавно F является подмножеством множества В. Отсюда следует, что S T, и теорема вытекает из того известного факта, что точная верхняя граница подмножества какого-либо множества не превосходит точной верхней границы самого этого множества.

Теорема 5. Если ограниченное множество Е есть сумма конечного числа или счетного множества множеств Е_k

E=, то m*E

Д о к а з а т е л ь с т в о. Теорема тривиальна в случае расходимости ряда . Предположим, что этот ряд сходится. Взяв произвольное > 0, мы можем найти такие открытые ограниченные множества G_k, что

G_kE_k, mG_k<m*E_k+ (R=1, 2, 3, …).

Назовем через какой-нибудь интервал, содержащий множество Е. Тогда Е откуда, в силу теоремы 3.

m*E  m  m  ,

и теорема вытекает из произвольности числа 

Теорема 6. Если ограниченное множество Е есть сумма конечного числа или счетного множества взаимно не налегающих множеств Е_k

Е= (E_kE_k’=0, kk’),

то

m*E_*E_k.

Д о к а з а т е л ь с т в о. Рассмотрим первые n множеств Е₁, Е₂,... …, Е_n. Для любого  > 0 существуют такие замкнутые множества F_k, что

F_kE_k, mF_k>m_*E_k- (k=1, 2, …, n).

Множества F_k попарно не пересекаются и сумма их замкнута. Отсюда, применяя теорему 6, получим

m_*E  m= mF_k > m_*E_k - .

Так как  произвольно, то m_*E_k m_*E.

Этим теорема доказана для случая конечного числа слагаемых множеств. Если же этих множеств имеется счетное множество, то, опираясь на произвольность числа n, мы установим сходимость ряда m_*E_k и неравенство m_*E_k m_*E.

Легко видеть, что теорема перестает быть справедливой, если отбросить условие отсутствия общих точек у множеств E_k. Например, если Е₁=[0, 1], Е₂=[0, 1] Е=Е₁+Е₂, то m_*E=1, m_*E₁+m_*E₂=2.

Теорема 7. Пусть Е ограниченное множество. Если интервал, содержаций это множество, то

m* E+m_*[C_E]=m.

Д о к а з а т е л ь с т в о. Возьмем произвольное и найдем такое замкнутое множество F, что FC_Е, mFm_*[C_E]- .

Если мы положим G=C_F, то множество G будет открытым ограниченным множеством, содержащим множество Е, откуда, с помощью леммы находим

m_*E  mG = m- mF m- m_*[C_E] + .

Отсюда, в силу произвольности следует, что

m*E + m_*[C_E] m.

Для того чтобы получить обратное неравенство

m*E + m_*[C_E] m, (*)

приходится рассуждать тоньше.

Возьмем и найдем такое открытое ограниченное множество G₀, что G₀ Е, mG₀ < m*E + .

Назовем концы интервала черезA и B и построим такой содержащийся в интервал (a, b), что

A < a < A+, В - < b < B.

Сделав это, положим G = G₀ + (A, a) + (b, B).

Множество G открыто, ограничено, содержит E и таково, что

mG < m*E + 

Но кроме того (и это здесь основное) множество F = C_G оказывается замкнутым, что вытекает из легко проверяемого тождества F = а, bCG.

Так как F  С_Е, то m_С_ЕmF = m - mG  m - m*E -.

Отсюда, в силу произвольности следует неравенство (*), а с ним и теорема.

Следствие. В обозначениях теоремы будет

m*C_Е - m_*C_Еm*E – m_*E.

В самом деле, если мы переменим роли множеств Е и С_Е, то получим, что m*C_Еm_*Е = mоткуда

m*C_Еm_*E = m*E + m_*C_E,

а это равносильно доказываемому утверждению.

Измеримые множества

Определение. Ограниченные множество Е называется измеримым, если его внешняя и внутренняя меры равны друг другу :

m^E=m_E.

Их общее значение называется мерой множества E и обозначается через mE:

mE=m^E=m_E .

Этот способ определения понятия меры принадлежит Лебегу, в связи с чем иногда измеримое множество называют множеством “измеримым в смысле Лебега”, или, короче, “измеримым (L)”.

Если множество E неизмеримо, то о его мере нельзя говорить, и символ mE для нас лишен смысла. В частности, неизмеримыми мы считаем все неограниченные множества.

Теорема 1. Открытое ограниченное множество измеримо и его вновь определенная мера совпадает с мерой.

Этот результат есть непосредственное следствие теоремы 1. Точно также из теоремы 2, вытекает следующая теорема:

Теорема 2. Замкнутое ограниченное множество измеримо и его вновь определенная мера совпадает с введенной.

Из следствия теоремы 7, вытекает:

Теорема 3. Если Е есть ограниченное множество, содержащееся в интервале множества Е и С_Е одновременно измеримы или нет.

Из сопоставления теорем 5 и 6 предыдущей темы следует:

Теорема 4. Если ограниченное множество Е есть сумма конечного числа или счетного множества измеримых множеств, попарно не имеющих точек,

(Е_kЕ_k’ = 0, k  k’),

то множество Е измеримо и

Д о к а з а т е л ь с т в о вытекает из следующей цепи неравенств:

Доказанное свойство меры называется ее полной аддитивностью.

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

Теорема 5. Сумма конечного числа измеримых множеств есть измеримое множество.

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

E_k (k =1, 2, …, n) измеримы.

Возьмем произвольное и построим для каждого k такое замкнутое множество F_k и такое открытое ограниченное множество G_k, чтобы было

F_k  E_k  G_k, mG_k – mF_k  (k = 1, 2, …, n).

Сделав это, положим

Очевидно, что множество F замкнуто, а G открыто и ограничено, и что

F  E  G, откуда следует, что

mF  m_E  m^ E  mG. (^

Но множество G – F открыто (ибо его можно представить в форме

G  CF) и ограничено. Значит, это множество измеримо. Множество F также измеримо, а потому, поскольку

G = F + (G – F)

и множества F и G – F не пересекаются, можно применить предыдущую теорему, что дает mG = mF + m(G – F), откуда

m(G – F) = mG – mF.

Аналогично мы установим, что

m(Gk – Fk) = mGk – mFk (k = 1, 2, …, n).

Отметим теперь легко проверяемое включение

G-F(G_F_k).

Все входящие сюда множества открыты и ограничены, так что, на основании теорем § 1, мы имеем

m(G-F)

или

mG - mF<

Отсюда и из (*) вытекает, что m*E - m_E<а также как сколь угодно мало, то

m*E = m_*E.

Теорема 6. Пересечение конечного числа измеримых множеств измеримо.

Д о к а з а т е л ь с т в о. Пусть E=, причем множества E_ измеримы. Назовем через какой-нибудь интервал, содержащий все множества E_. Легко проверить, что C_E=.

Но множества СE_ измеримы одновременно с множествами E_, откуда, в силу теоремы 5, следует измеримость множества C_E, а с ним и множества E, что и требовалось доказать.

Теорема 7. Разность двух измеримых множеств измерима.

Д о к а з а т е л ь с т в о. Пусть E = E_ - E_, где множества E_ и E_ измеримы. Назовем через какой-нибудь интервал, содержащий оба множества E_ и E_. Тогда E=E_C_E_ и дело сводится к предыдущей теореме.

Теорема 8. Если в условиях теоремы 7 будет E_E_, то

ME = mE_- mE_.

Д о к а з а т е л ь с т в о. Очевидно E_=E+E_ (EE_=0), откуда, в силу теоремы 4, mE_=mE+mE_, что равносильно теореме.

Теорема 9. Если ограниченное множество E является суммой счетного множества измеримых множеств, то E измеримо.

Д о к а з а т е л ь с т в о. Пусть E=.

Введем множества A_(k=1, 2, …), полагая

A_=E_, A_=E_-E_, …, A_=E_-(E_+…+E_), …

Легко проверить, что . При этом все множества A_k измеримы и попарно не пересекаются (в последнем вся суть доказательства), так что дело свелось к теореме 4.

Условие ограниченности множества Е (которое в теореме 5 выполнялось само собой) отбросить нельзя, как видно хотя бы из примера Е_k = [0, k], где сумма _k = [0, +) неизмерима.

Теорема 10. Пересечение счетного множества измеримых множеств измеримо.

Д о к а з а т е л ь с т в о. Пусть _k, где все множества Е_k измеримы. Так как ЕЕ₁, то множество Е ограничено. Обозначим через  какой-нибудь интервал, содержащий это множество, и положим А_k= Е_k (k=1, 2, 3, …).

Тогда

_k=_k)=_k.

Легко проверить, что , и дело сводится к теоремам 3 и 9.

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

Теорема 11. Пусть множества Е₁, Е₂, Е₃, … измеримы. Если

и если сумма ограничена, то

[mE_n].

Д о к а з а т е л ь с т в о. Легко видеть, что множество Е можно представить в форме

Е=Е₁ + (Е₂ – Е₁) + (Е₃ – Е₂) + (Е₄ – Е₃) + …,

где отдельные слагаемые попарно не пересекаются. Отсюда, в силу теорем 4 и 8, следует, что

На основании самого определения суммы бесконечного ряда, последнее равенство можно переписать так

{

а это равносильно теореме, ибо

mE₁+=mE_n

Теорема 12. Пусть E₁, E_2,E₃,… суть измеримые множества, и Е= . Если Е₁E₂E₃_…, то

mE=lim.

Д о к а з а т е л ь с т в о . Эту теорему легко свести к предыдущей. Действительно, обозначив через какой-нибудь интервал, содержащий множество Е₁, мы будем иметь

С_E₁C_E₂C_E₃C_E=.

В силу теоремы 11 мы получаем, что

m(С_E)=

что можно представить и так:

m - mE=

а это равносильно теореме.

Измеримость и мера как инварианты движения

Пусть даны два множества А и В, состоящие из объектов любой природы. Если указано правило, которое каждому элементу а множества А ставит в соответствие один и только один элемент b множества В, то говорят, что установлено однозначное отображение множества А в множество В. При этом не предполагается, что каждый элемент множества В оказывается соотнесенным какому-нибудь элементу из А. Понятие отображения есть прямое обобщение понятия функции. В связи с этим элемент b В, отвечающий элементу а часто обозначают через fаи пишут bf а

Если bfато мы будем называть элемент b образом элемента а, а элемент а прообразом элемента b. При этом один элемент b может иметь несколько прообразов.

Пусть А* есть часть множества А, а В* есть множество образов всех элементов А* (иначе говоря, если аА*, то f(а)В*, и если bВ*, то существует хоть один элемент аА* такой, что f(а)b). В таком случае множество В* называется образом множества А*, что записывают так: В*f(А*).

При этом множество А* называется прообразом множества В*.

Установив эти общие понятия, перейдем к рассмотрению одного важного специального вида отображений.

Определение 1. Однозначное отображение  х) числовой прямой в себя называется движением, если расстояние между образами любых двух точек прямой равно расстоянию между самими этими точками:

 х) -  y)х – y .

Иначе говоря, движением называется такое отображение множества в множество которое не изменяет расстояний между точками 

В определение понятия движения не включено требование, чтобы каждая точка cлужила образом какой-нибудь точки, а также требование, чтобы разные точки  имели разные же образы. Однако оба эти обстоятельства имеют место. Убедимся в этом пока для одного из них.

Теорема 1. Пусть  х) есть движение. Если х y, то  х) y).

Действительно, в этом случае х) - y)х - y

Теорема 2. a) Если А В, то А)  В).

b)

c)

d) Если пустое множество, то 

Доказательство предоставляется читателю; укажем лишь на то, что при доказательстве с) используется теорема 1.

Легко проверить, что следующие три отображения являются движениями:

Iх) = х + d (сдвиг),

II. х) = - х (зеркальное отражение),

III. х) = - х + d.

Чрезвычайно важным является то, что этими тремя (собственно – двумя, ибо III охватывает II) типами исчерпываются все возможные движения в 

Теорема 3. Если х) есть движение, то либо

х) = х + d,

либо

х) = - х + d.

Д о к а з а т е л ь с т в о . Положим, d. Тогда для всякого х будет х) – d х и, стало быть,

х ) = (-1) ^{х )} х + d х) = 0, 1

Функция х) определена для всякого х Нашей задачей является установление того, что х) есть постоянная величина.

Пусть x и y две точки, причем x  0, y  0, x  y. Тогда

x) -  (y) = (-1)^{ (x)} x – (-1)^{ (y)} y,

или

x) -  (y) = (-1)^{ (x)} [x – (-1)^ y],

где (y) -  (x) имеет одно из трех значений 

Пользуясь определением движения, можно утверждать, что

x – (-1)^ y =  x - y.

Отсюда, либо x – (-1)^ y = x – y, либо же x – (-1)^ y = -x + y.

Но второй случай невозможен, ибо он приводит к тому, что

2x = y [1 + (-1)^ ], откуда (при x = 0, или (при x = y, а это противоречит условию.

Значит, остается первый случай, который дает, что т.е. x) = (y).

Значит, для всех x  0 функция x) имеет одно и то же значение

(x) =  ( = 0, 1), так что x) = (-1)^ x + d.

Поскольку это равенство, очевидно, остается в силе и для x = 0, теорема доказана.

Следствие. При движении каждая точка y  Z служит образом некоторой точки x  Z, т.е. Z) = Z.

Действительно, если (x) = (-1)^ x + d, то прообразом точки y служит точка x = (-1)^ (y-d).

Если x) = (-1) ^x + d есть некоторое движение, то движение

^ (x) = (-1)^ (x – d)

называется обратным движением. Эти два движения связаны соотношениями

^ (x)] = ^-1[ (x)] = x.

Иначе говоря, если точка х в движении имеет образом точку y, то в движении ^ точка y имеет образом точку х. Весьма важным является то, что для всякого движения существует обратное ему движение.

Теорема 4. При движении: а) всякий интервал переходит в интервал той же меры, причем концами интервала-образа служат образы концов интервала-прообраза;

b) образ ограниченного множества есть ограниченное же множество.

Д о к а з а т е л ь с т в о. Пусть a, b) есть некоторый интервал. Тогда при движении x) = x + d образом интервала служит интервал (а+ d, b + d), а при движении x) = -x + d – интервал (d – b, d – a). В обоих случаях m () = b – a = m.

Чтобы доказать b), обозначим через Е какое-нибудь ограниченное множество. Если есть интервал, содержащий множество Е, то

Е) так что Е) ограничено. Можно рассуждать и так: если для всех х из Е будет х k, то для всех у из E) будет уk+d

Теорема 5. При движении: а) замкнутое множество переходит в замкнутое множество;

b) открытое множество переходит в открытое множество.

Д о к а з а т е л ь с т в о. a) пусть F) есть образ замкнутого множества F. Обозначим через у_какую-либо предельную точку множества Fи найдем последовательность у_n, для которой

lim у_n = у_у_n (F).

Пусть х_^у_х_n=у ^–1(у_n).

Тогда х_nF. Но х_n – х_у_n – у_ так что х_n х_и, в силу замкнутости F, х_F, откуда у_ х_ F).

Значит F) есть открытое множество.

b) Пусть G есть открытое множество. Положим F=CG. Тогда F есть замкнутое множество и G+F=Z, GF=0.

Отсюда, в силу теоремы 2 и следствия теоремы 3,

 G) + F) = Z,  G)F) = 0,

т.е.  G) является дополнением замкнутого множества  F) и, стало быть, открыто.

Теорема 6. Мера открытого ограниченного множества не меняется при движении.

Д о к а з а т е л ь с т в о. Пусть G открытое ограниченное множество. Тогда и G) есть открытое ограниченное множество. Обозначим через _k(k = 1, 2, 3…) составляющие интервалы множества G. На основании теоремы 4, составляющими интервалами множества G) служат интервалы (_k), причем легко проверить, что этими интервалами исчерпываются все составляющие интервалы множества G). Отсюда: m(G)=(_k)=_k = mG, что и требовалось доказать.

Теорема 7. Движение не изменяет ни внешней, ни внутренней меры ограниченного множества.

Д о к а з а т е л ь с т в о. а) Пусть E ограниченное множество. Взяв произвольное 0, найдем такое открытое ограниченное множество G, чтобы было GE, mG m* E + 

В таком случае G) есть открытое ограниченное множество, содержащее множество E). Стало быть

m*(E)m(G)=mG m*E+

В силу произвольности числа следует, что m*(E)m* E, так что при движении внешняя мера ограниченного множества не увеличивается. Но тогда она и не уменьшается, ибо иначе обратное движение привело бы к увеличению внешней меры.

Итак

m*(E)=m*E.

b) Обозначим через какой-нибудь интервал, содержащий множество Е. Тогда есть интервал, содержащий множество Е). Положим, далее, А=С_

Соотношения Е+А=ЕА=0 дают, что

А)=Е)  А)=0,

так что Е) есть дополнительные множества А) относительно интервала  (.Отсюда, в силу теоремы 7,

m*  (А)+m _  (Е)=m ()

и, на основании уже доказанной части теоремы и теоремы 4,

m* А+m_*  (Е)=m.

Значит m_*Е)=m-m* (C_Е), и снова применяя теорему 7, мы находим, что

m_* (Е)=m_* Е.

Следствие. При движении измеримое множество переходит в измеримое множество той же меры.

Определение 2. Множества А и В называются конгруэнтными, если существует движение, в котором одно из них переходит в другое.

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

Теорема 8. Конгруэнтные множества имеют одинаковые внешнюю и внутреннюю меры. Множество, конгруэнтное измеримому множеству, измеримо и имеет ту же меру.

Класс измеримых множеств.

Мы изучали свойства самых измеримых множеств, здесь же мы остановимся на некоторых свойствах всего класса измеримых множеств.

Теорема 1. Всякое ограниченное счетное множество измеримо и мера его равна нулю.

Д о к а з а т е л ь с т в о . Пусть ограниченное множество Е состоит из точек х_1, х_2, х_3, …

Обозначим через Е_k одноэлементное множество, состоящее из точки х_k. Очевидно Е_k есть измеримое множество меры нуль, и теорема следует из равенства и теоремы 4.

Как показывает пример канторова совершенного множества Р₀, доказанная теорема не допускает обращения.

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

то говорят, что Е есть множество типа F_

Определение 2. Если множество Е представимо в форме пересечения счетного множества открытых множеств

,

то говорят, что Е есть множество типа G_.

Из теорем 9 и 10 следует

Теорема 2. Всякое ограниченное множество типа F_или G_ измеримо.

Д о к а з а т е л ь с т в о. Относительно множества типа F_это очевидно, ибо из ограниченности суммы множеств вытекает ограниченность слагаемых, а так как последние замкнуты, то и измеримы.

Если Е есть ограниченное множество типа G_, то обозначив через  какой-нибудь интервал, содержащий множество Е, мы сможем представить Е в форме пересечения измеримых множеств , после чего измеримость множества Е становится очевидной.

Определение 3. Если множество Е может быть получено, исходя из замкнутых и открытых множеств, с помощью применения конечного числа или счетного множества операций сложения и пересечения, то множество Е называется борелевым множеством. Ограниченное борелево множество называется измеримым (В).

Например, множества типа F_и типа G_ суть борелевы множества.

Рассуждая как при доказательстве теоремы 2, установим, что верна следующая теорема.

Теорема 3. Множество, измеримое (В), измеримо (L).

Обратная теорема неверна: существуют примеры множеств измеримых (L) и неизмеримых (В). Первый эффективный пример такого множества был построен безвременно умершим московским математиком М.Я. Суслиным (1894-1919). Суслин открыл чрезвычайно важный и обширный класс так называемых А-множеств, каждое из которых (при условии ограниченности) измеримо (L). Этот класс содержит в себе класс всех борелевых множеств, но существенно шире его.

Интересно выяснить, существуют ли вообще ограниченные множества неизмеримые (L)? Прямым счетом этого вопроса решить нельзя, как показывает следующая теорема.

Теорема 4. Множество М всех измеримых множеств имеет ту же можность, что и множество всех точечных множеств, т.е. 2­­^с.

Д о к а з а т е л ь с т в о. Прежде всего ясно, что 2^с.

С другой стороны, возьмем какое-либо измеримое множество Е меры нуль и мощности с (например канторово множество Р­₀) и обозначим через S множество всех его подмножеств. Так как всякая часть множества меры нуль также имеет внешнюю меру нуль и, стало быть, измерима, то SM, а поскольку = 2^с, то ясно, что 2^с.

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

Тем не менее, имеет место следующая теорема.

Теорема 5. Существуют ограниченные неизмеримые множества.

Для доказательства этого факта приведем следующий пример.

Пример неизмеримого множества. Разобьем все точки сегмента на классы, относятся две точки x и у в один класс, тогда и только тогда, когда разность их х - у есть число рациональное. Это можно сделать следующим образом: соотнесем каждой точке х12, +1класс K (х), состоящий из тех точек сегмента которые имеют вид х + r, где r-рациональное число. В частности х K(х).

Покажем, что р а з л и ч н ы е классы Kхи Kуне пересекаются между собою. Действительно, предположим, что они пересекаются и пусть zK(х)K(у). Тогда z х + r_ху + r_у, где r_х и r_у рациональные числа, откуда

у х + r_х r_у, где r_x и r_у рациональные числа, откуда у x  r_x  r_у.

Теперь, если t  K(у), то

t  у r  x  (r_x  r_у + r)  x  r’,

так что tKxи K(у) K(x). Аналогично мы установим, что K(x)K(у) и тогда окажется, что K(x)  K(у), т.е. K(x) и K(у) представляют собою один и тот же класс, вопреки предположению, что это различные классы.

Множество всех построенных таким образом классов и дает нам требуемое разбиение.

Сделав это, выберем из каждого класса по одной точке и обозначим через А множество выбранных точек.

Множество А неизмеримо.

Чтобы доказать это, перенумеруем все рациональные точки сегмента 

r_о r₁, r₂, r_3, …

и обозначим через А_k множество, получаемое из множества А сдвигом

_k (x)  x  r_k.

(Иначе говоря, если x  A, то x  r_k A_k, и если x  A_k, то x  r_k  A).

В частности, А₀ A. Все множества А_k конгруэнтны друг с другом, а потому (теорема 8)

m_*A_k  m_*A  , m_*A_k  mA   (k  0, 1, 2, …).

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

 0. (1)

Для этого заметим, что



Действительно, если х [- , +], то х попадает в один из классов произведенного выше разбиения. Если представитель этого класса в множестве A есть х_0, то разность х - х ₀ есть число рациональное и притом, очевидно, принадлежащее сегменту [-1, +1], откуда х - х ₀ = r_k и х A_k. Итак, (2) доказано.

Но тогда (теорема 5):

1=m*[-, +]  m*[]  ,

т. е.

1

откуда следует (1).

С другой стороны, легко показать, что



Для этого прежде всего убедимся, что при n m

AnAm=0. (4)

В самом деле, если бы точка z входила в A_nA_m, то точки х_n=z-r_n, х_m=z-r_m были бы (очевидно, различными) точками множества A, т.е. представителями двух различных классов, чего быть не может, ибо их разность х_n-х_m=r_m-r_n есть число рациональное. Итак, (4) доказано.

С другой стороны, легко увидеть, что при любом k

A_k [- , + ]

( ибо, если хA_k, то x= x₀+r_k, где х₀/2, r_k 1), так что

[-,+]. (5)

Из (5) и (4), в силу теоремы 6 следует, что

3=m_*[- , + ] m_*[]  ,

откуда

+++… 3 и 

Сопоставляя (1) и (3), получим m_*А<m*А, что и доказывает неизмеримость множества А.

Замечание. Если бы мы с самого начала разбили на классы не сегмент а произвольное измеримое множество Е положительной меры, то, буквально повторяя проведенное рассуждение, пришли бы к неизмеримому множеству А  Е. Итак, всякое множество положительной меры содержит неизмеримую часть.