О науке

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

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

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

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

Четвертая геометрия. Среди этих скрытых аксиом, мне кажется, есть одна, которая заслуживает некоторого внимания, так как, опуская ее, можно построить четвертую геометрию, столь же свободную от внутренних противоречий, как и геометрии Евклида, Лобачевского и Римана.

Чтобы доказать, что всегда можно восставить из точки A перпендикуляр к прямой АВ, рассматривают прямую АС, вращающуюся около точки A и сначала сливающуюся с неподвижной прямой АВ; ее поворачивают около A до тех пор, пока она не образует продолжения АВ.

Таким образом допускаются два предположения: во-первых, что подобное вращение возможно и, во-вторых, что можно продолжать его до тех пор, пока две прямые не составят продолжение одна другой. Если мы допустим первое и откинем второе, то придем к ряду теорем, еще более странных, чем теоремы Лобачевского и Римана, но в такой же степени свободных от противоречия.

Я приведу только одну из этих теорем и притом не из самых странных: действительная прямая может быть перпендикулярна сама к себе.

Теорема Ли. Число аксиом, скрытым образом введенных в классические доказательства, больше, чем это необходимо. Было бы интересно свести это число к минимуму. Можно спросить себя сначала, осуществимо ли это желание — не беспредельно ли и число необходимых аксиом и число воображаемых геометрий. В этого рода исследованиях первое место занимает теорема Софуса Ли. Ее можно выразить так:

Предположим, что допускаются следующие положения:

1. Пространство имеет n измерений.

2. Движение неизменяемой фигуры возможно.

3. Необходимо p условий, чтобы определить положение этой фигуры в пространстве.

Число геометрий, совместимых с этими положениями, будет ограниченное.

Я могу даже прибавить, что если n дано, то для p можно указать высший предел.

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

Геометрии Римана. Между тем этот результат, по-видимому, находится в противоречии с заключениями Римана, так как этот ученый построил бесчисленное множество различных геометрий (та, которой обыкновенно дают его имя, есть не более чем частный случай).

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

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

О природе аксиом. Большинство математиков смотрят на геометрию Лобачевского как на простой логический курьез; но некоторые из них идут дальше. Раз возможно несколько геометрий, то достоверно ли, что наша геометрия есть истинная? Без сомнения, опыт учит нас, что сумма углов треугольника равна двум прямым; но это потому, что мы оперируем треугольниками слишком малыми; разность, по Лобачевскому, пропорциональна площади треугольника; не может ли она сделаться заметной, когда мы будем оперировать большими треугольниками или когда наши измерения сделаются более точными? Таким образом, евклидова геометрия была бы только временной геометрией.

Чтобы обсудить это мнение, мы должны сначала спросить себя, в чем состоит природа геометрических аксиом. Не являются ли они синтетическими априорными суждениями, как говорил Кант?

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

Чтобы убедиться в этом, возьмем настоящее синтетическое априорное суждение, например то, которое, как мы видели в первой главе, играет первенствующую роль: если теорема верна для числа 1 и если доказано, что раз она справедлива для n, то она верна и для n + 1; в таком случае она будет справедлива для всех положительных целых чисел.

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

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

Итак, не должны ли мы заключить, что аксиомы геометрии суть истины экспериментальные? Но над идеальными прямыми или окружностями не экспериментируют; это можно делать только над материальными объектами. К чему же относятся опыты, которые служили бы основанием геометрии?

Ответ ясен. Выше мы видели, что рассуждения ведутся постоянно так, как если бы геометрические фигуры были подобны твердым телам. Следовательно, вот что заимствовала геометрия у опыта: свойства твердых тел.

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

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

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

Другими словами, аксиомы геометрии (я не говорю об аксиомах арифметики) суть не более чем замаскированные определения.

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

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

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

Глава IV

Пространство и геометрия

Начнем с маленького парадокса.

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

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

Но ведь с небольшими усилиями этого же могли бы достигнуть и мы.

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

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

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

Каковы, прежде всего, свойства пространства в собственном смысле? Я хочу сказать — того пространства, которое является предметом геометрии и которое я назову пространством геометрическим. Вот некоторые из наиболее существенных его свойств:

1. Оно непрерывно.

2. Оно бесконечно.

3. Оно имеет три измерения.

4. Оно однородно, т. е. все точки его тождественны между собой.

5. Оно изотропно, т. е. все прямые, которые проходят через одну и ту же точку, тождественны между собой.

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

Пространство визуальное. Рассмотрим сначала чисто зрительное впечатление, обусловливаемое изображением, возникающим на сетчатке. Краткий анализ показывает, что это изображение непрерывно, но обладает только двумя измерениями; это уже составляет отличие между пространством геометрическим и тем, что можно было бы назвать чисто визуальным пространством. Далее, этот образ заключен в ограниченном кадре.

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

Более глубокий анализ, без сомнения, показал бы нам, что эта непрерывность визуального пространства и его два измерения суть не более чем иллюзия; этот анализ еще более отдалил бы визуальное пространство от геометрического. Но мы ограничимся здесь только этим замечанием, следствия из которого были достаточно рассмотрены в главе II.

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

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

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

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

Эти два рода показаний, без сомнения, всегда согласованы друг с другом. Между ними существует постоянное соотношение; выражаясь математически, две переменные, измеряющие оба типа мускульного ощущения, не выступают перед нами в качестве независимых, или еще, — чтобы не прибегать к математическим понятиям достаточно высокой сложности, — мы можем снова воспользоваться языком предыдущей главы и выразить тот же факт следующим образом: если два ощущения схождения осей A и B неразличимы, то и два соответственно сопровождающих их ощущения аккомодаций A' и B' будут также неразличимы.

