Topology: Decide which, if any, of the following sets is compact [and prove it]:
b4) The set of functions differentiable at x = 1/2 in the metric space C([0, 1]) of continuous functions on [0, 1] with the distance given by d(f, g) = sup{|f(x) - g(x)| : x in [0, 1]}.