For complementary vector subspaces of a real vector space, the rule is a well-defined linear map satisfying . It fixes pointwise and reverses . In a basis formed by adjoining bases of and , its matrix is . Conversely every real linear map with has this form, with and , as follows from .
In a Euclidean space, such a linear map is an orthogonal transformation if and only if and are perpendicular. Necessity follows from ; sufficiency follows by expanding the squared Euclidean norm of . In three dimensions, a fixed plane with reversed complementary line is a possibly oblique reflection, and a fixed line with reversed complementary plane is a possibly oblique axial symmetry. Their diagonal forms alone do not imply a Euclidean reflection in a hyperplane or a Euclidean half-turn.
Articles by others on the same topic
There are currently no matching articles.