These observations allow one to formalize the definition of reflection: a reflection is an involutive isometry of an Euclidean space whose set of fixed points is an affine subspace of codimension 1.
这些

许我们形式化反射的定义: 反射是欧
里得空间的对
等距同构,它的不动

是余维度为 1 的仿射子空间。


是它在这个受
空
论的广阔领域,我们称之为


