Bourbaki

Exemple 5

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

Algebra, chapter II, § 1. Modules

\* L’espace numérique à 3 dimensions R3\mathbf{R}^3 est un espace vectoriel par rapport au corps des nombres réels R\mathbf{R}, le produit txtx d’un nombre réel t et d’un point x de coordonnées x1,x2,x3x_1, x_2, x_3 étant le point de coordonnées tx1,tx2,tx3tx_1, tx_2, tx_3. De même, l’ensemble des fonctions numériques définies dans un ensemble quelconque F est un espace vectoriel par rapport à R\mathbf{R}, le produit tftf d’un nombre réel t et d’une fonction f étant la fonction numérique x↦tf(x)x \mapsto tf(x)*

Pour deux familles (xi)i∈I,(yi)i∈I(x_i)_{i \in I}, (y_i)_{i \in I} d’éléments d’un A-module E, de support fini (I, p. 13), on a les formules

(1)

∑i∈I(xi+yi)=∑i∈Ixi+∑i∈Iyi \sum_{i \in I} (x_i + y_i) = \sum_{i \in I} x_i + \sum_{i \in I} y_i

(2)

α∑i∈Ixi=∑i∈I(αxi)pour tout α∈A; \alpha \sum_{i \in I} x_i = \sum_{i \in I} (\alpha x_i) \quad \text{pour tout } \alpha \in A;

on se ramène en effet aussitôt aux formules analogues pour les sommes finies en considérant une partie finie H de I contenant les supports de (xi)(x_i) et (yi)(y_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.