stringtranslate.com

Космическая группа

Пространственная группа гексагонального льда H 2 O — P6 3 / mmc . Первая буква m обозначает плоскость зеркала, перпендикулярную оси c (a), вторая буква m обозначает плоскости зеркала, параллельные оси c (b), а буква c обозначает плоскости скольжения (b) и (c). Черные прямоугольники очерчивают элементарную ячейку.

В математике , физике и химии пространственная группа — это группа симметрии повторяющегося узора в пространстве, обычно в трех измерениях . [1] Элементы пространственной группы (ее операции симметрии ) — это жесткие преобразования узора, которые оставляют его неизменным. В трех измерениях пространственные группы классифицируются на 219 различных типов или 230 типов, если хиральные копии считаются различными. Пространственные группы — это дискретные кокомпактные группы изометрий ориентированного евклидова пространства в любом количестве измерений. В измерениях , отличных от 3, их иногда называют группами Бибербаха .

В кристаллографии пространственные группы также называются кристаллографическими или федоровскими группами и представляют собой описание симметрии кристалла . Окончательным источником относительно трехмерных пространственных групп являются Международные таблицы для кристаллографии Хана (2002).

История

Пространственные группы в 2 измерениях — это 17 групп обоев , которые известны уже несколько столетий, хотя доказательство того, что список был полным, было дано только в 1891 году, после того как гораздо более сложная классификация пространственных групп была в основном завершена. [2]

В 1879 году немецкий математик Леонард Зонке перечислил 65 пространственных групп (называемых группами Зонке), элементы которых сохраняют хиральность . [3] Точнее, он перечислил 66 групп, но и русский математик и кристаллограф Евграф Федоров , и немецкий математик Артур Мориц Шенфлис заметили, что две из них на самом деле одинаковы. Пространственные группы в трех измерениях были впервые перечислены в 1891 году Федоровым [4] (в списке которого было два пропуска (I 4 3d и Fdd2) и одно дублирование (Fmm2)), а вскоре после этого в 1891 году были независимо перечислены Шенфлисом [5] (в списке которого было четыре пропуска (I 4 3d, Pc, Cc, ?) и одно дублирование (P 4 2 1 m)). Правильный список из 230 пространственных групп был найден к 1892 году во время переписки между Федоровым и Шёнфлисом. [6] Уильям Барлоу  (1894) позже перечислил группы другим методом, но пропустил четыре группы (Fdd2, I 4 2d, P 4 2 1 d и P 4 2 1 c), хотя у него уже был правильный список из 230 групп от Федорова и Шёнфлиса; распространенное утверждение, что Барлоу не знал об их работе, неверно. [ необходима цитата ] Буркхардт (1967) подробно описывает историю открытия пространственных групп.

Элементы

Пространственные группы в трех измерениях состоят из комбинаций 32 кристаллографических точечных групп с 14 решетками Браве , каждая из которых принадлежит одной из 7 систем решеток . Это означает, что действие любого элемента данной пространственной группы может быть выражено как действие элемента соответствующей точечной группы, за которым может следовать трансляция. Таким образом, пространственная группа представляет собой некоторую комбинацию трансляционной симметрии элементарной ячейки ( включая центрирование решетки ), операций симметрии точечной группы отражения , вращения и несобственного вращения (также называемого ротоинверсией), а также операций симметрии винтовой оси и плоскости скольжения . Сочетание всех этих операций симметрии приводит к получению в общей сложности 230 различных пространственных групп, описывающих все возможные симметрии кристаллов.

Число повторений асимметричной единицы в элементарной ячейке, таким образом, равно числу точек решетки в ячейке, умноженному на порядок точечной группы. Оно варьируется от 1 в случае пространственной группы P1 до 192 для пространственной группы типа Fm 3 m, структуры NaCl .

Элементы, фиксирующие точку

Элементами пространственной группы, фиксирующими точку пространства, являются элемент тождества, отражения, вращения и несобственные вращения , включая точки инверсии .

Переводы

