1. МЕРА КАРАТЕОДОРИ

Кантору приходила в голову мысль о том, что «при исследовании размерностей непрерывных множеств невозможно обойтись без общего понятия объема или величины», однако он, по всей видимости, не уделил ей должного внимания. Лебег полагает, что, имей Кантор полное представление о сложности стоящей перед ним задачи, ему вряд ли удалось бы достичь сколько-нибудь значительных результатов. Эта мысль получила дальнейшее развитие в работе Каратеодори [67] и была впоследствии воплощена Хаусдорфом [203].

Классическая процедура оценки площади плоской фигуры начинается с аппроксимации множества S с помощью набора очень маленьких квадратов; далее сторона каждого квадрата возводится в степень D=2 и полученные результаты складываются. Каратеодори [67] расширяет рамки этого традиционного подхода. Заменив квадраты дисками, он избегает зависимости от координатных осей; кроме того, с самого начала предполагается, что мы не знаем, является ли множество S стандартной евклидовой фигурой известной размерности, вложенной в известное пространство R^E.

Заметим теперь, что если плоскую фигуру, вложенную в трехмерное пространство, можно покрыть дисками, то ее a fortiori можно покрыть шарами, экваторами которых являются эти диски. Следовательно, если мы не хотим заранее считать множество S плоским, нам достаточно покрыть его вместо дисков шарами. Если же S и в самом деле является поверхностью, ее приближенную меру можно получить простым сопоставлением каждому шару выражения вида ??² и последующим сложением этих выражений. В более общем виде, для получения меры какой-либо d- мерной фигуры следует складывать выражения вида h(?)=?(d)?^d; входящая сюда функция ?(d)=[?(1/2)]^d/?(1+d/2) была определена ранее в этой главе как протяженность шара единичного радиуса. На этом основании Каратеодори [67] распространяет понятия «длины» и «площади» и на нестандартные фигуры.