Contenu principal
Espaces vectoriels, bases et applications linéaires
Indépendance linéaire, bases
Définition 1.1.1
1. \( (\lambda + \mu)x = \lambda x + \mu x \) pour \(\forall x \in E, \forall \lambda,\mu \in K\).
2. \( \lambda(x + y) = \lambda x + \lambda y \) pour \(\forall x,y \in E, \forall \lambda \in K\).
3. \( \lambda(\mu x) = (\lambda\mu)x \) pour \(\forall x \in E, \forall \lambda,\mu \in K\).
4. \( 1.x = x \) pour \(\forall x \in E\).
On écrira \(\lambda x\) au lieu de \(\lambda.x\) lorsqu'il n'y a pas de confusion.
Définition 1.1.2
1. \(x + y \in F\) pour \(\forall x,y \in F\).
2. \(\lambda x \in F\) pour \(\forall x \in F, \forall \lambda \in K\).
En particulier, pour qu'une partie non vide \(F\) de \(E\) soit un sous-espace vectoriel, il faut et il suffit que \(\lambda x + \mu y \in F\) pour \(\forall \lambda,\mu \in K, \forall x,y \in F\).
Proposition 1.1.3
Corollaire 1.1.4
Définition 1.1.5
2. Elle est génératrice si tout \(x \in E\) s'écrit \(x = \lambda_1 e_1 + \dots + \lambda_k e_k\).
3. Elle est une base de \(E\) si elle est à la fois libre et génératrice.
Théorème 1.1.6
Si \(dim(E)=n\), toute famille génératrice a au moins \(n\) éléments et toute famille libre a au plus \(n\) éléments.
Corollaire 1.1.7
Démonstration
Exemple 1.1.8
L'espace \(K[x]\) des polynômes sur \(K\) est aussi un espace vectoriel, mais il n'est pas de dimension finie.
Théorème de la dimension pour la somme de deux espaces vectoriels
Définition 1.2.1
Théorème 1.2.2
Lorsque \(F \cap G = \{0\}\), on dit que la somme est directe et l'on écrit \(F \oplus G\).
Exemple 1.2.3
Applications linéaires
On introduit maintenant la notion fondamentale d'application linéaire.
Définition 1.3.1
1. \(u(x + y) = u(x) + u(y)\) pour \(\forall x,y \in E\).
2. \(u(\lambda x) = \lambda u(x)\) pour \(\forall x \in E\), \(\forall \lambda \in K\).
On appelle noyau de \(u\) l'ensemble \(Ker(u)=\{x \in E \mid u(x)=0\}\), et image de \(u\) l'ensemble \(Im(u)=u(E)\).
Proposition 1.3.2
Proposition 1.3.3
Si \(E\) est de dimension finie, l'image d'une base de \(E\) par \(u\) forme une famille génératrice de \(Im(u)\).
Démonstration
Exemple 1.3.4