Инвариант Дена

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

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

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

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

Фон [ править ]

Рассечение квадрата и равностороннего треугольника друг на друга. Для куба и правильного тетраэдра такого разреза не существует.

В двух измерениях теорема Уоллеса – Бойя – Гервиена утверждает, что любые два многоугольника равной площади можно разрезать на многоугольные части и собрать друг в друга. Дэвид Гильберт заинтересовался этим результатом как способом аксиоматизации области в связи с аксиомами Гильберта для евклидовой геометрии . В третьей задаче Гильберта он поставил вопрос о том, всегда ли два многогранника равного объема могут быть разрезаны на многогранные части и собраны друг в друга. Студент Гильберта Макс Ден , в его 1900 абилитациитезис, изобрел инвариант Дена, чтобы доказать, что это не всегда возможно, обеспечивая отрицательное решение проблемы Гильберта. Хотя Ден сформулировал свой инвариант по-другому, современный подход состоит в том, чтобы описать его как значение в тензорном произведении , следуя Джессену (1968) . ^{[1] [2]}

Определение [ править ]

Определение инварианта Дена требует понятия многогранника, для которого корректно определены длины и двугранные углы ребер. Чаще всего это применяется к многогранникам, границы которых являются многообразиями , вложенными в конечное число плоскостей в евклидовом пространстве . Однако, инвариант Дена также рассматривается для многогранников в сферической геометрии или в гиперболической пространстве , ^[1] , а для некоторых самопересекающихся многогранников в евклидовом пространстве. ^[3]

Значения инварианта Дена принадлежат абелевой группе ^[4], определяемой как тензорное произведение

${\ displaystyle \ mathbb {R} \ otimes _ {\ mathbb {Z}} \ mathbb {R} / 2 \ pi \ mathbb {Z}.}$

Левый множитель этого тензорного произведения представляет собой набор действительных чисел (в данном случае представляющих длины ребер многогранников), а правый множитель представляет двугранные углы в радианах , заданные как числа по модулю 2 π . ^[5] (Некоторые источники берут углы по модулю π вместо 2 π , ^{[1] [4] [6]} или делят углы на π и используют вместо ^[7], но это не влияет на результирующее тензорное произведение , поскольку любое рациональное кратное π в правом множителе обращается в ноль в произведении.)${\ Displaystyle \ mathbb {R} / \ mathbb {Z}}$${\ Displaystyle \ mathbb {R} / 2 \ pi \ mathbb {Z}}$

Инвариант Дена многогранника с длинами ребер и двугранными углами ребер представляет собой сумму ^[5]${\displaystyle \ell _{i}}$${\displaystyle \theta _{i}}$

${\displaystyle \sum _{i}\ell _{i}\otimes \theta _{i}.}$

Альтернативное, но эквивалентное описание инварианта Дена включает выбор базиса Гамеля , бесконечного подмножества действительных чисел, так что каждое действительное число может быть однозначно выражено как сумма конечного числа рациональных кратных элементов . Таким образом, в качестве аддитивной группы, является изоморфен с , то прямой суммой копий с одного слагаемым для каждого элемента . Если выбрано тщательно, так что π (или рациональное кратное π ) является одним из его элементов и остальной частью базиса с исключением этого элемента, то тензорное произведение является (бесконечномерным) вещественным${\displaystyle B}$${\displaystyle B}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {Q} ^{(B)}}$${\displaystyle \mathbb {Q} }$${\displaystyle B}$${\displaystyle B}$${\displaystyle B'}$${\displaystyle \mathbb {R} \otimes \mathbb {R} /2\pi \mathbb {Z} }$векторное пространство . Инвариант Дена может быть выражен путем разложения каждого двугранного угла в конечную сумму базисных элементов${\displaystyle \mathbb {R} ^{(B')}}$${\displaystyle \theta _{i}}$

${\displaystyle \theta _{i}=\sum _{j=0}^{k_{i}}q_{i,j}b_{i,j}}$

