Тессеракт


В геометрии , то тессеракт является четырехмерным аналогом куба ; тессеракт относится к кубу, как куб к квадрату . [1] Так же, как поверхность куба состоит из шести квадратных граней , гиперповерхность тессеракта состоит из восьми кубических ячеек . Тессеракт - один из шести выпуклых правильных 4-многогранников .

Дали крест , сетка из тессеракта

Тессеракт также называется восемь-клетку , C 8 , (регулярный) octachoron , octahedroid , [2] кубической призмы и tetracube . [3] Это четырехмерный гиперкуб или 4-куб как часть размерного семейства гиперкубов или мерных многогранников . [4] Коксетер называет этомногогранник. [5] Термин гиперкуб без ссылки на размер часто рассматривается как синоним этой конкретной формы.

Согласно Оксфордскому словарю английского языка , слово tesseract было придумано [ необходима цитата ] и впервые использовано в 1888 году Чарльзом Ховардом Хинтоном в его книге «Новая эра мысли» от греческого téssara ( τέσσαρα 'четыре') и aktís ( ἀκτίς 'луч '), обращаясь к четырем ребрам от каждой вершины к другим вершинам. В этой публикации, а также в некоторых более поздних работах Хинтона это слово иногда произносилось как тессаракт . [6]

Тессеракт можно построить несколькими способами. Как правильный многогранник с тремя кубиками, сложенными вместе вокруг каждого ребра, он имеет символ Шлефли {4,3,3} с гипероктаэдрической симметрией порядка 384. Построенный как четырехмерная гиперпризма, состоящая из двух параллельных кубов, он может быть назван составным Шлефли. символ {4,3} × {}, с порядком симметрии 96. Как 4-4 дуопризма , декартово произведение двух квадратов , ее можно назвать составным символом Шлефли {4} × {4} с порядком симметрии 64 Как ортотоп он может быть представлен составным символом Шлефли {} × {} × {} × {} или {} 4 с порядком симметрии 16.

Поскольку каждая вершина тессеракта смежна с четырьмя ребрами, вершина тессеракта представляет собой правильный тетраэдр . Двойной многогранник из тессеракта называется регулярным hexadecachoron , или 16-клеток, с Шлефли символ {3,3,4}, с которой он может быть объединен с образованием соединения тессеракта и 16-клетки .

Стандартный тессеракт в евклидовом 4-пространстве задается как выпуклая оболочка точек (± 1, ± 1, ± 1, ± 1). То есть состоит из точек:

Тессеракт ограничен восемью гиперплоскостями ( x i = ± 1). Каждая пара непараллельных гиперплоскостей пересекается, образуя 24 квадратных грани в тессеракте. По каждому краю пересекаются три кубика и три квадрата. Четыре куба, шесть квадратов и четыре ребра пересекаются в каждой вершине. Всего он состоит из 8 кубиков, 24 квадратов, 32 ребер и 16 вершин.

Проекции в двух измерениях

Анимация перемещения размеров

Построение гиперкубов можно представить следующим образом:

  • 1-мерный: две точки A и B могут быть соединены в линию, образуя новый отрезок AB.
  • 2-мерный: два параллельных отрезка AB и CD могут быть соединены в квадрат с углами, отмеченными как ABCD.
  • Трехмерный: два параллельных квадрата ABCD и EFGH могут быть соединены в куб с углами, отмеченными как ABCDEFGH.
  • 4-мерный: два параллельных куба ABCDEFGH и IJKLMNOP могут быть соединены в тессеракт с углами, отмеченными как ABCDEFGHIJKLMNOP.
Схема, показывающая, как создать тессеракт из точки
Трехмерная проекция 8-ячеек, выполняющая простое вращение вокруг плоскости, которая делит фигуру пополам от переднего левого к заднему правому и сверху вниз.

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

