В математике , А отражение (также пишется отражение ) [1] является отображением из евклидова пространства к себе , что является изометрией с гиперплоскостью в виде набора фиксированных точек ; этот набор называется осью (в измерении 2) или плоскостью (в измерении 3) отражения. Изображение фигуры в отражении - это ее зеркальное отражение в оси или плоскости отражения. Например, зеркальное отображение маленькой латинской буквы p для отражения относительно вертикальной оси будет выглядеть как q. Его изображение при отражении от горизонтальной оси будет иметь вид b . Отражение - это инволюция : при двойном применении каждая точка возвращается в исходное положение, а каждый геометрический объект возвращается в исходное состояние.
Термин отражение иногда используется для более широкого класса отображений из евклидова пространства в себя, а именно для нетождественных изометрий, которые являются инволюциями. Такие изометрии имеют набор неподвижных точек («зеркало»), которое является аффинным подпространством , но, возможно, меньше, чем гиперплоскость. Например, отражение через точку - это инволютивная изометрия только с одной фиксированной точкой; изображение буквы p под ним будет выглядеть как d . Эта операция также известна как центральная инверсия ( Coxeter 1969 , §7.2) и показывает евклидово пространство как симметричное пространство . В евклидовом векторном пространстве отражение в точке, расположенной в начале координат, совпадает с векторным отрицанием. Другие примеры включают отражения в линии в трехмерном пространстве. Однако обычно неквалифицированное использование термина «отражение» означает отражение в гиперплоскости .
Фигура, которая не меняется при отражении, называется отражательной симметрией .
Некоторые математики используют слово « переворот » как синоним слова «отражение». [2] [3] [4]
Строительство
В плоской (или, соответственно, трехмерной) геометрии, чтобы найти отражение точки, опустите перпендикуляр от точки к линии (плоскости), используемой для отражения, и вытяните его на такое же расстояние с другой стороны. Чтобы найти отражение фигуры, отразите каждую точку на рисунке.
Чтобы отразить точку P через линию AB с помощью циркуля и линейки , действуйте следующим образом (см. Рисунок):
- Шаг 1 (красный): построить окружность с центром в точке P и некоторого фиксированного радиуса г , чтобы создать точки А ' и В' на линии АВ , которая будет равноудалена от P .
- Шаг 2 (зеленый): построить окружности с центром в точках A и B и радиусом r . P и Q будут точками пересечения этих двух окружностей.
Точка Q тогда является отражением точки P через линию AB .
Характеристики
Матрица для отражения ортогональная с определителем -1 и собственных значениями -1, 1, 1, ..., 1. произведением двух таких матриц является специальной ортогональной матрицей , которая представляет собой вращение. Каждое вращение является результатом отражения в четном количестве отражений в гиперплоскостях через начало координат, а каждое неправильное вращение является результатом отражения в нечетном числе. Таким образом, отражения порождают ортогональную группу , и этот результат известен как теорема Картана – Дьедонне .
Точно так же евклидова группа , состоящая из всех изометрий евклидова пространства, порождается отражениями в аффинных гиперплоскостях. В общем, группа, порожденная отражениями в аффинных гиперплоскостях, называется группой отражений . Эти конечные группы , сгенерированные таким образом , являются примерами групп Кокстера .
Отражение через линию на плоскости
Отражение через линию через начало координат в двух измерениях можно описать следующей формулой
где обозначает отражаемый вектор, обозначает любой вектор в линии, через которую выполняется отражение, и обозначает скалярное произведение из с участием . Обратите внимание, что приведенная выше формула также может быть записана как
говоря, что отражение через равно 2 раза проекции из на , минус вектор . Отражения в строке имеют собственные значения 1 и -1.
Отражение через гиперплоскость в n измерениях
Учитывая вектор в евклидовом пространстве , Формула для отражения в гиперплоскости через начало координат, ортогональные к, дан кем-то
где обозначает скалярное произведение из с участием . Следует отметить , что второй член в приведенном выше уравнении является лишь в два раза вектор проекции из на . Легко проверить, что
- Ref a ( v ) = - v , если параллельно , а также
- Ref a ( v ) = v , еслиперпендикулярно a .
Используя геометрическое произведение , формула:
Поскольку эти отражения являются изометриями евклидова пространства, фиксирующими начало координат, они могут быть представлены ортогональными матрицами . Ортогональной матрицей, соответствующей указанному выше отражению, является матрица
где обозначает единичная матрица иэто транспонирование . Его записи
где δ ij - символ Кронекера .
Формула отражения в аффинной гиперплоскости не через происхождение
Смотрите также
- Координатные вращения и отражения
- Преобразование домохозяина
- Инверсивная геометрия
- Точечное отражение
- Плоскость вращения
- Отображение отражения
- Группа отражения
- Зеркальное отражение
Заметки
- ^ "Рефлексия" - это архаичное написание
- ^ Чайлдс, Линдси Н. (2009), Конкретное введение в высшую алгебру (3-е изд.), Springer Science & Business Media, стр. 251, ISBN 9780387745275
- ^ Галлиан, Джозеф (2012), Contemporary Abstract Algebra (8-е изд.), Cengage Learning, стр. 32, ISBN 978-1285402734
- ^ Айзекс, И. Мартин (1994), Алгебра: курс для аспирантов , Американское математическое общество, стр. 6, ISBN 9780821847992
Рекомендации
- Кокстер, Гарольд Скотт Макдональд (1969), Введение в геометрию (2-е изд.), Нью-Йорк: John Wiley & Sons , ISBN 978-0-471-50458-0, Руководство по ремонту 0123930
- Попов, В.Л. (2001) [1994], «Отражение» , Энциклопедия математики , EMS Press
- Вайсштейн, Эрик В. «Отражение» . MathWorld .
Внешние ссылки
- Отражение в линии при распутывании узла
- Понимание 2D-отражения и понимания 3D-отражения Роджера Гермундссона, The Wolfram Demonstrations Project .