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

Неевклидовы геометрии

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

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

Одним из важнейших достижений Евклида был выбор группы основных постулатов, из которых с помощью аксиом и дедуктивного метода могут быть выведены все другие теоремы. Таким образом, для геометрии на плоскости сначала давались некоторые интуитивно понятные определения: точка, прямая линия, угол и так далее. Затем формулировались аксиомы — очевидные истины, не требующие доказательства. Например, «равные одному и тому же равны и между собой» или «целое больше части». И, наконец, пять постулатов Евклида, которые лежат в основе его геометрии, хотя он их не доказывает:

1. От всякой точки до всякой точки можно провести прямую.

2. Ограниченную прямую можно непрерывно продолжать по прямой.

3. Из всякого центра всяким раствором может быть описан круг.

4. Все прямые углы равны между собой.

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

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

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

* * *

ЕВКЛИД АЛЕКСАНДРИЙСКИЙ

Удивительно, как мало нам известно о жизни автора «Начал»». Его называют Евклид Александрийский, потому что он заведовал музеем в Александрии. Это учреждение наряду с великолепной библиотекой являлось хранилищем всех знаний того времени.

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

* * *

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

Ключевым моментом в решении этого вопроса стала работа итальянского математика Джироламо Саккери (1667–1733). Вместо того чтобы вывести пятый постулат из предыдущих, он использовал метод от противного. Доказательство основывалось на четырехугольнике с двумя прямыми углами А и D и равными сторонами АВ и CD. Для других равных углов В и С существует три возможности:

1) В = С = 90° (гипотеза прямых углов, или евклидова гипотеза);

2) В = С > 90° (гипотеза тупых углов);

3) В = С < 90° (гипотеза острых углов).

Четырехугольник Саккери с двумя прямыми углами.

Гипотеза тупых углов быстро отбрасывается, о гипотезе острых углов Саккери сказал следующее: «Гипотеза острых углов абсолютно ложна, потому что противна самой природе прямой линии». И Саккери, и немецкий математик Иоганн Генрих Ламберт (1728–1777) получили интересные геометрические результаты, вытекающие именно из гипотезы острых углов.

Лишь в XIX в. Гаусс, Лобачевский и Бойяи окончательно решили эту проблему, хотя немецкий математик Иоганн Карл Фридрих Гаусс не публиковал свои открытия, поскольку они противоречили философским доктринам той эпохи о природе пространства.

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

Лобачевский представил свою работу в 1826 г. на конференции в Казанском университете, где он работал, а затем опубликовал ее в журнале «Казанский вестник» в серии статей под названием «О началах геометрии». Три важнейшие его работы содержат описание новой геометрии: «О началах геометрии» (на русском языке), «Геометрические исследования по теории параллельных линий» (на немецком языке) и его последняя книга «Пангеометрия» (на русском и французском языках).

Математик-любитель и офицер австро-венгерской армии Янош Бойяи (1802–1860) подошел к задаче с несколько иной точки зрения. Он разработал абсолютную геометрическую теорию, используя только первые четыре постулата, и исследовал, зависят ли полученные геометрические результаты от пятого постулата. Его статья была опубликована в 1832 г. в виде приложения к работе его отца, близкого друга Гаусса, математика Фаркаша Бойяи (1775–1856), который также работал над проблемой о параллелях. Он так написал об этом своему сыну: «Ради бога, молю тебя, оставь эту материю. Страшись ее не меньше, нежели чувственных увлечений, потому что и она может лишить тебя всего твоего времени, здоровья, покоя, всего счастья твоей жизни…»

* * *

ИММАНУИЛ КАНТ И ЕВКЛИДОВА ГЕОМЕТРИЯ

После эпохи Возрождения образ Бога начал терять свое значение в области математики и науки в целом. Позже, в XVIII в., роль Бога как архитектора мира еще более поблекла. Говорят, что Наполеон упрекал французского математика Пьера Лапласа (1749–1827) в том, что в его главной работе «Небесная механика» тот не упоминал Творца, на что Лаплас ответил: «Сир, я не нуждался в этой гипотезе».

Но тогда философы задались вопросом, а верны ли сами математические законы природы?

Шотландский философ Дэвид Юм (1711–1776) считал, что наше знание о мире является субъективным, поскольку оно получено через наши органы чувств. Другими словами, никто не может гарантировать существование объективного физического мира, и, следовательно, не имеет смысла говорить о его научных законах.

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

* * *

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

