Talk:Bump function

From Wikipedia, the free encyclopedia

I'm not very expert C^\infty_0 may or may not be Frechet space, depending upon the topology we are considering...for example with the uniform convergence topology it is not metrizable, and that is the topology used to define distributions, so is misleading to say that c^\infty_o is a frechèt space.

The statement "C^infty_0 is a frechet space" is meaningless unless we specify the topology we are using; indeed interesting topologies on this space does not make it into a frechet space. Usually two topologies are used: the first one, the uniform convergence topology, is metrizable but not complete. The other one, the topology introduced by schwartz, is complete (in a generalized sense) but not metrizable, and is the one used to define distributions. In neither case C_0^\infty is a Frechet space. Of course one can also think to that space with the sup norm but that is quite unnatural since immediately afterwards the article claims its dual is the space of distributions, so i argue we are considering the schwartz topology. —Preceding unsigned comment added by 193.204.167.87 (talk) 15:28, 22 November 2007 (UTC)