Эпилог
Эпилог
Понятие меры появилось свыше 5 тысяч лет назад, когда возникла необходимость в измерении предметов, окружавших человека. Посмотрим, какими были основные задачи, стоявшие перед математиками конца XIX века и приведшие к созданию теории меры. Древние египтяне занимались вычислением площадей и объемов (см. папирус Ахмеса и Московский математический папирус) и использовали приближенное значение ?
Эти доказательства даны в «Началах» Евклида (ок. 300 г. до н. э.), где, однако, нет определений длины, площади и объема — эти понятия определяются неявно при описании фигур. Так, определяется линия, поверхность и тело: линия есть длина без ширины, поверхность — то, что имеет лишь длину и ширину, а тело — то, что имеет длину, ширину и глубину. Евклид также не определил, что означает «измерить» — это слово он использует не только в связи с тремя вышеупомянутыми «величинами», но и по отношению к числам. К примеру, он определяет «часть» и «части» аналогично современным понятиям «делитель» и «не делитель», но использует при этом слово «измерить: «Часть есть число в числе, меньшее в большем, если оно измеряет большее. Части же — если оно его не измеряет». Так, к примеру, 3 — «часть» 13, а 6 — «части» 13.
Не встретим мы определения меры и у других древнегреческих авторов, в частности у Архимеда, который сравнивает известные площади и объемы для вычисления новых. Так, мы показали, как он вычислил объем шара. Подобных понятий меры было достаточно для развития математики на протяжении многих веков.
Главным героем следующего этапа стал Георг Кантор (1845–1918), который в 1883 году дал первое определение меры m(А) произвольного (ограниченного) множества
p/q —> (p,q)
где p/q — несократимая дробь, которая определяется для любого рационального числа единственным образом. Установить похожее соотношение между
Другие авторы, в частности Отто Штольц (1842–1905) в 1884 году и Адольф фон Гарнак (1851–1930) в 1885 году, приводили эквивалентные определения на множестве
Нетрудно предположить, что это сравнение между элементами
Таким образом, суть проблемы заключалась в том, чтобы определить разницу между счетными и измеримыми множествами. Счетное множество — это множество, для которого можно определить взаимно-однозначное соответствие со множеством натуральных чисел, а измеримое множество — это множество, для которого можно определить взаимно-однозначное соответствие со множеством неотрицательных вещественных чисел. Это различие является формальным выражением разницы между счетом и измерением, между дискретным и непрерывным, о которой мы рассказали в главе 1. В английском языке разница между счетными и несчетными предметами отражена конструкциями how many и how much.
Джузеппе Пеано (1858–1932) указал, какие множества называются измеримыми, и привел собственное определение меры в 1887 году. Он определил внутреннюю и внешнюю меру области R как наименьшую внешнюю границу всех многоугольных областей, заключенных внутри R, и как наибольшую внутреннюю границу всех многоугольных областей, содержащих в себе R, соответственно. Пеано назвал измеримым множество, внешняя и внутренняя мера которого совпадают, и доказал, что мера обладает аддитивностью. Кроме того, он объяснил связь между мерой и интегрированием. В 1892 году Камиль Жордан (1838–1922) дал более простое определение меры, применив вместо многоугольников квадратную сетку. Эти определения в некотором роде схожи с методами вычисления приближенных значений числа ? путем последовательных приближений периметра или площади круга вписанными и описанными многоугольниками, которые использовали математики древности (египтяне, китайцы, индийцы и греки).
Но новых определений по-прежнему было недостаточно: к примеру, в соответствии с ними множество рациональных чисел не было измеримым. Два года спустя Эмиль Борель (1871–1956) продолжил работу над этой темой и в своей докторской диссертации (1894) определил для описанной им меры счетную аддитивность — более широкое понятие по сравнению с конечной аддитивностью, с которой работал Пеано. Помимо этого, Борель привел определение множеств нулевой меры. Согласно новому определению, множество рациональных чисел на отрезке [0,1], мерой которого, по мнению других авторов, было число 1, было множеством нулевой меры.
Взяв за основу определение меры, введенное Борелем, Анри Лебег (1875–1941) в 1902 году в своей докторской диссертации описал фундаментальные понятия абстрактной теории интегрирования. Он расширил понятие интеграла Римана, введенное Бернхардом Риманом (1826–1866), который определил интеграл как площадь, ограниченную непрерывной кривой, и представил понятие интеграла Лебега, применимое не только для непрерывных функций.
На страницах этой книги мы рассказали, что измерением небес занимается астрономия, а измерением Земли — геодезия; вы узнали, как измерение времени привело к созданию календаря, а необходимость в универсальной мере длины — к определению метра. Самые разные действия в мире физики, астрономии, геодезии и метрологии, а также работа с календарями были бы невозможны без математики. В самой математике понятие меры было определено в теории меры в рамках математической модели, однако для ее подробного рассмотрения потребуется отдельная книга.