Сначала работы этих гениев никого не заинтересовали. Труды Лобачевского были в основном на русском языке, а Бойяи опубликовал свою статью в качестве приложения. Математическое сообщество проявило интерес к этой теме только после лекции немецкого математика Бернхарда Римана «О гипотезах, лежащих в основании геометрии» (1854), которую мы рассмотрим более подробно в следующих главах. Риман был первым математиком, который обратил внимание на возможность существования геометрии, вытекающей из гипотезы тупых углов, так называемой эллиптической геометрии, в которой не существует прямых, параллельных данной прямой и проходящих через точку вне ее. Его идея заключалась в замене гипотезы бесконечного пространства на гипотезу неограниченного пространства. Например, сфера является конечной, но неограниченной.

* * *

НИКОЛАЙ ИВАНОВИЧ ЛОБАЧЕВСКИЙ (1792–1856)

Отец неевклидовой геометрии был человеком скромным, очень хорошо воспитанным и серьезным, неутомимым работником, который посвятил свою жизнь работе в Казанском университете. После окончания физико-математического факультета родного университета он начал в нем преподавать и вскоре получил должность декана факультета, а затем стал ректором Казанского университета. Этот пост он занимал в течение 19 лет. Параллельно с занятиями математикой он добился исключительных результатов на этой должности. Он улучшал здания университета и строил новые, организовывал работу библиотеки (иногда лично сортируя книги), открыл лабораторию и новую клинику и привлек на работу лучших преподавателей и ученых. Кроме геометрии Лобачевский также интересовался другими областями математики, такими как тригонометрические ряды, теория вероятностей, механика и интегральное исчисление. Наиболее важной негеометрической его работой была «Алгебра, или Вычисление конечных».

Советская марка с портретом Лобачевского .

Рождение многомерной геометрии

В 1822 г. с публикацией работы Гаусса «Исследования относительно кривых поверхностей» появилась новая ветвь геометрии — дифференциальная геометрия, в которой используется дифференциальное и интегральное исчисление для изучения кривых и поверхностей в трехмерном евклидовом пространстве. Сразу после открытия этого исчисления в работах Ньютона и Лейбница математики стали использовать этот мощный инструмент для анализа кривых, а впоследствии Эйлер и Монж начали применять его также для поверхностей.

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

Поверхности в пространстве — это геометрические объекты, которые могут быть локально описаны двумя координатами U и V , называемыми локальными координатами. Локальная карта ( Т ) является телескопом, через который математик наблюдает (получается двумерное изображение) конкретную область изучаемого объекта.

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

Формула показывает, что разность между 180° (или π радиан) и суммой углов геодезического треугольника зависит от кривизны Гаусса.

Если взять полоску бумаги и соединить ее два конца, то получится лента с двумя поверхностями — внешней и внутренней, то есть двухсторонняя. Но если мы развернем один конец бумаги при склеивании, то получится лист Мёбиуса , который является односторонней поверхностью. Чтобы проверить это, достаточно провести карандашом линию по ленте и убедиться, что линия вернется в начало, пройдя по всей ленте. Эта лента имеет только одну сторону.

* * *

ИОГАНН КАРЛ ФРИДРИХ ГАУСС (1777–1855)

Гаусс, несомненно, один из самых выдающихся математиков всех времен. Еще ребенком он показал исключительный талант к математике, поэтому, несмотря на скромное происхождение юного гения, его обучение было профинансировано герцогом Вильгельмом Фердинандом. Так, в 1795 г. Гаусс начал изучать математику в университете Гёттингена. В возрасте 19 лет он решил одну из классических задач геометрии, показав, что правильный 17-сторонний многоугольник можно построить с помощью линейки и циркуля. Это была первая запись в его знаменитом научном дневнике, в который он заносил короткие заметки о своих самых важных открытиях. В 21 год он написал свой важнейший труд «Арифметические исследования». Гаусс стал известен всей Европе, когда с помощью вычислений определил орбиту астероида Цереры, используя свой метод наименьших квадратов. В 1807 г. он возглавил кафедру астрономии в Гёттингенском университете и был назначен директором обсерватории. Он сделал открытия во многих областях математики, в том числе в алгебре, теории чисел, дифференциальной геометрии, неевклидовой геометрии, математическом анализе, геодезии, астрономии, теории ошибок, а также в области физики, магнетизма, оптики и электричества. После его смерти король Ганновера Георг V назвал его принцем математики и распорядился выпустить памятную медаль в честь Гаусса.

Карикатура на  Гаусса авторства Энрике Моренте .

Внутренние и внешние геометрии

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

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

Плоскость ( К = 0, Н = 0); цилиндр радиуса r ( К = 0, Н = 1/ r > 0); сфера радиуса r ( К = Н  = 1/ r 2 > 0).

