Bourbaki

Exemple 2

Étiquette 0DF7, permanente. À citer comme [Bourbaki, Tag 0DF7].

Algebra, chapter II, § 1. Modules

\* Soient II un intervalle ouvert de la droite numérique R\mathbf{R}, EE l’espace vectoriel des fonctions numériques dérivables dans II, FF l’espace vectoriel de toutes les fonctions numériques définies dans II. L’application x↦x′x \mapsto x' qui, à toute fonction dérivable xx, fait correspondre sa dérivée, est une application linéaire de EE dans FF*

On notera qu’une homothétie x↦αxx \mapsto \alpha x dans un AA-module EE n’est pas nécessairement une application linéaire: en d’autres termes, on n’a pas nécessairement la relation α(λx)=λ(αx)\alpha(\lambda x) = \lambda(\alpha x) quels que soient λ∈A\lambda \in A et x∈Ex \in E. Cette relation est toutefois vraie lorsque α\alpha appartient au centre de AA; on dit alors que x↦αxx \mapsto \alpha x est une homothétie centrale (cf. II, p. 32).

Si u:E→Fu : E \to F est une application linéaire, on a, pour toute famille (xi)i∈I(x_i)_{i \in I} d’éléments de EE et toute famille (λi)i∈I(\lambda_i)_{i \in I} d’éléments de AA, telles que le support de la famille (λixi)i∈I(\lambda_i x_i)_{i \in I} soit fini, (5)

u(∑i∈Iλixi)=∑i∈Iλiu(xi) u\left( \sum_{i \in I} \lambda_i x_i \right) = \sum_{i \in I} \lambda_i u(x_i)

comme il résulte aussitôt de (3) et (4G) par récurrence sur le cardinal du support de la famille (λixi)(\lambda_i x_i).

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.

Transcrit du volume imprimé. Non traduit.