## [Dimension](/fr/node/61483) Définition 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. ## Principe Principe La dimension compte les paramètres indépendants : dans les espaces vectoriels c'est le cardinal d'une base et elle est invariante par changement de base ; en algèbre commutative la dimension de Krull mesure la borne supérieure des longueurs de chaînes d'idéaux premiers et organise la complexité algébrique des anneaux et des variétés. ## Démonstration Démonstration R^n a pour dimension en tant qu'espace vectoriel n ; l'anneau de polynômes k[x1,...,xn] a dimension de Krull n ; une algèbre de Lie de dimension finie possède une dimension vectorielle finie, tandis que C[x] a une dimension de Krull égale à 1 mais une dimension vectorielle infinie. ## Mauvaise application Mauvaise application Confondre des notions différentes (par exemple utiliser la dimension d'un espace vectoriel pour raisonner sur la dimension de Krull ou la dimension de Hausdorff), présumer l'existence d'une base pour des modules quelconques (beaucoup de modules ne sont pas libres), ou supposer la finitude sans vérification. ## Conséquence Conséquence Connaître la bonne notion de dimension détermine le nombre de coordonnées, l'applicabilité de théorèmes de classification, le comportement des applications linéaires (rang et nullité), et des propriétés géométriques telles que le nombre local de paramètres pour les variétés ou les degrés de liberté dans les équations différentielles. ## Inversion Inversion La codimension dans un objet ambiant mesure la déficience complémentaire (la dimension d'un quotient ou d'un complément orthogonal) et reformule les questions en termes de contraintes plutôt que de paramètres libres. ## Limite Limite Le terme doit être qualifié par le contexte : la dimension d'un espace vectoriel diffère de la dimension de Krull, de la dimension de Hausdorff ou de dimensions homologiques ; certains objets algébriques (modules sur des anneaux généraux) n'ont pas de base et nécessitent d'autres invariants (par exemple longueur, rang ou dimension projective). ## Tension sémantique Tension sémantique La dimension rivalise avec des mesures apparentées (rang, nullité, dimension de Krull, dimension de recouvrement) ; la spécification précise de la catégorie et de la notion employée est nécessaire pour éviter les affirmations équivoques entre contextes algébriques, géométriques ou analytiques. ## Synthèse Synthèse La dimension est la mesure, dépendant du contexte, des degrés de liberté indépendants ou de la longueur des chaînes : en situation linéaire c'est le cardinal d'une base, en algèbre commutative c'est la longueur maximale de chaînes de premiers, et dans chaque cas elle constitue l'invariant principal gouvernant le nombre de coordonnées et la complexité structurelle.