В математике бесконечная диэдральная группа Dih ∞ — это бесконечная группа со свойствами, аналогичными свойствам конечных диэдральных групп .
В двумерной геометрии бесконечная диэдральная группа представляет собой группу симметрии фриза , p 1 m 1, рассматриваемую как бесконечный набор параллельных отражений вдоль оси.
Каждая диэдральная группа порождается поворотом r и отражением; если поворот является рациональным кратным полного поворота, то существует некоторое целое число n такое, что r n является тождеством, и мы имеем конечную диэдральную группу порядка 2 n . Если поворот не является рациональным кратным полного поворота, то такого n не существует , и полученная группа имеет бесконечно много элементов и называется Dih ∞ . Она имеет представления
и изоморфна полупрямому произведению Z и Z /2, и свободному произведению Z /2 * Z /2. Это группа автоморфизмов графа , состоящего из бесконечного в обе стороны пути. Соответственно, это группа изометрий Z (см. также группы симметрии в одном измерении ), группа перестановок α : Z → Z , удовлетворяющих | i − j | = | α ( i ) − α ( j )|, для всех i', j в Z . [2]
Бесконечную диэдральную группу можно также определить как голоморф бесконечной циклической группы .
Примером бесконечной двугранной симметрии является наложение действительных сигналов.
При дискретизации функции с частотой f s (интервалы 1/ f s ) следующие функции дают идентичные наборы выборок: {sin(2 π ( f + Nf s ) t + φ ), N = 0, ±1, ±2, ±3, . . . }. Таким образом, обнаруженное значение частоты f является периодическим , что дает элемент трансляции r = f s . Говорят, что функции и их частоты являются псевдонимами друг друга. Отмечая тригонометрическое тождество:
мы можем записать все частоты наложения как положительные значения: . Это дает элемент отражения ( f ), а именно f ↦ − f . Например, при f = 0,6 f s и N = −1 , f + Nf s = −0,4 f s отражается в 0,4 f s , что приводит к двум самым левым черным точкам на рисунке. [примечание 1] Две другие точки соответствуют N = −2 и N = 1 . Как показано на рисунке, существуют симметрии отражения при 0,5 f s , f s , 1,5 f s и т. д. Формально частное под наложением является орбифолдом [ 0, 0,5 f s ] с действием Z /2 в конечных точках (точках орбифолда), соответствующим отражению.