Переводы образуют нормальную абелеву подгруппу ранга 3, называемую решеткой Браве (названной так в честь французского физика Огюста Браве ). Существует 14 возможных типов решетки Браве. Фактор пространственной группы по решетке Браве представляет собой конечную группу, которая является одной из 32 возможных точечных групп .

Планирующие самолеты

Плоскость скольжения — это отражение в плоскости, за которым следует перенос, параллельный этой плоскости. Это обозначается как , , или , в зависимости от того, по какой оси происходит скольжение. Существует также скольжение , которое является скольжением вдоль половины диагонали грани, и скольжение, которое является четвертью пути либо вдоль грани, либо по пространственной диагонали элементарной ячейки. Последнее называется плоскостью скольжения алмаза, поскольку оно присутствует в структуре алмаза . В 17 пространственных группах из-за центрирования ячейки скольжения происходят в двух перпендикулярных направлениях одновременно, т. е. одна и та же плоскость скольжения может называться b или c , a или b , a или c . Например, группа Abm2 может также называться Acm2, группа Ccca может называться Cccb. В 1992 году было предложено использовать символ e для таких плоскостей. Были изменены символы для пяти пространственных групп:

Винтовые оси

Винтовая ось — это вращение вокруг оси, за которым следует перемещение вдоль направления оси. Они обозначаются числом n , описывающим степень вращения, где число — это количество операций, которые необходимо применить для завершения полного вращения (например, 3 будет означать вращение на треть пути вокруг оси каждый раз). Затем степень перемещения добавляется в качестве нижнего индекса, показывающего, насколько далеко вдоль оси находится перемещение, как часть параллельного вектора решетки. Таким образом, 2 1 — это двукратное вращение, за которым следует перемещение на 1/2 вектора решетки.

Общая формула

Общая формула действия элемента пространственной группы:

у = М . х + Д

где M — ее матрица, D — ее вектор, и где элемент преобразует точку x в точку y . В общем случае, D = D ( решетка ) + D ( M ), где D ( M ) — уникальная функция M , которая равна нулю, поскольку M является тождеством. Матрицы M образуют точечную группу , которая является базисом пространственной группы; решетка должна быть симметрична относительно этой точечной группы, но сама кристаллическая структура может не быть симметричной относительно этой точечной группы применительно к любой конкретной точке (то есть без трансляции). Например, кубическая структура алмаза не имеет точек, к которым применима кубическая точечная группа .

Размерность решетки может быть меньше общей размерности, что приводит к «субпериодической» пространственной группе. Для (общая размерность, размерность решетки):

Хиральность

65 пространственных групп "Sohncke", не содержащих никаких зеркал, точек инверсии, несобственных вращений или плоскостей скольжения, дают хиральные кристаллы, не идентичные своему зеркальному отображению; тогда как пространственные группы, которые включают по крайней мере одну из них, дают ахиральные кристаллы. Ахиральные молекулы иногда образуют хиральные кристаллы, но хиральные молекулы всегда образуют хиральные кристаллы, в одной из пространственных групп, которые это допускают.

Среди 65 групп Зонке 22 входят в 11 энантиоморфных пар.

Комбинации

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

Обозначение

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

