Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 23H b Solution Created 2026-09-24 Updated 2026-09-29
Because every subset of is open, the Borel sigma-algebra of a discrete space isIf or and is a Borel subset of the codomain, then is some subset of , hence is Borel. Thus every such function is a Borel measurable function.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 23H a Solution Created 2026-09-24 Updated 2026-09-29
For each , the open intervalmeets only in . Thus every singleton is open in the subspace topology on . Every subset is the union and is therefore open. Hence the induced topology is the discrete topology:
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 22H d Solution Created 2026-09-24 Updated 2026-09-29
Assume for contradiction that is infinite-dimensional. Starting with , apply Riesz lemma recursively to the proper closed finite-dimensional subspacesto choose unit vectors satisfyingFor , the vector belongs to , and thereforeThus lies in the closed unit ball but has no Cauchy subsequence, hence no convergent subsequence. A compact metric space is sequentially compact, contradicting compactness of the unit ball. Therefore is finite-dimensional, proving that a compact unit ball characterizes finite-dimensional normed spaces.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 22H c Solution Created 2026-09-24 Updated 2026-09-29
For , one has but for every , including . Thus is unbounded for every .
For , the sequence has entries and in coordinates and , respectively. Hence , so is also unbounded for every .
For , coordinatewise division givesfor every . Thus is a bounded diagonal operator on sequence space for every .
For , write . Then , and coordinate evaluation satisfies . By the p-series criterion, exactly when , while . Therefore is bounded precisely forFor , even does not belong to .
For , let be the Holder conjugate exponent of . Holder inequality gives, for finite ,and consequentlyFor ,Thus is bounded for every . Altogether,
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 22H b Solution Created 2026-09-24 Updated 2026-09-29
Given , choose a sequence with , which is possible by part (a). The bound givesso is a Cauchy sequence. Since is a Banach space, it converges. DefineThe same estimate shows that this limit does not depend on the approximating sequence. Passing to the limit proves linearity andso . It agrees with on . If two bounded extensions existed, their difference would vanish on the dense subspace and, by continuity, on its closure . Thus the extension is unique. This is the extension of a bounded linear operator from a dense subspace.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 22H a Solution Created 2026-09-24 Updated 2026-10-03
For with , letThenbecause the defining nonnegative series converges. Thus is dense in the l-p sequence space for every finite ; this is the density of finitely supported sequences in l-p.
It is not dense in the l-infinity sequence space. For the constant sequence and any finitely supported , some tail of is zero, soHence does not belong to the closure of .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 21F c Solution Created 2026-09-24 Updated 2026-10-03
No. The monodromy action of a covering space for a two-sheeted covering takes values in . Its nonidentity transposition commutes with every subgroup of , so the deck transformation group as a monodromy centralizer always contains that transposition. Equivalently, every double cover has a deck involution of a double covering that exchanges the two points in each fibre. Thus a two-sheeted cover cannot have trivial deck group.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 21F b Solution Created 2026-09-24 Updated 2026-09-29
Take , the wedge of two circles, and label its oriented loops and . For a fixed , letbe permutations of the fibre . Construct a labelled graph with these vertices, an oriented -edge from to , and an oriented -edge from to . Map every vertex to the wedge point and each labelled edge homeomorphically onto its corresponding loop. Every vertex has exactly one incoming and one outgoing edge of each label, so this is an -sheeted permutation covering of a wedge of circlesIt is connected because the -cycle acts transitively on the fibre.
A deck transformation induces a permutation of the vertices that commutes with both monodromy permutations and . Conversely, such a permutation determines a deck transformation, by the deck transformation group as a monodromy centralizer. The permutations and generate : the conjugates include the adjacent transpositions, which generate the symmetric group. Hence centralizes and lies in its center of a group. For , the center of is trivial, so . A deck transformation fixing one point is the identity by part (a), and therefore
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 21F a Solution Created 2026-09-24 Updated 2026-09-29
Let be the covering map. The uniqueness of lifts to a covering space says that if satisfyand at one point , then
For any , choose a path from to , using path-connectedness of . Both and lift the same path and have the same initial point. Uniqueness in the path lifting theorem makes the lifted paths equal, so their endpoints agree. Since was arbitrary, the two lifts agree everywhere.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 20G c Solution Created 2026-09-24 Updated 2026-09-29
Let and . The generator of this principal ideal has normReduction modulo gives . The map below is surjective and has in its kernel; both the kernel and have index seven, the latter by the ideal norm, so they are equal. Hence it induces an isomorphism of residue fieldsIn particular,In the finite field , the element has multiplicative order six, since
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 20G b Solution Created 2026-09-24 Updated 2026-09-29
The Dirichlet unit theorem states that for a number field with real embeddings and conjugate pairs of complex embeddings,where is its finite group of roots of unity. Here is real quadratic, so and . Thus its unit group has rank one.
The elementis a unit because its field norm isIt is the smallest unit greater than one in the chosen real embedding. Indeed, write such a unit as and let be its algebraic conjugate. Since , both and are positive integers. Hence and . The rank-one logarithmic lattice in Dirichlet's theorem is therefore generated by . Consequently the units of Q of square root two are
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 20G a Solution Created 2026-09-24 Updated 2026-09-29
The ring of integers of a quadratic field has integral basis when the square-free integer is not congruent to one modulo four. Since ,This is the ring of integers of Q of square root two.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 1I b Solution Created 2026-09-24 Updated 2026-10-03
An odd composite number with is a Fermat pseudoprime to base whenFor , the Chinese remainder theorem for unit groups reduces this condition to congruences modulo and . Modulo , Fermat's little theorem givesso exactly when . Modulo , the unit group has order , soThe equation in the cyclic group has solutions, namely .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 1I a Solution Created 2026-09-24 Updated 2026-10-03
The Chinese remainder theorem says that if the positive integers are pairwise coprime and , then for arbitrary residue classes there is a unique residue class satisfyingEquivalently, reduction is a ring isomorphism
For existence, put . Pairwise coprimality gives , so Bézout's identity supplies an integer with . Thenhas the required residues, because every term except the th is divisible by . If and are two solutions, each divides . Pairwise coprimality then implies that their product divides , proving uniqueness modulo .
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 19I c ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 19I c i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 19I b ii Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 19I b i Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 19I a Solution Created 2026-09-24 Updated 2026-09-29
Schur lemma over states that an intertwining operator between finite-dimensional irreducible complex representations is either zero or an isomorphism. In particular, every intertwining endomorphism of is a scalar multiple of the identity.
Indeed, and are invariant subspaces. If , irreducibility gives and , so is an isomorphism. For an endomorphism , the fundamental theorem of algebra gives an eigenvalue . Then is an intertwiner with nonzero kernel, so the first part forces . Hence , completing the Proof of Schur lemma.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 1 18F c Solution Created 2026-09-24 Updated 2026-09-29
The actions on the ordered pair satisfyThus every element of has the form or for , so . Their actions areBecause are algebraically independent elements over , these eight substitutions are distinct. Henceand the presentation identifies with the dihedral group .
PutBoth generators and fix and , so for ,The elements and are the two roots ofso . Adjoining first and then takes at most two quadratic extensions, and the tower law givesPart (b) gives . Since , another use of the tower law givesAll inequalities are equalities and . Thereforethe dihedral fixed field of a two-variable rational function field.
There are unlisted articles, also show them or only show them.