Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 1G Solution Created 2026-09-24 Updated 2026-10-14
If , then . The endomorphisms are therefore linearly dependent, so some nonzero polynomial satisfies . The minimal polynomial is the monic polynomial of least degree annihilating . Uniqueness follows because the difference of two such monic polynomials would be a nonzero annihilator of smaller degree.
A Jordan block has minimal polynomial , and the minimal polynomial of a direct sum is the least common multiple of those of its blocks. Thus an eight-dimensional example is
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 19H Solution Created 2026-09-24 Updated 2026-10-14
A sufficient statistic is a function of the sample whose conditional sample distribution, given that statistic, does not depend on the parameter. The factorization criterion for sufficiency states, for a dominated family, that is sufficient exactly when the joint density has form , where is independent of .
Let and . The joint uniform density isso is sufficient for by the factorization criterion for sufficiency. The uniform order statistics have expectationsFor example, the standardized minimum has survival probability on , whose integral is ; the maximum follows by reflection. Solving these expectation equations gives the unbiased estimatorThe assumption makes the denominator positive.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 18D ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 18D i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 17C Solution Created 2026-09-24 Updated 2026-10-14
Choose the photon direction in the – plane. Its four-momentum in the stellar rest frame isLet , . The Lorentz transformation to givesUsing and yields the relativistic Doppler effect and relativistic aberration:
For the oppositely directed transverse photons, their rest-frame spatial momenta cancel and their total energy is . Boosting this combined four-vector gives laboratory energy and momentumThe star loses rest mass . At unchanged speed its momentum therefore decreases by , exactly the photon momentum. Its laboratory energy loss is likewise . There is no rest-frame recoil from the symmetric emission, and constant speed is consistent with four-momentum conservation because the stellar mass decreases.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 16A Solution Created 2026-09-24 Updated 2026-10-14
Away from , the Dirichlet Green function solves the homogeneous equation. The endpoint conditions select on the left and on the right. Continuity and the unit derivative jump needed for a Dirac delta function giveWith Wronskian , solve to obtain and . ThusThe first derivative term creates no extra delta because is continuous. The value at is the common limiting value.
For the specified constant-coefficient operator, takeTherefore its explicit Green function isFor the forcing step and the homogeneous endpoint conditions inherited from this Green-function problem, . When , every integration point lies on the first branch, soWithout those endpoint conditions, an arbitrary homogeneous solution could also be added.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 15D Solution Created 2026-09-24 Updated 2026-10-14
Use the Fourier transform convention and inverse factor . Laplace equation gives . Selecting its decaying Fourier branch gives , the standard bounded solution for bounded continuous boundary data. The inverse transform of the multiplier is the Poisson kernel for the upper half-plane:The convolution theorem therefore gives the Poisson integralFor suitably regular boundary data, this kernel is an approximate identity as , recovering .
For , contour integration gives . Multiplication by and inversion yieldThe stated form assumes ; if , replace it by because the boundary function only depends on . The case has singular boundary data and is outside this regular calculation.
The transform argument requires a growth condition. A zero-boundary harmonic function with pointwise vertical decay shows that the printed conditions alone do not ensure uniqueness:vanishes at and tends to zero as for every fixed . It can be added without changing those conditions, but its growth in excludes it from the bounded solution class. The displayed Poisson integral is the standard bounded solution for regular bounded boundary data; pointwise vertical decay by itself cannot justify a uniqueness claim.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 14F Solution Created 2026-09-24 Updated 2026-10-14
If an open set meets , it meets . Thus if two open sets meet the closure of an irreducible set, they both meet , their intersection meets by irreducibility, and therefore it also meets . This proves irreducibility of the closure. A singleton is irreducible, so its closure is an irreducible closed subset.
In a Hausdorff space, two distinct points have disjoint open neighborhoods. An irreducible set cannot contain both, so every nonempty irreducible closed subset is a singleton, which is closed and has a unique generating point. Hence every Hausdorff space is a sober topological space. An infinite set with the cofinite topology is itself irreducible, because any two nonempty open sets meet, but every singleton is closed. Its whole space is therefore not the closure of a singleton, proving that it is not sober.
For the proposed sobrification, let consist of nonempty irreducible closed subsets. The basic operations areThe last identity uses irreducibility of each member of . Hence these sets already form a topology. The map is injective: meets an open exactly when , so equality of the hats forces equality of the original opens. It is surjective onto the topology just constructed by definition.
Now let be a nonempty irreducible closed subset of . Its complement is for a unique open . Put . ThenIf opens meet , choose points in those intersections. Their singleton closures lie in , so meet . Irreducibility of forces to meet , and hence meets . Thus is nonempty, closed and irreducible, so is itself a point of .
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 13E Solution Created 2026-09-24 Updated 2026-10-14
Write and . The quantity in the question is the bounded Lipschitz norm . Both terms are nonnegative and absolutely homogeneous, and each satisfies the triangle inequality. Therefore their sum does too; finite values are preserved by addition and scalar multiplication, making the domain a vector space. If the sum is zero, forces . Thus it is a norm.
For the sequence bounded by one, both and . Given real , choose a nearby rational . ThenFirst make small, then use convergence at to make the last term small. The values at every real form a Cauchy sequence, so converges pointwise to a real function .
To preserve the sum bound rather than merely bound its two terms separately, use every fixed triple :Pass to the pointwise limit and take the independent suprema over and . This gives , the pointwise closure of the bounded Lipschitz unit ball.
To obtain diagonal compactness for bounded Lipschitz functions, enumerate the rationals for an arbitrary sequence in this unit ball. Values at the first rational lie in , so the Bolzano-Weierstrass theorem supplies a convergent subsequence there. Repeatedly extract nested subsequences for successive rationals. The diagonal subsequence argument gives one subsequence converging at every rational. Applying the preceding argument proves there is a pointwise convergent subsequence with limit of bounded Lipschitz norm at most one.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 12G Solution Created 2026-09-24 Updated 2026-10-14
Parametrize the graph by . The first fundamental form has coefficients , , . With unit normal , the second fundamental form has coefficients , , and . Consequently the Gaussian curvature of a graph surface is
A compact embedded surface has a highest point in the vertical direction. At that point its tangent plane is horizontal, so it is locally a graph with a local maximum of . Its Hessian matrix is negative semidefinite, giving and hence . Thus the Gaussian curvature cannot be everywhere negative.
An embedded ring torus, with major radius larger than minor radius , is a compact surface without boundary. Its standard parametrization is , and the Gaussian curvature of a ring torus isSince the denominator is positive, curvature is positive on the outer side and negative on the inner side, so this example changes sign.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 11F Solution Created 2026-09-24 Updated 2026-10-14
Prove the submodule theorem for free modules over a principal ideal domain by induction on the rank of . For a submodule , project onto its first coordinate. The image is an ideal . If , then is a submodule of and induction applies. Otherwise choose projecting to . Every has first coordinate and hence lies in the projection kernel. The domain property shows meets that kernel only at zero. Thusand the kernel is a free module by induction. This proves that is free, of rank at most .
To prove free modules are projective, choose a basis of a free module . For the given surjection , choose with and extend linearly. Finite support of basis expansions makes the resulting module homomorphism well defined, and .
Finally, take a finite generating set of a projective module to obtain a surjection . Projectivity applied to gives a section with . Thus is injective and identifies with a submodule of . The proved submodule theorem for free modules over a principal ideal domain shows that every finitely generated projective module over a principal ideal domain is free.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 4 10G Solution Created 2026-09-24 Updated 2026-10-14
Two real symmetric bilinear forms are congruent if an invertible linear map takes one to the other; in matrices, for some invertible . The spectral theorem for real symmetric matrices gives an orthogonal eigenbasis. Rescaling each basis vector with nonzero eigenvalue then reduces any such form toSylvester's law of inertia asserts that is independent of the congruence reduction. To prove it, is the greatest dimension of a subspace on which the form is positive definite: the positive coordinate subspace attains it, whereas any subspace of dimension greater than meets the nonpositive coordinate subspace of dimension and therefore cannot be positive definite. Applying the same argument to the negative of the form determines . Then is determined too.
The rank of a quadratic form is , and its signature of a quadratic form is under the signed-difference convention. They determine and hence the congruence class. Counting all pairs with givesFor , exactly two classes have every level set bounded: the positive-definite and negative-definite classes. Their nonempty nonzero levels are ellipsoids, and their zero level is the origin. A degenerate form has an entire null line in its zero level. An indefinite nondegenerate form also has a nonzero isotropic vector, for example the sum of one positive and one negative normalized basis vector, whose scalar multiples make the zero level unbounded.
For the displayed three-dimensional form,Its leading principal minors are , all positive. Sylvester's criterion makes it positive definite, so the surface is a bounded ellipsoid. Directly, its quadratic expression iswhich also proves positivity and boundedness of the unit level.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 9H Solution Created 2026-09-24 Updated 2026-10-14
Write for the quantity denoted in the question, to distinguish it from the random-walk increments. Absorption at zero at time zero gives , and starting at gives . For , condition on the first step and use independence of the remaining increments. That step contributes one factor of , so the discounted gambler's ruin hitting probability satisfiesThe absorption time is finite almost surely: in each block of steps there is a probability bounded below by a positive constant of reaching a boundary by successive steps in one direction.
Trying gives , with rootsThey are positive and distinct because and . Hence the general solution is . Enforcing both boundary values givesThis includes the unbiased walk without a special limiting case, since the discount keeps the roots distinct. For uniqueness, a difference of two solutions has zero boundary values and its largest absolute value satisfies if attained in the interior. Since , .
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 8H Solution Created 2026-09-24 Updated 2026-10-14
Treat the four fixed row totals as four independent samples from binomial distributions. Under independence, each has the same unknown probability of a third-child boy. The pooled maximum-likelihood estimator is , so each expected cell count is . The Pearson chi-squared test of homogeneity statistic isThere are four independently varying row probabilities under the alternative, and one estimated common probability under the null; the degrees of freedom are therefore . Equivalently this is the contingency-table count. The fact that the pooled estimate happens to equal one half does not make it a specified null probability and does not change the degrees of freedom to four.
Since , reject independence at the 5% level using the stated chi-squared calibration. All expected counts are sufficiently large for the usual asymptotic test.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 7B Solution Created 2026-09-24 Updated 2026-10-14
Hermiticity of the Hamiltonian operator gives , soThe distinct eigenvalues force orthogonality for , and the given normalization gives one for . Therefore .
Under the time-independent Schrödinger equation, each energy component acquires its own phase:The sum converges in the state Hilbert space because the squared coefficients are summable. Orthogonality makes its squared norm at every time.
The Born rule for energy measurement givesBoth depend only on squared coefficient magnitudes, so both are time-independent. The expectation follows either by summing energy times measurement probability or by inserting the orthogonal expansion in the quadratic form of .
Normalization alone does not guarantee a finite mean for an arbitrary spectrum. The displayed energy series is finite when . Since the spectrum is bounded below by , a divergent positive tail gives an extended expectation , still independent of time; for example an abstract diagonal Hamiltonian with has this property. No growth assumption on is printed, so finiteness should not be asserted without this qualification.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 6A Solution Created 2026-09-24 Updated 2026-10-14
With , the causal exponential is integrable and its Fourier transform isFor the pendulum system, a transfer function is the Fourier transform of its causal impulse response, equivalently the multiplier relating the transformed forcing to the transformed zero-initial-data response. Transforming derivatives givesPartial fractions therefore giveThe exponential transform identifies the causal response as for and zero for . It solves the homogeneous equation for , with and , the jump required by a unit impulse. The forcing is understood as switched on at zero; its transform is , and convolution with gives, if the time response is wanted,This has both stated initial values equal to zero.
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 5D i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 4F iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 4F ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2009 ib Paper 3 4F i Created 2026-09-24 Updated 2026-09-24
There are unlisted articles, also show them or only show them.