Русская Википедия:Группа треугольника

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

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

Определение

Пусть l, m, n — целые числа, большие либо равные 2. Группа треугольника Δ(l,m,n) является группой движений евклидового пространства, двумерной сферы, вещественной проективной плоскости или гиперболической плоскости, порождённой отражениями относительно сторон треугольника с углами π/l, π/m and π/n (измеряемые в радианах). Произведение отражений относительно двух смежных сторон является вращением на угол, равный удвоенному углу между этими сторонами, 2π/l, 2π/m и 2π/n. Таким образом, если отражения обозначить буквами a, b и c, а углы между сторонами в циклическом порядке, как указано выше, имеют место следующие соотношения:

1. <math> a^{2}=b^{2}=c^{2}=1 </math>
2. <math> (ab)^{l}=(bc)^{n}=(ca)^{m}=1. </math>

Существует теорема, что все другие соотношения между a, b, c являются следствием этих соотношений и что Δ(l, m, n) является дискретной группой движений соответствующего пространства. Эта группа треугольника является Шаблон:Не переведено 5, допускающей задание

<math> \Delta(l,m,n) = \langle a,b,c \mid a^{2} = b^{2} = c^{2} = (ab)^{l} = (bc)^{n} = (ca)^{m} = 1 \rangle. </math>

Абстрактная группа с этим заданием является группой Коксетера с тремя генераторами.

Классификация

Если заданы любые натуральные числа l, m, n > 1, в точности одна из классических двумерных геометрий (евклидова, сферическая или гиперболическая) допускает треугольник с углами (π/l, π/m, π/n) и пространство замощено отражениями этого треугольника. Сумма углов треугольника определяет тип геометрии по Формула Гаусса — Бонне: пространство евклидово, если сумма углов в точности равна π, сферическое, если превышает π и гиперболическое, если строго меньше π. Более того, любые два треугольника с заданными углами конгруэнтны. Каждая группа треугольника определяет замощение, которое обычно раскрашивается в два цвета, так что любые два соседних элемента мозаики имеют разные цвета.

В терминах чисел l, m, n > 1 существуют следующие возможности.

Евклидова плоскость

<math>\frac{1}{l}+\frac{1}{m}+\frac{1}{n}=1.</math>

Группа треугольника является бесконечной группой симметрии некоторого паркета (или мозаики) евклидовой плоскости треугольниками, углы которых в сумме дают π (или 180°). С точностью до перестановок, тройка (l, m, n) является одной из троек (2,3,6), (2,4,4), (3,3,3). Соответствующие группы треугольников являются представителями группы рисунков обоев.

(2,3,6)	(2,4,4)	(3,3,3)
Файл:Tiling Dual Semiregular V4-6-12 Bisected Hexagonal.svg	Файл:Tile V488 bicolor.svg	Файл:Tiling Regular 3-6 Triangular.svg
Шаблон:Не переведено 5	Квадратный паркет «Тетракис»	Треугольный паркет
Более детальные диаграммы с помеченными вершинами. Показано, как действуют отражения.
Файл:Wallpaper group diagram p6m.svg	Файл:Wallpaper group diagram p4m square.svg	Файл:Wallpaper group diagram p3m1.svg

Сфера

<math>\frac{1}{l}+\frac{1}{m}+\frac{1}{n}>1.</math>

Группа треугольника является конечной группой симметрии паркета на единичной сфере из сферических треугольников, или треугольников Мёбиуса, сумма углов которых в сумме дают число, большее π. С точностью до перестановки тройки (l,m,n) имеют вид (2,3,3), (2,3,4), (2,3,5) или (2,2,n), n > 1. Сферические группы треугольников можно сопоставить с группами симметрий правильных многогранников в трёхмерном евклидовом пространстве: Δ(2,3,3) соответствует тетраэдру, Δ(2,3,4) соответствует как кубу, так и октаэдра (они имеют одну и ту же группу симметрии), Δ(2,3,5) соответствует как додекаэдру, так и икосаэдру. Группы Δ(2,2,n), n > 1, диэдрической симметрии можно рассматривать как группы симметрии семейства диэдров, которые образуются двумя одинаковыми правильными n-угольниками, соединёнными вместе, или, двойственно, осоэдром, который образован объединением n двуугольников.

