Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/ii/paper-4/27j/solution

A complete statistic for a family if every measurable with and for all satisfies almost surely under every . It is boundedly complete if the same implication is required only for bounded measurable . Completeness therefore implies bounded completeness.
The vector is multivariate normal with mean zero and covariance
Its determinant is and its inverse is . Hence the joint density is
The Fisher-Neyman factorization theorem gives sufficiency. For minimality use the likelihood-ratio criterion for minimal sufficiency. The density ratio for is independent of precisely when
is constant. Multiplying by shows that its constant would produce a quadratic term on the right whereas the left is linear, so that constant is zero. The remaining coefficients give . Thus is minimal sufficient statistic.
Each is standard normal, so . The integrable, nonzero function has zero expectation for every parameter, proving that is not complete.
By sufficiency, choose a version common to all parameters. The tower property gives
On the event we necessarily have , so there almost surely. This event has positive probability under every parameter because the joint normal density is strictly positive on a ball about the origin. Thus is not identically . The bounded function has zero expectation for every parameter but is not almost surely zero. Consequently

New to topics? Read the docs here!