Апология математики (сборник статей)

Представим себе, что у нас есть нечто, что может делиться на части. Это может быть проволока, или жилой фонд, или какой-то товар, или лесной массив. Далее каждой части мы ставим в соответствие некоторое число, называемое мерой этой части. Например, в случае проволоки мерой части, т. е. куска проволоки, может служить её длина или вес, но мы должны остановиться на одном из этих вариантов. В случае жилого фонда часть состоит из какого-то количества комнат или квартир, а мерой может служить или, как обычно, площадь, или, скажем, объём (чего на практике, кажется, не встречается). В случае товара мерой части может служить или её вес, или объём, или цена – но, конечно, мы должны выбрать что-нибудь одно. В случае леса частями являются его участки, а мерой может служить количество кубометров вырубленной на нём древесины – или, что более приятно в экологическом отношении, цена, вырученная за собранные на этом участке шишки.

Во всех этих случаях мера каждой части есть неотрицательное действительное число. Очевидны основные свойства меры. Ну, например, мера пустой части должна быть равна нолю. Но это не главное свойство меры. Главное свойство меры состоит в её аддитивности. Это значит, что при сложении частей меры должны тоже складываться; разумеется, слагаемые части должны при этом не перекрываться. Достаточно потребовать, чтобы это правило действовало для сложения двух частей, т. е. чтобы выполнялось следующее: если две неперекрывающиеся части соединяются в одну, то мера образовавшейся суммарной части должна быть равна сумме мер тех двух частей, из которых эта суммарная часть составлена. А тогда это свойство аддитивности будет автоматически распространяться на сложение любого конечного числа частей. Действительно, меру части, полученной слиянием частей А, В и С, можно вычислить так: сперва объединить А и В, мера объединённой части будет равна сумме мер частей А и В; а затем к этой объединённой части присоединить С; в результате окажется, что результирующая мера равна сумме мер всех трёх частей. И так для сложения любого конечного числа частей. Поэтому изложенный вариант свойства аддитивности называется свойством конечной аддитивности.

Однако для развития теории меры свойство конечной аддитивности часто оказывается недостаточным, и востребованным оказывается его обобщение на случай бесконечного числа слагаемых. Чтобы мы имели дело с полноценной мерой, должно выполняться следующее правило счётной аддитивности: если А₁, А₂, A₃, …, А_п, … есть последовательность неперекрывающихся частей и мы соединили их все в новую часть, то мера этой образовавшейся суммарной части равна сумме ряда, составленного из мер всех отдельных членов нашей последовательности. Заметим, что свойство конечной аддитивности вытекает из свойства счётной аддитивности. Это обосновывается следующим простым рассуждением. Сумма двух частей А и В равна сумме членов бесконечной последовательности, у которой первые два члена совпадают соответственно с А и В, а остальные члены совпадают с пустой частью. Составленный из мер числовой ряд будет выглядеть в этом случае так: мера части А плюс мера части В плюс нули, нули, нули… Сумма этого ряда как раз и будет равна сумме мер частей А и В.

Мы уже почти готовы дать точное определение меры. Чтобы перейти на математический уровень, вместо слова «часть» будем использовать слово «подмножество». Когда говорят о подмножествах, всегда имеют в виду некоторое универсальное множество, чьими частями и являются рассматриваемые подмножества. В случае проволоки таким множеством будет множество её точек; это если игнорировать её толщину. (А если не игнорировать – множество линейных координат поперечных срезов; линейная координата – это расстояние от начала проволоки до среза.) Всякий кусок проволоки можно рассматривать как подмножество такого множества. В случае жилого фонда универсальным множеством будет множество всех точек пространства, принадлежащих включённым в этот фонд комнатам и квартирам. В случае товара универсальным множеством служит множество всех единиц, из которых состоит товар. Например, в случае мебели – это предметы мебели, а в случае угля или газа – материальные точки, т. е. мельчайшие частицы, из которых состоит топливо. В случае лесного массива универсальным множеством можно считать множество принадлежащих этому массиву деревьев.

Перед окончательным определением – ещё два примера. Представим себе пространство, заполненное материальными телами, имеющими массу; тогда, очевидно, имеет смысл говорить о суммарной массе, заключённой в данном объёме пространства, а более общо – данном множестве точек пространства. Мы получаем функцию, относящую к некоторым множествам точек пространства их (множеств) массу. Эта функция является мерой. Универсальное множество здесь – множество всех точек пространства.