Сферический паркет, соответствующий правильному многограннику, получается путём барицентрического подразделения многогранника и проекции полученных точек и прямых на описанную сферу. Для тетраэдра имеется четыре грани, и каждая грань является равносторонним треугольником, который делится на 6 меньших частей медианами, пересекающимися в центре. Получающаяся мозаика имеет 4 × 6=24 сферических треугольника (это сферический тетракисгексаэдр).

Эти группы конечны, что соответствует компактности сферы — площади дисков на сфере растут в терминах радиуса, но в конечном счёте покрывают всю сферу.

Треугольные замощения приведены ниже:

(2,2,2)	(2,2,3)	(2,2,4)	(2,2,5)	(2,2,6)	(2,2,n)
Файл:Spherical square bipyramid2.png	Файл:Spherical hexagonal bipyramid2.png	Файл:Spherical octagonal bipyramid2.png	Файл:Spherical decagonal bipyramid2.png	Файл:Spherical dodecagonal bipyramid2.png
(2,3,3)		(2,3,4)		(2,3,5)
Файл:Tetrahedral reflection domains.png		Файл:Octahedral reflection domains.png		Файл:Icosahedral reflection domains.png

Сферические паркеты, соответствующие октаэдру и икосаэдру, а также диэдральным сферическим мозаикам с чётным n, центрально симметричны. Поэтому каждая эта упаковка определяет паркет вещественной проективной плоскости, Шаблон:Не переведено 5. Их группа симметрии является факторгруппой сферической группы треугольников по центральной симметрии (-I), которая является центральным элементом порядка 2. Поскольку проективная плоскость является моделью эллиптической геометрии, такие группы называются эллиптическими группами треугольника.

Гиперболическая плоскость

<math>\frac{1}{l}+\frac{1}{m}+\frac{1}{n}<1.</math>

Группа треугольника является бесконечной группой симметрии паркета на гиперболической плоскости из гиперболических треугольников, сумма углов которого меньше π. Все тройки, не перечисленные выше, представляют паркеты на гиперболической плоскости. Например, тройка (2,3,7) даёт группу треугольника (2,3,7). Существует бесконечно много таких групп. Ниже приведены паркеты, связанные с некоторыми малыми значениями.

Модель Пуанкаре треугольников фундаментальной области

Примеры прямоугольных треугольников (2 p q)
Файл:H2checkers 237.png (2 3 7)	Файл:H2checkers 238.png (2 3 8)	Файл:Hyperbolic domains 932 black.png (2 3 9)	Файл:H2checkers 23i.png (2 3 ∞)
Файл:H2checkers 245.png (2 4 5)	Файл:H2checkers 246.png (2 4 6)	Файл:H2checkers 247.png (2 4 7)	Файл:H2checkers 248.png (2 4 8)	Файл:H2checkers 24i.png (2 4 ∞)
Файл:H2checkers 255.png (2 5 5)	Файл:H2checkers 256.png (2 5 6)	Файл:H2checkers 257.png (2 5 7)	Файл:H2checkers 266.png (2 6 6)	Файл:H2checkers 2ii.png (2 ∞ ∞)
Примеры треугольников общего вида (p q r)
Файл:H2checkers 334.png (3 3 4)	Файл:H2checkers 335.png (3 3 5)	Файл:H2checkers 336.png (3 3 6)	Файл:H2checkers 337.png (3 3 7)	Файл:H2checkers 33i.png (3 3 ∞)
Файл:H2checkers 344.png (3 4 4)	Файл:H2checkers 366.png (3 6 6)	Файл:H2checkers 3ii.png (3 ∞ ∞)	Файл:H2checkers 666.png (6 6 6)	Файл:H2checkers iii.png (∞ ∞ ∞)

Гиперболические группы треугольников являются примерами Шаблон:Не переведено 5 и обобщены в теории Громова гиперболических групп.

