1.7 KiB
alias, up, tags
alias | up | tags |
---|---|---|
classe | dérivées successives | #s/maths/analyse |
[!definition] Définition Soit
f
une fonction définie sur un intervalleI
. Soitn\in\mathbb N
,f
est de classeC^n
ssi :
f
est fonction dérivablen
fois surI
f^{(n)}
est application continue surI
.On dit que
f
est de classeC^\infty
ssi :
\forall n\in\mathbb n, f^{(n)}
existe surI
(soit :f
est de classeC^n
pour toutn
)\displaystyle C^\infty = \bigcap_{n>0}C^n
^definition
[!definition] Définition - pour les différentielles On dit qu'une fonction
f : \Omega \subset E \to F
est de classe\mathscr{C}^{1}
si elle est différentiable en tout pointx \in \Omega
et si l'applicationx \mapsto \mathrm{d}f(x)
est application continue de\Omega
dans\mathcal{L}(E, F)
l'espace vectoriel des applications linéaires
On dit qu'un fonction
f : \Omega \subset E\to F
est de classe\mathscr{C}^{2}
si\mathrm{d}f
est de classe\mathscr{C}^{1}
, c'est-à-dire si :\begin{align} \Omega \subset E &\to \mathscr{L}(E, \mathscr{L}(E, F)) \\ x &\mapsto \mathrm{d}(\mathrm{d}f)(x) \end{align}
est continue Une fonction deux fois différentiable est donc de classe\mathscr{C}^{2}
si\mathrm{d}^{2}f
est continue de\Omega \to \mathscr{L}(E^{2}, F)
. ^definition-differentielles
Notation
On note:
C^n(I)
l'ensemble des fonctions de classeC^n
surI
\displaystyle C^\infty(I) = \cap_{n\in\mathbb N}C^n(I)
l'ensemble des fonctions dérivables une infinité de fois
Remarque
On peut utiliser C^{0}
pour désigner les fonctions continues.