Because there is a function_space() method for Dolfin compatibility. The usual stupid reason.