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)$ |
postulate | $\forall (k\in \mathbb N).\ f\in C^k(X,Y)$ |
postulate | $\lim_{k\to\infty}D^kf$ … continuous |
Discussion
Reference
Wikipedia: Differentiable function, Smooth function