Эдвин Эбботт - Флатландия. Сферландия

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

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

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

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

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

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

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

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

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

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