Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 3G a Solution Created 2026-09-24 Updated 2026-10-05
The uniform convergence condition on a set isThe index is independent of ; this is stronger than pointwise convergence.
Fix and . Choose one such that for every . The continuity of at gives with whenever . The triangle inequality then givesSince was arbitrary, , the uniform limit theorem. Continuity of each approximant need not be uniform continuity.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 2E b ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 2E b i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 2E a Solution Created 2026-09-24 Updated 2026-10-05
A unique factorization domain is an integral domain in which every nonzero nonunit is a finite product of irreducible elements, uniquely up to reordering and multiplication of factors by a unit in a ring. A principal ideal domain is an integral domain in which every ideal is generated by one element.
Gauss lemma for polynomials says that over a unique factorization domain , the product of two primitive polynomials is primitive, and the polynomial content satisfies up to a unit. In particular a primitive polynomial of positive degree is irreducible over exactly when it is irreducible over the fraction field of . Consequently a polynomial ring over a unique factorization domain is itself a unique factorization domain.
The Eisenstein criterion says that if has and there is a prime element with , for every , and , then is irreducible over the fraction field. If is primitive, it is also irreducible in . Over one may take to be an ordinary prime number. The primitivity qualification prevents a nonunit constant content from being overlooked.
The defining distinction is unique irreducible factorization versus generation of every ideal by one element.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 20H c Solution Created 2026-09-24 Updated 2026-10-05
Every reachable state reaches zero deterministically in steps. For , choose a supported lifetime ; zero can jump to and then count down to . Thus the chain is an irreducible Markov chain on . Its positive-probability first return lengths are exactly the support of ; all other return lengths are sums of such lengths. Their greatest common divisor is therefore one by assumption, so the chain is an aperiodic Markov chain.
The equilibrium residual-life distribution isIt is a probability distribution because the tail-sum identity gives . With zero masses outside ,so it is a stationary distribution. This also displays why finite mean is needed for normalization.
Use the countable-state Markov chain convergence theorem: an irreducible, aperiodic, positive recurrent discrete-time chain on a countable state space has a unique stationary distribution and for every pair of states. All hypotheses were verified, including positive recurrence in part (b). Since and ,The finite-state convergence theorem alone would not suffice when the lifetimes are unbounded. The gcd hypothesis is also necessary for this ordinary limit: deterministic lifetime 2, for example, produces alternating renewal probabilities rather than convergence.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 20H b Solution Created 2026-09-24 Updated 2026-10-05
Starting at zero, the next renewal is at time , and there are no intervening renewals because . Thus the first return time obeys in distribution, indeed under the original renewal construction. Its mean recurrence time isThe chain returns to zero almost surely and has a finite expected return time, so zero is a positive recurrent state. The assumption is what upgrades recurrence to positive recurrence.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 20H a Solution Created 2026-09-24 Updated 2026-10-05
Let , , be the epochs of the renewal process. The definition uses the next epoch at or after , so at an epoch. If , no renewal occurs before and necessarily .
If , time is a renewal epoch, and the next unused interarrival time is independent of the entire observed past with the original distribution. To justify the random index, condition on each possible number of renewals up to : the event identifying depends only on , whereas is independent of those variables. Summing over preserves that distribution and independence. Therefore the residual lifetime Markov chain has transition probabilitiesIts reachable state space is , either an initial finite segment or all nonnegative integers. The conditional next-step law depends only on , proving the Markov property. Initially . The reset is , rather than , because one unit of time has elapsed by the next step.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 17B b ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 17B b i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 17B a Solution Created 2026-09-24 Updated 2026-10-20
For the quantum harmonic oscillator, the time-independent Schrödinger equation iswith . The given dimensionless coordinate yields . Substituting the Gaussian factor givesBy the supplied normalizability fact, is a nonzero polynomial. If its degree is , comparison of the leading coefficient forces . Conversely, at this value the coefficient recurrenceproduces a degree- polynomial with parity : start with a nonzero constant for even or a nonzero linear coefficient for odd , and the recurrence terminates at degree . This is a multiple of the Hermite polynomial. Its product with the Gaussian is square integrable and can be normalized. Therefore all and only the allowed energies are
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 12G ii Solution Created 2026-09-24 Updated 2026-10-05
The interior of the diamond is . Its Minkowski functional, or the uniqueness argument already proved, gives the L1 norm:The final unheaded set cannot be an open unit ball of a norm, because every norm ball is convex by homogeneity and the triangle inequality. Both and lie in : their squared-distance expression is . Their midpoint has that expressionso . Thus . The strict inequalities in the definition are respected by this explicit counterexample.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 12G i Solution Created 2026-09-24 Updated 2026-10-05
The unheaded preliminary requests are addressed before the first example. A norm is a function satisfying exactly for , , and . Its induced metric is . Translation preserves this distance, and scalar multiplication satisfies , so both are continuous; multiplication by zero is constant.
The open unit ball determines the norm uniquely through its Minkowski functional:because is equivalent to . This also works for .
Under the given radial and convexity hypotheses, set and for . The finite symmetric segment along each line gives positivity, absolute homogeneity and . If and , then , and the stated convexity condition yields . Hence ; taking and proves the triangle inequality. Thus this is a norm determined by a convex radial unit ball. The case is immediate.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 11E c Solution Created 2026-09-24 Updated 2026-10-05
Conversely, if , none of its positive powers is zero. The multiplicative subset is disjoint from . Part (b) supplies a prime ideal disjoint from , hence not containing . Thus is outside the intersection, proving the nilradical as the intersection of prime ideals identity:In the zero ring there are no prime ideals; the empty intersection is interpreted as the whole ring, which is also its nilradical. For nonzero rings this argument proves existence of a prime ideal whenever a nonnilpotent element is available.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 11E b Solution Created 2026-09-24 Updated 2026-10-05
Consider all ideals containing and disjoint from the nonempty multiplicative subset . This collection is nonempty because it contains . The ascending chain condition for the Noetherian ring gives a maximal member : otherwise repeatedly choosing a strictly larger member would give an infinite strictly ascending chain of ideals. Since is nonempty and misses it, .
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 2 11E a Solution Created 2026-09-24 Updated 2026-10-05
For nilpotent elements of the commutative ring, choose positive integers with . The binomial theorem giveseach term has either or . Also , , and for every . Thus is an additive subgroup stable under multiplication by arbitrary ring elements:Commutativity is essential to the simple binomial argument; an arbitrary sum of nilpotent elements in a noncommutative ring need not be nilpotent.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 1 9F v Solution Created 2026-09-24 Updated 2026-10-05
False. Take , , and . Then , but because is missing. Thus the premise does not force spanning. It need not force zero intersection either: with the same , take and . Their images still have a direct sum, while .
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 1 9F iv Solution Created 2026-09-24 Updated 2026-10-05
False. Take , , , , and . Then is a direct sum, but , so their intersection is not zero. Their ordinary sum is , as always follows from surjective function and ; the failure is precisely the direct sum assertion.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 1 9F iii Solution Created 2026-09-24 Updated 2026-10-05
True. Use the lifted basis above and put . If , applying gives , so all . Thus the form a basis of , and takes this basis to the basis of . It is a linear isomorphism.
In fact the right inverse gives the stronger splittingFor every , write ; the first term is in the kernel and the second in . Their intersection is zero because is injective. This is a direct sum decomposition.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 1 9F ii Solution Created 2026-09-24 Updated 2026-10-05
True. Choose a basis of . By surjective function, choose with . Define the linear map by and extend by linearity. Then on every basis vector, and thereforeThis constructs a right inverse and does not require to be injective. If is the zero vector space, the unique zero map is the required right inverse.
Past exam of the mathematics course of the University of Cambridge 2017 ib Paper 1 9F i Solution Created 2026-09-24 Updated 2026-10-05
False. A left inverse would force to be injective: if , then . Take the surjective linear map given by . Since belongs to its kernel, every composite annihilates and cannot be the identity map on .
There are unlisted articles, also show them or only show them.