Show that the result in the previous exercise can fail without the hypothesis that is finite-dimensional.
Suppose and suppose is infinite-dimensional. We basically want a counterexample to 3.69 since that's the core of the argument in 3d/11.
Consider the differentiation map . It's surjective but not injective, thus it's a counterexample to 3.69.
Let , it's impossible for to be invertible with because since constants get mapped to zero by . This shows the previous example fails when is not injective.
Another failure case is where is injective but not surjective, since then we could an element not in the range of which again would show . An example of a like this would be the integration map over (note .)