Exemple 2
Étiquette 0DF7, permanente. À citer comme [Bourbaki, Tag 0DF7].
Algebra, chapter II, § 1. Modules
\* Soient un intervalle ouvert de la droite numérique , l’espace vectoriel des fonctions numériques dérivables dans , l’espace vectoriel de toutes les fonctions numériques définies dans . L’application qui, à toute fonction dérivable , fait correspondre sa dérivée, est une application linéaire de dans *
On notera qu’une homothétie dans un -module n’est pas nécessairement une application linéaire: en d’autres termes, on n’a pas nécessairement la relation quels que soient et . Cette relation est toutefois vraie lorsque appartient au centre de ; on dit alors que est une homothétie centrale (cf. II, p. 32).
Si est une application linéaire, on a, pour toute famille d’éléments de et toute famille d’éléments de , telles que le support de la famille soit fini, (5)
comme il résulte aussitôt de (3) et (4G) par récurrence sur le cardinal du support de la famille .
Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.
Cité par
Rien.
Cite
Rien.