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 仿射子空间。
生成，部分未经过人工审核，其表达内容亦
代表本软件
观点；若发现问题，欢迎向我们指正。
