§ 5. Мера открытых множеств

Определение

Мерой интервала (a, b) называется число m(a, b) = b- a.

Мерой 0 называется 0.

Пусть G открыто. Если G неограничено, то принимаем mG ::=+¥. Пусть G Ф0 ограничено. Известно, что G есть н

е

более чем счетное объединение дизъюнктного семейства своих составляющих интервалов.

G = U( bi), I < ICo, i Ф j ^ (ai; b) П (a.; bj ) = 0 . Если I

конечно, то число Z m (a_t, b_t) конечно.

i=i

Естественно, в этом случае считать мерой G это число. Хотелось бы распространить такой подход и на счетный случай. Но здесь уже имеем ряд, и надо быть уверенным, что он сходится.

Теорема 1

Если G = u (a_t, b), (a_{, b_t) - составляющие интервалы G, то

i=i

ряд Z m(a_i, b ) = Z (b_i - a_i) сходится.

i=i i=i

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

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

G ограничено, G с (a₀; b₀). По свойству монотонности, S_n < b₀ - a₀. S_n ограничены сверху, значит, lim S_n < +¥ .

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

Итак, мы можем дать следующее: Определение

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

^mG=Z ^m (a^{, b}i)=Z (^bi^- a).

ii

Пример. Канторово множество G₀. Оно открыто и ограниченно.

G0 j 1,2w 1,2 i и f 7,%.., mG0 = 1+2+±+...= i.

⁰ I 33 Jl 99 Jl 99J ⁰ 3 9 27Свойства меры открытых ограниченных множеств:

1°. Монотонность: G₁ с G₂ ^ mG₁ с mG₂.

• Следует из того, что каждый составляющий интервал G₁ входит в один и только один интервал G₂ ◄.

2°. Неотрицательность: mG > 0.

• Очевидно ◄.

3°. mG = inf mG..

С, dg

• Из 1° ◄.

4°. Полная (счетная) аддитивность.

• G = u Gi, iФ J^ G,п G. = 0. Тогда mG = £mG_t.

ie I ^{i i j} _{ie I} ⁱ

Действительно, обозначим dj^k) как составляющие интервалы множества G_k . Все dj^k) с G. Покажем, что их концы не входят в G . Допустим противное. Пусть, например, правый конец dj^k' входит в G . Тогда это число b e G_K^ где K₀ ф K.

Gk₀ открыто ^ b с (a, g) С Gk₀ ^ be j' ^ Gk п Gk Ф 0, что невозможно по условию ◄.

5°. Если G = u G,, I< IC₀, то mG < £mG_t.

ie I ^{i 0} _{ie I} ⁱ

• Это свойство, очевидно, выполнено для дизъюнктного семейства множеств, а для недизъюнктного - по монотонности меры ◄.

Перейдем к другому «хорошему» классу ограниченных множеств - замкнутых.