Число
Международный союз кристаллографии публикует таблицы всех типов пространственных групп и присваивает каждой из них уникальный номер от 1 до 230. Нумерация произвольна, за исключением того, что группам с одинаковой кристаллической системой или точечной группой присваиваются последовательные номера.
Международная символьная нотация
Обозначение Германа–Могена
Обозначение Германа–Могена (или международное) описывает решетку и некоторые генераторы для группы. Оно имеет сокращенную форму, называемую международным коротким символом , которая является наиболее часто используемой в кристаллографии и обычно состоит из набора из четырех символов. Первый описывает центрирование решетки Браве ( P , A , C , I , R или F ). Следующие три описывают наиболее заметную операцию симметрии, видимую при проецировании вдоль одного из направлений высокой симметрии кристалла. Эти символы такие же, как используемые в точечных группах , с добавлением плоскостей скольжения и винтовой оси, описанных выше. В качестве примера, пространственная группа кварца — P3 1 21, показывающая, что она демонстрирует примитивное центрирование мотива (т. е. один раз на элементарную ячейку) с тройной винтовой осью и двойной осью вращения. Обратите внимание, что она явно не содержит кристаллическую систему , хотя она уникальна для каждой пространственной группы (в случае P 3 1 21 она тригональная).
В международном коротком символе первый символ (3 1 в этом примере) обозначает симметрию вдоль большой оси (оси c в тригональных случаях), второй (2 в этом случае) вдоль осей второстепенного значения (a и b), а третий символ - симметрию в другом направлении. В тригональном случае также существует пространственная группа P3 1 12. В этой пространственной группе оси второго порядка не вдоль осей a и b, а в направлении, повернутом на 30°.
Международные символы и международные краткие символы для некоторых космических групп были немного изменены в период с 1935 по 2002 год, поэтому для некоторых космических групп используются 4 различных международных символа.

Направления обзора 7 кристаллических систем показаны ниже.

Обозначение Холла [7]
Обозначение пространственной группы с явным началом. Символы вращения, трансляции и направления осей четко разделены, а центры инверсии явно определены. Конструкция и формат обозначения делают его особенно подходящим для компьютерной генерации информации о симметрии. Например, группа номер 3 имеет три символа Холла: P 2y (P 1 2 1), P 2 (P 1 1 2), P 2x (P 2 1 1).
Нотация Шёнфлиса
Пространственные группы с заданной точечной группой нумеруются числами 1, 2, 3, ... (в том же порядке, что и их международный номер), и этот номер добавляется как верхний индекс к символу Шёнфлиса для точечной группы. Например, группы с номерами от 3 до 5, точечная группа которых C 2, имеют символы Шёнфлиса C1
2
, С2
2
, С3
2
.
нотация Федорова
символ Шубникова
Обозначение Strukturbericht
Связанное обозначение для кристаллических структур с указанием буквы и индекса: A Элементы (одноатомные), B для соединений AB, C для соединений AB 2 , D для соединений A m  B n , ( E , F , ..., K более сложные соединения), L Сплавы, O Органические соединения, S Силикаты. Некоторые структурные обозначения имеют одни и те же пространственные группы. Например, пространственная группа 225 — это A 1 , B 1 и C 1 . Пространственная группа 221 — это A h и B 2 . [8] Однако кристаллографы не использовали бы обозначение Strukturbericht для описания пространственной группы, а использовали бы его для описания конкретной кристаллической структуры (например, пространственная группа + атомное расположение (мотив)).
Орбифолдная нотация (2D)
Фибрифолдная нотация (3D)
Как следует из названия, нотация орбифолда описывает орбифолд, заданный фактором евклидова пространства по пространственной группе, а не генераторы пространственной группы. Она была введена Конвеем и Терстоном и не используется за пределами математики. Некоторые из пространственных групп имеют несколько различных фибрифолдов, связанных с ними, поэтому имеют несколько различных символов фибрифолда.
нотация Коксетера
Группы пространственной и точечной симметрии, представленные как модификации чистых отражательных групп Кокстера .
Геометрическая нотация [9]
Обозначение геометрической алгебры .

Системы классификации

Существует (по крайней мере) 10 различных способов классификации пространственных групп в классы. Отношения между некоторыми из них описаны в следующей таблице. Каждая система классификации является уточнением тех, что находятся ниже. Чтобы понять объяснение, данное здесь, может потребоваться понять следующее ниже.

Conway , Delgado Friedrichs и Huson et al. (2001) дали другую классификацию пространственных групп, называемую фибрифолдной нотацией , согласно фибрифолдным структурам на соответствующем орбифолде . Они разделили 219 аффинных пространственных групп на приводимые и неприводимые группы. Приводимые группы делятся на 17 классов, соответствующих 17 группам обоев , а оставшиеся 35 неприводимых групп совпадают с кубическими группами и классифицируются отдельно.

В других измерениях

Теоремы Бибербаха

