Dimensión

El número cardinal de una base de un espacio vectorial; el número mínimo de coordenadas independientes necesarias para representar cualquier vector en ese espacio (cardinal finito o infinito).

Un invariante cardinal que mide el tamaño de un conjunto independiente maximal (objeto análogo a una base) en contextos lineales o algebraicos afines; la noción se adapta a contextos (dimensión de espacio vectorial, dimensión de Krull, dimensión topológica) y cuantifica grados de libertad o longitudes de cadenas apropiadas a la estructura.