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. Les espaces de dimension finie jouissent de propriétés qui leur sont propres. Les bases duales en sont des exemples.