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

Джин выходит из бутылки. Необычной является уже сама функция Дирихле, о которой говорилось выше. Ведь на самом маленьком отрезке оси абсцисс бесконечно много и рациональных и иррациональных чисел. Но функция Дирихле для рациональных чисел равна единице, а для иррациональных – нулю. Поэтому когда x пробегает ось абсцисс, то значение функции все время прыгает от 0 к 1 и обратно. Построить график этой функции совершенно невозможно, потому что эта функция во всех точках разрывна.

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

Построим такую функцию на отрезке [0,1]. Для этого разделим отрезок пополам и построим на левой половине равносторонний треугольник. Теперь разделим оставшуюся правую половину снова на две равные части и на части [1/2, 3/4] построим второй равносторонний треугольник. Выполним описанную операцию бесконечно много раз. У нас получится «горная цепь», состоящая из бесконечного числа вершин, постепенно опускающаяся к точке 1

0 1

Рис. 12

(рис. 12). Примем полученную ломанную за график функции f(x). Тогда функция будет определена в каждой точке отрезка [0,1], за исключением крайней правой точки 1. В этой точке положим f(1)=0.

Так как при приближении к точке 1 высоты вершин стремятся к нулю, полученная нами функция непрерывна во всех точках отрезка [0,1]. А число максимумов и минимумов на этом отрезке бесконечно велико!

Математику XVIII в., чтобы построить такую странную функцию, понадобилось бы долго комбинировать различные функции, прежде чем он догадался бы, что функция

