Отражение

- движение s n -мерного односвязного пространства постоянной кривизны Х п (т. е. евклидова аффинного пространства Е n, сферы Sn или пространства Лобачевского [img: http://localhost:8080/file/041615-134.jpg]), множество неподвижных точек Г к-рого является п-1 мерной гиперплоскостью. Множество Г наз. зеркалом отображения s; говорят также, что s ость О. относительно Г. Всякое О. однозначно определяется своим зеркалом. Порядок О. в группе всех движений Xn равен 2, то есть [img: http://localhost:8080/file/041615-135.jpg]. Пусть [img: http://localhost:8080/file/041615-136.jpg] и [img: http://localhost:8080/file/041615-137.jpg]. Выбор хв качестве начала координат позволяет отождествить евклидово аффинное пространство Е n с линейным евклидовым пространством Vn его параллельных переносов. Тогда отражение s - линейное ортогональное преобразование пространства Vn, имеющее в нек-ром ортонормированием базисе матрицу [img: http://localhost:8080/file/041615-138.jpg] и наоборот, всякое ортогональное преобразование пространства Vn, имеющее в нек-ром ортонормированием базисе такую матрицу, является О. в Е n. Более общо: линейное преобразование j произвольного векторного пространства Wнад полем kхарактеристики, отличной от 2, наз. линейным отражением, если j2=idW и ранг преобразования 1-j равен 1. В этом случае подпространство W1 неподвижных относительно j векторов имеет в Wкоразмерность 1, а подпространство W-1 собственных векторов с собственным значением -1 имеет размерность 1 и [img: http://localhost:8080/file/041615-139.jpg]. Если a - такая линейная форма на И', что a(w)=0 при [img: http://localhost:8080/file/041615-140.jpg], а [img: http://localhost:8080/file/041615-141.jpg]. - такой элемент, что a (h)=2, то j задается формулой [img: http://localhost:8080/file/041615-142.jpg] Описание О. в произвольном одпосвязном пространстве Xn постоянной кривизны может быть сведено к описанию линейных О. следующим способом. Всякое такое пространство Xn вкладывается в виде гиперповерхности в действительное (n+1)-ыерное векторное пространство Vn+1 таким образом, что движения Xn продолжаются до линейных преобразовании Vn+1, причем в подходящей системе координат в Vn+1 уравнения указанной гиперповерхности записываются следующим образом: [img: http://localhost:8080/file/041615-143.jpg] При этом вложении всякая гиперплоскость в Xn есть пересечение с Xn нек-рого n-мерного подпространства в Vn+1, а всякое О. в X п индуцировано линейным О. в Vn+1. Если в определении линейного О. отказаться от требования j2=idW, то получается более общее понятие псевдоотражения. Если k - поле комплексных чисел, а j - псевдоотражение конечного порядка (не обязательно равного 2), то ф наз. комплексным отражением. Комплексным О. наз. также всякий биголоморфный автоморфизм конечного порядка ограниченной симметрич. области в комплексном пространстве, множество неподвижных точек к-рого имеет комплексную коразмерность 1. См. также Отражений группа.