Dualité/Propriétés

Commençons par une remarque triviale : Modèle:Remarque

Modèle:Théorème Modèle:Démonstration déroulante

Concrètement, les formes linéaires $e_i^{*}$ sont les applications coordonnées relativement à la base ${\left(e_i\right)}_{i\in I}$ : $e_i^{*}$ associe à un vecteur $x$ de $E$ sa $i$-ème coordonnée dans la base ${\left(e_i\right)}_{i\in I}$.