Let C[a,b] denote the vector space of continuous real-valued functions on the interval [a,b], and let C′[a,b] denote the subspace of continuously differentiable functions.
Show that ∥f∥1=max∣f∣+max∣f′∣ defines a norm on C′[a,b]. Show furthermore that the map Φ:f↦f′((a+b)/2) takes the closed unit ball {∥f∥1⩽1}⊂C′[a,b] to a bounded subset of R.
If instead we had used the norm ∥f∥0=max∣f∣ restricted from C[a,b] to C′[a,b], would Φ take the closed unit ball {∥f∥0⩽1}⊂C′[a,b] to a bounded subset of R ? Justify your answer.