Dimension D'un Espace Vectoriel


Dimension D'un Espace Vectoriel

Dimension d'un espace vectoriel

En mathématiques, la dimension d'un espace vectoriel E est le cardinal (c'est-à-dire le nombre de vecteurs) de toute base de E. Elle est parfois appelée la dimension de Hamel ou la dimension algébrique à distinguer d'autres types de dimension.

Toutes les bases d'un espace vectoriel, sont de même cardinal (voir théorème de la dimension pour les espaces vectoriels) et ainsi la dimension d'un espace vectoriel est définie de manière unique. La dimension d'un espace vectoriel E sur un corps K peut être notée dimK(E) ou \dim E. (lire « dimension de E sur K ».). Certains notent cette dimension [E:K].

L'espace E est dit de dimension finie s'il existe une base de cardinal fini (et dans ce cas toutes les bases ont même cardinal). Le cas échéant, il est dit de dimension infinie.

Sommaire

Exemples

  • L'espace vectoriel \mathbb{R}^3 admet \left((1,0,0), (0,1,0), (0,0,1)\right) comme base et ainsi {\rm dim}_{\mathbb{R}}(\mathbb{R}^3)=3. Plus généralement, {\rm dim}_{\mathbb{R}}(\mathbb{R}^n)=n. Plus généralement encore, {\rm dim}_{\mathbb{K}}(\mathbb{K}^n)=n.
  • L'ensemble des nombres complexes peut être considéré à la fois comme un \mathbb R-espace vectoriel et comme un \mathbb C-espace vectoriel; nous avons {\rm dim}_{\mathbb{R}}(\mathbb{C})=2 et {\rm dim}_{\mathbb{C}}(\mathbb{C})=1. Ainsi la dimension dépend du corps de base.
  • Le seul espace vectoriel de dimension 0 est {0}, espace vectoriel formé que d'un seul vecteur, son élément neutre pour l'addition.
  • L'espace vectoriel des matrices à n lignes et p colonnes à coefficients dans un corps \mathbb{K}, est de dimension n\cdot p. La famille (Eij) constituée des matrices ayant un 1 à la ième ligne et jème colonne et des zéros partout ailleurs est une base de cet espace vectoriel.
  • L'espace vectoriel des polynômes à coefficients dans un corps \mathbb{K} de degré inférieur ou égal à n est un espace vectoriel de dimension n + 1.

Propriétés

Si F est un sous-espace vectoriel de E, alors {\rm dim}(F)\leq {\rm dim}(E).

Pour démontrer que deux espaces vectoriels de dimension finie sont égaux, on utilise souvent le théorème suivant: Si E est un espace vectoriel de dimension finie et F un sous-espace vectoriel de E tels que dimF = dimE, alors E = F.

Deux espaces vectoriels sur \mathbb{K} sont isomorphes en dimension finie si et seulement s'ils ont même dimension.

Toute application bijective entre leurs bases peut être prolongée de manière unique en un isomorphisme entre les deux espaces vectoriels. Si A est un ensemble, un espace vectoriel de dimension | A | sur \mathbb{K} peut être construit de la manière suivante: on considère l'ensemble \mathbb{K}^{(A)} de toutes les fonctions f:A\rightarrow \mathbb{K} telles que f(a) = 0 pour un nombre fini d'éléments a de A. Ces fonctions peuvent être additionnées et multipliées par un scalaire de \mathbb{K}, et nous obtenons le \mathbb{K}-espace vectoriel recherché.

Dans le cas de la dimension infinie, la démonstration s'applique encore s'il existe des bases de même cardinaux. En revanche, la continuité devient un critère important, et rien ne garantit que l'isomorphisme sera continu.

Un important résultat sur la dimension concernant les applications linéaires est le théorème du rang.

Si L / K est une extension de corps, alors L est un espace vectoriel particulier sur K.

De plus, tout L-espace vectoriel E est aussi un K-espace vectoriel. Les dimensions sont liées par la formule:

