Dimension

Le nombre cardinal d'une base d'un espace vectoriel ; le nombre minimal de coordonnées indépendantes nécessaires pour représenter tout vecteur de cet espace (cardinal fini ou infini).

Un invariant cardinal qui mesure la taille d'un ensemble indépendant maximal (objet analogue à une base) dans des contextes algébriques linéaires ou apparentés ; la notion s'adapte aux contextes (dimension d'un espace vectoriel, dimension de Krull, dimension topologique) et quantifie les degrés de liberté ou les longueurs de chaînes adaptés à la structure.