This practice test covers 30 problems across four major domains of university mathematics: Multivariable Calculus, Linear Algebra, Abstract Algebra, and Real Analysis. Each problem requires rigorous reasoning, proof construction, and the application of fundamental theorems. Work through the problems with pen and paper before checking the solutions.
Time limit: 120 minutes (4 minutes per problem)Format: Problem-solving — show all working and proofsMarking: 1 mark per problem, 30 marks totalConditions: Attempt without notes. Write complete, rigorous proofs.After the test: Check the solutions at the bottom. Study the proof techniques for any problems you got wrong.Domain Problems Marks Multivariable Calculus P1–P8 8 Linear Algebra P9–P16 8 Abstract Algebra P17–P23 7 Real Analysis P24–P30 7 Total 30 30
Evaluate the double integral:
∬ D e x 2 d A \iint_D e^{x^2} \, dA ∬ D e x 2 d A
where D D D is the region bounded by y = 0 y = 0 y = 0 , y = x y = x y = x , and x = 1 x = 1 x = 1 .
Solution:
The region D D D is described by 0 ≤ x ≤ 1 0 \leq x \leq 1 0 ≤ x ≤ 1 and 0 ≤ y ≤ x 0 \leq y \leq x 0 ≤ y ≤ x . Since e x 2 e^{x^2} e x 2 has no elementary antiderivative with respect to x x x , we must integrate with respect to y y y first:
∫ 0 1 ∫ 0 x e x 2 d y d x = ∫ 0 1 x e x 2 d x \int_0^1 \int_0^x e^{x^2} \, dy \, dx = \int_0^1 x \, e^{x^2} \, dx ∫ 0 1 ∫ 0 x e x 2 d y d x = ∫ 0 1 x e x 2 d x
Substituting u = x 2 u = x^2 u = x 2 , d u = 2 x d x du = 2x \, dx d u = 2 x d x :
= 1 2 ∫ 0 1 e u d u = 1 2 ( e − 1 ) = \frac{1}{2} \int_0^1 e^u \, du = \frac{1}{2}(e - 1) = 2 1 ∫ 0 1 e u d u = 2 1 ( e − 1 )
medium — 1 mark
Find the directional derivative of f ( x , y , z ) = x 2 y + y z 3 f(x,y,z) = x^2 y + yz^3 f ( x , y , z ) = x 2 y + y z 3 at the point ( 1 , 2 , − 1 ) (1,2,-1) ( 1 , 2 , − 1 ) in the direction of the vector v = 2 i − j + 2 k \mathbf{v} = 2\mathbf{i} - \mathbf{j} + 2\mathbf{k} v = 2 i − j + 2 k .
Solution:
The gradient is:
∇ f = ( 2 x y , x 2 + z 3 , 3 y z 2 ) \nabla f = (2xy, \, x^2 + z^3, \, 3yz^2) ∇ f = ( 2 x y , x 2 + z 3 , 3 y z 2 )
At ( 1 , 2 , − 1 ) (1,2,-1) ( 1 , 2 , − 1 ) :
∇ f ( 1 , 2 , − 1 ) = ( 4 , 1 − 1 , 3 ⋅ 2 ⋅ 1 ) = ( 4 , 0 , 6 ) \nabla f(1,2,-1) = (4, \, 1 - 1, \, 3 \cdot 2 \cdot 1) = (4, 0, 6) ∇ f ( 1 , 2 , − 1 ) = ( 4 , 1 − 1 , 3 ⋅ 2 ⋅ 1 ) = ( 4 , 0 , 6 )
The unit vector in the direction of v \mathbf{v} v is:
v ^ = 1 3 ( 2 , − 1 , 2 ) \hat{\mathbf{v}} = \frac{1}{3}(2, -1, 2) v ^ = 3 1 ( 2 , − 1 , 2 )
The directional derivative is:
D v ^ f = ∇ f ⋅ v ^ = 1 3 ( 8 + 0 + 12 ) = 20 3 D_{\hat{\mathbf{v}}} f = \nabla f \cdot \hat{\mathbf{v}} = \frac{1}{3}(8 + 0 + 12) = \frac{20}{3} D v ^ f = ∇ f ⋅ v ^ = 3 1 ( 8 + 0 + 12 ) = 3 20
medium — 1 mark
Compute the line integral ∫ C F ⋅ d r \int_C \mathbf{F} \cdot d\mathbf{r} ∫ C F ⋅ d r where F = ( y , x , z ) \mathbf{F} = (y, x, z) F = ( y , x , z ) and C C C is the helix r ( t ) = ( cos t , sin t , t ) \mathbf{r}(t) = (\cos t, \sin t, t) r ( t ) = ( cos t , sin t , t ) for 0 ≤ t ≤ 2 π 0 \leq t \leq 2\pi 0 ≤ t ≤ 2 π .
Solution:
r ′ ( t ) = ( − sin t , cos t , 1 ) \mathbf{r}'(t) = (-\sin t, \cos t, 1) r ′ ( t ) = ( − sin t , cos t , 1 ) .
F ( r ( t ) ) = ( sin t , cos t , t ) \mathbf{F}(\mathbf{r}(t)) = (\sin t, \cos t, t) F ( r ( t )) = ( sin t , cos t , t ) .
F ⋅ r ′ = − sin 2 t + cos 2 t + t = cos 2 t + t \mathbf{F} \cdot \mathbf{r}' = -\sin^2 t + \cos^2 t + t = \cos 2t + t F ⋅ r ′ = − sin 2 t + cos 2 t + t = cos 2 t + t
∫ 0 2 π ( cos 2 t + t ) d t = [ sin 2 t 2 + t 2 2 ] 0 2 π = 2 π 2 \int_0^{2\pi} (\cos 2t + t) \, dt = \left[\frac{\sin 2t}{2} + \frac{t^2}{2}\right]_0^{2\pi} = 2\pi^2 ∫ 0 2 π ( cos 2 t + t ) d t = [ 2 s i n 2 t + 2 t 2 ] 0 2 π = 2 π 2
medium — 1 mark
Find the flux of F = ( x , y , z ) \mathbf{F} = (x, y, z) F = ( x , y , z ) across the portion of the sphere x 2 + y 2 + z 2 = 4 x^2 + y^2 + z^2 = 4 x 2 + y 2 + z 2 = 4 lying above the plane z = 1 z = 1 z = 1 .
Solution:
Using the Divergence Theorem on the closed region bounded by the spherical cap and the disk x 2 + y 2 ≤ 3 x^2 + y^2 \leq 3 x 2 + y 2 ≤ 3 at z = 1 z = 1 z = 1 :
∭ V ( ∇ ⋅ F ) d V = ∭ V 3 d V = 3 Vol ( V ) \iiint_V (\nabla \cdot \mathbf{F}) \, dV = \iiint_V 3 \, dV = 3 \, \text{Vol}(V) ∭ V ( ∇ ⋅ F ) d V = ∭ V 3 d V = 3 Vol ( V )
The volume of the spherical cap of height h = 1 h = 1 h = 1 from a sphere of radius R = 2 R = 2 R = 2 :
V cap = π h 2 3 ( 3 R − h ) = π 3 ( 6 − 1 ) = 5 π 3 V_{\text{cap}} = \frac{\pi h^2}{3}(3R - h) = \frac{\pi}{3}(6 - 1) = \frac{5\pi}{3} V cap = 3 π h 2 ( 3 R − h ) = 3 π ( 6 − 1 ) = 3 5 π
The flux through the disk (normal − k -\mathbf{k} − k , z = 1 z = 1 z = 1 ):
∬ disk F ⋅ ( − k ) d A = − ∬ disk 1 d A = − 3 π \iint_{\text{disk}} \mathbf{F} \cdot (-\mathbf{k}) \, dA = -\iint_{\text{disk}} 1 \, dA = -3\pi ∬ disk F ⋅ ( − k ) d A = − ∬ disk 1 d A = − 3 π
Therefore the flux through the spherical cap:
Φ cap = 3 ⋅ 5 π 3 − ( − 3 π ) = 5 π + 3 π = 8 π \Phi_{\text{cap}} = 3 \cdot \frac{5\pi}{3} - (-3\pi) = 5\pi + 3\pi = 8\pi Φ cap = 3 ⋅ 3 5 π − ( − 3 π ) = 5 π + 3 π = 8 π
hard — 1 mark
Use Green’s Theorem to evaluate ∮ C ( x y d x + x 2 d y ) \oint_C (xy \, dx + x^2 \, dy) ∮ C ( x y d x + x 2 d y ) where C C C is the boundary of the region enclosed by y = x y = x y = x and y = x 2 y = x^2 y = x 2 .
Solution:
By Green’s Theorem with P = x y P = xy P = x y , Q = x 2 Q = x^2 Q = x 2 :
∮ C P d x + Q d y = ∬ D ( ∂ Q ∂ x − ∂ P ∂ y ) d A = ∬ D ( 2 x − x ) d A = ∬ D x d A \oint_C P \, dx + Q \, dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dA = \iint_D (2x - x) \, dA = \iint_D x \, dA ∮ C P d x + Q d y = ∬ D ( ∂ x ∂ Q − ∂ y ∂ P ) d A = ∬ D ( 2 x − x ) d A = ∬ D x d A
The region is bounded by y = x 2 y = x^2 y = x 2 (below) and y = x y = x y = x (above), with 0 ≤ x ≤ 1 0 \leq x \leq 1 0 ≤ x ≤ 1 :
∫ 0 1 ∫ x 2 x x d y d x = ∫ 0 1 x ( x − x 2 ) d x = ∫ 0 1 ( x 2 − x 3 ) d x = 1 3 − 1 4 = 1 12 \int_0^1 \int_{x^2}^x x \, dy \, dx = \int_0^1 x(x - x^2) \, dx = \int_0^1 (x^2 - x^3) \, dx = \frac{1}{3} - \frac{1}{4} = \frac{1}{12} ∫ 0 1 ∫ x 2 x x d y d x = ∫ 0 1 x ( x − x 2 ) d x = ∫ 0 1 ( x 2 − x 3 ) d x = 3 1 − 4 1 = 12 1
medium — 1 mark
Verify Stokes’ Theorem for F = ( z , x , y ) \mathbf{F} = (z, x, y) F = ( z , x , y ) on the hemisphere z = 1 − x 2 − y 2 z = \sqrt{1 - x^2 - y^2} z = 1 − x 2 − y 2 with boundary C C C the unit circle in the x y xy x y -plane.
Solution:
On C C C : r ( t ) = ( cos t , sin t , 0 ) \mathbf{r}(t) = (\cos t, \sin t, 0) r ( t ) = ( cos t , sin t , 0 ) , r ′ ( t ) = ( − sin t , cos t , 0 ) \mathbf{r}'(t) = (-\sin t, \cos t, 0) r ′ ( t ) = ( − sin t , cos t , 0 ) .
∮ C F ⋅ d r = ∫ 0 2 π ( 0 ⋅ ( − sin t ) + cos t ⋅ cos t + sin t ⋅ 0 ) d t = ∫ 0 2 π cos 2 t d t = π \oint_C \mathbf{F} \cdot d\mathbf{r} = \int_0^{2\pi} (0 \cdot (-\sin t) + \cos t \cdot \cos t + \sin t \cdot 0) \, dt = \int_0^{2\pi} \cos^2 t \, dt = \pi ∮ C F ⋅ d r = ∫ 0 2 π ( 0 ⋅ ( − sin t ) + cos t ⋅ cos t + sin t ⋅ 0 ) d t = ∫ 0 2 π cos 2 t d t = π
For the surface integral, ∇ × F = ( 1 , 1 , 1 ) \nabla \times \mathbf{F} = (1, 1, 1) ∇ × F = ( 1 , 1 , 1 ) . On the hemisphere with outward normal:
∬ S ( ∇ × F ) ⋅ d S = ∬ S x + y + z 1 − x 2 − y 2 ⋅ 1 1 − x 2 − y 2 d A \iint_S (\nabla \times \mathbf{F}) \cdot d\mathbf{S} = \iint_S \frac{x + y + z}{\sqrt{1-x^2-y^2}} \cdot \frac{1}{\sqrt{1-x^2-y^2}} \, dA ∬ S ( ∇ × F ) ⋅ d S = ∬ S 1 − x 2 − y 2 x + y + z ⋅ 1 − x 2 − y 2 1 d A
By symmetry, ∬ x d A = ∬ y d A = 0 \iint x \, dA = \iint y \, dA = 0 ∬ x d A = ∬ y d A = 0 , leaving:
∬ D z z 2 ⋅ z 2 d A = ∬ D 1 d A = π \iint_D \frac{z}{z^2} \cdot z^2 \, dA = \iint_D 1 \, dA = \pi ∬ D z 2 z ⋅ z 2 d A = ∬ D 1 d A = π
Both integrals equal π \pi π , confirming Stokes’ Theorem.
hard — 1 mark
Find the second-order Taylor expansion of f ( x , y ) = e x cos ( y ) f(x,y) = e^{x}\cos(y) f ( x , y ) = e x cos ( y ) about the origin.
Solution:
At the origin: f ( 0 , 0 ) = 1 f(0,0) = 1 f ( 0 , 0 ) = 1 .
First partials: f x = e x cos y f_x = e^x \cos y f x = e x cos y , f y = − e x sin y f_y = -e^x \sin y f y = − e x sin y . At ( 0 , 0 ) (0,0) ( 0 , 0 ) : f x = 1 f_x = 1 f x = 1 , f y = 0 f_y = 0 f y = 0 .
Second partials: f x x = e x cos y f_{xx} = e^x \cos y f xx = e x cos y , f x y = − e x sin y f_{xy} = -e^x \sin y f x y = − e x sin y , f y y = − e x cos y f_{yy} = -e^x \cos y f y y = − e x cos y . At ( 0 , 0 ) (0,0) ( 0 , 0 ) : f x x = 1 f_{xx} = 1 f xx = 1 , f x y = 0 f_{xy} = 0 f x y = 0 , f y y = − 1 f_{yy} = -1 f y y = − 1 .
T 2 ( x , y ) = 1 + x + 1 2 ( x 2 − y 2 ) + ⋯ T_2(x,y) = 1 + x + \frac{1}{2}(x^2 - y^2) + \cdots T 2 ( x , y ) = 1 + x + 2 1 ( x 2 − y 2 ) + ⋯
easy — 1 mark
Find the maximum and minimum values of f ( x , y , z ) = x + 2 y + 3 z f(x,y,z) = x + 2y + 3z f ( x , y , z ) = x + 2 y + 3 z subject to x 2 + y 2 + z 2 = 1 x^2 + y^2 + z^2 = 1 x 2 + y 2 + z 2 = 1 .
Solution:
∇ f = ( 1 , 2 , 3 ) \nabla f = (1, 2, 3) ∇ f = ( 1 , 2 , 3 ) , ∇ g = ( 2 x , 2 y , 2 z ) \nabla g = (2x, 2y, 2z) ∇ g = ( 2 x , 2 y , 2 z ) where g = x 2 + y 2 + z 2 − 1 g = x^2 + y^2 + z^2 - 1 g = x 2 + y 2 + z 2 − 1 .
∇ f = λ ∇ g \nabla f = \lambda \nabla g ∇ f = λ ∇ g gives 1 = 2 λ x 1 = 2\lambda x 1 = 2 λ x , 2 = 2 λ y 2 = 2\lambda y 2 = 2 λ y , 3 = 2 λ z 3 = 2\lambda z 3 = 2 λ z , so x = 1 / ( 2 λ ) x = 1/(2\lambda) x = 1/ ( 2 λ ) , y = 2 / ( 2 λ ) y = 2/(2\lambda) y = 2/ ( 2 λ ) , z = 3 / ( 2 λ ) z = 3/(2\lambda) z = 3/ ( 2 λ ) .
Substituting into the constraint:
1 + 4 + 9 4 λ 2 = 1 ⟹ λ = ± 14 2 \frac{1 + 4 + 9}{4\lambda^2} = 1 \implies \lambda = \pm\frac{\sqrt{14}}{2} 4 λ 2 1 + 4 + 9 = 1 ⟹ λ = ± 2 14
Maximum: f = 1 2 λ ( 1 + 4 + 9 ) = 14 2 λ = 14 f = \frac{1}{2\lambda}(1 + 4 + 9) = \frac{14}{2\lambda} = \sqrt{14} f = 2 λ 1 ( 1 + 4 + 9 ) = 2 λ 14 = 14 at ( x , y , z ) = 1 14 ( 1 , 2 , 3 ) (x,y,z) = \frac{1}{\sqrt{14}}(1,2,3) ( x , y , z ) = 14 1 ( 1 , 2 , 3 ) .
Minimum: f = − 14 f = -\sqrt{14} f = − 14 at ( x , y , z ) = − 1 14 ( 1 , 2 , 3 ) (x,y,z) = -\frac{1}{\sqrt{14}}(1,2,3) ( x , y , z ) = − 14 1 ( 1 , 2 , 3 ) .
medium — 1 mark
Find the eigenvalues and eigenvectors of the matrix:
A = ( 3 1 0 0 2 0 0 0 5 ) A = \begin{pmatrix} 3 & 1 & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 5 \end{pmatrix} A = 3 0 0 1 2 0 0 0 5
Solution:
The characteristic polynomial is:
det ( A − λ I ) = ( 3 − λ ) ( 2 − λ ) ( 5 − λ ) = 0 \det(A - \lambda I) = (3-\lambda)(2-\lambda)(5-\lambda) = 0 det ( A − λ I ) = ( 3 − λ ) ( 2 − λ ) ( 5 − λ ) = 0
Eigenvalues: λ 1 = 2 \lambda_1 = 2 λ 1 = 2 , λ 2 = 3 \lambda_2 = 3 λ 2 = 3 , λ 3 = 5 \lambda_3 = 5 λ 3 = 5 .
For λ 1 = 2 \lambda_1 = 2 λ 1 = 2 : ( A − 2 I ) v = 0 (A - 2I)\mathbf{v} = 0 ( A − 2 I ) v = 0 gives v 1 = ( 1 , − 1 , 0 ) T \mathbf{v}_1 = (1, -1, 0)^T v 1 = ( 1 , − 1 , 0 ) T .
For λ 2 = 3 \lambda_2 = 3 λ 2 = 3 : ( A − 3 I ) v = 0 (A - 3I)\mathbf{v} = 0 ( A − 3 I ) v = 0 gives v 2 = ( 1 , 0 , 0 ) T \mathbf{v}_2 = (1, 0, 0)^T v 2 = ( 1 , 0 , 0 ) T .
For λ 3 = 5 \lambda_3 = 5 λ 3 = 5 : ( A − 5 I ) v = 0 (A - 5I)\mathbf{v} = 0 ( A − 5 I ) v = 0 gives v 3 = ( 0 , 0 , 1 ) T \mathbf{v}_3 = (0, 0, 1)^T v 3 = ( 0 , 0 , 1 ) T .
easy — 1 mark
Determine whether the matrix A = ( 1 2 0 1 ) A = \begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix} A = ( 1 0 2 1 ) is diagonalisable.
Solution:
The characteristic polynomial is ( 1 − λ ) 2 = 0 (1-\lambda)^2 = 0 ( 1 − λ ) 2 = 0 , giving a repeated eigenvalue λ = 1 \lambda = 1 λ = 1 with algebraic multiplicity 2.
( A − I ) = ( 0 2 0 0 ) (A - I) = \begin{pmatrix} 0 & 2 \\ 0 & 0 \end{pmatrix} ( A − I ) = ( 0 0 2 0 ) . The null space is spanned by ( 1 , 0 ) T (1, 0)^T ( 1 , 0 ) T , so the geometric multiplicity is 1.
Since the geometric multiplicity (1) is less than the algebraic multiplicity (2), A A A is not diagonalisable .
easy — 1 mark
Let V = P 2 ( R ) V = P_2(\mathbb{R}) V = P 2 ( R ) with inner product ⟨ f , g ⟩ = ∫ 0 1 f ( x ) g ( x ) d x \langle f, g \rangle = \int_0^1 f(x)g(x) \, dx ⟨ f , g ⟩ = ∫ 0 1 f ( x ) g ( x ) d x . Apply the Gram-Schmidt process to the basis { 1 , x , x 2 } \{1, x, x^2\} { 1 , x , x 2 } .
Solution:
e 1 = 1 e_1 = 1 e 1 = 1 .
e 2 = x − ⟨ x , 1 ⟩ ⟨ 1 , 1 ⟩ ⋅ 1 = x − 1 / 2 1 = x − 1 2 e_2 = x - \frac{\langle x, 1 \rangle}{\langle 1, 1 \rangle} \cdot 1 = x - \frac{1/2}{1} = x - \frac{1}{2} e 2 = x − ⟨ 1 , 1 ⟩ ⟨ x , 1 ⟩ ⋅ 1 = x − 1 1/2 = x − 2 1 .
⟨ x 2 , 1 ⟩ = 1 3 \langle x^2, 1 \rangle = \frac{1}{3} ⟨ x 2 , 1 ⟩ = 3 1 , ⟨ x 2 , x − 1 / 2 ⟩ = ∫ 0 1 x 2 ( x − 1 / 2 ) d x = 1 4 − 1 6 = 1 12 \langle x^2, x - 1/2 \rangle = \int_0^1 x^2(x - 1/2) \, dx = \frac{1}{4} - \frac{1}{6} = \frac{1}{12} ⟨ x 2 , x − 1/2 ⟩ = ∫ 0 1 x 2 ( x − 1/2 ) d x = 4 1 − 6 1 = 12 1 .
⟨ x − 1 / 2 , x − 1 / 2 ⟩ = ∫ 0 1 ( x − 1 / 2 ) 2 d x = 1 12 \langle x - 1/2, x - 1/2 \rangle = \int_0^1 (x - 1/2)^2 \, dx = \frac{1}{12} ⟨ x − 1/2 , x − 1/2 ⟩ = ∫ 0 1 ( x − 1/2 ) 2 d x = 12 1 .
e 3 = x 2 − 1 / 3 1 ⋅ 1 − 1 / 12 1 / 12 ( x − 1 2 ) = x 2 − x + 1 6 e_3 = x^2 - \frac{1/3}{1} \cdot 1 - \frac{1/12}{1/12}\left(x - \frac{1}{2}\right) = x^2 - x + \frac{1}{6} e 3 = x 2 − 1 1/3 ⋅ 1 − 1/12 1/12 ( x − 2 1 ) = x 2 − x + 6 1
The orthogonal basis is { 1 , x − 1 2 , x 2 − x + 1 6 } \left\{1, \, x - \frac{1}{2}, \, x^2 - x + \frac{1}{6}\right\} { 1 , x − 2 1 , x 2 − x + 6 1 } .
medium — 1 mark
Let T : R 3 → R 3 T: \mathbb{R}^3 \to \mathbb{R}^3 T : R 3 → R 3 be defined by T ( x , y , z ) = ( x + y , y + z , z + x ) T(x,y,z) = (x + y, y + z, z + x) T ( x , y , z ) = ( x + y , y + z , z + x ) . Find the rank and nullity of T T T .
Solution:
The matrix of T T T relative to the standard basis is:
A = ( 1 1 0 0 1 1 1 0 1 ) A = \begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \end{pmatrix} A = 1 0 1 1 1 0 0 1 1
Row reducing:
( 1 1 0 0 1 1 0 − 1 1 ) → ( 1 1 0 0 1 1 0 0 2 ) \begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & -1 & 1 \end{pmatrix} \to \begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 2 \end{pmatrix} 1 0 0 1 1 − 1 0 1 1 → 1 0 0 1 1 0 0 1 2
The rank is 3 and the nullity is 0 (since det ( A ) = 2 ≠ 0 \det(A) = 2 \neq 0 det ( A ) = 2 = 0 ). T T T is invertible.
easy — 1 mark
Classify the quadratic form Q ( x , y , z ) = x 2 + 4 y 2 + z 2 + 2 x y − 2 x z Q(x,y,z) = x^2 + 4y^2 + z^2 + 2xy - 2xz Q ( x , y , z ) = x 2 + 4 y 2 + z 2 + 2 x y − 2 x z .
Solution:
The associated symmetric matrix is:
A = ( 1 1 − 1 1 4 0 − 1 0 1 ) A = \begin{pmatrix} 1 & 1 & -1 \\ 1 & 4 & 0 \\ -1 & 0 & 1 \end{pmatrix} A = 1 1 − 1 1 4 0 − 1 0 1
Leading principal minors: Δ 1 = 1 > 0 \Delta_1 = 1 > 0 Δ 1 = 1 > 0 , Δ 2 = 4 − 1 = 3 > 0 \Delta_2 = 4 - 1 = 3 > 0 Δ 2 = 4 − 1 = 3 > 0 , Δ 3 = det ( A ) = 1 ( 4 ) − 1 ( 1 ) + ( − 1 ) ( 4 ) = 4 − 1 − 4 = − 1 < 0 \Delta_3 = \det(A) = 1(4) - 1(1) + (-1)(4) = 4 - 1 - 4 = -1 < 0 Δ 3 = det ( A ) = 1 ( 4 ) − 1 ( 1 ) + ( − 1 ) ( 4 ) = 4 − 1 − 4 = − 1 < 0 .
By Sylvester’s criterion, A A A has signature ( 2 , 1 ) (2, 1) ( 2 , 1 ) : two positive eigenvalues and one negative eigenvalue. The quadratic form is indefinite .
medium — 1 mark
Prove that the set of all 2 × 2 2 \times 2 2 × 2 symmetric matrices forms a subspace of M 2 × 2 ( R ) M_{2 \times 2}(\mathbb{R}) M 2 × 2 ( R ) , and find its dimension.
Solution:
Let W = { A ∈ M 2 × 2 : A T = A } W = \{A \in M_{2 \times 2} : A^T = A\} W = { A ∈ M 2 × 2 : A T = A } .
Zero matrix: 0 T = 0 0^T = 0 0 T = 0 , so 0 ∈ W 0 \in W 0 ∈ W .
Closure under addition: If A T = A A^T = A A T = A and B T = B B^T = B B T = B , then ( A + B ) T = A T + B T = A + B (A+B)^T = A^T + B^T = A + B ( A + B ) T = A T + B T = A + B , so A + B ∈ W A + B \in W A + B ∈ W .
Closure under scalar multiplication: ( c A ) T = c A T = c A (cA)^T = cA^T = cA ( c A ) T = c A T = c A , so c A ∈ W cA \in W c A ∈ W .
A general symmetric 2 × 2 2 \times 2 2 × 2 matrix has the form ( a b b d ) \begin{pmatrix} a & b \\ b & d \end{pmatrix} ( a b b d ) , parameterised by ( a , b , d ) (a, b, d) ( a , b , d ) . The basis is:
{ ( 1 0 0 0 ) , ( 0 1 1 0 ) , ( 0 0 0 1 ) } \left\{\begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}\right\} { ( 1 0 0 0 ) , ( 0 1 1 0 ) , ( 0 0 0 1 ) }
The dimension is 3.
medium — 1 mark
State the Spectral Theorem for real symmetric matrices and sketch a proof outline.
Solution:
Theorem: If A A A is a real symmetric matrix (A = A T A = A^T A = A T ), then A A A is orthogonally diagonalisable: there exists an orthogonal matrix Q Q Q (Q T Q = I Q^T Q = I Q T Q = I ) and a diagonal matrix D D D such that A = Q D Q T A = QDQ^T A = Q D Q T .
Proof outline:
Real eigenvalues: The characteristic polynomial of A A A has real coefficients, and since A A A is symmetric, all eigenvalues are real (if λ \lambda λ is complex with eigenvector v \mathbf{v} v , then λ ˉ = λ \bar{\lambda} = \lambda λ ˉ = λ follows from A = A T A = A^T A = A T ).
Orthogonal eigenvectors: If v 1 \mathbf{v}_1 v 1 and v 2 \mathbf{v}_2 v 2 are eigenvectors of A A A with distinct eigenvalues λ 1 ≠ λ 2 \lambda_1 \neq \lambda_2 λ 1 = λ 2 , then v 1 ⋅ v 2 = 0 \mathbf{v}_1 \cdot \mathbf{v}_2 = 0 v 1 ⋅ v 2 = 0 . This follows from λ 1 v 1 ⋅ v 2 = ( A v 1 ) ⋅ v 2 = v 1 ⋅ ( A v 2 ) = λ 2 v 1 ⋅ v 2 \lambda_1 \mathbf{v}_1 \cdot \mathbf{v}_2 = (A\mathbf{v}_1) \cdot \mathbf{v}_2 = \mathbf{v}_1 \cdot (A\mathbf{v}_2) = \lambda_2 \mathbf{v}_1 \cdot \mathbf{v}_2 λ 1 v 1 ⋅ v 2 = ( A v 1 ) ⋅ v 2 = v 1 ⋅ ( A v 2 ) = λ 2 v 1 ⋅ v 2 .
Orthonormal basis: By induction on dimension, we can construct an orthonormal basis of eigenvectors, giving A = Q D Q T A = QDQ^T A = Q D Q T .
hard — 1 mark
Find the Jordan normal form of A = ( 2 1 0 0 2 1 0 0 2 ) A = \begin{pmatrix} 2 & 1 & 0 \\ 0 & 2 & 1 \\ 0 & 0 & 2 \end{pmatrix} A = 2 0 0 1 2 0 0 1 2 and compute A 10 A^{10} A 10 .
Solution:
A A A already has the Jordan normal form J = ( 2 1 0 0 2 1 0 0 2 ) J = \begin{pmatrix} 2 & 1 & 0 \\ 0 & 2 & 1 \\ 0 & 0 & 2 \end{pmatrix} J = 2 0 0 1 2 0 0 1 2 with eigenvalue λ = 2 \lambda = 2 λ = 2 of algebraic multiplicity 3 and geometric multiplicity 1.
We write A = 2 I + N A = 2I + N A = 2 I + N where N = ( 0 1 0 0 0 1 0 0 0 ) N = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 0 & 0 & 0 \end{pmatrix} N = 0 0 0 1 0 0 0 1 0 is nilpotent (N 3 = 0 N^3 = 0 N 3 = 0 ).
Using the binomial theorem (valid since 2 I 2I 2 I and N N N commute):
A 10 = ∑ k = 0 2 ( 10 k ) 2 10 − k N k = 2 10 I + 10 ⋅ 2 9 N + 45 ⋅ 2 8 N 2 A^{10} = \sum_{k=0}^{2} \binom{10}{k} 2^{10-k} N^k = 2^{10}I + 10 \cdot 2^9 N + 45 \cdot 2^8 N^2 A 10 = ∑ k = 0 2 ( k 10 ) 2 10 − k N k = 2 10 I + 10 ⋅ 2 9 N + 45 ⋅ 2 8 N 2
= ( 1024 0 0 0 1024 0 0 0 1024 ) + ( 0 5120 0 0 0 5120 0 0 0 ) + ( 0 0 11520 0 0 0 0 0 0 ) = \begin{pmatrix} 1024 & 0 & 0 \\ 0 & 1024 & 0 \\ 0 & 0 & 1024 \end{pmatrix} + \begin{pmatrix} 0 & 5120 & 0 \\ 0 & 0 & 5120 \\ 0 & 0 & 0 \end{pmatrix} + \begin{pmatrix} 0 & 0 & 11520 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} = 1024 0 0 0 1024 0 0 0 1024 + 0 0 0 5120 0 0 0 5120 0 + 0 0 0 0 0 0 11520 0 0
A 10 = ( 1024 5120 11520 0 1024 5120 0 0 1024 ) A^{10} = \begin{pmatrix} 1024 & 5120 & 11520 \\ 0 & 1024 & 5120 \\ 0 & 0 & 1024 \end{pmatrix} A 10 = 1024 0 0 5120 1024 0 11520 5120 1024
hard — 1 mark
Prove that every group of order 4 is abelian.
Solution:
Let ∣ G ∣ = 4 |G| = 4 ∣ G ∣ = 4 . By Lagrange’s theorem, every non-identity element has order 2 or 4.
Case 1: G G G contains an element of order 4. Then G = ⟨ a ⟩ ≅ Z 4 G = \langle a \rangle \cong \mathbb{Z}_4 G = ⟨ a ⟩ ≅ Z 4 , which is abelian.
Case 2: Every non-identity element has order 2. Then g 2 = e g^2 = e g 2 = e for all g ∈ G g \in G g ∈ G , so g = g − 1 g = g^{-1} g = g − 1 . For any a , b ∈ G a, b \in G a , b ∈ G :
a b = ( a b ) − 1 = b − 1 a − 1 = b a ab = (ab)^{-1} = b^{-1}a^{-1} = ba ab = ( ab ) − 1 = b − 1 a − 1 = ba
Therefore G G G is abelian. In fact, G ≅ Z 2 × Z 2 G \cong \mathbb{Z}_2 \times \mathbb{Z}_2 G ≅ Z 2 × Z 2 (the Klein four-group).
medium — 1 mark
Prove that in an integral domain, the cancellation law holds: if a b = a c ab = ac ab = a c and a ≠ 0 a \neq 0 a = 0 , then b = c b = c b = c .
Solution:
Let D D D be an integral domain and suppose a b = a c ab = ac ab = a c with a ≠ 0 a \neq 0 a = 0 .
Then a b − a c = 0 ab - ac = 0 ab − a c = 0 , so a ( b − c ) = 0 a(b - c) = 0 a ( b − c ) = 0 .
Since D D D is an integral domain, it has no zero divisors: if x y = 0 xy = 0 x y = 0 then x = 0 x = 0 x = 0 or y = 0 y = 0 y = 0 .
Since a ≠ 0 a \neq 0 a = 0 , we must have b − c = 0 b - c = 0 b − c = 0 , i.e., b = c b = c b = c .
easy — 1 mark
Let H H H be a subgroup of index 2 in a group G G G . Prove that H H H is normal in G G G .
Solution:
Since [ G : H ] = 2 [G:H] = 2 [ G : H ] = 2 , there are exactly two left cosets of H H H in G G G : H H H itself and G ∖ H = a H G \setminus H = aH G ∖ H = a H for any a ∉ H a \notin H a ∈ / H . Similarly, the right cosets are H H H and H a = G ∖ H Ha = G \setminus H H a = G ∖ H .
For any g ∈ G g \in G g ∈ G :
If g ∈ H g \in H g ∈ H , then g H = H = H g gH = H = Hg g H = H = H g . If g ∉ H g \notin H g ∈ / H , then g H = G ∖ H = H g gH = G \setminus H = Hg g H = G ∖ H = H g . In both cases, g H = H g gH = Hg g H = H g for all g ∈ G g \in G g ∈ G , so H ⊴ G H \trianglelefteq G H ⊴ G .
medium — 1 mark
Let ϕ : G → H \phi: G \to H ϕ : G → H be a group homomorphism. Prove that ker ( ϕ ) \ker(\phi) ker ( ϕ ) is a normal subgroup of G G G .
Solution:
Subgroup: ϕ ( e G ) = e H \phi(e_G) = e_H ϕ ( e G ) = e H , so e G ∈ ker ( ϕ ) e_G \in \ker(\phi) e G ∈ ker ( ϕ ) . If a , b ∈ ker ( ϕ ) a, b \in \ker(\phi) a , b ∈ ker ( ϕ ) , then ϕ ( a b − 1 ) = ϕ ( a ) ϕ ( b ) − 1 = e H ⋅ e H = e H \phi(ab^{-1}) = \phi(a)\phi(b)^{-1} = e_H \cdot e_H = e_H ϕ ( a b − 1 ) = ϕ ( a ) ϕ ( b ) − 1 = e H ⋅ e H = e H , so a b − 1 ∈ ker ( ϕ ) ab^{-1} \in \ker(\phi) a b − 1 ∈ ker ( ϕ ) .
Normal: For any g ∈ G g \in G g ∈ G and k ∈ ker ( ϕ ) k \in \ker(\phi) k ∈ ker ( ϕ ) :
ϕ ( g k g − 1 ) = ϕ ( g ) ϕ ( k ) ϕ ( g ) − 1 = ϕ ( g ) ⋅ e H ⋅ ϕ ( g ) − 1 = e H \phi(gkg^{-1}) = \phi(g)\phi(k)\phi(g)^{-1} = \phi(g) \cdot e_H \cdot \phi(g)^{-1} = e_H ϕ ( g k g − 1 ) = ϕ ( g ) ϕ ( k ) ϕ ( g ) − 1 = ϕ ( g ) ⋅ e H ⋅ ϕ ( g ) − 1 = e H
So g k g − 1 ∈ ker ( ϕ ) gkg^{-1} \in \ker(\phi) g k g − 1 ∈ ker ( ϕ ) , proving ker ( ϕ ) ⊴ G \ker(\phi) \trianglelefteq G ker ( ϕ ) ⊴ G .
medium — 1 mark
Find the gcd of f ( x ) = x 4 + 1 f(x) = x^4 + 1 f ( x ) = x 4 + 1 and g ( x ) = x 3 + x + 1 g(x) = x^3 + x + 1 g ( x ) = x 3 + x + 1 in F 2 [ x ] \mathbb{F}_2[x] F 2 [ x ] using the Euclidean algorithm.
Solution:
Working in F 2 \mathbb{F}_2 F 2 (where − 1 = 1 -1 = 1 − 1 = 1 ):
x 4 + 1 = ( x + 1 ) ( x 3 + x + 1 ) + ( x 2 + x + 1 ) x^4 + 1 = (x + 1)(x^3 + x + 1) + (x^2 + x + 1) x 4 + 1 = ( x + 1 ) ( x 3 + x + 1 ) + ( x 2 + x + 1 )
x 3 + x + 1 = x ( x 2 + x + 1 ) + ( x 2 + x + 1 ) + ( x 2 + 1 ) = ( x + 1 ) ( x 2 + x + 1 ) + x x^3 + x + 1 = x(x^2 + x + 1) + (x^2 + x + 1) + (x^2 + 1) = (x+1)(x^2+x+1) + x x 3 + x + 1 = x ( x 2 + x + 1 ) + ( x 2 + x + 1 ) + ( x 2 + 1 ) = ( x + 1 ) ( x 2 + x + 1 ) + x
Wait, let me redo this more carefully:
Dividing x 3 + x + 1 x^3 + x + 1 x 3 + x + 1 by x 2 + x + 1 x^2 + x + 1 x 2 + x + 1 :
x 3 + x + 1 = x ⋅ ( x 2 + x + 1 ) + ( x 2 + x + 1 ) + x 3 + x + 1 − x ( x 2 + x + 1 ) x^3 + x + 1 = x \cdot (x^2 + x + 1) + (x^2 + x + 1) + x^3 + x + 1 - x(x^2+x+1) x 3 + x + 1 = x ⋅ ( x 2 + x + 1 ) + ( x 2 + x + 1 ) + x 3 + x + 1 − x ( x 2 + x + 1 )
x ( x 2 + x + 1 ) = x 3 + x 2 + x x(x^2+x+1) = x^3 + x^2 + x x ( x 2 + x + 1 ) = x 3 + x 2 + x
x 3 + x + 1 − ( x 3 + x 2 + x ) = x 2 + 1 x^3 + x + 1 - (x^3 + x^2 + x) = x^2 + 1 x 3 + x + 1 − ( x 3 + x 2 + x ) = x 2 + 1
So x 3 + x + 1 = x ( x 2 + x + 1 ) + ( x 2 + 1 ) x^3 + x + 1 = x(x^2 + x + 1) + (x^2 + 1) x 3 + x + 1 = x ( x 2 + x + 1 ) + ( x 2 + 1 ) .
Now dividing x 2 + x + 1 x^2 + x + 1 x 2 + x + 1 by x 2 + 1 x^2 + 1 x 2 + 1 :
x 2 + x + 1 = 1 ⋅ ( x 2 + 1 ) + x x^2 + x + 1 = 1 \cdot (x^2 + 1) + x x 2 + x + 1 = 1 ⋅ ( x 2 + 1 ) + x
Dividing x 2 + 1 x^2 + 1 x 2 + 1 by x x x :
x 2 + 1 = x ⋅ x + 1 x^2 + 1 = x \cdot x + 1 x 2 + 1 = x ⋅ x + 1
Dividing x x x by 1 1 1 :
x = x ⋅ 1 + 0 x = x \cdot 1 + 0 x = x ⋅ 1 + 0
The last nonzero remainder is 1 1 1 , so gcd ( f , g ) = 1 \gcd(f, g) = 1 g cd( f , g ) = 1 — they are coprime.
hard — 1 mark
Find the degree [ Q ( 2 , 3 ) : Q ] [\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}] [ Q ( 2 , 3 ) : Q ] and construct a basis.
Solution:
We build the extension in stages:
[ Q ( 2 ) : Q ] = 2 [\mathbb{Q}(\sqrt{2}) : \mathbb{Q}] = 2 [ Q ( 2 ) : Q ] = 2 with basis { 1 , 2 } \{1, \sqrt{2}\} { 1 , 2 } , since x 2 − 2 x^2 - 2 x 2 − 2 is irreducible over Q \mathbb{Q} Q .
[ Q ( 2 , 3 ) : Q ( 2 ) ] = 2 [\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}(\sqrt{2})] = 2 [ Q ( 2 , 3 ) : Q ( 2 )] = 2 with basis { 1 , 3 } \{1, \sqrt{3}\} { 1 , 3 } over Q ( 2 ) \mathbb{Q}(\sqrt{2}) Q ( 2 ) , since 3 ∉ Q ( 2 ) \sqrt{3} \notin \mathbb{Q}(\sqrt{2}) 3 ∈ / Q ( 2 ) (if 3 = a + b 2 \sqrt{3} = a + b\sqrt{2} 3 = a + b 2 then 3 = a 2 + 2 b 2 + 2 a b 2 3 = a^2 + 2b^2 + 2ab\sqrt{2} 3 = a 2 + 2 b 2 + 2 ab 2 , forcing a b = 0 ab = 0 ab = 0 , which gives a contradiction).
By the tower law:
[ Q ( 2 , 3 ) : Q ] = [ Q ( 2 , 3 ) : Q ( 2 ) ] ⋅ [ Q ( 2 ) : Q ] = 2 ⋅ 2 = 4 [\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}] = [\mathbb{Q}(\sqrt{2}, \sqrt{3}) : \mathbb{Q}(\sqrt{2})] \cdot [\mathbb{Q}(\sqrt{2}) : \mathbb{Q}] = 2 \cdot 2 = 4 [ Q ( 2 , 3 ) : Q ] = [ Q ( 2 , 3 ) : Q ( 2 )] ⋅ [ Q ( 2 ) : Q ] = 2 ⋅ 2 = 4
A basis is { 1 , 2 , 3 , 6 } \{1, \sqrt{2}, \sqrt{3}, \sqrt{6}\} { 1 , 2 , 3 , 6 } .
medium — 1 mark
Use the Sylow theorems to show that every group of order 15 is cyclic.
Solution:
∣ G ∣ = 15 = 3 ⋅ 5 |G| = 15 = 3 \cdot 5 ∣ G ∣ = 15 = 3 ⋅ 5 .
By Sylow’s theorems:
The number n 5 n_5 n 5 of Sylow 5-subgroups satisfies n 5 ≡ 1 ( m o d 5 ) n_5 \equiv 1 \pmod{5} n 5 ≡ 1 ( mod 5 ) and n 5 ∣ 3 n_5 \mid 3 n 5 ∣ 3 . So n 5 = 1 n_5 = 1 n 5 = 1 . The number n 3 n_3 n 3 of Sylow 3-subgroups satisfies n 3 ≡ 1 ( m o d 3 ) n_3 \equiv 1 \pmod{3} n 3 ≡ 1 ( mod 3 ) and n 3 ∣ 5 n_3 \mid 5 n 3 ∣ 5 . So n 3 = 1 n_3 = 1 n 3 = 1 . Since both Sylow subgroups are unique, they are normal. Let P ≅ Z 5 P \cong \mathbb{Z}_5 P ≅ Z 5 and Q ≅ Z 3 Q \cong \mathbb{Z}_3 Q ≅ Z 3 . Since P ∩ Q = { e } P \cap Q = \{e\} P ∩ Q = { e } and P Q = G PQ = G P Q = G , we have G ≅ P × Q ≅ Z 5 × Z 3 ≅ Z 15 G \cong P \times Q \cong \mathbb{Z}_5 \times \mathbb{Z}_3 \cong \mathbb{Z}_{15} G ≅ P × Q ≅ Z 5 × Z 3 ≅ Z 15 (since gcd ( 3 , 5 ) = 1 \gcd(3,5) = 1 g cd( 3 , 5 ) = 1 ). Therefore G G G is cyclic.
medium — 1 mark
Prove that the sequence a n = n n + 1 a_n = \frac{n}{n+1} a n = n + 1 n converges, and find its limit.
Solution:
Claim: a n → 1 a_n \to 1 a n → 1 as n → ∞ n \to \infty n → ∞ .
Proof: For any ϵ > 0 \epsilon > 0 ϵ > 0 , choose N > 1 ϵ N > \frac{1}{\epsilon} N > ϵ 1 . For all n > N n > N n > N :
∣ a n − 1 ∣ = ∣ n n + 1 − 1 ∣ = 1 n + 1 < 1 n < 1 N < ϵ |a_n - 1| = \left|\frac{n}{n+1} - 1\right| = \frac{1}{n+1} < \frac{1}{n} < \frac{1}{N} < \epsilon ∣ a n − 1∣ = n + 1 n − 1 = n + 1 1 < n 1 < N 1 < ϵ
Therefore lim n → ∞ a n = 1 \lim_{n \to \infty} a_n = 1 lim n → ∞ a n = 1 .
easy — 1 mark
Determine whether ∑ n = 1 ∞ n 2 2 n \sum_{n=1}^{\infty} \frac{n^2}{2^n} ∑ n = 1 ∞ 2 n n 2 converges.
Solution:
Apply the ratio test:
a n + 1 a n = ( n + 1 ) 2 2 n + 1 ⋅ 2 n n 2 = 1 2 ( n + 1 n ) 2 → 1 2 < 1 \frac{a_{n+1}}{a_n} = \frac{(n+1)^2}{2^{n+1}} \cdot \frac{2^n}{n^2} = \frac{1}{2}\left(\frac{n+1}{n}\right)^2 \to \frac{1}{2} < 1 a n a n + 1 = 2 n + 1 ( n + 1 ) 2 ⋅ n 2 2 n = 2 1 ( n n + 1 ) 2 → 2 1 < 1
Since the limit is less than 1, the series converges by the ratio test.
easy — 1 mark
Prove that f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 is continuous at x = 3 x = 3 x = 3 using the ϵ \epsilon ϵ -δ \delta δ definition.
Solution:
We need: for every ϵ > 0 \epsilon > 0 ϵ > 0 , there exists δ > 0 \delta > 0 δ > 0 such that ∣ x − 3 ∣ < δ ⟹ ∣ x 2 − 9 ∣ < ϵ |x - 3| < \delta \implies |x^2 - 9| < \epsilon ∣ x − 3∣ < δ ⟹ ∣ x 2 − 9∣ < ϵ .
∣ x 2 − 9 ∣ = ∣ x − 3 ∣ ⋅ ∣ x + 3 ∣ |x^2 - 9| = |x - 3| \cdot |x + 3| ∣ x 2 − 9∣ = ∣ x − 3∣ ⋅ ∣ x + 3∣ .
If ∣ x − 3 ∣ < 1 |x - 3| < 1 ∣ x − 3∣ < 1 , then 2 < x < 4 2 < x < 4 2 < x < 4 , so ∣ x + 3 ∣ < 7 |x + 3| < 7 ∣ x + 3∣ < 7 .
Choose δ = min ( 1 , ϵ 7 ) \delta = \min\left(1, \frac{\epsilon}{7}\right) δ = min ( 1 , 7 ϵ ) . Then:
∣ x 2 − 9 ∣ = ∣ x − 3 ∣ ⋅ ∣ x + 3 ∣ < δ ⋅ 7 ≤ ϵ |x^2 - 9| = |x - 3| \cdot |x + 3| < \delta \cdot 7 \leq \epsilon ∣ x 2 − 9∣ = ∣ x − 3∣ ⋅ ∣ x + 3∣ < δ ⋅ 7 ≤ ϵ
medium — 1 mark
Show that f n ( x ) = x n f_n(x) = \frac{x}{n} f n ( x ) = n x converges pointwise but not uniformly on R \mathbb{R} R .
Solution:
Pointwise convergence: For each fixed x ∈ R x \in \mathbb{R} x ∈ R :
lim n → ∞ f n ( x ) = lim n → ∞ x n = 0 \lim_{n \to \infty} f_n(x) = \lim_{n \to \infty} \frac{x}{n} = 0 lim n → ∞ f n ( x ) = lim n → ∞ n x = 0
So f n → f f_n \to f f n → f where f ( x ) = 0 f(x) = 0 f ( x ) = 0 .
Not uniform: For uniform convergence, we need sup x ∈ R ∣ f n ( x ) − f ( x ) ∣ → 0 \sup_{x \in \mathbb{R}} |f_n(x) - f(x)| \to 0 sup x ∈ R ∣ f n ( x ) − f ( x ) ∣ → 0 . But:
sup x ∈ R ∣ x ∣ n = ∞ \sup_{x \in \mathbb{R}} \frac{|x|}{n} = \infty sup x ∈ R n ∣ x ∣ = ∞
for every n n n , so the convergence is not uniform on R \mathbb{R} R .
(Note: convergence is uniform on any bounded subset [ − M , M ] [-M, M] [ − M , M ] since sup ∣ x ∣ n = M n → 0 \sup \frac{|x|}{n} = \frac{M}{n} \to 0 sup n ∣ x ∣ = n M → 0 .)
medium — 1 mark
State and prove the Mean Value Theorem.
Solution:
Theorem: If f f f is continuous on [ a , b ] [a,b] [ a , b ] and differentiable on ( a , b ) (a,b) ( a , b ) , then there exists c ∈ ( a , b ) c \in (a,b) c ∈ ( a , b ) such that:
f ′ ( c ) = f ( b ) − f ( a ) b − a f'(c) = \frac{f(b) - f(a)}{b - a} f ′ ( c ) = b − a f ( b ) − f ( a )
Proof: Define g ( x ) = f ( x ) − f ( a ) − f ( b ) − f ( a ) b − a ( x − a ) g(x) = f(x) - f(a) - \frac{f(b)-f(a)}{b-a}(x-a) g ( x ) = f ( x ) − f ( a ) − b − a f ( b ) − f ( a ) ( x − a ) . Then g ( a ) = g ( b ) = 0 g(a) = g(b) = 0 g ( a ) = g ( b ) = 0 .
By Rolle’s theorem (since g g g is continuous on [ a , b ] [a,b] [ a , b ] , differentiable on ( a , b ) (a,b) ( a , b ) , and g ( a ) = g ( b ) g(a) = g(b) g ( a ) = g ( b ) ), there exists c ∈ ( a , b ) c \in (a,b) c ∈ ( a , b ) with g ′ ( c ) = 0 g'(c) = 0 g ′ ( c ) = 0 .
g ′ ( c ) = f ′ ( c ) − f ( b ) − f ( a ) b − a = 0 g'(c) = f'(c) - \frac{f(b)-f(a)}{b-a} = 0 g ′ ( c ) = f ′ ( c ) − b − a f ( b ) − f ( a ) = 0 , giving f ′ ( c ) = f ( b ) − f ( a ) b − a f'(c) = \frac{f(b)-f(a)}{b-a} f ′ ( c ) = b − a f ( b ) − f ( a ) .
hard — 1 mark
Prove that if f f f is Riemann integrable on [ a , b ] [a,b] [ a , b ] and f ( x ) ≥ 0 f(x) \geq 0 f ( x ) ≥ 0 for all x x x , then ∫ a b f ( x ) d x ≥ 0 \int_a^b f(x) \, dx \geq 0 ∫ a b f ( x ) d x ≥ 0 .
Solution:
For any partition P = { x 0 , x 1 , … , x n } P = \{x_0, x_1, \ldots, x_n\} P = { x 0 , x 1 , … , x n } of [ a , b ] [a,b] [ a , b ] , the lower Darboux sum is:
L ( f , P ) = ∑ i = 1 n m i Δ x i L(f, P) = \sum_{i=1}^n m_i \Delta x_i L ( f , P ) = ∑ i = 1 n m i Δ x i
where m i = inf x ∈ [ x i − 1 , x i ] f ( x ) m_i = \inf_{x \in [x_{i-1}, x_i]} f(x) m i = inf x ∈ [ x i − 1 , x i ] f ( x ) . Since f ( x ) ≥ 0 f(x) \geq 0 f ( x ) ≥ 0 everywhere, m i ≥ 0 m_i \geq 0 m i ≥ 0 for all i i i , and Δ x i > 0 \Delta x_i > 0 Δ x i > 0 , so L ( f , P ) ≥ 0 L(f, P) \geq 0 L ( f , P ) ≥ 0 .
The Riemann integral is ∫ a b f = sup P L ( f , P ) ≥ 0 \int_a^b f = \sup_P L(f, P) \geq 0 ∫ a b f = sup P L ( f , P ) ≥ 0 .
medium — 1 mark
Prove that a closed and bounded subset of R \mathbb{R} R is compact (Heine-Borel theorem).
Solution:
Theorem: A subset K ⊆ R K \subseteq \mathbb{R} K ⊆ R is compact if and only if it is closed and bounded.
Proof (⇒ \Rightarrow ⇒ ): If K K K is compact, consider the open cover { ( − n , n ) : n ∈ N } \{(-n, n) : n \in \mathbb{N}\} {( − n , n ) : n ∈ N } . This has a finite subcover { ( − n 1 , n 1 ) , … , ( − n k , n k ) } \{(-n_1, n_1), \ldots, (-n_k, n_k)\} {( − n 1 , n 1 ) , … , ( − n k , n k )} , so K ⊆ ( − N , N ) K \subseteq (-N, N) K ⊆ ( − N , N ) where N = max ( n i ) N = \max(n_i) N = max ( n i ) . Thus K K K is bounded.
To show K K K is closed, suppose x x x is a limit point of K K K but x ∉ K x \notin K x ∈ / K . For each k ∈ N k \in \mathbb{N} k ∈ N , the set U k = R ∖ [ x − 1 / k , x + 1 / k ] U_k = \mathbb{R} \setminus [x - 1/k, x + 1/k] U k = R ∖ [ x − 1/ k , x + 1/ k ] is open. The family { U k } \{U_k\} { U k } covers K K K (since x ∉ K x \notin K x ∈ / K , each point of K K K is at positive distance from x x x ). By compactness, K ⊆ U k 1 ∪ ⋯ ∪ U k m = R ∖ [ x − 1 / N , x + 1 / N ] K \subseteq U_{k_1} \cup \cdots \cup U_{k_m} = \mathbb{R} \setminus [x - 1/N, x + 1/N] K ⊆ U k 1 ∪ ⋯ ∪ U k m = R ∖ [ x − 1/ N , x + 1/ N ] where N = max ( k i ) N = \max(k_i) N = max ( k i ) . But x x x is a limit point, so K ∩ ( x − 1 / N , x + 1 / N ) ≠ ∅ K \cap (x - 1/N, x + 1/N) \neq \emptyset K ∩ ( x − 1/ N , x + 1/ N ) = ∅ — contradiction.
hard — 1 mark
Click to reveal the answer key Problem Key Result P1 (e - 1)/2 P2 20/3 P3 2 pi^2 P4 8 pi P5 1/12 P6 Both integrals equal pi P7 1 + x + (x^2 - y^2)/2 P8 Maximum: sqrt(14); Minimum: -sqrt(14)
Problem Key Result P9 lambda = 2, 3, 5 with eigenvectors (1,-1,0), (1,0,0), (0,0,1) P10 Not diagonalisable (geometric multiplicity < algebraic) P11 {1, x - 1/2, x^2 - x + 1/6} P12 Rank 3, nullity 0 P13 Indefinite (signature (2,1)) P14 Dimension 3 P15 A = QDQ^T with Q orthogonal P16 J with eigenvalue 2, A^10 = 2^10 I + 102^9 N + 45 2^8 N^2
Problem Key Result P17 All groups of order 4 are abelian P18 Cancellation follows from no zero divisors P19 Index 2 subgroups are always normal P20 Kernel is always normal P21 gcd = 1 (coprime) P22 Degree 4, basis {1, sqrt(2), sqrt(3), sqrt(6)} P23 G is cyclic (Z_15)
Problem Key Result P24 Limit is 1 P25 Converges (ratio test) P26 delta = min(1, epsilon/7) P27 Pointwise yes, uniform no P28 MVT: f’(c) = (f(b) - f(a))/(b - a) P29 Integral is non-negative P30 Heine-Borel: closed and bounded iff compact
Difficulty Count Easy 7 Medium 17 Hard 6
Multivariable Calculus — Multiple integration, vector calculus, Green’s/Stokes’/Divergence theoremsLinear Algebra — Eigenvalues, diagonalisation, inner products, quadratic formsAbstract Algebra — Groups, rings, fields, homomorphisms, Sylow theoryReal Analysis — Sequences, series, continuity, differentiation, integrationLinear Algebra Practice — Additional linear algebra exercisesWrite complete proofs. University mathematics demands rigour — every claim must be justified.Check your work. Verify dimensions, signs, and boundary cases. Dimensional analysis catches many errors.Study the proof techniques. The solutions demonstrate key methods: induction, contradiction, construction, and the ϵ \epsilon ϵ -δ \delta δ argument.Understand definitions. Many problems test whether you can apply definitions precisely (e.g., uniform convergence, normal subgroups).Retake after one week. Mathematics requires understanding, not memorisation. Spaced repetition builds lasting knowledge.Last updated: 24 July 2026
Written by Wyatt. For questions or feedback, visit wyattau.com .