The parity-check matrix has rank , so its kernel has dimension and size ; see linear code. Its columns are precisely the seven distinct nonzero vectors of . Thus no weight-one or weight-two word is in the kernel, while three dependent columns give a weight-three word. Hence .
The normal linear model is with . Full column rank gives
With hat matrix , the th regression leverage is . Since and is an orthogonal projection,
High-leverage observations can move their own fitted values strongly and may exert disproportionate influence; residual size alone can therefore conceal them.
With , and , , induction gives . Matrix multiplication gives ; monotonicity in places it strictly between the adjacent convergents.
Choose a basis of , extend it to a basis of , and extend again to a basis of by adding . Define
Every member of the full basis lies in or , so the sum of vector subspaces is . If , express it in both displayed bases. Uniqueness of the coordinates in the full basis forces its and coefficients to vanish. Thus . The reverse inclusion is built into the construction, proving . This is a subspace supplement with a prescribed intersection.
For the matrix example, let
The skew-symmetric matrices are exactly , and the traceless matrices form . A suitable answer is
The matrix trace of is , so . Every real matrix has the decomposition
whose first term lies in and second in . Therefore , as required.
An elementary row operation is one of three operations: interchange two rows, multiply one row by a nonzero scalar, or add a scalar multiple of one row to a different row. Each operation is reversed by another operation of the same kind.
Performing such an operation on an matrix is equivalent to left multiplication by the elementary matrix obtained by applying that operation to the identity matrix. Each elementary matrix is invertible, with inverse corresponding to the reverse operation. Thus a sequence of operations gives
For square matrices, if were invertible, then would have inverse . Hence if is singular, must be singular as well. In fact the two are invertible together, because gives the converse.
Suppose . For eigenvectors with distinct real eigenvalues, symmetry gives
Thus , and the eigenvectors are orthogonal. Divide each by its nonzero Euclidean norm to obtain an orthonormal basis. The matrix having these normalized columns satisfies , so it is an orthogonal matrix and . As in part (a),
This proves the needed orthogonal diagonalization from symmetry and distinct eigenvalues, without invoking an unproved spectral theorem.
For the given symmetric matrix, is an eigenvector with eigenvalue , and is an eigenvector with eigenvalue . Normalize them to obtain
Take the real cube roots of the two diagonal entries and transform back:
It is a real symmetric matrix, and because . Direct multiplication also gives and then .
For , both reduced forms are , so . At , the reduced column echelon form is the transpose of the reduced row echelon form of , giving
For example, followed by , using the updated second column, produces the displayed directly. Its third column is zero. The two matrices differ, so (C) is true exactly when . Taking a transpose exchanges the kind of reduction, but also replaces the original by ; it does not generally identify the two reduced forms of itself.
A system of linear equations is solvable exactly when . If is one solution, then
so its solution set is , a translate of the kernel of a linear map.
For , the matrix is an invertible matrix, and
Every is in the image of a linear map and has exactly one preimage. For , its first two columns span the image of a linear map, while the corresponding homogeneous linear system gives the kernel of a linear map:
The prescribed satisfies the displayed condition precisely when . If , it lies outside the image of a linear map and there is no solution. If , it lies in the image of a linear map, and the nonzero kernel of a linear map supplies infinitely many solutions.
Put and use the orthonormal basis from iii. The columns of the given matrix give
Consequently
The images of are therefore , again an orthonormal basis. By i, is an orthogonal transformation. Its matrix in this orthonormal basis is
For the given matrix , the characteristic polynomial is
For , the eigenvector equation gives ; for , it gives . Thus the eigenvalues and their corresponding eigenspaces are
For any eigenvector with eigenvalue , the vector-valued function satisfies , since its derivative is . The two displayed eigenvectors are linearly independent, so the general solution of the linear system of ordinary differential equations is
Suppose a line through meets each . Its intersection with is different from , so lies in . A nonzero direction vector for must therefore satisfy
A square matrix admitting a nonzero vector with has zero determinant. Expanding gives
Thus the necessary condition is
The condition is not sufficient. Take , which is on none of the three original lines. It satisfies the condition, since . The three plane equations become
Their common intersection is the single line . Any proposed line through meeting all three original lines would have to be this . But never meets : their second and third coordinates differ. The zero determinant guarantees a common direction for the three planes; it does not guarantee the required intersections. This is a parallel obstruction to a transversal of three skew lines.
If , every has the decomposition
whose first term belongs to and second to . Their intersection is zero by ii, so is a direct sum. Choosing bases of the two eigenspaces gives a diagonal matrix with entries and .
Since while , we have . Thus is , , or . Reordering the basis gives exactly
For , is point inversion through the origin. For , it fixes the plane pointwise and reverses the complementary line : if in this direct sum, then . For , it fixes the line pointwise and reverses the complementary plane .
These are instances of oblique symmetry of complementary subspaces, allowing oblique eigenspaces. They are a Euclidean reflection in a hyperplane and a rotation in three dimensions through about a line, respectively, when the two eigenspaces are perpendicular. The hypotheses do not require an orthogonal transformation or an orthonormal basis, so that additional metric property cannot be inferred just from the displayed diagonal forms.
Let . Choose a unit vector perpendicular to , and put . The cross product identities show that is an orthonormal basis with positive orientation: , so
Thus the matrix with these columns belongs to the special orthogonal group and satisfies . For any , the element sends to . Therefore the group action on the unit sphere is transitive.
For , the defining identity gives
Thus an orthogonal transformation preserves the Euclidean norm and sends the unit sphere to itself. Restricting the given group action to this invariant set preserves both action axioms.
If , the first column of is . The other columns are unit vectors perpendicular to it, so the first row is also . Hence with and . Conversely, every such matrix lies in and fixes . Since every element of the special orthogonal group in two dimensions has the planar rotation matrix form, the stabilizer subgroup is
Geometrically these are exactly the rotations in three dimensions about the first coordinate axis.
For vectors , the scalar product, cross product and scalar triple product are respectively
Expanding the dot product gives
Interchanging and changes the sign of their cross product, so its dot product with is also zero. Thus the cross product is orthogonal to both vectors, including when it is the zero vector.
The displayed scalar triple product is a determinant. A square matrix has nonzero determinant exactly when its rows are linearly independent. Hence
A real square matrix is an orthogonal matrix when
Here is the transpose and the identity matrix; equivalently, its columns form an orthonormal basis. If this holds, the squared Euclidean norm obeys
so the linear transformation preserves length.
Conversely, suppose for every vector . Put , a symmetric matrix. Then for every vector. Taking , the standard basis vectors, gives . Taking for gives . Thus , proving that the linear transformation preserves length if and only if is an orthogonal matrix.
Choose the first orthonormal basis vector to be . If is not parallel to , choose along ; otherwise choose any unit vector orthogonal to . Complete to an orthonormal basis with . The matrix with rows is an orthogonal matrix, and expressing the three unit vectors in this basis gives
The last two components of have polar coordinates of the displayed form; we may choose . If they vanish, is arbitrary.
An orthogonal transformation preserves dot products. Taking dot products with , and then using the unit Euclidean norms, gives
The remaining dot product gives
An orthogonal matrix has determinant , so it preserves the absolute scalar triple product. In the new coordinates this scalar triple product is . Consequently
Taking the nonnegative square root proves
No division by or was used, so the proof includes parallel vectors. Equivalently, the expression under the square root is the Gram determinant of the three unit vectors.