Smooth functions
Thursday, April 14th, 2005I’ve been spending way too much time this week thinking about smooth functions. We covered the theorem that says a partition of unity exists for every compact subset of a Euclidean space. One of the homework problems was to extend this theorem to show that the partition functions could be chosen to be smooth. It wasn’t until I started trying to do the problem that I realized that the book doesn’t define what smooth means. For instance, if
, what does it mean to say
? I get the impression that that is equivalent to saying
exist for all
. But what does this mean really? I can think of differentiation in terms of linear algebra (matrices, really) up to the Hessian, but what happens when you try to define e.g.
? Most books I’ve flipped through either only define smooth functions on
, the obvious case, or in Banach spaces, which I don’t understand how to apply to my situation. I’m still looking for a reasonable motivation for my intuitive understanding of smooth.

and 
)
existing if
continuous and
B.V. has so many holes in it, I’m surprised my computer didn’t laugh at me entering it. The good news is all those holes have been fixed, at least in my head 