Группы фон Дика

Обозначим через D(l,m,n) подгруппу с индексом 2 в Δ(l, m, n), сгенерированную словами чётной длины в генераторах. Такие подгруппы иногда называются «обычными» группами треугольников или группами фон Дика, по имени Вальтера фон Дика. Сферические, евклидовы и гиперболические треугольники соответствуют элементам группы, сохряняющей ориентацию треугольников. Проективные (эллиптические) треугольники нельзя интерпретировать таким образом, поскольку проективная плоскость не имеет ориентации, и в ней нет «сохранения ориентации». Отражения, однако, локально сохраняют ориентацию (и любое многообразие локально ориентируемо, поскольку локально евклидово).

Группы D(l,m,n) определяются следующим заданием:

<math>D(l,m,n)=\langle x,y \mid x^l,y^m,(xy)^n\rangle.</math>

В терминах генераторов это x = ab, y = ca, yx = cb. Геометрически три элемента x, y, xy соответствуют вращениям на 2π/l, 2π/m и 2π/n вокруг трёх вершин треугольника.

Заметим, что D(l,m,n) ≅ D(m,l,n) ≅ D(n,m,l), так что D(l,m,n) не зависит от порядка чисел l,m,n.

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

Паркет с наложением

Шаблон:Further Группы треугольников сохраняют паркетную укладку треугольниками, а именно фундаментальную область для действия (треугольника, определённого прямыми отражения), называемого треугольником Мёбиуса, и задаются тройкой целых чисел (l,m,n), соответствующих треугольникам (2l,2m,2n) с общей вершиной. Существуют также паркеты, образованные треугольниками с наложением, которые соответствуют треугольникам Шварца с рациональными числами (l/a,m/b,n/c), где знаменатели взаимно просты с числителями. Это соответствует сторонам под углом aπ/l (соотв.), что соответствует вращению на of 2aπ/l (соотв.), которое имеет порядок l и потому идентично элементу абстрактной группы, но различается, когда представляется в виде отражений.

Например, треугольник Шварца (2 3 3) даёт на сфере паркет Шаблон:Не переведено 5 1, в то время как треугольник (2 3/2 3) даёт на сфере паркет с плотностью 3, но с той же самой абстрактной группой. Эти симметрии паркетов с наложением не считаются группами треугольников.

История

Группы треугольников датируются по меньшей мере представлением икосаэдральной группы как группы вращений треугольника (2,3,5) Гамильтоном в 1856 в его статье об икосианахШаблон:Sfn.

Приложения

Шаблон:External media Группы треугольников возникают в Шаблон:Не переведено 5. Модулярная группа, генерируемая двумя элементами, S и T, с соотношениями S² = (ST)³ = 1, является группой вращений треугольника (2,3,∞) и отображается во все группы треугольников (2,3,n) добавлением отношения Tⁿ = 1. Более обще, Шаблон:Не переведено 5 H_q, генерируемая двумя элементами, S и T, с соотношением S² = (ST)^q = 1 (нет отношения отдельно для T), является группой вращений треугольника (2,q,∞) и отображается во все группы треугольников (2,q,n) добавлением отношения Tⁿ = 1. Модулярная группа является группой Гекке H₃. В теории Шаблон:Не переведено 5 функция Белого позволяет получить замощение римановой поверхности, соответствующее некоторой группе треугольника.

Все 26 спорадических групп являются факторгруппами групп треугольника, из которых 12 являются группами Гурвица (факторгруппа группы (2,3,7)).

См. также

• Треугольник Шварца
• Отображение треугольника Шварца — это отображение треугольников в верхнюю полуплоскость.
• Геометрическая теория групп

Литература

• Шаблон:Citation
• Шаблон:Citation
• Шаблон:Citation Шаблон:Wayback
• Шаблон:Статья

Ссылки

• Robert Dawson Некоторые сферические паркеты Шаблон:Wayback (Показано большое число интересных замощений сферы, большинство из которых не являются паркетами группы треугольников.)
• Elizabeth R Chen triangle groups Шаблон:Wayback (2010)