Yes, that what you have to show. What is the topology over the space RDF?
I am trying to show that, for f a rapidly decreasing function, the mapping from f to f' is continuous. Since the space of RDF's is an F-space, Rudin says that I can use the closed graph theorem for F-spaces, and hence I need to show that the graph of the mapping is closed.
So I wish to show that is closed. I think that I can do this if it follows that if , then ?
Can someone tell me if this is true, and if so, how would I prove it?
I'm guessing that the F-space topology is the topology of uniform convergence on compact sets for the function and all its derivatives. In that case, the continuity of differentiation follows directly from the definition. If and each of its derivatives converges uniformly to the corresponding derivative of f, then it's immediately obvious that the same is true for and f'.