сокращенно — . Но мы только отметим счет- н о с τ ь этой группы. Это уже достигнуто тем, что типам приписаны нумера: чем более нумер, тем более тип.

Пусть же стремливость к бесконечности (если читатель разрешит такой оборот) у функции связана с нумером ее по каким угодно законам, так что лестница типов сама идет вверх как у г о дно быстро. Но, по каким бы законам мы ни строили этот бесконечный ряд, каким бы принципом создания его ни руководились, все равно невозможно построить его так, чтобы некоторая, произвольно выбранная, возрастающая функция непременно имела свой тип менее, чем како й–л ибо из типов группы, нами построенной; другими словами, невозможно отыскать скӑлу типов, восходящую так быстро, чтобы член, достаточно далеко стоящий в ней, непременно перегнал любой тип — чтобы для всякого имело место неравенств о при достаточно великом . Это и есть теорема дю Буа Реймона в ее отрицательной форме. А в положительной она выражается так: если дан какой угодно счетовой ряд возрастающих функций, образующих скӑлу ‚ то можно на самом деле найти возрастающую функцию такую, что ‚ как бы ни было велико .

Мы видели, что нет и не может быть наибольшего типа возрастания. Но этого мало: теорема д ю Буа Реймона говорит, что нельзя дать даже общего метода, следуя которому можно было бы подойти к любому типу, хотя бы метод давал возможность создавать все большие и большие типы, продолжать скӑлу далее и далее, и, притом, подымающуюся вверх произвольно быстро. Каков бы ни был тип, всегда имеется тип бблыпий его, т. е. развитие трансцендентное по сравнению с данным. Но, кроме того, каков бы ни был метод стройки возрастающих типов, всегда найдутся типы трансцендентные даже для данного метода, хотя и позволяющего отыскивать бесчисленное множество типов, восходящих по скӑле как угодно быстрой.

Доказательство, данное дю Буа Реймоном, идет ab esse ad posse[505]. Он показывает, именно, что, пользуясь самым рядом ‚ руководствуясь его свойствами, мы можем на самом деле построить функцию , обладающую искомым свойством быть по своему типу более всякого типа , как бы ни было велико п. А т. к. мы исходим при этом построении из свойств ряда ‚ нами же установленного совершенно произвольно, то отсюда будет следовать, что полученное построение возможно при всяком ряде, каков бы он ни был, чем теорема будет доказана. Мы не имеем возможности развить здесь это доказательство, но на геометрической схеме поясним, в чем дело.

Откладывая, как это делается на диаграммах, вдоль некоторой линии ОХ‚ начиная[506] от точки О, то или другое значение (черт. 1), а на перпендикуляре к ОХ, восстановленном из конца отложенного отрезка, соответствующее значение у, тем самым мы отметим некоторую точку, характеризующую своим положением на плоскости состояние функции при данном значении . Кривая, как геометрическое место таких точек, изображает закон, связующий и , — функцию. Прием этот («метод координат») слишком хорошо известен из всевозможных статистических и метеорологических диаграмм, чтобы стоило на нем останавливаться.

Беспредельное возрастание функции представится в виде беспредельного подъема кривой, а тип возрастания охарактеризуется стремительностью этого подъема по мере приближения к быстрине . Чем более тип, тем стремительнее подъем соответствующей кривой. Ввиду этого понятно, что если тип более типа ‚ то это не значит еще, что самая функция для всякого сама более функции нет, она может быть и меньше (тогда кривые пересекаются), но после известного значения , достаточно близкого к , функция будет более. [Заметим однако, что этот пункт пересечения в опыте может не быть данным. Может, он наступил бы, если бы жизнь развивающихся личностей не была прервана, смертью например, и, несмотря на это, все же тип будет более типа . Меньший же по типу иногда всю жизнь мнимо торжествует над бӧльшим по типу, но меньшим по фактически данному значению]. А в геометрической интерпретации это представится тем, что, после известного места, кривая, имеющая бӧльшую стремительность подъема окажется над кривой с меньшей стремительностью .

Итак, пусть у нас построена система бесконечного множества кривых , , …, , … и т. д., подымающихся все стремительнее и стремительнее к бесконечности; на чертеже 1 представлены только четыре из них: , , , . Задача наша — пояснить, что можно‚ на основании их, построить новую кривую, вздымающуюся еще стремительнее, т. е. соответствующую функции с типом, недостижимым скӑлою . Другими словами, потребно указать, кӓк построить такую линию , которая пересекла бы рано или поздно каждую из линий семейства ‚ как бы ни был велик ее нумер, и подымалась бы при достаточно близком к , над каждой кривой ‚ сколь бы ни было велико . Возможность описанного построения надо доказать; это нетрудно сделать следующим образом:

Подменим прежде всего функции, , …, , …и т. д. новым рядом функций, обладающим тем свойством, что каждая предыдущая не только имеет тип меньший, чем последующая, но что и значения ее никогда не более значений последующей. Предположим первые кривых таковыми, что в рассматриваемой области расположены друг над другом, так что линии , , …, останутся без изменения; ради симметрии в обозначениях мы назовем их теперь через , , …, ; на чертеже они (кроме ) не представлены. Пусть первая линия, не удовлетворяющая этому условию — , и она, пересекшись в некоторой точке с , подходит под ‚ когда достаточно близко к . Построение наше начинаем с нее. С этою целью проводим линию (на чертеже — пунктир), совпадающую с вправо от точки пересечения ее с ‚ а влево от этой точки идущую над линией и совпадающую с наивысшей из всех предыдущих линий, т. е. с . Построив , мы приступаем к стройке следующей, . До точки пересечения с линией , она должна совпадать с , затем располагаться по наивысшей из всех предыдущих кривых, т. е. по , доходить до точки пересечения ее с и далее идти по этой последней.

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

Поступая, как описано, с каждой из линий семейства , мы получим новое семейство линий , , …, и т. д., для которых типы идут в порядке, возрастающем с их нумером, так что

и т. д.

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

Если мы покажем теперь, что можно построить кривую , пересекающую рано или поздно каждую из линий семейства , , … и т. д., так что она подымется рано или поздно над каждой из линий , как бы ни был велик ее нумер, то этим будет доказано существование функции , тип возрастания которой более, чем тип возрастания как бы ни был велик ее нумер . Но если теорема доказана для функций , … и т. д., то тем более она доказана для функций , … и т. д., так как типы возрастания их соответственно равны, а значения каждой из функций , … и т. д. либо равны, либо менее соответственных значений функций , … и т. д. Поэтому ‚ в стремливости подъема опережающая рано или поздно каждую из функций , … и т. д., в том же самом месте опередит тем более и функцию из основного ряда . Но раз проведены кривые , … и т. д., то уже легко построить искомое геометрическое .

С этой целью возьмем на прямой ОХ бесконечный ряд точек, накопляющихся (ѕісһ haufen) около верхнего предела т. е. все ближе и ближе подходящих к нему, но однако никогда его не достигающих, так что является точкою накопления (Haufungs- punkt) взятого ряда. Такую группу можно получить, например, если станем делить пополам отрезок , потом разделим пополам правую половину его и т. д., каждый раз обращаясь к наименьшей из частей, лежащей правее всего. Ясно, что сколько бы мы ни делили так ‚ мы никогда не исчерпаем его, никогда не получим нуля в результате какого нибудь деления, а потому и не придем никогда к точке , хотя расстояние до будет делаться меньше сколь угодно малой величины.