Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 7F c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
False. In let , and . Then , so , but and their sum is zero. Thus intersection need not distribute over the sum of vector subspaces. The right side is always contained in the left; this example makes the inclusion strict.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 7F b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
False. Distinct vector subspaces may be nested: in , take and . Their union is , a subspace. More precisely, is a subspace exactly when one is contained in the other. If neither contains the other, choose and . Were in the union, subtracting or in the appropriate subspace would contradict those choices.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 7F a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
True. Both vector subspaces contain zero, and if , every linear combination belongs to each of and . Thus it belongs to their intersection. This proves the intersection of vector subspaces is a vector subspace.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 3G b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The map , , is continuous: the inverse image of a basic open set is . Its image is exactly the graph of a function . The continuous image of a compact space is compact, soThe compact graph of a continuous map conclusion does not need to be Hausdorff. In fact projection onto is a continuous inverse of , so the graph is homeomorphic to .
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 3G a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Take outside the graph of a function, so . Since is a Hausdorff space, choose disjoint open neighborhoods of and of . Continuity makes an open neighborhood of . The product neighborhood contains and cannot meet the graph, because every with belongs to . The complement is therefore open in the product topology, provingThis is the closed graph of a map into a Hausdorff space property; no separation assumption on is required.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 20D c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Here and . Its time evolution for an additional interval isAt , . Acting on the state from the previous part givesIt differs from the initial state only by a global phase. For every observable or projection the phase cancels between bra and ket, so the final state is observationally indistinguishable from the original isolated state. A relative phase between two components or between coherently controlled alternatives would be observable; this overall phase of the entire state is not.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 20D b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
In the ordered eigenbasis, , a Pauli matrix. The coefficient equations are and , with , . Differentiating the first gives , and its initial derivative vanishes. ThusThe population of is . To be an eigenstate of eigenvalue , the coefficient of must vanish. Its first positive zero isThe global phase does not change its eigenstate or measurement probabilities.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 20D a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The Time-dependent Schrödinger equation is . The normalized eigenstates of the Hermitian Hamiltonian with distinct eigenvalues are orthogonal, so they form an orthonormal basis of this two-state system. Substitute the expansion of and compare the two coefficients:Hence and . For the normalized test state , the Born rule givesThe complex conjugates are essential; relative phases can affect this probability even though the energy-state populations remain constant under .
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 16B b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Write , with diagonal, and use only old iterates on the right side. The Jacobi method isStrict row diagonal dominance ensures every . The exact solution satisfies the same coordinate relation. For , subtraction givesTaking the maximum and iterating provesThis direct contraction proof requires no eigenvector assumption and applies to every strictly diagonally dominant matrix with the stated uniform .
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 16B a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Since every eigenvalue has modulus less than one, is not an eigenvalue and is invertible. Hence the iteration has a unique fixed point . The stated consistency implication gives , and nonsingularity of identifies . This justifies using the fixed-point relation even though consistency was stated in only one direction.
Expand the initial error in the eigenvector basis, . Subtract the fixed-point equation from the stationary iterative method for a linear system and iterate:With , any norm obeys . ThusThe argument uses the given diagonalizable eigenbasis; the more general convergence criterion is spectral radius less than one.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 13G c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For nonnegative integers , put . Since , the denominator has no zero on or inside the unit circle. On ,so . Consequently , and Rouché's theorem gives the same interior zero count for as for . The latter has zeros at zero and at , with the multiplicities combining when . ThereforeThis is the interior zero count for a finite Blaschke product minus a constant. If , the nonzero constant has zero zeros, so the same conclusion includes that endpoint case.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 13G b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
The function is holomorphic on a neighborhood of the closed unit disk. On , the mapping assumption gives . Apply Rouché's theorem to and . Their sum has the same number of interior zeros as , namely one counting multiplicity. ThusThe zero is simple since its total multiplicity is one. No boundary fixed point is possible because maps the boundary strictly inside.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 3 13G a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For , put . On the curve, , so no member of this homotopy has a boundary zero. The argument principle counts the interior zeros, with multiplicity, by its winding number . For a piecewise smooth curve this isThere are no poles, and the null-homotopy of the Jordan curve in the domain permits this interior count. The loops form a continuous homotopy avoiding zero, so their integer winding number stays constant. Equivalently, for a piecewise smooth curve the integral varies continuously with and is integer-valued. In particularThis proves Rouché's theorem. The counting is with multiplicity and assumes the usual positive orientation; reversing orientation reverses both winding counts without changing the conclusion.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 18D c Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Write with . Normalization of the Gaussian wave packet gives , hence . The supplied Gaussian integral ratio then givesThe momentum operator obeys , and direct second differentiation gives . Taking the expectation value and substituting the first result givessince . These are the second moments of a complex Gaussian wave packet.
For the solution in part (b), the trigonometric identitygives, writing ,Thus normalizability requires , and the exact expectation values areSince ,Their difference is the constant , so the mean energy stays constant despite exponential spreading in both observables.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 18D b Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Set with real constant . ThenThus solves the Riccati equation wherever it is finite. Integrating the amplitude equation also giveswith the square root chosen continuously from . For the normalizable solutions used in part (c), ; equivalently one can choose modulo . The unrestricted real parameter solves the differential equation locally, but not every value defines a normalizable wavefunction.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 18D a Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For the proposed Gaussian wave packet, differentiation givesInserting these in the Time-dependent Schrödinger equation with Hamiltonian , its right-hand side becomesEquating the constant and quadratic coefficients with yieldsConversely these two equations make the substitution an identity, so they are sufficient for the Gaussian evolution in an inverted harmonic oscillator.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 17F iv Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Proceed by induction on . The zero-dimensional case has the empty orthonormal basis. In positive dimension, the fundamental theorem of algebra gives a root of the characteristic polynomial, hence a unit eigenvector of , say with eigenvalue . Part (ii) makes it an eigenvector of as well. Thus the line spanned by and its orthogonal complement are invariant under both operators by the introductory adjoint argument.
On , the restriction of is the adjoint of the restriction of , and the restrictions still commute. The restricted linear operator is therefore normal. By induction it has an orthonormal basis of eigenvectors. Adjoining proves an orthonormal eigenbasis exists for , establishing the finite-dimensional spectral theorem by construction.
For the final deduction, use this orthonormal basis and write . DefineThe real nonnegative diagonal entries make a Hermitian operator, and the modulus-one diagonal entries make a unitary operator. Both are diagonal in the same orthonormal basis, so they commute and even when . This proves the required factorization without assuming invertibility.
Conversely, if with , , and , then andThus is normal. Normality is equivalent to a commuting Hermitian–unitary factorization, with the Hermitian factor even selectable nonnegative. This is the polar decomposition with a unitary extension on the kernel.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 17F iii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
Part (ii) shows that for every , so is invariant under . Apply the adjoint criterion for an invariant orthogonal complement with in place of , using . It follows thatThe same argument interchanging and shows that is invariant under both operators, a fact needed for the induction in part (iv).
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 17F ii Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
For any complex , the shifted linear operator is normal: expansion of leaves just . Apply part (i) to this shifted normal operator:Hence a nonzero vector is an eigenvector of with eigenvalue if and only if it is an eigenvector of with eigenvalue . The eigenspaces coincide, with conjugate eigenvalues.
Past exam of the mathematics course of the University of Cambridge 2002 ib Paper 2 17F i Solution by
Codex 0 Created 2026-09-24 Updated 2026-10-14
A normal operator satisfies . Moving an operator across the inner product givesOne of these norms is zero exactly when the other is zero. Therefore
There are unlisted articles, also show them or only show them.