Заметим, что внутренняя геометрия сферы, гауссова кривизна которой постоянна и положительна, отличается от внутренней геометрии плоскости. Вот почему жители сферы могут понять, что они живут на искривленной поверхности, не выходя за ее пределы. Это можно сделать, проверив, что сумма углов геодезического треугольника больше 180°. Гаусс пытался доказать это для поверхности Земли, но погрешность его измерений была слишком велика. Важным следствием этого является невозможность построения правильных карт поверхности Земли, сохраняющих геометрию (расстояния, кратчайшие пути, площади и направления). Более того, для большинства поверхностей значение гауссовой кривизны варьируется от точки к точке.

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

Точки поверхности тора выделены разным цветом в зависимости от кривизны — положительной, нулевой или отрицательной.

* * *

МОДЕЛИ ГЕОМЕТРИЙ НА ПОВЕРХНОСТЯХ

Чтобы построить модель неевклидовой геометрии, надо представить пространство в виде поверхности, а геодезические линии на ней (кратчайшие расстояния между двумя точками) назвать прямыми линиями. Дифференциальная геометрия помогает определить, на каких поверхностях справедливы постулаты Евклида. Такие поверхности должны быть геодезически полными (геодезические линии неограниченны), чтобы выполнялись постулаты 1 и 2, и иметь постоянную гауссову кривизну К для выполнения постулатов 3 и 4. Таким образом, если К  = 0, то справедлива евклидова геометрия на плоскости. Если К > 0, то мы имеем модель эллиптической геометрии (например, на сфере) с гипотезой тупых углов. В этом случае первый постулат не выполняется, так как через диаметрально противоположные точки проходит бесконечное количество геодезических линий. Диаметрально противоположные точки сферы можно отождествить, но тогда получится абстрактная поверхность вне трехмерного евклидова пространства. Если К < 0, то мы имеем модель гиперболической геометрии (псевдосферу) с гипотезой острых углов. Эта модель тоже не является геодезически полной, и, следовательно, ее тоже приходится обобщать до абстрактной поверхности вне трехмерного евклидова пространства.

Вклад Римана

В любом случае революция, начатая Гауссом, проходила в трехмерном евклидовом пространстве. Многомерные случаи были еще впереди, а пока обычная аналитическая геометрия занималась изучением координатных пространств первых трех измерений (на прямой, на плоскости и в трехмерном пространстве). Как мы уже говорили, признать существование высших измерений было нелегкой задачей для ученых и философов. Однако в середине XIX в. многомерные пространства появились как естественное продолжение аналитической геометрии. Одной из двух важных работ, связанных с этим, была статья «Главы из аналитической геометрии п измерений» английского математика Артура Кэли (1821–1895). Второй базисной работой стали «Лекции о линейном расширении» немецкого математика и философа Германа Грассмана (1809–1877).

Потом появился доклад Римана, представленный в Гёттингенском университете, «О гипотезах, лежащих в основании геометрии». Он содержал великие геометрические идеи:

1. Понятие n-мерного геометрического пространства (называемого дифференцируемым многообразием), обобщающее понятие поверхности, данное Гауссом.

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

3. Обобщение понятия кривизны и других элементов внутренней геометрии поверхности на римановы n-мерные многообразия.

Понятие n-мерного дифференцируемого многообразия включает в себя тот факт, что локально его можно определить с помощью n локальных координат x1, …, xn, а также законов их преобразований. Геометрическое пространство (дифференцируемое многообразие) необязательно связано с реальным пространством, но может быть любым объектом, в котором выполняются общие условия, заданные определением.

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

Риман также глубоко интересовался проблемами физики и попытался объединить физические силы природы — гравитационные, электрические и магнитные.

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

Его идеи являются фундаментальными для физики XX в. В частности, они заложили основы теории относительности. В 1905 г. немецкий физик Альберт Эйнштейн (1879–1955) вместе с нидерландским физиком и математиком Хендриком Лоренцем (1853–1928) и французским математиком Анри Пуанкаре (1854–1912) представил специальную теорию относительности. Вскоре после этого немецкий математик Герман Минковский (1864–1909) связал четырехмерное многообразие Римана, пространство-время, с пространственным метрическим тензором Римана, который содержал скорость света. Именно на основе этого пространства в 1916 г. была разработана общая теория относительности Эйнштейна.

* * *

БЕРНХАРД РИМАН (1826–1866)

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

Детство его было скромным, что неудивительно: он был сыном пастуха, но это не помешало проявлению фантастических способностей к вычислениям и особого математического таланта. Еще в школе юный Бернхард прочитал книгу Лежандра по теории чисел, поглощая 900 страниц в неделю.