{ x cos(π/x), если x≠0

F(x)= { 0, если x=0

имеет бесконечно много максимумов и минимумов на отрезке [0,1].

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

“Мокрые точки”. У функции, которую мы построили в предыдущем пункте, есть лишь одна точка, около которой бесконечно много максимумов и минимумов, а именно точка 1. Сейчас мы построим другую функцию, у которой таких точек будет куда больше.

Предположим, что на отрезок [0,1] оси абсцисс падает сверху дождь. Для защиты от дождя поступим следующим образом. Разделим отрезок [0,1] на три равные части и возведем над средней частью палатку в форме равностороннего треугольника. Она защитит от дождя все точки средней части (кроме концов этой части, то есть точек 1/3 и 2/3). Теперь каждую из оставшихся двух частей снова разделим на три равные части и защитим средние части палатками той же формы ( но втрое меньшего размера).

Рис. 13

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

Возникает вопрос: все ли точки отрезка защищены получившейся пилообразной линией или остались точки, которые дождь намочит? Некоторые из таких “мокрых” точек указать легко – ими являются концы защищаемых отрезков (то есть такие, ка 1/3, 2/3, 1/9, 2/9, 7/9, 8/9 и т. д.). Все эти точки остаются без защиты при возведении соответствующей палатки, а последующие палатки их тоже не защищают. Легко видеть, что таких концов будет бесконечное, но счетное множество.

Колючая линия. На протяжении многих столетий математики имели дело лишь с линиями, почти в каждой точке которых можно было провести касательную. Если и встречались исключения, то только в нескольких точках. В этих точках линия как бы ломалась, и потому их называли точками излома. В течение долгого времени никто из математиков не верил, что может существовать непрерывная линия, целиком состоящая из зубцов, изломов и колючек. Велико было изумление, когда удалось построить такую линию, более того, функцию, график которой был такой колючей изгородью. Первым это сделал Больцано. Но его работа осталась неопубликованной, и впервые такой пример опубликовал Вейерштрасс. Однако пример Вейерштрасса очень трудно изложить – он основан на теории тригонометрических рядов. Пример же Больцано напоминает линии, которые мы строили раньше.

Вот этот пример с небольшими изменениями. Разделим отрезок [0,1] на четыре равные части и над двумя средними частями построим равнобедренный треугольник (рис. 16, а). Получившаяся линия является графиком некоторой функции, которую обозначим через y=f 1(x).

а б

0 1 0 1

в

0 1

Рис. 16

Разделим теперь каждую из четырех частей еще на четыре равные части и в соответствии с этим построим еще четыре равнобедренных прямоугольных треугольника (рис. 16, б). Мы получим график второй функции y=f 2(x). Если сложить эти две функции, то график суммы y=f 1(x) + y=f 2(x) будет иметь вид, изображенный на рис. 16, в. Видно, что получившаяся линия имеет уже больше изломов и эти изломы гуще расположены. На следующем шаге мы снова разделим каждую часть еще на четыре части, построим 16 равнобедренных прямоугольных треугольников и прибавим соответствующую функцию y=f 3(x) к функции y=f 1(x) + y=f 2(x).

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

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

Рис. 17

Рис. 18

Математики построили много непрерывных функций, графики которых не имели касательной ни в одной точке, и начали изучать их свойства. Эти свойства совсем не походили на свойства “добропорядочных” гладких функций, с которыми они до тех пор имели дело. Поэтому математики, воспитанные в классических традициях, с изумлением смотрели на новые функции. Более того, виднейший представитель классического математического анализа Шарль Эрмит так писал своему другу, голландскому математику Стилтьесу. “Я с ужасом отворачиваюсь от этой достойной сожаления язвы непрерывных функций, не имеющих производной ни в одной точке” ( то есть, как мы их называли, всюду колючих линий).

В физике встречаются линии, очень напоминающие колючие линии Ван-дер-Вардена и других. Это – траектории частиц, совершающих под ударами молекул броуновское движение. Французский ученый Ж. Перрен сделал зарисовки движения таких частиц. Он наблюдал их положения через каждые полминуты и соединял полученные точки прямолинейными отрезками. В результате у него получились запутанные ломанные, вроде изображенных на рис. 18. Но не следует думать, что в действительности между отдельными наблюдениями частица двигалась по прямой. Если бы Перрен наблюдал ее не через полминуты, а через полсекунды, то каждый прямолинейный отрезок пришлось бы заменить ломаной, столь же сложной, как и ломанные на рис. 18. И чем меньше были бы промежутки между наблюдениями, тем сложнее и “колючее” становилась бы ломаная. Американский математик Н. Винер показал, что движение броуновской частицы, настолько малой, что ее инерцией можно пренебречь, совершается по линии, нигде не имеющей касательной.

Как делают статуи. Про многих знаменитых скульпторов рассказывают, что на вопрос, как удается делать столь замечательные статуи, следовал ответ: “Я беру глыбу мрамора и отсекаю от нее все лишнее”. В разных книгах это можно прочитать о Микеланджело, о Торвальдсене, о Родене.

Тем же самым способом можно получить любую ограниченную плоскую геометрическую фигуру: надо взять какой-нибудь квадрат, в котором она лежит, а потом отсечь все лишнее. Однако отсекать надо не сразу, а постепенно, на каждом шагу отбрасывая кусочек, имеющий форму круга. При этом сам круг выбрасывается, а его граница – окружность – остается в фигуре.

На первый взгляд кажется, что так можно получить лишь фигуры такого вида, ка на рис. 23. Но все дело в том, что отбрасывают не один и не два круга, а бесконечное, точнее говоря, счетное множество кругов. Таким путем можно получить любую фигуру. Чтобы убедиться в этом достаточно принять во внимание, что множество кругов, у которых рациональны и радиус и обе координаты центра, счетное.

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

Рис. 23

А все таки их можно измерить. Над тем, что такое площадь фигуры, математики задумывались еще до открытия неквадрируемых областей. До этого на протяжении многих тысячелетий ученые пользовались понытиями длины, площади, объема, не подвергая их строгому критическому анализу. Рассказывают, что когда один французский генерал принес в Парижскую академию наук свое “решение” проблемы квадратуры круга, его спросили, а что именно он понимает под площадью круга. “Площади не понимают, их вычисляют!” – воскликнул бравый генерал. И такая точка зрения была распространена тогда даже среди математиков. Они считали, что площадь – это число, сопоставленное геометрической фигуре и обладающее очевидными свойствами (площадь целого равна сумме площадей частей, когруэнтные фигуры имеют равные площади и т. д.). Ни на одну минуту они не сомневались в том, что любая плоская геометрическая фигура имеет площадь (быть может, равную нулю или бесконечности).

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

Поэтому столь очевидные, казалось бы, понятия, как длина, площадь, объем (позднее все эти понятия стали называть одним словом – мера), были подвергнуты тщательнейшему анализу. Одна из первых работ по уточнению понятия меры принадлежала Жордану. В течении многих десятилетий он читал в Париже курс математического анализа, построенный на самых точных определениях, безупречных доказательствах и строжайшей логике. И, конечно, он не мог пользоваться в этом курсе расплывчатым понятием площади. Придуманное им определение площади можно сформулировать так: площадь фигуры – это число, которое лежит между множеством площадей многоугольников, содержащихся в этой фигуре, и множеством площадей многоугольников, содержащихся в этой фигуре, содержащих ту же фигуру. Оказалось, что площадь по Жордану имеют те и только те плоские фигуры, граница которых имеет нулевую площадь. К сожалению, слишком много фигур не поддавалось измерению по Жордану; в частности, нельзя было измерить описанные выше неквадрируемые области.

За решение возникших проблем взялись молодые ученые, вдохновленные лекциями Жордана. Одно из первых определений, применимых к весьма широкому классу фигур, предложил в конце XIX в. Эмиль Борель. Он заметил, что все возникавшие в науке фигуры на прямой, плоскости и в пространстве могли быть получены из простейших фигур – отрезков, квадратов и кубов с помощью двух основных операций: образования дополнения к множеству и объединения счетной совокупности множеств (в частности, как мы видели выше, таким путем получаются все замкнутые множества). Чередуя эти операции и продолжая такой процесс трансфинитным образом, можно получать на каждом шагу все более сложные множества, названные в честь Бореля борелевскими или иначе В-множествами (отметим что применяя идею Зенона можно получить каждое такое множество за конечный промежуток времени, удваивая на каждом шагу скорость применяемых операций).

Оказалось что любому борелевскому множеству можно приписать меру исходя из следующих двух принципов:

А) если множество А представимо в виде объединения счетной совокупности подмножеств, имеющих меру, причем никакие два из них не имеют общих точек, то мера всего множества равна сумме ряда, составленного из мер подмножеств;

Б) мера дополнения к подмножеству, имеющему меру, получается путем вычитания меры этого подмножества из меры целого.

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