Show that the annihilator (M perpendicular) of a non-empty set M in an inner product space X, is a closed subspace of X.
I think the question demands "show it is topologically closed".
To that end, define for fixed the function . This function is continuous (a fundamental property of the inner product), so is a closed set. This means
is closed as the intersection of a family of closed sets.