In: Advanced Math
Let (V, ||·||) be a normed space, and W a dNormV,||·|| -closed vector subspace of V.
(a) Prove that a function |||·||| : V /W → R≥0 can be consistently defined by ∀v ∈ V : |||v + W||| df= inf({||v + w|| : R≥0 | w ∈ W}).
(b) Prove that |||·||| is a norm on V /W.
(c) Prove that if (V, ||·||) is a Banach space, then so is (V /W, |||·|||)