Sur un corps K, un espace vectorielE est dit de dimensionfinie s'il admet une base finie. Il suffit pour cela qu'il admette une famille génératrice finie. Les espaces de dimension finie jouissent de propriétés qui leur sont propres. Les bases duales en sont des exemples.