Ректификация (геометрия) - Rectification (geometry)

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

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

Оператор исправления иногда обозначается буквой r с символом Шлефли . Например, r {4,3} - это выпрямленный куб , также называемый кубооктаэдром и также представленный как . И выпрямленный кубооктаэдр rr {4,3} - это ромбокубооктаэдр , также представленный как .

Конвое полиэдр обозначение использует для амвона в качестве этого оператора. В теории графов эта операция создает средний граф .

Исправление любого правильного самодвойственного многогранника или мозаики приведет к другому правильному многограннику или мозаике с порядком мозаики 4, например, тетраэдр {3,3} станет октаэдром {3,4}. В качестве особого случая квадратная мозаика {4,4} превратится в другую квадратную мозаику {4,4} при операции исправления.

Пример исправления как окончательного усечения до края

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

Последовательность усечения куба.svg

Исправления высшей степени

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

Пример биректификации как окончательного усечения лица

Эта последовательность показывает двунаправленный куб как заключительную последовательность от куба к двойному, где исходные грани усечены до единственной точки:

Birectified cube sequence.png

В полигонах

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

В многогранниках и плоских мозаиках

У каждого платонового тела и двойственного к нему есть один и тот же выпрямленный многогранник. (Это не относится к многогранникам в более высоких измерениях.)

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

  1. Выпрямленный тетраэдр , двойственный которому является тетраэдр, - это тетраэтраэдр , более известный как октаэдр .
  2. Выпрямленный октаэдр , двойственный кубу , есть кубооктаэдр .
  3. Выпрямленный икосаэдр , двойник которого - додекаэдр , есть икосододекаэдр .
  4. Выпрямленная квадратная плитка - это квадратная плитка .
  5. Выпрямленная треугольная мозаика или шестиугольная мозаика - это трехгексагональная мозаика .

Примеры

Семья Родитель Исправление Двойной
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png
[p, q]
CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.png
[3,3] Равномерный многогранник-33-t0.png
Тетраэдр
Однородный многогранник-33-t1.png
Октаэдр
Однородный многогранник-33-t2.png
Тетраэдр
[4,3] Равномерный многогранник-43-t0.svg
Куб
Равномерный многогранник-43-t1.svg
Кубооктаэдр
Равномерный многогранник-43-t2.svg
Октаэдр
[5,3] Равномерный многогранник-53-t0.svg
Додекаэдр
Однородный многогранник-53-t1.svg
Икосидодекаэдр
Равномерный многогранник-53-t2.svg
Икосаэдр
[6,3] Равномерная черепица 63-t0.svg
Шестиугольная черепица
Равномерная черепица 63-t1.svg
Трехгексагональная черепица
Равномерная черепица 63-t2.svg
Треугольная черепица
[7,3] Шестиугольная черепица.svg
Орден-3 семиугольная черепица
Тригептагональный тайлинг.svg
Тригептагональная черепица
Заказ-7 треугольный tiling.svg
Треугольная черепица Order-7
[4,4] Равномерная черепица 44-t0.svg
Квадратная черепица
Равномерная черепица 44-t1.svg
Квадратная черепица
Равномерная черепица 44-t2.svg
Квадратная черепица
[5,4] H2-5-4-dual.svg
Пятиугольная черепица Order-4
H2-5-4-rectified.svg
Тетрапентагональная черепица
H2-5-4-primal.svg
Квадратная черепица Order-5

В нерегулярных многогранниках

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

Конвей полиэдр обозначения эквивалентна ректификации является AMBO , представленное . Применение дважды aa (исправление исправления) - это операция расширения Конвея , e , которая аналогична операции раскоса Джонсона , t 0,2, созданной из правильных многогранников и мозаик.

В 4-многогранниках и трехмерных сотовых мозаиках

Каждый Выпуклый правильный 4-многогранник имеет выпрямленную форму как равномерный 4-многогранник .

