Let M ⊂ H be a closed linear subspace that is not reduced to {0}. Let f ∈ H,f /∈ M⊥. Prove that m = inf (f, u) is uniquely achieved. u∈M |u|=1 I have approached it with the cosine definition for inner product but that only works with Euclidean spaces. I want to know how to apply this using the Cauchy-Schwartz inequality so it works for Banach Spaces. Can anyone help? I have placed my work below. The Hilbert Projection Theorem says that there exists a unique object in M that minimizes the distance to f. It also happens to be the projection. So let f = p + q, where p is in M, and q is in Mperp. (We use the projection theorem on M and Mperp s.t. p is the projection onto M, and q is the projection onto Mperp) (u,f) = (u, p+q) = (u,p) + (u,q) Now (u,q) = 0 because u in M, q is in Mperp so (u,f) = (u,p). (u,p) = ||u|| ||p|| cos(theta) = ||p|| cos(theta) this is uniquely minimized when cos(theta)=-1, so u is on the opposite side in M, but with a norm of 1 (it is one away from the origin and thus Mperp) u = -p/(||p||) m = (u,p) = (-p/||p||,p) = -(p,p)/||p|| = -||p||^2 / ||p|| = -||p||