Part IB, 2001, Paper 2
Part IB, 2001, Paper 2
Jump to course
2.I.1A
commentState and prove the contraction mapping theorem.
Let , let be the discrete metric on , and let be the metric given by: is symmetric and
Verify that is a metric, and that it is Lipschitz equivalent to .
Define an appropriate function such that is a contraction in the metric, but not in the metric.
2.II.10A
commentDefine total boundedness for metric spaces.
Prove that a metric space has the Bolzano-Weierstrass property if and only if it is complete and totally bounded.
2.II.16E
commentLet be a rational function such that . Assuming that has no real poles, use the residue calculus to evaluate
Given that is an integer, evaluate
2.I.4B
commentDefine the terms connected and path connected for a topological space. If a topological space is path connected, prove that it is connected.
Consider the following subsets of :
Let
with the subspace (metric) topology. Prove that is connected.
[You may assume that any interval in (with the usual topology) is connected.]
2.II.13A
commentState Liouville's Theorem. Prove it by considering
and letting .
Prove that, if is a function analytic on all of with real and imaginary parts and , then either of the conditions:
implies that is constant.
2.I
commentShow that right multiplication by defines a linear transformation . Find the matrix representing with respect to the basis
of . Prove that the characteristic polynomial of is equal to the square of the characteristic polynomial of , and that and have the same minimal polynomial.
2.II.15C
commentDefine the dual of a vector space . Given a basis of define its dual and show it is a basis of . For a linear transformation define the dual .
Explain (with proof) how the matrix representing with respect to given bases of and relates to the matrix representing with respect to the corresponding dual bases of and .
Prove that and have the same rank.
Suppose that is an invertible endomorphism. Prove that .
2.I.2G
commentShow that the symmetric and antisymmetric parts of a second-rank tensor are themselves tensors, and that the decomposition of a tensor into symmetric and antisymmetric parts is unique.
For the tensor having components
find the scalar , vector and symmetric traceless tensor such that
for every vector .
2.II.11G
commentExplain what is meant by an isotropic tensor.
Show that the fourth-rank tensor
is isotropic for arbitrary scalars and .
Assuming that the most general isotropic tensor of rank 4 has the form , or otherwise, evaluate
where is the position vector and .
2.I.5E
commentFind an LU factorization of the matrix
and use it to solve the linear system , where
2.II.14E
comment(a) Let be an positive-definite, symmetric matrix. Define the Cholesky factorization of and prove that it is unique.
(b) Let be an matrix, , such that . Prove the uniqueness of the "skinny QR factorization"
where the matrix is with orthonormal columns, while is an upper-triangular matrix with positive diagonal elements.
[Hint: Show that you may choose as a matrix that features in the Cholesky factorization of .]
2.I.8B
commentLet be a finite-dimensional vector space over a field . Describe a bijective correspondence between the set of bilinear forms on , and the set of linear maps of to its dual space . If are non-degenerate bilinear forms on , prove that there exists an isomorphism such that for all . If furthermore both are symmetric, show that is self-adjoint (i.e. equals its adjoint) with respect to .
2.II.17B
commentSuppose is an odd prime and an integer coprime to . Define the Legendre symbol , and state (without proof) Euler's criterion for its calculation.
For any positive integer, we denote by the (unique) integer with and . Let be the number of integers for which is negative. Prove that
Hence determine the odd primes for which 2 is a quadratic residue.
Suppose that are primes congruent to 7 modulo 8 , and let
Show that 2 is a quadratic residue for any prime dividing . Prove that is divisible by some prime . Hence deduce that there are infinitely many primes congruent to 7 modulo 8 .
2.I
commentConsider a solution of the time-dependent Schrödinger equation for a particle of mass in a potential . The expectation value of an operator is defined as
Show that
where
and that
[You may assume that vanishes as
2.II.18F
comment(a) Write down the angular momentum operators in terms of and
Verify the commutation relation
Show that this result and its cyclic permutations imply
(b) Consider a wavefunction of the form , where . Show that for a particular value of is an eigenfunction of both and . What are the corresponding eigenvalues?
2.I.3D
commentSuppose the single random variable has a uniform distribution on the interval and it is required to estimate with the loss function
where .
Find the posterior distribution for and the optimal Bayes point estimate with respect to the prior distribution with density .
2.II.12D
commentWhat is meant by a generalized likelihood ratio test? Explain in detail how to perform such a test
Let be independent random variables, and let have a Poisson distribution with unknown mean .
Find the form of the generalized likelihood ratio statistic for testing , and show that it may be approximated by
where .
If, for , you found that the value of this statistic was , would you accept ? Justify your answer.