For , finite fixed points obey
with the point at infinity included in the usual way when appropriate. The fundamental theorem of algebra on the Riemann sphere gives at least one fixed point. Unless is the identity, the equation is nonzero of degree at most two, so there are one or two distinct fixed points.
Let be a primitive th root of unity. For every ,
has order , and these transformations are distinct as varies.
Projectivising matrices is a homomorphism. Thus in implies in the Möbius group.
The converse as stated is false because matrix representatives may be rescaled: and define the same Möbius transformation, while neither nor is conjugate to (their traces differ).
Invertible matrices are closed under multiplication, contain , have associative multiplication, and have inverses by the adjugate formula over the field . The first column can be any nonzero vector and the second any vector outside its span, so
For , the matrix has order three. There is no element of order six: , whose element orders are .
For , is a proper normal subgroup. For , the order-three subgroup in the copy of is proper and normal.
In , take
where is the subgroup of order five. This semidirect product has order and is nonabelian because a nontrivial diagonal element does not commute with translations.
The Leibniz definition is
The adjugate is the transpose of the cofactor matrix. Cofactor expansion gives
For the displayed tridiagonal matrix, expansion along the last row gives , with . Induction yields
A Jordan block is , where has ones on the superdiagonal and zeros elsewhere. Since for , Taylor expansion gives
The Jordan normal form is the block-diagonal matrix, unique up to block order, to which is similar and whose blocks are Jordan blocks.
A block of size at least two for eigenvalue contributes a generalized eigenvector in . Thus the displayed equality for every is equivalent to every block having size one, which is diagonalizability.
The transpose of each Jordan block is similar to it by reversing its basis. Hence has the same Jordan form as .
Write . Let be block diagonal with the reversal matrix on each Jordan block. Both and are symmetric and is invertible. Therefore
where are symmetric and is nonsingular.
The matrix is antisymmetric, so the value is zero. For a common candidate , the column-player inequalities are :
The first three imply , hence and . Normalization gives
Indeed , and antisymmetry gives the corresponding row inequalities.
If were a nontrivial invariant decomposition, each restricted minimal polynomial would be a power of of degree at most . Their least common multiple is the minimal polynomial of , contradicting its degree .
Since has degree , has a cyclic vector . Put . Then for . In this basis the matrix is the companion matrix with ones immediately below the diagonal and last column
obtained by expanding .
On the closed class, the transition matrix is
Its stationary distribution is . The class is irreducible and aperiodic because of its self-loops, while the other class is transient and enters it almost surely. Hence
The symmetric bilinear form associated with a real quadratic form is obtained by polarization identity:
In coordinates , replacing by its symmetric part does not change , and the formula gives ; this proves existence. A symmetric form is positive semidefinite when for every , and positive definite when the inequality is strict for every .
The diagonalization theorem for real quadratic forms says that some basis puts any symmetric form into
with further zero coordinates. Sylvester's law of inertia says that is independent of the diagonalizing basis. To prove this, let be the span of the positive coordinate vectors and let be the span of the negative and zero vectors. If is positive definite for another diagonalization and , then
so the two spaces intersect nontrivially. A vector in the intersection would have both positive and nonpositive square, a contradiction. Thus ; symmetry gives . Applying the same argument to gives , and then .
For the nondegenerate form on , write its inertia as , so . The restriction vanishes identically on : polarization gives for . Projection of to the positive coordinate space is injective, since a vector with zero positive projection cannot be isotropic unless it is zero. Hence ; projection to the negative space likewise gives . Therefore .
The matrix of is . If , it has rank one and inertia , hence signature one; if , its rank and signature are zero. The coefficientwise product has matrix , where , so it has the same rank-one conclusion when and is zero otherwise.
Finally, diagonalization writes every positive semidefinite form as a sum of squares, say and . Bilinearity of coefficientwise multiplication gives
a sum of positive semidefinite rank-at-most-one forms. Thus is positive semidefinite.
Write , where conditionally and . Then
The law of large numbers sends the matrix to
while the vector tends to zero, proving consistency. The central limit theorem and Slutsky's theorem give
Similarly, with and ,
These conclusions require the displayed matrices to be finite and nonsingular.
Assume first that . Since ,
and for ,
The least-squares affine-regression coefficients are therefore
The minimum is
where
This matrix is symmetric and positive semidefinite. If , then , one may take and arbitrary , and the minimum is , corresponding to .
For a positive semidefinite matrix, the sum of the eigenvalues is its trace. Thus
If and , then and
Hence is convex.
Equality of the mixed derivatives gives
For a fundamental matrix solution this is equivalent to the zero-curvature condition
Within each degenerate unperturbed eigenspace of fixed , the perturbation has matrix
Its eigenvectors are and , with first-order shifts and . Thus degenerate perturbation theory gives exactly the states and energies found in part (i); again, all higher corrections vanish because the perturbation commutes with the second-oscillator Hamiltonian and is exactly diagonalized within each degenerate block.
Set
The integral equation becomes
Evaluating it at the three delta functions gives
Thus
For , all three Green-function terms are proportional to . Hence
Now define , so that . If denotes the matrix multiplying , direct evaluation gives
The displayed algebraic equation is therefore exactly the condition that the finite-dimensional scattering system become singular. Its solutions are poles of the analytically continued scattering amplitude.
To see the imaginary-axis poles directly, write with . When , the equation reduces to
and its nonzero root is , or
This is the bound state of the coincident potential . When , the three centres decouple and the roots approach
with exponentially small splitting. A pole at has energy and an exponentially decaying wavefunction, so these upper imaginary-axis singularities represent bound states.
Starting with , suppose columns have already been reduced to tridiagonal form. Let be the part of column in rows . A Householder reflection on these coordinates can map to . Extend it by the identity on the first coordinates and call the resulting orthogonal matrix .
The update
zeros every entry below row in column . Because it is an orthogonal similarity, it preserves eigenvalues; because the same transformation is applied on both sides, it preserves symmetry and zeros the corresponding row entries without disturbing earlier columns. After such steps,
is symmetric and tridiagonal and has the same eigenvalues as . Every reflector is obtained from finitely many matrix entries using finitely many arithmetic operations and a square root, so this is a finite construction.
In the basis, the transformations whose columns are the new basis vectors are
Thus is a rotation through , while is a real orthogonal reflection, equivalently a rotation with one basis-vector phase reversed.
For any real orthogonal matrix with columns ,
Applying this to and and normalizing proves
, so and . Unitary conjugation preserves Hermiticity, trace, and determinant; every traceless Hermitian matrix is with real , and .
A Jordan form is block diagonal with blocks having on the diagonal and ones on the superdiagonal. Over every square matrix is similar to one, uniquely up to permutation of blocks.
The shift matrix obeys and . Evaluating at gives
The transition matrix is symmetric with stationary projector and one other eigenvalue . Therefore, starting at BBC1, the probability of BBC2 after steps is .