Но такое соотношение ощущений — это, так сказать, опытный факт; ничто не мешает a priori допустить обратное, и если окажется, что это обратное действительно имеет место, если эти два типа мускульных ощущений изменяются независимо один от другого, то мы должны будем ввести новую независимую переменную, и «полное визуальное пространство» выступит перед нами как физическая непрерывность четырех измерений.

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

Пространство тактильное и пространство моторное. «Тактильное пространство» еще более сложно, чем визуальное, и еще более, чем оно, удаляется от пространства геометрического. Бесполезно было бы повторять для осязания анализ, проведенный мною относительно зрения.

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

Соответствующий им кадр (le cadre) образует то, что можно назвать моторным пространством.

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

Я знаю, мне тотчас скажут, что если мускульные ощущения способствуют образованию понятия пространства, то это потому, что мы имеем чувство направления каждого движения, и оно является составной частью ощущения. Если бы это было так, если бы мускульное ощущение не могло зародиться иначе, как сопутствуемое геометрическим чувством направления, то геометрическое пространство было бы формой, присущей нашей способности к ощущению. Но когда я анализирую свои ощущения, я этого совершенно не замечаю. Я вижу, что ощущения, соответствующие движениям того же направления, связаны в моем уме простой ассоциацией идей. К этой ассоциации идей и сводится то, что мы называем «чувством направления». Следовательно, этого чувства нельзя было бы найти в единичном ощущении.

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

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

Характерные черты пространства представлений. Таким образом, пространство представлений в своих трех формах — визуального, тактильного и моторного пространства — существенно отличается от геометрического пространства.

Оно ни однородно, ни изотропно; нельзя даже сказать, что оно имеет три измерения.

Часто говорят, что мы «проектируем» в геометрическое пространство предметы наших внешних восприятий, что мы «локализуем» их. Имеет ли это смысл и какой? Должно ли это обозначать, что мы представляем себе внешние предметы в геометрическом пространстве?

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

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

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

Мы не представляем себе, следовательно, внешних тел в геометрическом пространстве, но мы рассуждаем об этих телах, как если бы они были помещены в геометрическом пространстве.

С другой стороны, когда говорят, что мы «локализуем» данный предмет в данной точке пространства, что хотят этим сказать?

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

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

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

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

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

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

Мы говорим, или что некоторые предметы, вызывающие эти впечатления, изменили свое состояние, или что они изменили свое положение — что они просто переместились.

Меняет ли предмет свое состояние или только положение, это передается нам всегда одним и тем же способом: изменением во всем составе впечатлений.

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

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

Эти движения мы сознаем, так как они являются волевыми и сопровождаются мускульными ощущениями; но это не значит, что мы представляем их происходящими в геометрическом пространстве.

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

Следовательно, может случиться, что мы переходим от системы впечатлений A к системе B двумя различными способами: 1) непроизвольно и без каких-либо мускульных ощущений — когда перемещается предмет; 2) произвольно и при наличии мускульных ощущений — когда предмет неподвижен, но перемещаемся мы таким образом, что предмет имеет по отношению к нам относительное движение.

Если дело происходит указанным образом, то переход от системы впечатлений A к системе B есть только изменение положения.

Отсюда следует, что зрение и осязание не могли бы нам дать понятие пространства без помощи «мускульного чувства».

Это понятие не могло бы образоваться не только из единичного ощущения, но даже из ряда ощущений; кроме того, существо неподвижное никогда не могло бы приобрести его, так как, если бы оно не имело возможности компенсировать своими движениями эффектов, зависящих от изменений положения внешних предметов, оно не имело бы никакого основания отличать их от изменений состояния. Оно не могло бы также приобрести это понятие, если бы движения его не были произвольными или если бы они не сопровождались некоторыми ощущениями.

Условия компенсации. Каким образом возможно явление такого рода, что два изменения, не зависящие друг от друга, взаимно компенсируются?

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

Другими словами, при первом изменении внешний предмет должен перемещаться как неизменное твердое тело; то же самое должно произойти с системой нашего тела при втором изменении, компенсирующем первое.

При этих условиях компенсация может произойти. Но мы, не будучи еще знакомы с геометрией, — потому что у нас еще не образовалось понятие пространства, — не можем рассуждать таким образом; мы не можем предвидеть á priori, возможна ли компенсация. Но опыт учит нас, что она иногда имеет место, и это — тот опытный факт, из которого мы исходим для различения изменений состояния от изменений положения.

Твердые тела и геометрия. Среди окружающих нас предметов есть такие, которые часто испытывают перемещения, способные быть компенсированными соответственным (коррелятивным) движением нашего собственного тела. Это — тела твердые.

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

Только позднее и вследствие новых опытов мы научаемся разлагать тела переменной формы на меньшие элементы такого рода, что каждый из них перемещается почти по тем же законам, что и твердые тела. Мы таким образом отличаем «деформации» от других изменений состояния; при таких деформациях каждый элемент испытывает простое изменение положения, которое может быть компенсировано, но изменение, испытываемое всей совокупностью элементов, более глубоко и уже не способно компенсироваться коррелятивным движением[6].

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

Следовательно, если бы не было твердых тел в природе, не было бы и геометрии.

Другое замечание также заслуживает того, чтобы на нем остановиться. Вообразим твердое тело, занимающее сначала положение α и затем переходящее в положение β; в первом своем положении оно произведет на нас систему впечатлений A и во втором — систему впечатлений В. Пусть имеется теперь второе твердое тело, качественно вполне отличное от первого, например, иного цвета. Предположим еще, что оно переходит от положения α', в котором оно производит на нас систему впечатлений A', к положению β', в котором оно вызывает в нас систему впечатлений В'.