Проекции на 2D-плоскость становятся более поучительными, если переставлять позиции проецируемых вершин. Таким образом можно получить изображения, которые больше не отражают пространственные отношения внутри тессеракта, но которые иллюстрируют структуру соединения вершин, например, в следующих примерах:

Тессеракт в принципе получается путем объединения двух кубов. Схема аналогична построению куба из двух квадратов: сопоставьте две копии куба меньшей размерности и соедините соответствующие вершины. Каждый край тессеракта имеет одинаковую длину. Это представление представляет интерес при использовании тессерактов в качестве основы сетевой топологии для соединения нескольких процессоров в параллельных вычислениях : расстояние между двумя узлами не превышает 4, и существует множество различных путей для балансировки веса.

Параллельные проекции в 3-х измерениях

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

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

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

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

Ромбический додекаэдр форм выпуклой оболочки вершины первой параллельной проекции-Тессеракт в. Количество вершин в слоях этой проекции 1 4 6 4 1 - четвертая строка в треугольнике Паскаля .

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

Как конфигурация

Эта матрица конфигурации представляет собой тессеракт. Строки и столбцы соответствуют вершинам, ребрам, граням и ячейкам. Диагональные числа говорят, сколько элементов каждого элемента встречается во всем тессеракте. Недиагональные числа говорят, сколько элементов столбца встречается в элементе строки или рядом с ним. [7] Например, 2 в первом столбце второй строки указывает, что есть 2 вершины в (т. Е. На крайних точках) каждого ребра; цифра 4 во втором столбце первой строки указывает на то, что 4 ребра пересекаются в каждой вершине.

3D Crossed Eyes (no glasses needed) Disarmed Hypercube

Альтернативные прогнозы

Tesseract-perspective-vertex-first-PSPclarify.png
Перспектива с устранением скрытого объема . Красный угол является ближайшим в 4D, и вокруг него встречаются 4 кубические ячейки.
Анимация, показывающая каждый отдельный куб в проекции тессеракта на плоскость Кокстера B 4 .

2D ортогональные проекции

Доказательство без слов , что тессеракт графа является неплоским использованием Куратовских или теорем Вагнера и нахождения либо К 5 (вверху) или К 3,3 (внизу) подграфам

Длинный радиус (от центра до вершины) тессеракта равен длине его края; таким образом, его диагональ, проходящая через центр (от вершины к противоположной вершине), составляет 2 длины ребра. Только несколько однородных многогранников обладают этим свойством, включая четырехмерный тессеракт и 24-элементный , трехмерный кубооктаэдр и двумерный шестиугольник . В частности, тессеракт - единственный гиперкуб с таким свойством. [9] Наибольший межвершинный диаметр n- мерного гиперкуба с единичной длиной ребра равен n , поэтому для квадрата - 2 , для куба - 3 , и только для тессеракта - 4 , ровно 2 длины кромки.

Тессеракт, как и все гиперкубы , тесселяет евклидово пространство . Самодвойственные тессерактические соты, состоящие из 4 мозаик вокруг каждой грани, имеют символ Шлефли {4,3,3,4} . Следовательно, тессеракт имеет двугранный угол 90 °. [10]

Радиальная равносторонняя симметрия тессеракта делает его мозаику уникальной регулярной объемно-центрированной кубической решеткой из сфер одинакового размера в любом количестве измерений.

Сам тессеракт можно разложить на более мелкие многогранники. Например, его можно триангулировать в 4-мерные симплексы, которые имеют общие вершины с тессерактом. Известно, что таких триангуляций 92487256 [11] и что наименьшее количество 4-мерных симплексов в любой из них - 16. [12]

Для тессеракта с длиной стороны s :

  • Гиперобъем:
  • Объем поверхности:
  • Диагональ лица :
  • Диагональ ячейки :
  • Диагональ пространства :

