From part (f), . To obtain , choose the Householder transformation that reverses only the third coordinate:Indeed , so , and direct matrix multiplication gives . The alternative vector produces the same matrix. Geometrically reflects in the plane , completing the reversal of all three coordinates.
The symmetric and antisymmetric parts of a matrix areIndeed , while the transpose identities give and . Thus is a symmetric matrix and is an antisymmetric matrix. The decomposition is also unique: a matrix that is both symmetric and antisymmetric must equal its own negative and hence vanish.
Move the right-hand side to the left. The resulting homogeneous linear system has coefficient matrixA nonzero solution exists exactly when its determinant vanishes:Here the upper-left entry of the original matrix is , as verified in the original PDF; that entry is corrupted in the local OCR.
By the definitions of matrix multiplication, transpose and trace,Relabelling the summed indices givesthe Frobenius inner product of these real matrices.
An eigenvalue makes the shifted matrix singular, so its characteristic polynomial vanishes:Thus the characteristic equation is
Commuting inverse. Assume is invertible, as required by the displayed inverse. Multiplication givesMultiply on both sides by to obtainMore generally, a matrix commuting with an invertible matrix also commutes with its inverse.
Orthogonality. For a real skew-symmetric matrix , . If for a real vector , multiply by to obtain . Thus is invertible; the same argument applies to . For the Cayley transform of a real skew-symmetric matrix,The factors commute by the first result, soTherefore
Eigenvector mapping. If , then . ConsequentlyThe denominator cannot vanish. In fact the eigenvalues of a real skew-symmetric matrix are purely imaginary: is the negative of its complex conjugate, so . For the corresponding eigenvalue of is , consistent with orthogonality.
Spectrum in three dimensions. Let be any real three-by-three orthogonal matrix. For a complex eigenvector , implies . A real cubic characteristic polynomial has a real root, necessarily or . Any nonreal roots form a complex-conjugate pair of unit modulus. If all three roots are real, two of the three signs agree and can be grouped as a pair with angle zero or . Thus in every case the eigenvalues can be writtenTheir product is .
Determinant and fixed axis for the Cayley transform. Since ,so . This determinant argument works in every dimension. In dimension three the preceding spectrum result then guarantees an eigenvector with . Set . The fixed-vector equation says , so and . HenceThis is the axis fixed by the three-dimensional rotation. Equivalently, a real odd-dimensional skew-symmetric matrix has zero determinant, because .
Under an orthogonal Cartesian change of axes , the vector components transform as , while and . Substitution givesThis is the rank-two Cartesian tensor transformation law. The nonzero assumption ensures that the denominator is positive. In matrix form is the orthogonal projection matrix onto the orthogonal complement of .
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2003 Paper 2 8 Solution Created 2026-10-18 Updated 2026-10-20
A group is a nonempty set with a closed binary operation that is associative, has an identity element, and gives every element an inverse element. A subgroup is a subset that is itself a group under the inherited operation. The left coset of represented by is ; right cosets are defined analogously. Left cosets partition a finite group, and is a bijection from to . Therefore , proving Lagrange's theorem and the required divisibility.
For the given matrices, put and . Since , the generators commute; , , and the generated elements areThey are distinct, and , with exponents reduced modulo four and two. The Cayley table isThe table proves closure and identifies as the identity. The inverse element of is , and associativity follows from matrix multiplication. Thus this is the direct product of cyclic groups of orders four and two, an abelian group of order eight.
Its subgroups are exactlyTo see the list is complete, Lagrange's theorem leaves orders one, two, four and eight. There are exactly three elements of order two, giving the three order-two subgroups. An order-four subgroup containing an element of order four must be one of the two cyclic groups displayed; without such an element it must be the four-element set of elements whose squares are . This is the enumeration in subgroups of C4 times C2.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2008 Paper 1 5 Solution Created 2026-10-18 Updated 2026-10-20
A complex matrix is diagonalizable exactly when it has a basis of three linearly independent eigenvectors. If all its eigenvalues are one, a diagonalization would have and hence . Therefore the specified matrix, which is not a scalar identity matrix, is not diagonalizable.
For the displayed real symmetric matrix, choose the orthogonal matrixIts columns form an orthonormal eigenbasis, andIn the orthogonal coordinates , , the quadric surface has equation . It is a prolate spheroid, with long semiaxis one in direction and two equal short semiaxes . The figure gives its principal-axis sketch.
The diagonalized quadric is a prolate spheroid with semiaxes one and one over the square root of three
. Details. A diagonalizable matrix can certainly have exactly two distinct eigenvalues: is already diagonal and has an eigenbasis despite its repeated eigenvalue.
Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge 2008 Paper 2 10 Solution Created 2026-10-18 Updated 2026-10-20
Let . Since and , its powers define the representation of the cyclic group of order four:For the quaternion group, denote the three displayed complex matrices by . Direct multiplication gives , , , and . Together with the images of , these are exactly the quaternion multiplication relations, proving that the assignment defines a group homomorphism into .
Use the realification of a complex representation: for , define . It acts on grouped real and imaginary coordinates and satisfies . The explicit generators areSet and to specify all eight elements.
For an invertible real , the equivalent representation obeys . The trace is invariant under similarity, so their characters agree. Explicitly,
The Klein four-group has multiplication tableSince it is abelian, every conjugacy class is a singleton: . An irreducible representation is a nonzero representation whose only invariant subspaces are zero and the whole representation space. For a finite group, the number of inequivalent complex irreducible representations equals the number of conjugacy classes, so there are four here.
A one-dimensional representation sends the involutions to signs, independently. All four choices areThey are distinct irreducible representations, exhausting the four possibilities. The character table of the Klein four-group isThe specified diagonal matrices obey , commute, and satisfy , so the group relations prove that is a group representation. Its coordinate axes are invariant lines carrying respectively . ThereforeThe trivial representation is absent. If denotes the four-row character matrix above, direct row products give . This verifies character orthogonality:The character of is , whose inner products with the four rows are , independently confirming the decomposition. All these irreducibles are real as well: commuting real involutions can be simultaneously diagonalized into their real sign eigenspaces.
A group homomorphism preserves multiplication: . Its group kernel is a subgroup, and for . Thus , proving it is a normal subgroup. The map is well-defined because two representatives of a coset differ by an element of . It is a homomorphism, has trivial kernel, and is surjective when is. This proves the first isomorphism theorem, . This proof does not use finiteness and therefore also applies below.
The identity matrix belongs to . The determinant is multiplicative, giving closure, and matrix multiplication is associative. The inverse of a determinant-one matrix is , also of determinant one. Thus this special linear group is a group.
The fractional linear maps must be interpreted on the Riemann sphere, including infinity: a finite pole is sent to infinity and infinity is sent to when . As literal everywhere-defined maps of the complex plane they would not form the asserted group. Substitution into the two rational expressions gives . Matrix identities and inverses therefore give the identity and inverse transformations, proving that the Möbius group is a group and that is a surjective homomorphism.
For to be the identity, on all finite points where defined. Hence is the zero polynomial, so , , and from the determinant. ThereforeThe kernel is central and hence normal. In particular is not an isomorphism, since and represent the same transformation. The quotient is the projective special linear group in this complex two-dimensional case.
An eigenvalue and associated eigenvector satisfy . The characteristic polynomial has degree equal to the positive matrix size. The fundamental theorem of algebra gives a complex root, at which is singular and therefore has a nontrivial kernel. Hence every nonempty square complex matrix has an eigenvector.
A nondiagonalizable example is the Jordan block : its only eigenvalue is zero, and its eigenspace is one-dimensional. A Hermitian matrix satisfies and has an orthonormal eigenbasis by the spectral theorem. One proof finds an eigenvector, notes that its orthogonal complement is invariant, and repeats. Its eigenvalues are real becausewhere .
With all eigenvalues negative, is invertible. Its same complete eigenbasis givesSome powered eigenvalues can coincide, but the original eigenvectors remain a complete basis. Writing , the convergent matrix exponential series givesThus the matrix inverse from a decaying matrix exponential isThe identity printed in the original PDF is missing a minus sign. Already for the one-by-one matrix its integral is , whereas its inverse is . Equivalently, integrating gives , confirming the correction without diagonalization.
The trace of a square matrix is . Expanding a product and interchanging its finite sums givesHence every commutator has trace zero. Taking the trace of gives . Over the complex numbers, with , this forcesFor that value, choose , or any commuting pair. For every nonzero the trace contradiction proves nonexistence. The finite matrix size is essential to this trace argument.
A square matrix is invertible precisely when its determinant is nonzero. Equivalent conditions are full rank, a trivial kernel, and zero not being an eigenvalue.
For a lower triangular matrix, the first row has only the possibly nonzero entry . A Laplace expansion along that row gives , where the remaining principal submatrix is again lower triangular. Induction from the one-by-one case yieldsThis proof includes singular triangular matrices; it makes no division by diagonal entries.
For the diagonal example, put . Its determinant is , and invertibility requires . Write the complex number as with . A nonzero purely imaginary determinant requires . ThusEquivalently ; the angle is understood modulo .
For skew-Hermitian matrices, reversing products under the conjugate transpose gives . ConsequentlyThe latter condition is vanishing of the anticommutator. A universal choice for the last request isIndeed , so the commutator of two skew-Hermitian matrices is skew-Hermitian.
Over the chosen scalar field, an -by- matrix is diagonalizable if and only if it has linearly independent eigenvectors. Repeated eigenvalues are allowed provided all eigenspaces together supply a basis.
For the given matrix, the characteristic polynomial is . One may chooseTaking these as columns gives the change of basisThis is not a rotation matrix. The PDF's terminology cannot hold literally: is real and nonsymmetric, whereas a real matrix orthogonally similar to a real diagonal matrix is symmetric. Also , so scaling these eigenvectors cannot make an orthonormal rotation basis. A general invertible similarity is the valid construction.
Let . Inserting between successive factors gives , and henceTo write , match its action on the two eigenspaces:Solving gives the matrix powers for a diagonalizable matrix with two eigenvaluesThe cases recover , respectively. Equivalently the spectral projections of a diagonalizable matrix are and , and the power multiplies them by and .
Let be the linearly independent eigenvectors, and form . This matrix is invertible and , where . Hencewhich proves diagonalizability.
If , then are linearly independent eigenvectors of with the same eigenvalues. Explicitly, with ,Thus matrix similarity preserves diagonalizability.
Using part (i) and in the Cayley transform with argument givesThe factors commute because and are polynomials in the same matrix, and an invertible commuting matrix also commutes with the other factor's matrix inverse. Both inverses exist by part (ii). Thus is unitary.
A Hermitian matrix satisfies , where denotes the conjugate transpose. For a nonzero eigenvector with , the scalar equals its own complex conjugate, andThus every Hermitian eigenvalue is real.
A unitary matrix satisfies . If , preservation of the squared norm givesSince , . These statements concern complex eigenvectors, even when the matrix entries happen to be real.
The matrix is , where . Along , its eigenvalue is . Every vector perpendicular to has eigenvalue two. For example, use the orthonormal basisThe principal-coordinate equation isIt depends only on distance from the axis and position along it, so every rotation about that axis preserves the surface. ThereforeThis is a one-sheet hyperboloid with waist radius . The repeated positive eigenvalue makes the two transverse principal axes nonunique.
