codimension
nom féminin
- Codimension dans E d'un sous-espace vectoriel F d'un espace vectoriel E sur un corps commutatif K, dimension sur K de l'espace vectoriel quotient, E/F, de E par F. (Si E est de dimension finie, F est de codimension finie et l'on a dim F + codimE F = dim E.)