В n измерениях аффинная пространственная группа, или группа Бибербаха , является дискретной подгруппой изометрий n -мерного евклидова пространства с компактной фундаментальной областью. Бибербах (1911, 1912) доказал, что подгруппа трансляций любой такой группы содержит n линейно независимых трансляций и является свободной абелевой подгруппой конечного индекса, а также является единственной максимальной нормальной абелевой подгруппой. Он также показал, что в любой размерности n существует только конечное число возможностей для класса изоморфизма базовой группы пространственной группы, и, более того, действие группы на евклидовом пространстве является единственным с точностью до сопряжения аффинными преобразованиями. Это отвечает на часть восемнадцатой проблемы Гильберта . Цассенхаус (1948) показал, что, наоборот, любая группа, которая является расширением [ когда определена как? ] Z n конечной группой, действующей точно, является аффинной пространственной группой. Объединение этих результатов показывает, что классификация пространственных групп в n измерениях с точностью до сопряжения аффинными преобразованиями по сути совпадает с классификацией классов изоморфизма для групп, являющихся расширениями Z n конечной группой, действующей точно.

В теоремах Бибербаха существенно предположить, что группа действует как изометрии; теоремы не обобщаются на дискретные кокомпактные группы аффинных преобразований евклидова пространства. Контрпримером служит 3-мерная группа Гейзенберга целых чисел, действующих посредством переносов на группу Гейзенберга действительных чисел, отождествленную с 3-мерным евклидовым пространством. Это дискретная кокомпактная группа аффинных преобразований пространства, но она не содержит подгруппы Z 3 .

Классификация по малым размерам

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

  1. ^ Тривиальная группа
  2. ^ Одна из них — группа целых чисел, а другая — бесконечная диэдральная группа ; см. группы симметрии в одном измерении .
  3. ^ Эти двухмерные пространственные группы также называются группами обоев или группами плоскостей .
  4. ^ В 3D существует 230 кристаллографических типов пространственных групп, что сводится к 219 типам аффинных пространственных групп, поскольку некоторые типы отличаются от своего зеркального отображения; говорят, что они отличаются энантиоморфным характером (например, P3 1 12 и P3 2 12). Обычно пространственная группа относится к 3D. Они были независимо перечислены Барлоу (1894), Федоровым (1891a) и Шёнфлисом (1891).
  5. ^ 4895 4-мерных групп были перечислены Гарольдом Брауном, Рольфом Бюловым и Иоахимом Нойбюзером и др. (1978) Нойбюзер, Сувинье и Вондратчек (2002) исправили число энантиоморфных групп со 112 до 111, так что общее число групп составляет 4783 + 111 = 4894. Существует 44 энантиоморфных точечных группы в 4-мерном пространстве. Если мы рассматриваем энантиоморфные группы как различные, общее число точечных групп составляет 227 + 44 = 271 .
  6. ^ Плескен и Шульц (2000) перечислили энантиоморфы размерности 5. Сувинье (2003) подсчитал энантиоморфы.
  7. ^ Plesken & Schulz (2000) перечислили энантиоморфы размерности 6, позже были найдены исправленные цифры. [11] Первоначально опубликованное число 826 типов решеток в Plesken & Hanrath (1984) было исправлено до 841 в Opgenorth, Plesken & Schulz (1998). См. также Janssen et al. (2002). Souvignier (2003) подсчитал энантиоморфы, но эта статья опиралась на старые ошибочные данные CARAT для размерности 6.

Магнитные группы и обращение времени

