Show that the result in the previous exercise can fail without the hypothesis that VV is finite-dimensional.


Suppose STU=ISTU = I and suppose VV 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 DL(P(F))D \in \mathcal L(\mathcal P(\mathbf F)). It's surjective but not injective, thus it's a counterexample to 3.69.

Let S=DS = D, it's impossible for TT to be invertible with T1=UST^{-1}= US because TUSITUS \ne I since constants get mapped to zero by SS. This shows the previous example fails when SS is not injective.


Another failure case is where UU is injective but not surjective, since then we could an element not in the range of UU which again would show TUSITUS \ne I. An example of a UU like this would be the integration map Up=0xp(t)dtUp = \int_0^x p(t)dt over P(F)\mathcal P(\mathbf F) (note 0xp(t)dtP(F)\int_0^x p(t)dt \in \mathcal P(\mathbf F).)