For , the monotonicity of the logarithm and the uniform distribution give
For the cumulative distribution function is zero. Differentiation gives the probability density function for , and zero elsewhere. The distribution is , with rate . This is inverse transform sampling of an exponential distribution.
For a unitary matrix, , so both defining products for a normal matrix are . The matrix is invertible, hence no eigenvalue is zero. If , then , while part (a)(iii) gives . Therefore , and
Thus all eigenvalues have unit modulus.
For a skew-Hermitian matrix, , so both and equal . It is therefore a normal matrix. On an eigenvector with eigenvalue , part (a)(iii) gives
Thus , and every eigenvalue lies in , including the possible eigenvalue zero.
For a Hermitian matrix, , so and is a normal matrix. If with , part (a)(iii) gives . Since also , we obtain . Thus every eigenvalue is real.
Direct multiplication gives
Take and in the preceding result: has the three distinct eigenvalues and the matrices commute. The common eigenbasis from part (i) gives
Indeed and , and . These equalities directly verify the simultaneous diagonalization.
Let with . Commutation gives
Thus belongs to the eigenspace , with the zero vector allowed. Since has distinct eigenvalues, each eigenspace is one-dimensional. Hence for some scalar . This is the fact that commuting maps preserve eigenspaces.
The standard linear independence theorem for eigenvectors belonging to distinct eigenvalues supplies a basis of eigenvectors of . The preceding argument makes every one an eigenvector of as well. Their column matrix therefore simultaneously diagonalizes and . This is simple spectrum gives simultaneous diagonalization.
For real matrices, this conclusion always holds over ; a real common basis follows when the distinct eigenvalues of are real. Real matrix entries alone do not ensure a real eigenbasis: a quarter-turn of , with , has eigenvalues . The matrices in this question have real spectra, so their common basis is real.
Suppose and for an invertible and diagonal matrices . Since diagonal matrices commute,
Therefore simultaneous diagonalization implies commutation. This argument works over either or and explains why simultaneous diagonalization produces commuting operators.
The characteristic polynomials, in the convention , are
Solving the eigenvalue equations gives the complete eigenspaces
Every nonzero vector in a listed eigenspace is an eigenvector, and these are all the eigenvectors. For , the repeated eigenvalue has a two-dimensional eigenspace; for , all three eigenvalues are simple. The three displayed generating vectors form a basis because their column matrix
has determinant . Thus both matrices are diagonalizable, with diagonal entries for and for in this basis.
Let be the standard basis and define . By linearity,
Thus every linear functional has this form. Its representing vector is unique because evaluating at each gives .
For the prescribed kernel of a linear map, the third listed vector is the first minus the second, so it adds no independent constraint. The first two require
Taking and gives , . Consequently all possible representing vectors are
Conversely, every such vector is perpendicular to each of the three prescribed vectors, so its linear functional vanishes on them. This also includes the zero linear functional.
Write a vector in the domain as . The first and third equations defining the kernel of a linear map imply . Substitution into the second equation then gives
For , this forces , and . Hence
The kernel of a linear map has dimension one, so the rank-nullity theorem gives rank three and proves the assertion about the image of a linear map. Alternatively, the minor formed from columns has determinant , including a nonzero value at .
For , the parameters are free and , . Thus
The third row is the first row minus the second. The image of a linear map is therefore contained in . The first and third columns, and , are linearly independent, so the matrix rank is two and this containment is equality:
This is the sole kernel jump in a parameter-dependent linear map; there is no further exceptional case at .
Apply the triangle inequality to the path from through to :
This is one direction of the reverse triangle inequality. A second application of the triangle inequality, this time through , gives
The resulting four-point triangle inequality follows without any assumptions on coincidences among the four points.
Subtract the two constraints to obtain . The Cauchy-Schwarz inequality gives . Since , division and squaring give the distance bound from two hyperplane constraints
If and , the intersection is empty. If and , the constraints describe the same hyperplane. Its points satisfy , with equality at . The fraction involving is undefined in this case and cannot be used.
If , both equations are satisfied by every when , and otherwise there is no solution. These degenerate cases distinguish an inconsistent constraint from a repeated one.
The Cauchy-Schwarz inequality in is
Here the Euclidean norm is induced by the dot product. If , the result is immediate. If , the squared Euclidean norm of the component of perpendicular to is nonnegative:
Rearrangement proves the Cauchy-Schwarz inequality. Equality holds precisely when and are linearly dependent, including the cases of a zero vector.
Expanding the squared Euclidean norm and using the Cauchy-Schwarz inequality gives
Taking nonnegative square roots gives the triangle inequality. Applying the triangle inequality once more gives
For , the exponent lies in , and . Consequently
The last inequality uses the positive-term power series for . The final bound tends to zero, so the squeeze theorem gives limit .
For sufficiently close to zero, . Apply the mean value theorem to the logarithm between and : there is a point between these endpoints with
As from either side, , so this quotient tends to . The exponential function is continuous, and therefore
The hypotheses of the mean value theorem hold because is continuous and differentiable for , with derivative .

There are unlisted articles, also show them or only show them.