{\rm dim}_K(E)={\rm dim}_K(L)\cdot {\rm dim}_L(E).

En particulier, tout espace vectoriel complexe de dimension n est un espace vectoriel réel de dimension 2n.

Certaines formules simples donnent la dimension d'un espace vectoriel en utilisant le cardinal du corps de base et le cardinal de l'espace vectoriel lui-même. Si E est un espace vectoriel sur un corps K alors, en notant dimE la dimension de E, nous avons:

si dimE est finie, alors | E | = | K | dimE.

si dimE est infinie, alors | E | = max(dimE, | K | ).

Généralisation

Il est possible de voir un espace vectoriel comme un cas particulier d'un matroïde, et pour ce dernier il y a une notion bien définie de dimension. La longueur d'un module et le rang d'un groupe abélien ont tous deux plusieurs proprétés similaires à la dimension des espaces vectoriels.

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Dimension d%27un espace vectoriel ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Dimension D'un Espace Vectoriel de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Dimension d'un espace vectoriel — En algèbre linéaire, la dimension de Hamel ou simplement la dimension est un invariant associé à tout espace vectoriel E sur un corps K. La dimension de E est le cardinal commun à toutes ses bases. Ce nombre est noté dim K(E) (lire… …   Wikipédia en Français

  • dimension d'un espace vectoriel — vektorinės erdvės dimensija statusas T sritis automatika atitikmenys: angl. dimension of a vector space vok. Dimmension eines Vektorraumes, f rus. размерность векторного пространства, f pranc. dimension d un espace vectoriel, f …   Automatikos terminų žodynas

  • Espace Vectoriel — En algèbre linéaire, un espace vectoriel est une structure algébrique permettant en pratique d effectuer des combinaisons linéaires. Étant donné un corps (commutatif) K, un espace vectoriel E sur K est un groupe commutatif (dont la loi est notée… …   Wikipédia en Français

  • Espace vectoriel linéaire — Espace vectoriel En algèbre linéaire, un espace vectoriel est une structure algébrique permettant en pratique d effectuer des combinaisons linéaires. Étant donné un corps (commutatif) K, un espace vectoriel E sur K est un groupe commutatif (dont… …   Wikipédia en Français

  • Espace Vectoriel Topologique — Les espaces vectoriels topologiques sont une des structures de base de l analyse fonctionnelle. Ce sont des espaces munis d une structure topologique associée à une structure d espace vectoriel. Des exemples connus d espaces vectoriels… …   Wikipédia en Français

  • Espace Vectoriel Symplectique — En algèbre un espace vectoriel devient symplectique quand on le munit d une forme symplectique, c est à dire une forme bilinéaire antisymétrique et non dégénérée. L étude de ces espaces vectoriels présente quelques ressemblances avec l étude des… …   Wikipédia en Français

  • Espace vectoriel — En algèbre linéaire, un espace vectoriel est un ensemble muni d une structure permettant d effectuer des combinaisons linéaires. Étant donné un corps K, un espace vectoriel E sur K est un groupe commutatif (dont la loi est notée +) muni d une… …   Wikipédia en Français

  • Espace vectoriel normé de dimension finie — Topologie d un espace vectoriel de dimension finie En mathématiques, la topologie d un espace vectoriel de dimension finie correspond à un cas particulier d espace vectoriel normé. Cette configuration se produit si la dimension est finie. Elle… …   Wikipédia en Français

  • Espace vectoriel symplectique — En algèbre un espace vectoriel devient symplectique quand on le munit d une forme symplectique, c est à dire une forme bilinéaire antisymétrique et non dégénérée. L étude de ces espaces vectoriels présente quelques ressemblances avec l étude des… …   Wikipédia en Français

  • Dimension d'un espace affine — Cet article court présente un sujet plus développé dans : Dimension d un espace vectoriel. La dimension d un espace affine est la dimension de l espace vectoriel sous jacent. Portail de la géométrie Catégorie  …   Wikipédia en Français