The vector subspace contains zero, whose approximation error is . For any with , the triangle inequality gives , so such points cannot improve on zero.
Restrict to . This is nonempty, closed and bounded in a finite-dimensional normed space, hence compact. The continuous function attains a minimum on by part (a). Outside its value exceeds the error at zero, so that minimizer is best on all of :Completeness of the ambient space is unnecessary; compactness is used only in the finite-dimensional vector subspace.
Articles by others on the same topic
There are currently no matching articles.