Регулярный комплекс многогранник 4 {4} 2 ,CDel 4node 1.pngCDel 4.pngCDel node.png, в имеет реальное представление в виде тессеракта или 4-4 дуопризмы в 4-мерном пространстве. 4 {4} 2 имеет 16 вершин и 8 4-ребер. Его симметрия равна 4 [4] 2 , порядок 32. Он также имеет конструкцию более низкой симметрии,CDel 4node 1.pngCDel 2.pngCDel 4node 1.png, или 4 {} × 4 {}, с симметрией 4 [2] 4 , порядок 16. Это симметрия, если красные и синие 4-ребра считаются разными. [13]

Как однородная дуопризма , тессеракт существует в последовательности однородных дуопризм : { p } × {4}.

Правильный тессеракт, наряду с 16-ячеечным , существует в наборе из 15 однородных 4-многогранников с одинаковой симметрией . Тессеракт {4,3,3} существует в последовательности правильных 4-многогранников и сот , { p , 3,3} с тетраэдрическими фигурами вершин , {3,3}. Тессеракт также находится в последовательности правильных 4-многогранников и сот , {4,3, p } с кубическими ячейками .

С момента их открытия четырехмерные гиперкубы были популярной темой в искусстве, архитектуре и научной фантастике. Известные примеры включают:

  • « И он построил кривый дом », научно-фантастический рассказ Роберта Хайнлайна 1940 года, изображающий здание в форме четырехмерного гиперкуба. [14] Это и книга Мартина Гарднера «Беспристрастный профессор», опубликованная в 1946 году, являются одними из первых в научной фантастике, знакомящих читателей с лентой Мебиуса , бутылкой Клейна и гиперкубом (тессеракт).
  • Распятие (Corpus Hypercubus) , картина маслом 1954 года Сальвадора Дали, изображающая четырехмерный гиперкуб, развернутый в трехмерный латинский крест . [15]
  • Grande Arche , памятник и здание недалеко от Парижа, Франция, завершенного в 1989 году По словам инженера памятника, Эрик Реицел , Гранде Arche был разработан , чтобы походить на проекцию гиперкуба. [16]
  • Fez , видеоигра, в которой вы играете персонажем, который может видеть за пределами двух измерений, которые видят другие персонажи, и должен использовать эту способность для решения платформерных головоломок. Включает «Точку», тессеракт, который помогает игроку ориентироваться в мире и рассказывает, как использовать способности, соответствующие теме видения за пределами человеческого восприятия известного пространственного пространства. [17]

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

  • Математика и искусство

  1. ^ "Тессеракт - 4-х мерный куб" . www.cut-the-knot.org . Проверено 9 ноября 2020 .
  2. ^ Матила Гик, Геометрия жизни и искусство (1977), с.68
  3. ^ Этот термин также может означать поликуб, состоящий из четырех кубиков.
  4. ^ Элте, EL (1912). Полурегулярные многогранники гиперпространств . Гронинген: Университет Гронингена. ISBN 1-4181-7968-X.
  5. ^ Косетер 1973 , стр. 122-123, §7.2. Иллюстрация Рис 7.2 С .
  6. ^ "тессеракт" . Оксфордский словарь английского языка (Интернет-изд.). Издательство Оксфордского университета. 199669. (Требуется подписка или членство в учреждении-участнике .)
  7. Перейти ↑ Coxeter 1973 , p. 12, §1.8 Конфигурации.
  8. ^ «Раскладывающаяся 8-я клетка» . Unfolding.apperceptual.com . Проверено 21 января 2018 .
  9. ^ Строго говоря, гиперкубы 0 измерений (точка) и 1 измерения (отрезок линии) также радиально равносторонние.
  10. Перейти ↑ Coxeter 1973 , p. 293.
  11. ^ Pournin, Лионель (2013), "Обратный График 4-мерного куб соединен", Дискретная & Вычислительная геометрия , 49 (3): 511-530, Arxiv : 1201,6543 , DOI : 10.1007 / s00454-013-9488- у , МР  3038527 , S2CID  30946324
  12. ^ Коттл, Ричард В. (1982), «Минимальная триангуляция 4-куба», Дискретная математика , 40 : 25–29, DOI : 10.1016 / 0012-365X (82) 90185-6 , MR  0676709
  13. ^ Кокстер, HSM, Регулярные комплексные многогранники , второе издание, Cambridge University Press, (1991).
  14. ^ Фаулер, Дэвид (2010), «Математика в научной фантастике: математика как научная фантастика», World Literature Today , 84 (3): 48–52, JSTOR  27871086
  15. ^ Кемп, Мартин (1 января 1998), "размеры Дали", Nature , 391 (27): 27, Bibcode : 1998Natur.391 ... 27К , DOI : 10.1038 / 34063 , S2CID  5317132
  16. ^ Урсин, Анна (2016), «Визуализация знаний и визуальная грамотность в естественнонаучном образовании» , « Визуализация знаний и визуальная грамотность в научном образовании» , Справочник по информатике, стр. 91, ISBN 9781522504818
  17. ^ «Точка (персонаж) - гигантская бомба» . Гигантская бомба . Проверено 21 января 2018 .

  • Кокстер, HSM (1973). Правильные многогранники (3-е изд.). Нью-Йорк: Дувр. стр.  122 -123.
  • Ф. Артур Шерк, Питер МакМаллен, Энтони К. Томпсон, Азия Ивич Вайс (1995) Калейдоскопы: избранные сочинения HSM Coxeter , публикация Wiley-Interscience ISBN  978-0-471-01003-6 [1]
    • (Документ 22) HSM Coxeter, Правильные и полурегулярные многогранники I , Mathematische Zeitschrift 46 (1940) 380–407, MR 2,10]
    • (Документ 23) HSM Кокстер, Правильные и полурегулярные многогранники II , [Math. Zeit. 188 (1985) 559-591]
    • (Документ 24) HSM Кокстер, Правильные и полурегулярные многогранники III , [Math. Zeit. 200 (1988) 3-45]
  • Джон Х. Конвей , Хайди Берджел, Хаим Гудман-Страсс (2008) Симметрии вещей , ISBN  978-1-56881-220-5 (Глава 26. стр. 409: Hemicubes: 1 n1 )
  • Т. Госсет (1900) О регулярных и полурегулярных фигурах в пространстве n измерений , Вестник математики , Macmillan.
  • Т. Проктор Холл (1893) «Проекция четырехмерных фигур на трехуровневую » , American Journal of Mathematics 15: 179–89.
  • Единообразные многогранники Нормана Джонсона , рукопись (1991)
    • Н. В. Джонсон: Теория однородных многогранников и сот , доктор философии. (1966)
  • Виктор Шлегель (1886) Ueber Projectionmodelle der regelmässigen vier-Dimensalen Körper , Waren.

  • Вайсштейн, Эрик В. «Тессеракт» . MathWorld .
  • Клитцинг, Ричард. «Четырехмерные однородные многогранники (полихоры) x4o3o3o - tes» .
  • Тессеракт- луч отслеживал изображения с устранением скрытых поверхностей. Этот сайт предоставляет хорошее описание методов визуализации четырехмерных тел.
  • Der 8-Zeller (8-клеточные) Регулярные многогранники Марко Мёллера в ℝ 4 (немецкий)
  • WikiChoron: Тессеракт
  • HyperSolids - это программа с открытым исходным кодом для Apple Macintosh (Mac OS X и выше), которая генерирует пять правильных тел трехмерного пространства и шесть обычных гипертвердых тел четырехмерного пространства.
  • Hypercube 98 Программа для Windows , отображающая анимированные гиперкубы. Автор Руди Ракер.
  • Домашняя страница Кена Перлина Способ визуализации гиперкубов, Кен Перлин
  • Некоторые заметки о четвертом измерении включают в себя анимированные руководства по нескольким различным аспектам тессеракта, написанные Давидом П. Червоне.
  • Анимация тессеракта с устранением скрытого объема