В правильном 4-многограннике {p, q, r} есть клетки {p, q}. Его выпрямление будет иметь два типа ячеек: выпрямленный многогранник {p, q}, оставшийся от исходных ячеек, и многогранник {q, r} в виде новых ячеек, образованных каждой усеченной вершиной.

Однако выпрямленный {p, q, r} не то же самое, что выпрямленный {r, q, p}. Дальнейшее усечение, называемое усечением битов , является симметричным между 4-многогранником и двойственным ему. См. Унифицированный 4-многогранник # Геометрические производные .

Примеры

Семья Родитель Исправление Биректификация
(двойное выпрямление)
Триректификация
(двойная)
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node.png
[ p , q , r ]
CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node.png
{ p , q , r }
CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.pngCDel r.pngCDel node.png
г { р , д , г }
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.pngCDel r.pngCDel node.png
2r { p , q , r }
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node 1.png
3r { p , q , r }
[3,3,3] Schlegel wireframe 5-cell.png
5-элементный
Schlegel полутвердый ректификованный 5-cell.png
выпрямленный 5-элементный
Schlegel полутвердый ректификованный 5-cell.png
выпрямленный 5-элементный
Schlegel wireframe 5-cell.png
5-элементный
[4,3,3] Schlegel wireframe 8-cell.png
тессеракт
Schlegel полутвердый ректификованный 8-cell.png
исправленный тессеракт
Schlegel полутвердый ректификованный 16-cell.png
Выпрямленный 16-элементный
( 24-элементный )
Schlegel wireframe 16-cell.png
16 ячеек
[3,4,3] Schlegel wireframe 24-cell.png
24-элементный
Шлегель полутвердый cantellated 16-cell.png
выпрямленный 24-элементный
Шлегель полутвердый cantellated 16-cell.png
выпрямленный 24-элементный
Schlegel wireframe 24-cell.png
24-элементный
[5,3,3] Каркас Шлегеля 120-cell.png
120 ячеек
Ректифицированный 120-элементный шлегель halfsolid.png
выпрямленный 120-элементный
Ректифицированный шлегель с 600 ячейками halfsolid.png
выпрямленный 600-элементный
Каркас Шлегеля, 600 ячеек, vertex-centered.png
600 ячеек
[4,3,4] Partial Cubic honeycomb.png
Кубические соты
Ректифицированные соты кубической формы.jpg
Ректифицированные соты кубической формы
Ректифицированные соты кубической формы.jpg
Ректифицированные соты кубической формы
Partial Cubic honeycomb.png
Кубические соты
[5,3,4] Гиперболические ортогональные додекаэдрические соты.png
Орден-4 додекаэдр
Выпрямленный порядок 4 додекаэдрических сот.png
Выпрямленный додекаэдр порядка 4
H3 435 CC center 0100.png
Ректифицированный заказ-5 куб.
Hyperb gcubic hc.png
Порядка-5 куб.

Степени выпрямления

Первое исправление обрезает края до точек. Если многогранник является регулярным , эта форма представлена расширенной символ шлефли обозначения т 1 {р, д, ...} или г {р, д, ...}.

Вторая ректификация или birectification , усекает обращена вниз к точкам. Если он обычный, то он имеет обозначение t 2 {p, q, ...} или 2 r {p, q, ...}. Для многогранников двунаправленная ориентация создает двойственный многогранник .

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

Если n-многогранник (n-1) -исправлен, его фасеты сводятся к точкам, а многогранник становится его двойственным .

Обозначения и грани

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

Правильные многоугольники

Фасеты - это ребра, представленные как {2}.

имя
{p}
Диаграмма Кокстера t-обозначение
символ Шлефли
Вертикальный символ Шлефли
Имя Фасет-1 Фасет-2
Родитель CDel node 1.pngCDel p.pngCDel node.png т 0 {p} {п} {2}
Исправленный CDel node.pngCDel p.pngCDel node 1.png т 1 {p} {п} {2}

Правильные многогранники и мозаики

Грани - это правильные многоугольники.