где рационально, является одним из действительных чисел в базисе Гамеля, и эти базисные элементы пронумерованы так, что это рациональное кратное числа π, которое принадлежит, но не принадлежит . При таком разложении инвариант Дена равен${\displaystyle q_{i,j}}$${\displaystyle b_{i,j}}$${\displaystyle b_{i,0}}$${\displaystyle B}$${\displaystyle B'}$

${\displaystyle \sum _{i}\sum _{j=1}^{k_{i}}\ell _{i}q_{i,j}e_{i,j},}$

где каждый - стандартный единичный вектор, соответствующий базисному элементу . Обратите внимание, что сумма здесь начинается с , чтобы опустить член, соответствующий рациональным кратным π . ^[8]${\displaystyle e_{i,j}}$${\displaystyle \mathbb {R} ^{(B')}}$${\displaystyle b_{i,j}}$${\displaystyle j=1}$

Хотя формулировка базиса Гамеля, по-видимому, включает аксиому выбора , этого можно избежать (при рассмотрении любого конкретного конечного множества многогранников), ограничивая внимание конечномерным векторным пространством, порожденным двугранными углами многогранников. ^[9] Эта альтернативная формулировка показывает, что значениям инварианта Дена можно придать дополнительную структуру реального векторного пространства .${\displaystyle \mathbb {Q} }$

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

Примеры [ править ]

В Платоновых тела каждое имеет равномерные длины ребер и двугранные углы, ни один из которых являются рациональными кратными друг друга. Двугранный угол куба π / 2 является рациональным кратным π , а остальные - нет. Двугранные углы правильного тетраэдра и правильного октаэдра являются дополнительными : их сумма равна π . ^[11]

В формулировке инварианта Дена в базисе Гамеля можно выбрать четыре из этих двугранных углов как часть базиса Гамеля. Угол куба, π / 2, является базисным элементом, который отбрасывается в формуле для инварианта Дена, поэтому инвариант Дена куба равен нулю. Вообще говоря, инвариант Дена любого параллелепипеда также равен нулю. ^[12] Может быть включен только один из двух углов тетраэдра и октаэдра, так как другой является рациональной комбинацией того, который включен, и угла куба. Инварианты Дена каждого из других Платоновых тел будут вектором в${\displaystyle \mathbb {R} ^{B'}}$формируется путем умножения единичного вектора для угла этого тела на длину и количество ребер тела. Независимо от того, как они масштабируются по разным длинам ребер, тетраэдр, икосаэдр и додекаэдр имеют инварианты Дена, которые образуют векторы, указывающие в разных направлениях, и поэтому не равны и не равны нулю. ^[13]

Отрицательный двугранный угол октаэдра отличается от угла тетраэдра на целое число, кратное π , и, кроме того, октаэдр имеет в два раза больше ребер, чем тетраэдр (двенадцать вместо шести). Следовательно, инвариант Дена октаэдра в −2 раза больше инварианта Дена тетраэдра той же длины ребра. Инварианты Дена других архимедовых тел также могут быть выражены как рациональные комбинации инвариантов Платоновых тел. ^[13]

Приложения [ править ]

Нерешенная задача по математике : Есть ли разрез между каждой парой сферических или гиперболических многогранников с одинаковым объемом и инвариантом Дена, как друг друга? (больше нерешенных задач по математике)

Как заметил Ден (1901) , инвариант Дена является инвариантом для разрезания многогранников в том смысле, что разрезание многогранника на более мелкие многогранники с последующей их повторной сборкой в ​​другой многогранник не изменяет инвариант Дена результата. Другой такой инвариант - это объем многогранника. Следовательно, если можно разрезать один многогранник P на другой многогранник Q , то и P, и Q должны иметь один и тот же инвариант Дена, а также одинаковый объем. ^[14] Сидлер (1965)расширил этот результат, доказав, что объем и инвариант Дена являются единственными инвариантами для этой проблемы. Если P и Q имеют одинаковый объем и один и тот же инвариант Дена, всегда можно разделить одно на другое. ^{[5] [15]}

Результат Дена остается верным для сферической геометрии и гиперболической геометрии . В обеих этих геометриях два многогранника, которые можно разрезать и собирать друг в друга, должны иметь один и тот же инвариант Дена. Однако, как заметил Джессен, распространение результата Сидлера на сферическую или гиперболическую геометрию остается открытым: неизвестно, всегда ли два сферических или гиперболических многогранника с одинаковым объемом и одним и тем же инвариантом Дена можно разрезать и собрать друг в друга. ^[16] Каждое гиперболическое многообразие с конечным объемом можно разрезать по геодезическим поверхностям на гиперболический многогранник, который обязательно имеет нулевой инвариант Дена. ^[17]

Инвариант Дена также управляет способностью многогранника к мозаичному пространству (часть предмета восемнадцатой проблемы Гильберта ). Каждый тайл, заполняющий пространство, имеет нулевой инвариант Дена, как и куб. ^{[18] [19]} Обратное неверно - существуют многогранники с нулевым инвариантом Дена, которые не являются мозаичным пространством, но их всегда можно разрезать на другую форму (куб), которая образует мозаичное пространство.

В более общем смысле, если некоторая комбинация многогранников вместе покрывает пространство, то сумма их инвариантов Дена (взятых в той же пропорции) должна быть равна нулю. Например, тетраэдрически-октаэдрические соты - это мозаика пространства тетраэдрами и октаэдрами (с вдвое большим количеством тетраэдров, чем октаэдров), что соответствует тому факту, что сумма инвариантов Дена октаэдра и двух тетраэдров (с одинаковыми длинами сторон ) равен нулю. ^[20]

Реализуемость [ править ]

Хотя инвариант Дена принимает значения, не все элементы в этом пространстве могут быть реализованы как инварианты Дена многогранников. Инварианты Дена евклидовых многогранников образуют линейное подпространство : можно сложить инварианты Дена многогранников, взяв несвязное объединение многогранников (или склеив их вместе на грани), инвертировать инварианты Дена, сделав отверстия в форме многогранника на большие кубы и умножьте инвариант Дена на любой скаляр, масштабируя многогранник на то же число. Вопрос о том, какие элементы (или, что то же самое, ) реализуемы осветляли работой Dupont и SAH, который показал существование следующей короткой точной последовательности из абелевых групп (не векторных пространств) с участием${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z} ,}$${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z} }$${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /2\pi \mathbb {Z} ,}$${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} }$групповые гомологии : ^[21]

${\displaystyle 0\to H_{2}(\operatorname {SO} (3),\mathbb {R} ^{3})\to {\mathcal {P}}(E^{3})/{\mathcal {Z}}(E^{3})\to \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} \to H_{1}(\operatorname {SO} (3),\mathbb {R} ^{3})\to 0}$

Здесь обозначение представляет собой свободную абелеву группу над евклидовыми многогранниками по модулю определенных соотношений, полученных из пар многогранников, которые можно разрезать друг на друга. - подгруппа, порожденная в этой группе треугольными призмами , и используется здесь для обозначения объема (поскольку каждое действительное число - это объем ровно одного элемента этой группы). Отображение группы многогранников в является инвариантом Дена. группа евклидовых точечных вращений и гомологии групп. Теорема Сидлера о том, что объем и инвариант Дена являются единственными инвариантами евклидова рассечения, гомологически представлена ​​утверждением, что группа${\displaystyle {\mathcal {P}}(E^{3})}$${\displaystyle {\mathcal {Z}}(E^{3})}$${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} }$${\displaystyle \operatorname {SO} (3)}$${\displaystyle H}$${\displaystyle H_{2}(\operatorname {SO} (3),\mathbb {R} ^{3})}$появляющееся в этой последовательности фактически равно нулю. Если бы он был ненулевым, его образ в группе многогранников дал бы семейство многогранников, которые нельзя разрезать на куб того же объема, но которые имеют нулевой инвариант Дена. По теореме Сидлера таких многогранников не существует. ^[21]

Группа появляется в направлении справа от точной последовательности изоморфна группой из дифференциалов кэлеровых , и отображение из тензорных произведений длин и углов , чтобы дифференциалы кэлеровы дается формулой${\displaystyle H_{1}(\operatorname {SO} (3),\mathbb {R} ^{3})}$${\displaystyle \Omega _{\mathbb {R} }^{1}}$

${\displaystyle \ell \otimes \theta /\pi \mapsto \ell {\frac {d\cos \theta }{\sin \theta }},}$

где - универсальный вывод . Эта группа является препятствием для реализации: ее ненулевые элементы происходят из элементов, которые не могут быть реализованы как инварианты Дена. ^[22]${\displaystyle d}$${\displaystyle \Omega _{\mathbb {R} }^{1}}$${\displaystyle H_{1}(\operatorname {SO} (3),\mathbb {R} ^{3})=\Omega _{\mathbb {R} }^{1}}$${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} }$

