Sur un corps K, un espace vectoriel E est dit de dimension finie s'il admet une base finie. Il suffit pour cela qu'il admette une famille génératrice finie[1].
Les espaces de dimension finie jouissent de propriétés qui leur sont propres. Les bases duales en sont des exemples.
- (en) Serge Lang, Algebra, 1965 [détail des éditions], p. 91, proposition 3.12.