Part IB, 2002, Paper 2
Part IB, 2002, Paper 2
Jump to course
2.I.1E
commentDefine what is meant by (i) a complete metric space, and (ii) a totally bounded metric space.
Give an example of a metric space that is complete but not totally bounded. Give an example of a metric space that is totally bounded but not complete.
Give an example of a continuous function that maps a complete metric space onto a metric space that is not complete. Give an example of a continuous function that maps a totally bounded metric space onto a metric space that is not totally bounded.
[You need not justify your examples.]
2.II.10E
comment(a) Let be a map of a complete metric space into itself, and suppose that there exists some in , and some positive integer , such that for all distinct and in , where is the th iterate of . Show that has a unique fixed point in .
(b) Let be a map of a compact metric space into itself such that for all distinct and in . By considering the function , or otherwise, show that has a unique fixed point in .
(c) Suppose that satisfies for every distinct and in . Suppose that for some , the orbit is bounded. Show that maps the closure of into itself, and deduce that has a unique fixed point in .
[The Contraction Mapping Theorem may be used without proof providing that it is correctly stated.]
2.I.7B
commentSuppose that is analytic, and that is constant in an open disk . Use the Cauchy-Riemann equations to show that is constant in .
2.II.16B
commentA function has an isolated singularity at , with Laurent expansion
(a) Define res , the residue of at the point .
(b) Prove that if is a pole of order , then
(c) Using the residue theorem and the formula above show that
2.I.4G
commentLet the function be analytic in the complex plane with real-valued.
Prove that, if is bounded above everywhere on , then is constant.
2.II.13G
comment(a) Given a topology on , a collection is called a basis for if every non-empty set in is a union of sets in . Prove that a collection is a basis for some topology if it satisfies:
(i) the union of all sets in is ;
(ii) if for two sets and in , then there is a set with .
(b) On consider the dictionary order given by
if or if and . Given points and in let
Show that the sets for and in form a basis of a topology.
(c) Show that this topology on does not have a countable basis.
2.I.6G
commentLet be a complex matrix such that . What are the possible minimal polynomials of ? If is not diagonalisable and , list all possible Jordan normal forms of .
2.II.15G
comment(a) A complex matrix is said to be unipotent if is nilpotent, where is the identity matrix. Show that is unipotent if and only if 1 is the only eigenvalue of .
(b) Let be an invertible complex matrix. By considering the Jordan normal form of show that there exists an invertible matrix such that
where is an invertible diagonal matrix, is an upper triangular matrix with zeros in the diagonal and .
(c) Set and show that is unipotent.
(d) Conclude that any invertible matrix can be written as where is diagonalisable, is unipotent and .
2.I.2C
commentWrite down the transformation law for the components of a second-rank tensor explaining the meaning of the symbols that you use.
A tensor is said to have cubic symmetry if its components are unchanged by rotations of about each of the three co-ordinate axes. Find the most general secondrank tensor having cubic symmetry.
2.II.11C
commentIf is a vector, and
show for arbitrary scalars and that is a symmetric second-rank tensor.
Find the eigenvalues and eigenvectors of .
Suppose now that depends upon position and that . Find constants and such that
Hence or otherwise show that if vanishes everywhere on a surface that encloses a volume then
2.I.5B
commentApplying the Gram-Schmidt orthogonalization, compute a "skinny"
QR-factorization of the matrix
i.e. find a matrix with orthonormal columns and an upper triangular matrix such that .
2.II.14B
commentLet and let distinct points be given.
(a) Define the divided difference of order in terms of interpolating polynomials. Prove that it is a symmetric function of the variables .
(b) Prove the recurrence relation
(c) Hence or otherwise deduce that, for any , we have
(d) From the formulas above, show that, for any ,
where .
2.I.8F
commentExplain what is meant by a sesquilinear form on a complex vector space . If and are two such forms, and for all , prove that for all . Deduce that if is a linear map satisfying for all , then for all .
2.II.17F
commentDefine the adjoint of an endomorphism of a complex inner-product space . Show that if is a subspace of , then if and only if .
An endomorphism of a complex inner-product space is said to be normal if it commutes with its adjoint. Prove the following facts about a normal endomorphism of a finite-dimensional space .
(i) and have the same kernel.
(ii) and have the same eigenvectors, with complex conjugate eigenvalues.
(iii) If , then .
(iv) There is an orthonormal basis of consisting of eigenvectors of .
Deduce that an endomorphism is normal if and only if it can be written as a product , where is Hermitian, is unitary and and commute with each other. [Hint: Given , define and in terms of their effect on the basis constructed in (iv).]
2.I.9D
commentFrom the expressions
show that
is an eigenfunction of and , and compute the corresponding eigenvalues.
2.II.18D
commentConsider a quantum mechanical particle moving in an upside-down harmonic oscillator potential. Its wavefunction evolves according to the time-dependent Schrödinger equation,
(a) Verify that
is a solution of equation (1), provided that
and
(b) Verify that provides a solution to (3), where is an arbitrary real constant.
(c) The expectation value of an operator at time is
where is the normalised wave function. Show that for given by (2),
Hence show that as ,
[Hint: You may use
2.II.12H
commentFor ten steel ingots from a production process the following measures of hardness were obtained:
On the assumption that the variation is well described by a normal density function obtain an estimate of the process mean.
The manufacturer claims that he is supplying steel with mean hardness 75 . Derive carefully a (generalized) likelihood ratio test of this claim. Knowing that for the data above
what is the result of the test at the significance level?