Espace vectoriel quotient

[ Definition ]
Soit \(F\) un sous-espace vectoriel de \(E\). Alors la relation définie par \[x{\cal R}y \iff x-y \in F\] est une relation d’équivalence compatible avec l’addition et le produit externe. L’ensemble quotient est un espace vectoriel pour les lois induites; il est appelé espace vectoriel quotient et est noté \(E_{/F}\).
En savoir plus