A partir d'une base d'un C-espace vectoriel E de type fini, construire une base du R-espace vectoriel E

Partie

Question

Soit \(E\) un \(\mathbb C\textrm{-espace}\) vectoriel admettant une base \(B=(e_1,\ldots,e_n)\).

On peut munir \(E\) d'une structure de \(\mathbb R\textrm{-espace}\) vectoriel en conservant la loi interne et en prenant, pour la loi externe, les scalaires uniquement dans \(\mathbb R\).

Montrer que \(E\) est un \(\mathbb R\textrm{-espace}\) vectoriel de type fini.

Déterminer, en utilisant \(B\), une base \(B'\) du \(\mathbb R\textrm{-espace}\) vectoriel \(E\).