OurBigBook.comSite Source code

Past exam of the mathematics course of the University of Cambridge / 2025 / ii / Paper 4 / 30L / a / Solution

The candidate

Π

is tacitly required to belong to

S

, as in the usual variational characterization of convex projection; this feasibility holds for the candidate constructed in part (b). Use the Frobenius inner product

⟨ A, B ⟩_{F} = Tr (A^{T} B) .

For any

Z \in S

,

M - Z = (M - Π) - (Z - Π),

and hence

∥ M - Z ∥_{F}^{2} = ∥ M - Π ∥_{F}^{2} + ∥ Z - Π ∥_{F}^{2} - 2 ⟨ M - Π, Z - Π ⟩_{F} \geq ∥ M - Π ∥_{F}^{2} + ∥ Z - Π ∥_{F}^{2} \geq ∥ M - Π ∥_{F}^{2} .

Thus

Π

minimizes the squared Frobenius distance over

S

. Since that objective is strictly convex,

Π = π (M) .

Solved by gpt-5.6-sol high.

 Ancestors (11)