Начав учиться на факультете теологии и философии, Риман вскоре увлекся математикой, поэтому отправился изучать ее в Берлинский университет. Там он начал развивать свои идеи по теории функций комплексного переменного, написав по этой теме докторскую диссертацию под руководством Гаусса в Гёттингенском университете. В 1859 г. Риман опубликовал свою единственную работу по простым числам. Этой областью он увлекался в течение многих лет, сформулировав одну из самых известных в математике гипотез.

Карикатура на Римана  авторства Херардо Басабе .

От научных кулуаров до кофейни

Красивые идеи, представленные в диссертации Римана, вскоре распространились по всем образовательным и научно-исследовательским учреждениям Европы. Многомерная дифференциальная геометрия наряду с неевклидовыми геометриями начала набирать популярность в математических и научных кругах. Исследования продолжались. В области неевклидовых геометрий строились новые модели пространств, а также предпринимались попытки сделать геометрии более последовательными, чтобы они не содержали логических противоречий. В дифференциальной геометрии здание, заложенное Риманом, продолжили строить такие известные итальянские математики, как Эудженио Бельтрами (1835–1900), Грегорио РиччиКурбастро (1853–1925) и Туллио Леви-Чивита (1873–1941), а также немецкий математик Элвин Бруно Кристоффель (1829–1900). Ученые того времени пытались применять элегантную теорию Римана, и хотя сначала это было нелегко (например, необходимо было дальнейшее развитие физики), наука XX в. показала истинное значение этой новой области геометрии.

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

Одним из самых активных популяризаторов четвертого измерения был немецкий математик Герман фон Гельмгольц (1821–1894). Его статьи публиковались в Германии, Франции, Англии и США в 1860—1870-х гг.

Гельмгольц, как и некоторые из его современников, также использовал образ двумерных существ, живущих на сфере и на других поверхностях. Эти существа имеют свою собственную геометрию, отличную от евклидовой; в их геометрии, например, сумма внутренних углов треугольника не будет равна 180°. По поводу четвертого измерения Гельмгольц писал в своей работе «Популярные лекции о науке» (1881), что нам не удастся его вообразить, и приводил сравнение с человеком, который родился слепым и не может представить себе цвета.

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

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

Масштабы геометрической революции привели к тому, что эти вопросы стали темой наиболее важных научных и философских дискуссий конца XIX — начала XX в. Важнейшими среди них были вопросы о научной истине, связях между наукой и реальностью, о возможности существования пространств высших измерений, о структуре, функции и значении математики. Понятие пространства также подвергалось переосмыслению, и прежде всего был поставлен такой вопрос: наше пространство евклидово или неевклидово? Другими словами, какова форма нашего пространства?

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

Особенно широко вопросы четвертого измерения освещались в 1877 г. во время скандального судебного процесса, состоявшегося в Лондоне, о котором писала как британская, так и международная пресса. Генри Слейд, знаменитый американский медиум, предстал перед судом за мошенничество во время проведения спиритических сеансов с участием важных представителей лондонского общества. Скандал разразился, когда выдающиеся ученые всего мира, в том числе будущие лауреаты Нобелевской премии, выступили в его защиту, утверждая, что сеансы Слейда доказывают, что духи — это на самом деле существа из четвертого измерения. Несмотря на приговор, вынесенный Слейду, Иоганн Карл Фридрих Цёлльнер (1834–1882), профессор физики и астрономии Лейпцигского университета, провел серию экспериментов, чтобы продемонстрировать существование духов. Об этом мы подробнее расскажем в пятой главе. Этот скандал сделал многомерные пространства (правда, совершенно антинаучный их вариант) главной темой разговоров в Великобритании и во всем мире.

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

Другим популярным аспектом четвертого измерения стали попытки визуализации различных четырехмерных объектов.

Одной из первых научных работ по этой проблеме была статья американского математика Вашингтона Ирвинга Стрингхема (1847–1909) «Правильные фигуры в n-мерном пространстве» (1880). В частности, попытка визуализировать гиперкуб, четырехмерный аналог трехмерного куба, стала синонимом визуализации четвертого измерения. Чарльз Хинтон, как и многие другие ученые (Пуанкаре например), посвятил этой задаче много времени, — он был убежден, что четвертое измерение можно визуализировать. Хинтон был главным представителем теории, известной как философия гиперпространства, занимающейся вопросами многомерных пространств и их взаимодействий с другими объектами.

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

Четвертое измерение стало излюбленной темой некоторых писателей той эпохи.

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

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

Рисунок из статьи «Правильные фигуры в n-мерном пространстве» Вашингтона Ирвинга Стрингхема , опубликованной в American Journal of Mathematics в 1880 г.