This is an old revision of the document!
Smooth function
Set
context | $X,Y$ … Banach spaces with topology |
definiendum | $f\in C^\infty(X,Y)$ |
for all | $k\in \mathbb N$ |
postulate | $f\in C^k(X,Y)$ |
postulate | $\lim_{m\to\infty}D^mf$ … continuous |
Discussion
Reference
Wikipedia: Differentiable function, Smooth function