Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 12G c Solution Created 2026-09-24 Updated 2026-10-06
First , since . Any finite linear dependence among and the has the form for a finite index set . At an index outside , its coordinate equals , so . Each remaining coordinate then gives . Therefore the set is linearly independent, and the prescribed values define a unique linear map on its algebraic span.
Take the tailsThey belong to , satisfy , and haveThus while does not approach . The map is not continuous, and part (b) also shows it is unbounded. This is a discontinuous functional detected by vanishing sequence tails, illustrating why the finite-dimensional conclusion in part (a) cannot be extended to arbitrary normed spaces.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 12G b Solution Created 2026-09-24 Updated 2026-10-06
If is a bounded linear operator, linearity gives . It is therefore Lipschitz and continuous everywhere.
Conversely, suppose is continuous at zero. There is such that implies . For , apply this to and use homogeneity:The value at is zero by linearity. ConsequentlyThus boundedness and continuity are equivalent for linear maps between normed spaces. No finite dimensionality or completeness is needed for this equivalence.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 12G a Solution Created 2026-09-24 Updated 2026-10-06
Two norms on the same vector space are equivalent norms, or Lipschitz equivalent, if there are constants such that for every . The constants are uniform over the whole space.
Let be any norm on . The triangle inequality and the Cauchy-Schwarz inequality giveThe reverse triangle inequality then gives , so is Euclidean-continuous; this continuity was derived, rather than assumed. On the compact Euclidean unit sphere, attains a strictly positive minimum , because it vanishes only at zero. Homogeneity yieldsFinally a linear map satisfies , again by Cauchy-Schwarz inequality. The equivalence just proved transfers this bound to any norms on the source and target. Hence every such linear map is continuous.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 11E c Solution Created 2026-09-24 Updated 2026-10-06
If , take the empty filtration. Otherwise a nonzero quotient is a finitely generated module. Because has the ascending chain condition on ideals, the nonempty collection of annihilators of nonzero elements of has a maximal element. Part (b), applied to , supplies with a prime ideal .
The map , , is surjective with kernel . The first isomorphism theorem gives . Let be the inverse image of under . ThenRepeat whenever the quotient remains nonzero. An infinite repetition would give a strictly ascending chain of submodules of the Noetherian module , contradicting part (a). Thus the process stops after finitely many steps, necessarily at .
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 11E b Solution Created 2026-09-24 Updated 2026-10-06
Let be maximal among annihilators of nonzero elements of . It is a proper ideal, since . Suppose and . Then andThe inclusion holds because every satisfies . Maximality in the stated set forces , so . This proves the defining implication for a prime ideal:This is a maximal annihilator of a module element is prime argument. Maximality among element annihilators is sufficient; need not be a maximal ideal of .
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 11E a Solution Created 2026-09-24 Updated 2026-10-06
Work with the usual commutative unital Noetherian ring convention. First prove that every submodule of is a finitely generated module. For , a submodule is an ideal, hence finitely generated by Noetherianity. For the induction step, project a submodule onto its last coordinate. Its image is a finitely generated ideal; choose lifts in of its generators. The projection kernel lies in and is finitely generated by induction. The kernel generators together with the chosen lifts generate , since subtracting a combination of the lifts leaves an element of the kernel.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 10F b Solution Created 2026-09-24 Updated 2026-10-06
The adjoint operator is uniquely characterized byLet . Its quadratic form is nonnegative:If , both norms vanish. In particular , while means is orthogonal to , by the defining adjoint operator identity. A vector belonging to a vector subspace and its orthogonal complement must be zero. Hence is injective, and finite dimensionality makes it surjective.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 4 10F a Solution Created 2026-09-24 Updated 2026-10-06
The algebraic dual map is , defined by . The annihilator of a vector subspace isEvery functional vanishes on , so . Conversely, let . Define a functional on by . It is well defined because two preimages differ by an element of . Extend a basis of to one of and extend the functional arbitrarily, for instance by zero on the extra basis vectors. The resulting satisfies .
This is the dual image and kernel annihilator identity. ThereforeThe basis extension theorem also gives . By the rank-nullity theorem,Apply rank-nullity theorem to both maps, using , to obtainOver , this is the algebraic dual, without complex conjugation; the adjoint operator in part (b) uses the inner products instead.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 8B b Solution Created 2026-09-24 Updated 2026-10-06
The global time-dependent phase cancels from the probability current. Put . Direct multiplication givesThe second term is real, because the expression in parentheses is purely imaginary. HenceThe first plane wave travels to the right with incident current ; the second travels to the left with reflected current . Their wave interference changes the probability density but cancels from the net current. The current vanishes for , is positive for , and is negative for . These plane waves are scattering states, not individually normalizable bound states.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 8B a Solution Created 2026-09-24 Updated 2026-10-14
For a particle of mass , the probability density and one-dimensional probability current areThe Schrödinger equation and its complex conjugate, for real , giveThe potential terms cancel precisely because is real. Thus , the continuity equation for probability. Integrating over an interval says that its probability changes by the incoming current minus the outgoing current.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 5F b Solution Created 2026-09-24 Updated 2026-10-06
Let and count the pentagonal and hexagonal faces. Counting incidences of edges with vertices and faces givesThe Euler formula for a sphere also applies to this polygonal decomposition: triangulating a polygon by adding one diagonal increases both and by one, preserving . Substitution givesThus there are exactly 12 pentagons, independently of the number of hexagons.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 5F a Solution Created 2026-09-24 Updated 2026-10-06
For a finite triangulation of a surface of the sphere, Euler formula for a sphere iswhere , and count vertices, edges and triangular faces. Since each face has three edges and each edge borders two faces, also .
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 2G b iv Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 2G b iii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 2G b ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 2G b i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 2G a Solution Created 2026-09-24 Updated 2026-10-06
The sequence has uniform convergence on if there is a function such thatThe same must work for every . Equivalently, the supremum of the error over tends to zero. In pointwise convergence, is allowed to depend on .
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 21H b Solution Created 2026-09-24 Updated 2026-10-06
Put . The constraints are equivalent to , so the objective becomes the strictly convex quadraticIts derivative at an interior index gives , . The terminal derivative gives . The characteristic equation has roots and , soThe conditions and give and . ThusThese formulas also cover , giving , .
For a direct application of Lagrangian sufficiency theorem, use equality constraints and multipliers . The Lagrangian derivatives in vanish. Its derivative in is , which also vanishes: putting , the interior recurrence gives , and the terminal condition gives . The Lagrangian has positive-definite quadratic part , so this stationary point is its unique global minimum. The candidate is feasible, and the theorem proves it is the unique constrained optimal solution. Equivalently, strict convexity of the eliminated objective proves the same global conclusion.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 21H a Solution Created 2026-09-24 Updated 2026-10-06
For a minimization problem over a domain with inequality constraints and equality constraints , letThe Lagrangian sufficiency theorem states: if is feasible, , , and globally minimizes on , then globally minimizes the constrained objective. Equality multipliers have no sign restriction.
For any feasible , the sign of the inequality multipliers gives . Feasibility and complementary slackness give . ThereforeThis proves the theorem. No convexity is necessary if the global minimization of the Lagrangian is already known. In a differentiable convex optimization problem with convex inequalities and affine equalities, a stationary point of this convex Lagrangian is automatically a global minimizer, which gives the familiar sufficiency of the Karush-Kuhn-Tucker conditions.
Past exam of the mathematics course of the University of Cambridge 2016 ib Paper 3 20H c Solution Created 2026-09-24 Updated 2026-10-06
The specified gamma distribution uses shape and rate . Multiplying its density by the Poisson likelihood gives a posterior density proportional to . Thus the conjugate prior calculation givesFor squared-error loss, the posterior expected loss isIt is minimized at the posterior mean, so the Bayes estimator isFor a fresh conditionally independent Poisson observation, the posterior predictive probability of zero is the posterior expectation of . Evaluating the gamma integral givesThe samples are independent conditional on ; integrating out the uncertain common parameter produces the predictive probability above.
There are unlisted articles, also show them or only show them.