Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 1 5 c Solution Created 2026-10-03 Updated 2026-10-14
Use the same intended weak-star topology as in (b), and assume . The induced operator is , so ; it is weak-star continuous because evaluation after applying is still evaluation at a vector of .
Choose and form the averagesInvariance and convexity put every in . Weak-star closedness and (b) make compact, so some subsequence converges to . Telescoping givesbecause both orbit points lie in the dual unit ball. Weak-star continuity now gives . Hence This is the weak-star fixed point theorem for an adjoint operator; it does not require to be a contraction on the entire dual space.
If “weakly closed” is interpreted literally as closed for , the result can fail. Take , let be the left shift and the right shift on . The setis a nonempty weakly closed convex subset of the unit ball: its defining coordinate inequalities and sum equality are weakly closed. It is invariant under the right shift. But a fixed vector of that shift has first coordinate zero and then every coordinate zero, so none belongs to . This supplies a counterexample to the literal topology and explains why the weak-star qualification is essential.