В дополнение к кристаллографическим пространственным группам существуют также магнитные пространственные группы (также называемые двухцветными (черно-белыми) кристаллографическими группами или группами Шубникова ). Эти симметрии содержат элемент, известный как обращение времени. Они рассматривают время как дополнительное измерение, и элементы группы могут включать обращение времени как отражение в нем. Они важны в магнитных структурах , которые содержат упорядоченные неспаренные спины, т. е. ферро- , ферри- или антиферромагнитные структуры, изучаемые с помощью нейтронной дифракции . Элемент обращения времени переворачивает магнитный спин, оставляя всю остальную структуру прежней, и его можно комбинировать с рядом других элементов симметрии. Включая обращение времени, существует 1651 магнитная пространственная группа в 3D (Kim 1999, p.428). Также удалось построить магнитные версии для других общих и решеточных измерений (статьи Даниила Литвина, (Litvin 2008), (Litvin 2005)). Фризовые группы — это магнитные 1D линейные группы, а слои — это магнитные группы обоев, а аксиальные 3D точечные группы — это магнитные 2D точечные группы. Количество исходных и магнитных групп по (общему, решетчатому) измерению: (Palistrant 2012) (Souvignier 2006)

Таблица пространственных групп в 2 измерениях (группы обоев)

Таблица групп обоев с использованием классификации групп 2-мерного пространства:

Для каждого геометрического класса возможны арифметические классы

Таблица пространственных групп в 3 измерениях

Примечание: Плоскость e — это двойная плоскость скольжения, имеющая скольжения в двух разных направлениях. Они встречаются в семи орторомбических, пяти тетрагональных и пяти кубических пространственных группах, все с центрированной решеткой. Использование символа e стало официальным с Hahn (2002).

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

Решетка Бравэ пространственной группы определяется системой решетки вместе с начальной буквой ее названия, которая для неромбоэдрических групп равна P, I, F, A или C, обозначая главную, объемно-центрированную, гранецентрированную, A-гранецентрированную или C-гранецентрированную решетку. Существует семь ромбоэдрических пространственных групп с начальной буквой R.

Вывод класса кристаллов из пространственной группы

  1. Исключить тип Браве
  2. Преобразовать все элементы симметрии с трансляционными компонентами в соответствующие им элементы симметрии без трансляционной симметрии (плоскости скольжения преобразуются в простые зеркальные плоскости; оси винтов преобразуются в простые оси вращения)
  3. Оси вращения, оси ротоинверсии и плоскости зеркального отражения остаются неизменными.

Ссылки

  1. ^ Хиллер, Говард (1986). «Кристаллография и когомологии групп». The American Mathematical Monthly . 93 (10): 765–779. doi :10.2307/2322930. JSTOR  2322930. Архивировано из оригинала 29-09-2022 . Получено 31-01-2015 .
  2. Федоров (1891б).
  3. ^ Зонке, Леонхард (1879). Die Entwicklung einer Theorie der Krystallstruktur [ Развитие теории кристаллической структуры ] (на немецком языке). Лейпциг, Германия: Б. Г. Тойбнер .
  4. ^ Федоров (1891а).
  5. ^ Шенфлис, Артур М. (1891). Krystallsysteme und Krystallstruktur [ Кристаллические системы и кристаллическая структура ] (на немецком языке). Лейпциг, Германия: Б. Г. Тойбнер.
  6. ^ фон Федоров, Э. (1892). «Zusammenstellung der kirstallographischen Resultate des Herrn Schoenflies und der meinigen» [Сборник кристаллографических результатов г-на Шенфлиса и моих]. Zeitschrift für Krystallographie und Mineralogie (на немецком языке). 20 :25–75.
  7. ^ Сидней Р. Холл; Ральф В. Гроссе-Кунстлев. «Краткие символы пространственных групп».
  8. ^ "Strukturbericht - Wikimedia Commons" . commons.wikimedia.org .
  9. ^ Дэвид Хестенес; Джереми Холт (январь 2007 г.). «Кристаллографические пространственные группы в геометрической алгебре» (PDF) . Журнал математической физики . 48 (2): 023514. Bibcode :2007JMP....48b3514H. doi :10.1063/1.2426416.
  10. ^ JCH Spence и JM Zuo (1994). «О минимальном количестве лучей, необходимых для различения энантиоморфов в рентгеновской и электронной дифракции». Acta Crystallographica Section A. 50 ( 5): 647–650. Bibcode : 1994AcCrA..50..647S. doi : 10.1107/S0108767394002850.
  11. ^ "The CARAT Homepage" . Получено 11 мая 2015 г. .

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