Аналогично, в гиперболическом или сферическом пространстве реализуемые инварианты Дена не обязательно образуют векторное пространство, поскольку скалярное умножение больше невозможно, но они по-прежнему образуют подгруппу. Дюпон и Сах доказывают существование точных последовательностей ^[21]

${\displaystyle 0\to H_{3}(\operatorname {SL} (2,\mathbb {C} ),\mathbb {Z} )^{-}\to {\mathcal {P}}({\mathcal {H}}^{3})\to \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} \to H_{2}(\operatorname {SL} (2,\mathbb {C} ),\mathbb {Z} )^{-}\to 0}$

и

${\displaystyle 0\to H_{3}(\operatorname {SU} (2),\mathbb {Z} )\to {\mathcal {P}}(S^{3})/\mathbb {Z} \to \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} \to H_{2}(\operatorname {SU} (2),\mathbb {Z} )\to 0.}$

Здесь обозначает специальную линейную группу , а - группа преобразований Мёбиуса ; верхний индекс минус указывает на (-1) -собственное подпространство для инволюции, индуцированной комплексным сопряжением. обозначает специальную унитарную группу . Подгруппа в - это группа, порожденная всей сферой. ^[21] Опять же, самая правая ненулевая группа в этих последовательностях является препятствием для реализации значения в как инварианта Дена.${\displaystyle \operatorname {SL} }$${\displaystyle \operatorname {SL} (2,\mathbb {C} )}$${\displaystyle \operatorname {SU} }$${\displaystyle \mathbb {Z} }$${\displaystyle {\mathcal {P}}(S^{3})/\mathbb {Z} }$${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} /\mathbb {Z} }$

