В геометрии точечное отражение (также называемое инверсией точки или центральной инверсией ) — это преобразование аффинного пространства , при котором каждая точка отражается через определенную фиксированную точку . При работе с кристаллическими структурами и в физических науках чаще используются термины инверсионная симметрия, центр инверсии или центросимметричный .
Точечное отражение — это инволюция : его применение дважды — это тождественное преобразование . Это эквивалентно гомотетическому преобразованию с масштабным коэффициентом −1 . Точку инверсии еще называют гомотетическим центром .
Говорят, что объект, инвариантный относительно точечного отражения, обладает точечной симметрией ; если он инвариантен относительно точечного отражения через свой центр , говорят, что он обладает центральной симметрией или центрально симметричен . Точечная группа , включающая в себя точечное отражение среди своих симметрий, называется центросимметричной .
В евклидовом пространстве точечное отражение является изометрией (сохраняет расстояние ). В евклидовой плоскости точечное отражение аналогично повороту на пол-оборота (180° или π радиан ); отражение точки через центр тяжести объекта аналогично вращению на пол-оборота .
Термин «отражение» является расплывчатым и некоторые считают злоупотреблением языком, предпочтительнее инверсия ; однако широко используется точечное отражение . Такие карты являются инволюциями , что означает, что они имеют порядок 2 — они сами себе обратны: их применение дважды дает тождественную карту — что также верно и для других карт, называемых отражениями . В более узком смысле, отражение относится к отражению в гиперплоскости ( мерное аффинное подпространство – точка на линии , линия на плоскости , плоскость в трехмерном пространстве), при этом гиперплоскость фиксирована, но в более широком смысле отражение применяется к любая инволюция евклидова пространства, а фиксированное множество (аффинное пространство размерности k , где ) называется зеркалом . В измерении 1 они совпадают, поскольку точка является гиперплоскостью на линии.
С точки зрения линейной алгебры, предполагая, что начало координат фиксировано, инволюции представляют собой в точности диагонализуемые отображения со всеми собственными значениями либо 1, либо -1. Отражение в гиперплоскости имеет единственное собственное значение -1 (и кратность 1 собственного значения), тогда как точечное отражение имеет только собственное значение -1 (с кратностью n ).
Термин «инверсия» не следует путать с инверсивной геометрией , где инверсия определяется по отношению к кругу.
В двух измерениях отражение точки аналогично повороту на 180 градусов. В трех измерениях точечное отражение можно описать как вращение на 180 градусов, состоящее из отражения через плоскость вращения, перпендикулярную оси вращения. В измерении n точечные отражения сохраняют ориентацию, если n четное, и меняют ориентацию, если n нечетное.
Для вектора a в евклидовом пространстве Rn формула отражения a через точку p имеет вид
В случае, когда p — начало координат, точечное отражение — это просто отрицание вектора a .
В евклидовой геометрии инверсией точки X относительно точки P является точка X * такая, что P является серединой отрезка прямой с концами X и X * . Другими словами, вектор от X до P аналогичен вектору от P до X *.
Формула инверсии в P :
где p , x и x * — векторы положения P , X и X * соответственно.
Это отображение представляет собой изометрическое инволютивное аффинное преобразование , имеющее ровно одну неподвижную точку , то есть P.
Когда точка инверсии P совпадает с началом координат, отражение точки эквивалентно частному случаю равномерного масштабирования : равномерному масштабированию с масштабным коэффициентом, равным −1. Это пример линейного преобразования .
Когда P не совпадает с началом координат, точечное отражение эквивалентно частному случаю гомотетического преобразования : гомотетии с центром гомотетики , совпадающим с P, и масштабным коэффициентом -1. (Это пример нелинейного аффинного преобразования .)
Композиция двух точечных отражений является трансляцией . В частности, точечное отражение в точке p , за которым следует точечное отражение в точке q , является переносом вектора 2( q - p ).
Множество, состоящее из всех точечных отражений и перемещений, является подгруппой Ли евклидовой группы . Это полупрямое произведение группы Rn с циклической группой порядка 2, причем последняя действует на Rn отрицанием . Именно подгруппа евклидовой группы поточечно фиксирует линию на бесконечности .
В случае n = 1 группа точечных отражений представляет собой полную группу изометрии линии.
Учитывая точку и ее отражение относительно точки , последняя является серединой отрезка ;
Следовательно, уравнения для нахождения координат отраженной точки имеют вид
Частным является случай, когда точка C имеет координаты (см. параграф ниже)
В четномерном евклидовом пространстве , скажем, в 2 N -мерном пространстве, инверсия в точке P эквивалентна N поворотам на углы π в каждой плоскости произвольного набора N взаимно ортогональных плоскостей, пересекающихся в точке P. Эти вращения взаимно коммутативны. Поэтому инверсия в точке четномерного пространства — это изометрия, сохраняющая ориентацию, или прямая изометрия .
В нечетномерном евклидовом пространстве , скажем, (2 N + 1)-мерном пространстве, это эквивалентно N вращениям по π в каждой плоскости произвольного набора N взаимно ортогональных плоскостей, пересекающихся в точке P , в сочетании с отражением в 2 N -мерное подпространство, охватываемое этими плоскостями вращения. Следовательно, она меняет , а не сохраняет ориентацию , это косвенная изометрия .
Геометрически в 3D это представляет собой вращение вокруг оси, проходящей через P , на угол 180 ° в сочетании с отражением в плоскости, проходящей через P , перпендикулярной оси; результат не зависит от ориентации (в другом смысле) оси. Обозначения типа операции или типа создаваемой ею группы: , C i , S 2 и 1×. Тип группы — один из трех типов группы симметрии в 3D без какой-либо чистой вращательной симметрии , см. циклические симметрии с n = 1.
Следующие группы точек в трех измерениях содержат инверсию:
С обратным в точке тесно связано отражение относительно плоскости , которое можно рассматривать как «инверсию в плоскости».
Молекулы содержат центр инверсии, когда существует точка, через которую все атомы могут отражаться, сохраняя при этом симметрию. В кристаллографии наличие центров инверсии различает центросимметричные и нецентросимметричные соединения. Кристаллические структуры состоят из различных многогранников, классифицированных по координационному числу и валентным углам. Например, четырехкоординатные многогранники относят к тетраэдрам , а пятикоординатные окружения могут быть квадратно-пирамидальными или тригонально-бипирамидальными в зависимости от углов соединения. Все кристаллические соединения происходят из повторения атомного строительного блока, известного как элементарная ячейка, и эти элементарные ячейки определяют, какие многогранники формируются и в каком порядке. Эти многогранники соединяются друг с другом посредством общих углов, ребер или граней, в зависимости от того, какие атомы имеют общие связи. Многогранники, содержащие центры инверсии, называются центросимметричными, а многогранники без них - нецентросимметричными. Шестикоординатные октаэдры являются примером центросимметричных многогранников, поскольку центральный атом действует как центр инверсии, благодаря которому шесть связанных атомов сохраняют симметрию. Тетраэдры, с другой стороны, нецентросимметричны, поскольку инверсия через центральный атом приведет к переворачиванию многогранника. Важно отметить, что геометрии связей с нечетными координационными числами должны быть нецентросимметричными, поскольку эти многогранники не будут содержать центров инверсии.
Настоящим многогранникам в кристаллах часто не хватает однородности, ожидаемой в геометрии их связей. Общие нарушения, обнаруживаемые в кристаллографии, включают искажения и беспорядок. Искажение включает в себя деформацию многогранников из-за неодинаковой длины связей, часто из-за различного электростатического притяжения между гетероатомами. Например, титановый центр, скорее всего, будет равномерно связываться с шестью атомами кислорода в октаэдрах, но произойдет искажение, если один из атомов кислорода будет заменен более электроотрицательным фтором. Искажения не изменят внутреннюю геометрию многогранников — искаженный октаэдр по-прежнему классифицируется как октаэдр, но достаточно сильные искажения могут повлиять на центросимметрию соединения. Беспорядок предполагает разделение занятости по двум или более позициям, при котором атом будет занимать одну кристаллографическую позицию в определенном проценте многогранников, а другую - в остальных позициях. Беспорядок также может влиять на центросимметрию определенных многогранников, в зависимости от того, разделена ли заселенность по уже существующему центру инверсии.
Центросимметрия применима и к кристаллической структуре в целом. Кристаллы подразделяются на тридцать две кристаллографические точечные группы , которые описывают, как различные многогранники располагаются в пространстве в объемной структуре. Из этих тридцати двух точечных групп одиннадцать центросимметричны. Наличие нецентросимметричных многогранников не гарантирует, что точечная группа будет одинаковой - две нецентросимметричные формы могут быть ориентированы в пространстве таким образом, чтобы между ними был центр инверсии. Два тетраэдра, обращенные друг к другу, могут иметь центр инверсии посередине, поскольку ориентация позволяет каждому атому иметь отраженную пару. Обратное также верно, поскольку несколько центросимметричных многогранников могут быть расположены так, чтобы образовать нецентросимметричную точечную группу.
Нецентросимметричные соединения могут быть полезны для применения в нелинейной оптике . Отсутствие симметрии из-за центров инверсии может привести к тому, что области кристалла будут по-разному взаимодействовать с падающим светом. Длина волны, частота и интенсивность света могут меняться, поскольку электромагнитное излучение взаимодействует с различными энергетическими состояниями по всей структуре. Титанилфосфат калия , KTiOPO 4 (КТП). кристаллизуется в нецентросимметричной орторомбической пространственной группе Pna21 и является полезным нелинейным кристаллом. KTP используется для удвоения частоты лазеров, легированных неодимом , используя нелинейное оптическое свойство, известное как генерация второй гармоники . Применение нелинейных материалов все еще исследуется, но эти свойства обусловлены наличием (или его отсутствием) центра инверсии.
Инверсия относительно начала координат соответствует аддитивному обращению вектора положения, а также скалярному умножению на −1. Операция коммутирует со всеми остальными линейными преобразованиями , но не со сдвигом : она находится в центре общей линейной группы . «Инверсия» без указания «в точку», «в линию» или «в плоскость» означает настоящую инверсию; В физике трехмерное отражение через начало координат также называется преобразованием четности .
В математике отражение через начало координат относится к точечному отражению евклидова пространства R n через начало декартовой системы координат . Отражение через начало координат является ортогональным преобразованием, соответствующим скалярному умножению на , и его также можно записать как , где – единичная матрица . В трех измерениях это отправляет и так далее.
Как скалярная матрица , она представлена в каждом базисе матрицей с на диагонали и вместе с единицей является центром ортогональной группы .
Это произведение n ортогональных отражений (отражение через оси любого ортогонального базиса ); отметим, что ортогональные отражения коммутируют.
В двух измерениях это фактически поворот на 180 градусов, а в измерении - это поворот на 180 градусов в n ортогональных плоскостях; [а] еще раз отметим, что вращения в ортогональных плоскостях коммутируют.
Имеет определитель (от представления матрицей или как произведение отражений). Таким образом, он сохраняет ориентацию в четном измерении, то есть является элементом специальной ортогональной группы SO(2 n ), и меняет ориентацию в нечетном измерении, поэтому не является элементом SO(2 n + 1) и вместо этого обеспечивает разделение карты , показывающее это как внутренний прямой продукт .
Аналогично, это самый длинный элемент ортогональной группы по отношению к порождающему набору отражений: все элементы ортогональной группы имеют длину не более n по отношению к порождающему набору отражений, [b] и отражение через начало координат имеет длина n, хотя она не уникальна: другие максимальные комбинации поворотов (и, возможно, отражений) также имеют максимальную длину.
В SO(2 r ) отражение через начало координат является самой дальней точкой от единичного элемента по отношению к обычной метрике. В O(2 r + 1) отражение через начало координат не находится в SO(2 r +1) (оно находится в нетождественном компоненте), и не существует естественного смысла, в котором оно является «дальней точкой», чем любая другая точка в неидентичном компоненте, но она обеспечивает базовую точку в другом компоненте.
Его не следует путать с элементом спиновой группы . Это особенно сбивает с толку четные спиновые группы, такие как , и, следовательно, есть оба и 2 подъема .
Отражение через тождество распространяется на автоморфизм алгебры Клиффорда , называемый основной инволюцией или градуированной инволюцией.
Отражение через тождество поднимается до псевдоскаляра .
