Calcul différentiel
Bonjour à vous,
J'ai un petit "mal-compris" concernant la différentielle d'une fonction coordonnée.
Par exemple supposons $f : E \to F$ avec $E,F$ des evn
Pour une base $(e_1,\ldots,e_n)$ fixée de $F$ on a $f=f_1.e_1+\cdots +f_n.e_n$
si on passe à la différentielle, peut-on écrire
$df=(df_1).e_1+\cdots +(df_n).e_n$
c'est le passage $d(f_k.e_k)=(df_k).e_k$ qui me pose un petit souci.
J'ai essayé de passer par les définitions en écrivant
$f_k(a+h)=f_k(a)+df_k(a)(h)+o(h)$ (la fonction $f$ autant que ses fonctions coordonnées sont supposées différentiables).
Les fonctions coordonnées sont à valeurs dans $K$, on peut donc multiplier par le vecteur de base $e_k$.
On aura donc $f_k(a+h)e_k=f_k(a)e_k+df_k(a)(h)e_k+o(h)$ (en effet $o(h)e_k=o(h)$)
et donc $d(f_k.e_k)=(df_k).e_k$ puisque $(df_k).e_k$ est linéaire. J'espère que j'ai pas dit de bêtises.
Cordialement.
J'ai un petit "mal-compris" concernant la différentielle d'une fonction coordonnée.
Par exemple supposons $f : E \to F$ avec $E,F$ des evn
Pour une base $(e_1,\ldots,e_n)$ fixée de $F$ on a $f=f_1.e_1+\cdots +f_n.e_n$
si on passe à la différentielle, peut-on écrire
$df=(df_1).e_1+\cdots +(df_n).e_n$
c'est le passage $d(f_k.e_k)=(df_k).e_k$ qui me pose un petit souci.
J'ai essayé de passer par les définitions en écrivant
$f_k(a+h)=f_k(a)+df_k(a)(h)+o(h)$ (la fonction $f$ autant que ses fonctions coordonnées sont supposées différentiables).
Les fonctions coordonnées sont à valeurs dans $K$, on peut donc multiplier par le vecteur de base $e_k$.
On aura donc $f_k(a+h)e_k=f_k(a)e_k+df_k(a)(h)e_k+o(h)$ (en effet $o(h)e_k=o(h)$)
et donc $d(f_k.e_k)=(df_k).e_k$ puisque $(df_k).e_k$ est linéaire. J'espère que j'ai pas dit de bêtises.
Cordialement.
Réponses
-
Pour les personnes qui passeront un jour par ce poste, pensez à considérer la fonction $\epsilon_i^*$ dite fonction de i-ème coordonnée, elle résout directement le problème
-
Plus simple tu utilises les projections $p_{i}$ sur chaque espace que tu composes avec $f$.
Par exemple $f_{i}=p_{i}\circ f$ et ensuite par le théorème de différentiabilité d'une fonction composée. -
Hmm... C'est plus au moins la même chose.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres