Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
smooth_function [2014/03/21 11:11] 127.0.0.1 external edit |
smooth_function [2014/12/04 16:39] nikolaj |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| ==== Set ==== | ==== Set ==== | ||
| | @#55CCEE: context | @#55CCEE: $X,Y$ ... Banach spaces with topology | | | @#55CCEE: context | @#55CCEE: $X,Y$ ... Banach spaces with topology | | ||
| - | |||
| | @#FFBB00: definiendum | @#FFBB00: $f\in C^\infty(X,Y)$ | | | @#FFBB00: definiendum | @#FFBB00: $f\in C^\infty(X,Y)$ | | ||
| - | + | | @#FFFDDD: for all | @#FFFDDD: $k\in \mathbb N$ | | |
| - | | @#55EE55: postulate | @#55EE55: $\forall (k\in \mathbb N).\ f\in C^k(X,Y)$ | | + | | @#55EE55: postulate | @#55EE55: $f\in C^k(X,Y)$ | |
| - | | @#55EE55: postulate | @#55EE55: $\lim_{k\to\infty}D^kf$ ... continuous | | + | | @#55EE55: postulate | @#55EE55: $\lim_{m\to\infty}D^mf$ ... continuous | |
| ==== Discussion ==== | ==== Discussion ==== | ||
| + | === Formalities === | ||
| + | Here $D^mf$ denotes the $m$th component of the sequence $Df, D^2f, D^3f,\dots$. | ||
| === Reference === | === Reference === | ||
| Wikipedia: [[http://en.wikipedia.org/wiki/Differentiable_function|Differentiable function]], [[http://en.wikipedia.org/wiki/Smooth_function|Smooth function]] | Wikipedia: [[http://en.wikipedia.org/wiki/Differentiable_function|Differentiable function]], [[http://en.wikipedia.org/wiki/Smooth_function|Smooth function]] | ||