Этот алгебраический взгляд на инвариант Дена может быть расширен до более высоких измерений, где он имеет мотивированную интерпретацию, включающую алгебраическую K-теорию . ^[17]

Похожие результаты [ править ]

Подход, очень похожий на инвариант Дена, можно использовать, чтобы определить, можно ли разрезать два прямолинейных многоугольника друг на друга только с помощью параллельных осям разрезов и перемещений (а не разрезов под произвольными углами и поворотами). В инварианте этого вида разреза используется тензорное произведение, где левый и правый члены в произведении представляют высоту и ширину прямоугольников. Инвариант для любого заданного многоугольника вычисляется путем разрезания многоугольника на прямоугольники, взятия тензорного произведения высоты и ширины каждого прямоугольника и сложения результатов. Опять же, рассечение возможно тогда и только тогда, когда два многоугольника имеют одинаковую площадь и одинаковый инвариант. ^{[6] [9]}${\displaystyle \mathbb {R} \otimes _{\mathbb {Z} }\mathbb {R} }$

Гибкие многогранники - это класс многогранников, которые могут совершать непрерывное движение, сохраняя форму их граней. По теореме Коши о жесткости они должны быть невыпуклыми, и известно ( «теорема сильфона» ), что объем многогранника должен оставаться постоянным на протяжении всего движения. Более сильная версия этой теоремы утверждает, что инвариант Дена такого многогранника также должен оставаться инвариантным при любом непрерывном движении. Этот результат называется « теоремой о сильном мехе ». Это доказано для всех несамопересекающихся изгибаемых многогранников. ^[23] Однако для более сложных изгибаемых многогранников с самопересечениями инвариант Дена может непрерывно изменяться по мере изгибания многогранника. ^[24]

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

Ссылки [ править ]

Внешние ссылки [ править ]

• Видео об инвариантах Дена на Numberphile