имя
{p, q}
Диаграмма Кокстера t-обозначение
символ Шлефли
Вертикальный символ Шлефли
Имя Фасет-1 Фасет-2
Родитель CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png знак равно CDel node.pngCDel split1-pq.pngУзлы CDel 10lu.png т 0 {p, q} {p, q} {п}
Исправленный CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.png знак равно CDel node 1.pngCDel split1-pq.pngCDel nodes.png t 1 {p, q} г {р, q} = {п} {q}
Биректифицированный CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.png знак равно CDel node.pngCDel split1-pq.pngУзлы CDel 01ld.png t 2 {p, q} {q, p} {q}

Регулярные однородные 4-многогранники и соты

Грани - правильные или выпрямленные многогранники.

имя
{p, q, r}
Диаграмма Кокстера t-обозначение
символ Шлефли
Расширенный символ Шлефли
Имя Фасет-1 Фасет-2
Родитель CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node.png t 0 {p, q, r} {p, q, r} {p, q}
Исправленный CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.pngCDel r.pngCDel node.png t 1 {p, q, r} = г {р, д, г} = г {р, q} {q, r}
Двунаправленный
(Двойное выпрямление)
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.pngCDel r.pngCDel node.png t 2 {p, q, r} = г {г, д, р} {q, r} = г {д, г}
Триректифицированный
(двойной)
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node 1.png t 3 {p, q, r} {г, д, р} {г, д}

Правильные 5-многогранники и 4-пространственные соты

Грани - это правильные или выпрямленные 4-многогранники.

имя
{p, q, r, s}
Диаграмма Кокстера t-обозначение
символ Шлефли
Расширенный символ Шлефли
Имя Фасет-1 Фасет-2
Родитель CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node.pngCDel s.pngCDel node.png t 0 {p, q, r, s} {p, q, r, s} {p, q, r}
Исправленный CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.pngCDel r.pngCDel node.pngCDel s.pngCDel node.png t 1 {p, q, r, s} = r {p, q, r, s} = г {р, д, г} {q, r, s}
Биректифицированный
(двойственный биректифицированный)
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.pngCDel r.pngCDel node.pngCDel s.pngCDel node.png t 2 {p, q, r, s} = 2r {p, q, r, s} = г {г, д, р} = г {д, г, s}
Триректифицированный
(выпрямленный двойной)
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node 1.pngCDel s.pngCDel node.png t 3 {p, q, r, s} = r {s, r, q, p} {г, д, р} = r {s, r, q}
Квадриректифицированный
(двойной)
CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node.pngCDel r.pngCDel node.pngCDel s.pngCDel node 1.png t 4 {p, q, r, s} {s, r, q, p} {s, r, q}

Смотрите также

использованная литература

внешние ссылки

Операторы многогранников
Семя Усечение Исправление Bitruncation Двойной Расширение Омнитусечение Чередования
CDel node 1.pngCDel p.pngУзел CDel n1.pngCDel q.pngУзел CDel n2.png CDel node 1.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node 1.png CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.png CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.png CDel node 1.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node 1.png CDel узел h.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel узел h.pngCDel q.pngCDel узел h.png CDel узел h.pngCDel p.pngCDel узел h.pngCDel q.pngCDel узел h.png
Равномерный многогранник-43-t0.svg Равномерный многогранник-43-t01.svg Равномерный многогранник-43-t1.svg Однородный многогранник-43-t12.svg Равномерный многогранник-43-t2.svg Однородный многогранник-43-t02.png Однородный многогранник-43-t012.png Равномерный многогранник-33-t0.png Равномерный многогранник-43-h01.svg Однородный многогранник-43-s012.png
т 0 {p, q}
{p, q}
t 01 {p, q}
t {p, q}
т 1 {p, q}
r {p, q}
t 12 {p, q}
2t {p, q}
t 2 {p, q}
2r {p, q}
t 02 {p, q}
rr {p, q}
t 012 {p, q}
tr {p, q}
ht 0 {p, q}
h {q, p}
ht 12 {p, q}
s {q, p}
ht 012 {p, q}
sr {p, q}