Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 4E i Solution Created 2026-09-24 Updated 2026-10-06
False. The constant continuous function , , sends the open set to , which is not open. Therefore continuity alone does not imply an open map.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 17A ii Solution Created 2026-09-24 Updated 2026-10-06
For the near-origin probability in a maximal-angular-momentum hydrogen state, integrate the normalized radial probability density:Throughout this small interval the exponential is for fixed . HenceUsing the normalization above,The high power of the small radius reflects the near-origin behavior of the hydrogen atom state.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 17A i Solution Created 2026-09-24 Updated 2026-10-06
The normalized spherical harmonics separate the angular variables. The Radial Schrodinger equation for the hydrogen atom isWrite . ThenSubstitution separates a constant term and a term. The latter vanishes precisely when . With this determines the Bohr radiusThe constant term determinesThese are the maximal-angular-momentum hydrogen states, with principal quantum number .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 16D b Solution Created 2026-09-24 Updated 2026-10-06
The Duhamel principle superposes the response to source impulses:This expression uses the source at the origin, is causal, and has zero initial data in the distributional sense. Its integral over the plane is , consistent with the injected total amount.
For the finite-duration source and , set . The causal diffusion from a finite-duration planar point source becomesWith , or by differentiating the supplied exponential integral, this isIf , both arguments are small. Their logarithmic constants and cancel, leavingAt the origin this logarithmic expression is exact for , obtained as the limit . The leading spatial correction is . If also , the leading value is .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 16D a Solution Created 2026-09-24 Updated 2026-10-06
Take the Fourier transform in . The transform of the source is , so the Green function equation becomesChoose the causal Green function, zero for . Away from the solution is a decaying exponential, and integrating across gives the jump . ThereforeThe phase shifts the kernel's centre to . Applying the inverse Fourier transform and the Fourier transform of a Gaussian with givesFor positive elapsed time this heat kernel solves the homogeneous diffusion equation and has unit integral; as elapsed time tends to zero it approaches the spatial delta distribution, supplying the required impulse.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 12F iv Solution Created 2026-09-24 Updated 2026-10-06
True, and the closedness assumption on is unnecessary. The Minkowski sum has the representationEach translate of the open set is open, and an arbitrary union of open sets is open. If is empty the union is empty, which is also open.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 12F iii Solution Created 2026-09-24 Updated 2026-10-06
False. In , letEach is closed: its distinct points escape to infinity, so it has no finite accumulation point. Their Minkowski sum contains , tending to zero. However zero is not in the sum. If with positive integers , then . For the right side is strictly between zero and one, while the left side is an integer; for the equation would require . Thus the sum of two closed sets need not be closed. The same counterexample embeds along a coordinate axis in .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 12F ii Solution Created 2026-09-24 Updated 2026-10-06
True. The same subsequence argument applies to the sum of a compact set and a closed set. For a convergent sequence , boundedness of provides a convergent subsequence of , with limit . Then along that subsequence. Consequently . No boundedness of is needed.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 12F i Solution Created 2026-09-24 Updated 2026-10-06
True. Boundedness follows from . To prove closedness of the Minkowski sum, let converge to . By the Bolzano-Weierstrass theorem, the bounded sequence has a subsequence converging to . Closedness gives . Along that subsequence, , which belongs to by closedness. Thus . This proves that the sum is bounded and closed.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 10G ii Solution Created 2026-09-24 Updated 2026-10-06
For the determinant of a complex block representation, putThe change-of-basis matrix is invertible, and direct block multiplication givesThus is block diagonal. Using multiplicativity of the determinant and the preceding block formula,The identity follows from this constant change of basis for arbitrary complex .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 2 10G i Solution Created 2026-09-24 Updated 2026-10-06
In the determinant expansion of the block upper triangular matrix, a nonzero product must assign each of the bottom rows to one of the last columns, because the lower-left block is zero. Those rows therefore occupy all the last columns, leaving the first columns for the top rows. The contributing permutations are precisely independent permutations within the two blocks. Their signs multiply, so the sum factors:The off-diagonal block contributes to no surviving term.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 9G iv Solution Created 2026-09-24 Updated 2026-10-06
Induct on . The one-dimensional assertion is immediate, and the zero-dimensional case is vacuous. If has a cyclic vector spanning all of , the direct proof in part (ii) applies. Otherwise choose and let be its cyclic subspace. Part (i) makes invariant; the absence of a cyclic vector makes it proper and nonzero.
By induction, the restriction to is annihilated by , and the induced map on is annihilated by . The quotient assertion means . Applying the restriction assertion next givesBy the characteristic factorization in part (iii), this is precisely . HenceThis is the Cayley-Hamilton theorem from cyclic subspaces; using the quotient map is what makes the argument valid even when the block is nonzero.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 9G iii Solution Created 2026-09-24 Updated 2026-10-06
Since the first basis vectors span the invariant subspace , their images have no components in the last coordinates. ThusHere is the matrix of , is the matrix of the induced map on the quotient vector space , and is unrestricted. The chosen complementary span need not itself be invariant, so should not in general be called a restriction to that complement. The block-triangular determinant gives
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 9G ii Solution Created 2026-09-24 Updated 2026-10-06
The spanning vectors form a basis. WriteIn this cyclic basis the matrix is the companion matrixExpanding along its last column givesFor example, the term containing has minor and the signs from the subdiagonal cancel the cofactor sign; the diagonal term supplies . The defining relation says . Every polynomial in commutes with , soIt therefore vanishes on a basis, provingThis direct argument for a cyclic vector does not assume the Cayley-Hamilton theorem.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 9G i Solution Created 2026-09-24 Updated 2026-10-06
If , the generated subspace is zero and invariant. Otherwise, let be the first index for which are linearly dependent. Such an index exists with , since there are vectors. The preceding vectors are independent, so the coefficient of in this first relation cannot vanish. HenceThe linear operator sends each of the first generators to the next and sends the last into their span. This proves that their span is an invariant subspace. Every later iterate lies in the same subspace by induction, so it equals the span of the first iterates. Therefore the indicated subspace is -invariant. This proof of a cyclic subspace uses only finite dimension and linear dependence.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 7H ii Solution Created 2026-09-24 Updated 2026-10-06
By the bias-variance decomposition of mean squared error,For , comparison with the unbiased estimator reduces toIts roots are and , soEquality at either endpoint gives the same risk as . At , every risk is zero, so no strict improvement is possible. This illustrates shrinking a sample mean with variance proportional to mean squared: allowing a small bias can reduce variance enough to improve total risk. The best constant is , whose mean squared error is .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 7H i Solution Created 2026-09-24 Updated 2026-10-06
For an estimator with finite second moment, its bias and mean squared error areWrite . On squaring and taking expectations, the cross term vanishes. This proves the bias-variance decomposition of mean squared error:For the sample mean, independence gives , . Thus has bias . Unbiasedness throughout the parameter family requiresAt the single parameter value , all these estimators are zero almost surely; that special value does not change the requirement of unbiasedness for all .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 6C ii Solution Created 2026-09-24 Updated 2026-10-06
The relevant one of the characteristic polynomials of a linear multistep method isThe coefficients on the right are chosen to give third order, so consistency of a numerical method is already available. By the Dahlquist equivalence theorem, convergence with convergent starting values is equivalent to zero-stability: every root of must satisfy , and every root on the unit circle must be simple.
If , the quadratic is negative at and tends to as , so it has a root less than . If , its root product is , so at least one root has modulus greater than one. For , its real roots lie in . For , its conjugate roots have modulus .
At , the three roots are , with the unit-modulus roots simple. At , they are , again simple. The repeated quadratic root at is , strictly inside the unit circle, which the root condition for a multistep method permits. ThereforeThis is the root stability of a cubic multistep polynomial; oscillatory parasitic roots at the endpoints do not invalidate convergence when their starting amplitudes tend to zero.
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 6C i Solution Created 2026-09-24 Updated 2026-10-06
Insert an exact smooth solution into the linear multistep method and define its unscaled local truncation error byIts Taylor expansion has coefficientsThe method has order at least exactly when , since then for every sufficiently smooth . Necessity can be checked by inserting polynomials of successive degrees. This also corresponds to the usual truncation error .
On the other hand, expansion of the characteristic polynomials of a linear multistep method givesThus the exponential-symbol order criterion for a multistep method isIf “order ” is meant to be the exact rather than guaranteed order, one additionally requires . The first two vanishing conditions are the usual consistency of a numerical method relations , .
Past exam of the mathematics course of the University of Cambridge 2014 ib Paper 1 20H ii Solution Created 2026-09-24 Updated 2026-10-06
The convergence theorem for an irreducible aperiodic positive recurrent Markov chain says for every pair of states. Apply it to and take the complement:Although , the chain is aperiodic because its possible return lengths have greatest common divisor one; a self-loop is sufficient but not necessary for aperiodicity.
There are unlisted articles, also show them or only show them.