Differentiability at means that there is a linear map with
This map is the total derivative . In the Frobenius norm, , by the Cauchy-Schwarz inequality applied to matrix entries. Expanding with the order of all factors preserved gives
The remainder after the terms linear in has norm at most . Hence
For , the Neumann series converges absolutely in the finite-dimensional space of matrices. Multiplying its partial sums by and passing to the limit shows that it is . Its remainder after has norm at most , proving the required expansion.
If is an invertible matrix and , then is an invertible matrix. Thus the general linear group is an open subset of the matrix space. The preceding expansion also gives
Apply the chain rule to , using the cubic total derivative at and this total derivative of inversion:
The three terms generally cannot be combined by commuting and .
An invertible matrix is exactly an ordered basis of its column space. The first column has choices. After independent columns have been chosen, their span has elements, so the next column has choices. Therefore
A real square QR factorization is with and upper triangular. For an invertible matrix it can be made unique by requiring positive diagonal entries of .
If is orthogonal, then is orthogonal as well. An orthogonal upper triangular matrix is diagonal with entries : its first column has just its first entry, which must have modulus one, and orthogonality then zeros the rest of the first row; repeat inductively on the lower block. Thus
and under the positive-diagonal convention , .
There are choices for the translation. Choose the columns of an invertible matrix successively: the first is any nonzero column, the second avoids its span, and at stage one avoids a -dimensional span of size . Consequently
The successive linear independence conditions are exactly the criterion that the columns form a basis.
Let be nonzero. If the columns were linearly dependent over the rational numbers, then for some . Applying once more would give
so . Since , this forces , impossible in . Thus the two columns are linearly independent, and the square matrix
is an invertible matrix.
Regard as a matrix over the rational numbers. Part (a)(ii), with , gives its characteristic polynomial . Therefore, writing for the imaginary unit,
The matrix is not zero: otherwise would have noninteger diagonal entries. It consequently has rank of a matrix one over the fraction field of the Gaussian integers.
By part (b)(i), is a euclidean domain, hence a principal ideal domain, so apply Smith normal form. There exist such that
Indeed, invertible multiplication preserves rank of a matrix, so exactly one diagonal entry is nonzero. For , multiplication on the right gives . Since is an invertible matrix,
The Smith normal form supplies a kernel basis lemma ensures that the null vector is a column of an invertible matrix over ; an arbitrary nonzero solution over would not itself establish that requirement.
Over a principal ideal domain , an -by- matrix is in Smith normal form if all entries off the main diagonal vanish and its nonzero diagonal entries occur first and satisfy
All remaining diagonal entries are zero. The zero matrix is allowed, with . For an arbitrary matrix , the Smith normal form theorem gives invertible matrices and with
where the right side is interpreted as a rectangular diagonal matrix when necessary. The are determined up to multiplication by units. Positivity can be required over , but is not a condition over the Gaussian integers.
Use the cross-ratio convention compatible with the permutation identities in this paper. Represent a projective point by a nonzero vector , and write . Define
The denominator is nonzero because the four projective points are distinct. Rescaling any one representative multiplies numerator and denominator by the same nonzero scalar, so the definition is independent of the chosen homogeneous coordinates. In finite affine coordinates it reads
with the point at infinity of the complex projective line handled by the homogeneous formula.
A projective transformation is represented by an invertible matrix . Since , the two factors of in the numerator cancel the two in the denominator. Therefore every projective transformation preserves this cross-ratio. This also shows that the formula descends from matrices to the projective linear group, whose representatives differ by a nonzero common scalar.
If a square matrix is an invertible matrix, multiplicativity of the determinant gives
so .
Conversely, suppose . Use Gaussian elimination to reduce to row echelon form . Each elementary row operation multiplies the determinant by a nonzero factor, so . If this square matrix had fewer than pivots, its row echelon form would have a zero row and hence zero determinant, a contradiction. Therefore it has a pivot in every row and column, and further elementary row operations reduce it to .
Each elementary row operation is multiplication on the left by an invertible matrix, its inverse being the reverse operation. Thus implies , a product of invertible matrices. Hence
The printed word “eigenvalues” must read “eigenvectors”: eigenvalues are real numbers, whereas a basis of consists of vectors. The intended assertion is
This wording error is present in the original scan.[ref]
If for an invertible matrix , write for its columns. The matrix identity says . The columns of an invertible matrix are a basis, hence they give the required basis of eigenvectors.
Conversely, put a basis of real eigenvectors into the columns of , with corresponding eigenvalues . The basis property makes an invertible matrix. The equations give , so . This is precisely diagonalizability over the real numbers.
Apply the elementary row operation , which preserves the determinant. Expanding along the new first row gives
A square matrix is an invertible matrix exactly when its determinant is nonzero. Therefore
are precisely the three values making a singular matrix. They also have direct explanations: at the second row is zero, at the first two rows coincide, and at the last two columns coincide.
Suppose an invertible matrix has two LU factorizations, , with unit lower triangular matrices and upper triangular matrices. All four factors are invertible matrices, since their square products are invertible. Multiplication by the appropriate inverse matrices gives
By the supplied closure properties, the left side is a unit lower triangular matrix and the right side is an upper triangular matrix. A matrix of both types is diagonal; its diagonal entries are all one. Thus both sides are the identity matrix, whence
Qualification of the printed wording: this establishes uniqueness if the specified LU factorization exists. Invertibility alone does not guarantee an unpivoted LU factorization. For example is invertible, but in a product , the zero top-left entry forces , making the bottom-left entry as well, contrary to the required value one. A permutation matrix is needed in general, as in PLU factorization.
Use multiplicativity of the determinant and the determinant criterion for an invertible matrix:
Neither factor can therefore be zero, so both matrices are nonsingular. The determinant of a triangular matrix is the product of its diagonal entries:
Each product is nonzero, forcing every diagonal factor to be nonzero. These explicitly stated determinant properties justify both conclusions.
The requested order is . To obtain this order directly, put the transposes of the two eigenvectors in the rows of , using the fact that is symmetric:
Then , so is an invertible matrix, with
Multiplication gives , since and . Multiplying by proves the required diagonalization. Putting the eigenvectors in columns would instead give the equally standard order , so the convention must be checked rather than copied mechanically.
Rearrange the identity into
Taking determinants gives . Hence , so is an invertible matrix, with . This uses that the matrices are finite and square: a right inverse then implies a two-sided inverse. Applying the identity to a vector in the kernel without first establishing commutation would not justify cancelling an on the wrong side. The argument is a case of invertibility forced by a polynomial product identity.
The matrix is an invertible matrix. Indeed, on the line spanned by it has eigenvalue , and on it agrees with the positive-definite restriction of . Therefore the full Newton step is well defined and gives
This is the unique stationary point because is an invertible matrix. The algebra applies to every starting point, but it does not make the answer a minimum: for it is the saddle point just classified, and for it is a maximum. A safeguarded minimization algorithm that replaces an indefinite matrix used as its Hessian matrix or damps the step need not take this exact step; the assertion concerns the ordinary full Newton step formula.
Apply Gaussian elimination to the supplied nonsymmetric matrix,
The first pivot element is , with elimination multiplier . Perform , giving
The second pivot element is , with elimination multiplier . Perform , then use the third pivot element and elimination multiplier to perform . The LU factorization is
Here is a unit lower triangular matrix, hence an invertible matrix, and is an upper triangular matrix. No row interchange is needed: all three pivot elements used in elimination are nonzero. The final diagonal entry is zero, with an entirely zero last row; there is no further division by it. The three nonzero rows of are linearly independent, so the matrix rank is and is a singular matrix. Direct matrix multiplication gives .
Since is an invertible matrix, is equivalent to . The last nontrivial row gives ; the second gives ; and the first gives , so . A basis of the null space is therefore
Its single basis vector has Euclidean norm , so the unit null space basis vector is .
The pivot elements of lie in columns . Take these columns from the original matrix to obtain a basis of its column space:
The fourth column is minus the sum of these three columns, and the leading three-by-three matrix minor has nonzero determinant , confirming linear independence.
Elementary row operations preserve the row space. Thus the nonzero rows of give a basis of the row space of :
These basis vectors need not have unit Euclidean norm or be orthogonal. Their Euclidean norms are , respectively; the three column basis vectors have Euclidean norms .