Eclats de vers : Matemat 06 : Vecteurs - 3

• Chapitre \ref{chap:fonction} : Les fonctions

Soit les espaces vectoriels \(E\) et \(F\) sur \(\corps\) et la fonction \(f : E \mapsto F\). On dit que \(f\) est linéaire si, pour tout \(x,y \in E\) et \(\alpha, \beta \in \corps\), on a :

\[f(\alpha \cdot x + \beta \cdot y) = \alpha \cdot f(x) + \beta \cdot f(y)\]

On note \(\lineaire(E,F)\) l'ensemble des fonctions linéaires de \(E\) vers \(F\).

L'application identité est clairement linéaire.

Soit \(u = f(x)\) et \(v = f(y)\). Si l'application inverse existe, on a \(x = f^{-1}(u)\) et \(y = f^{-1}(v)\). En composant à gauche par \(f^{-1}\) la définition de la linéarité, on obtient :

\[\alpha \cdot f^{-1}(u) + \beta \cdot f^{-1}(v) = f^{-1}(\alpha \cdot u + \beta \cdot v)\]

ce qui montre que l'inverse est également linéaire.

Choisissons un \(x \in E\). on voit que :

\[f(0) = f(0 \cdot x) = 0 \cdot f(x) = 0\]

La valeur d'une application linéaire s'annule au vecteur nul.

La norme d'une application linéaire est définie comme étant l'extension maximale qu'elle produit :

\[\norme{f} = \sup \left\{ \frac{ \norme{f(x)} }{ \norme{x} } : x \in E, \ x \ne 0 \right\}\]

On a donc :

\[\norme{f(x)} \le \norme{f} \cdot \norme{x}\]

pour tout \(x \in E \setminus \{ 0 \}\).

Soit \(f : E \mapsto F\) et \(g : F \mapsto G\) deux applications linéaires de normes finies. Si \(x \in E\) avec \(x \ne 0\) on a \(f(x) \in F\) et :

\[\norme{g \circ f(x)} \le \norme{g} \cdot \norme{f(x)} \le \norme{g} \cdot \norme{f} \cdot \norme{x}\]

En divisant par \(\norme{x} \ne 0\) :

\[\frac{ \norme{g \circ f(x)} }{ \norme{x} } \le \norme{g} \cdot \norme{f}\]

et en passant au supremum sur \(x \ne 0\), on en conclut que :

\[\norme{g \circ f} \le \norme{g} \cdot \norme{f}\]

On a clairement :

\[\norme{f^n} = \norme{f \circ ... \circ f} \le \norme{f}^n\]

Nous allons montrer que, pour tout \(f \in \lineaire(A,B)\), on a l'équivalence entre l'hypothèse d'une norme de \(f\) finie et l'hypothèse de \(f\) continue.

Si la norme est finie, on a :

\[\norme{f(x) - f(a)} = \norme{f(x - a)} \le \norme{f} \cdot \norme{x-a}\]

qui tend bien vers \(0\) lorsque \(x\) tend vers \(a\). Inversément, si \(f\) est continue, on peut trouver un \(\delta \strictsuperieur 0\) tel que :

\[\norme{f(x) - f(0)} \le 1\]

pour tout \(x\) vérifiant \(\distance(x,0) = \norme{x} \le \delta\). Posons \(B = \{ x \in A : \norme{x} = \delta \}\). On a alors :

\[\sup_{x \in B} \frac{\norme{f(x)}}{\norme{x}} = \unsur{\delta} \sup_{x \in B} \norme{f(x) - f(0)} \le \unsur{\delta}\]

La norme est donc finie :

\[\norme{f} = \sup_{x \in B} \frac{\norme{f(x)}}{\norme{x}} \le \unsur{\delta} \strictinferieur +\infty\]

On dit que la fonction \(f : E_1 \times ... \times E_n \mapsto F\) est $n$-linéaire si elle est linéaire par rapport à chacune des composantes de son argument, les autres composantes restant inchangées :

\[f(...,\alpha x + \beta y,...) = \alpha \cdot f(...,x,...) + \beta \cdot f(...,y,...)\]

pour tout \(\alpha,\beta \in \corps\) et \(x,y \in E\). On note \(\lineaire_n(E_1,...,E_n,F)\) l'ensemble des fonctions $n$-linéaires de \(E_1 \times ... \times E_n\) vers \(F\).

Soit une application linéaire \(\mathcal{A} : E \to F\). Choisissons \(x \in E\) et posons :

\[y = \mathcal{A}(x)\]

Si on dispose d'une base \((e_1,...,e_n)\) de \(E\) et d'une base \((f_1,...,f_m)\) de \(F\), on a :

pour certains \(x_i,y_i \in \corps\). La linéarité de \(\mathcal{A}\) implique que :

\[y = \sum_{j = 1}^n \mathcal{A}(e_j) \cdot x_j\]

Si les \(a_{ij} \in \corps\) sont les coordonnées de \(\mathcal{A}(e_j)\) dans la base des \(f_i\), on a :

\[\mathcal{A}(e_j) = \sum_{i = 1}^m a_{ij} \cdot f_i\]

En substituant cette expression, on obtient :

\[y = \sum_{i = 1}^m f_i \sum_{j = 1}^n a_{ij} \cdot x_j\]

La \(i^{ème}\) coordonnée de \(y\) est donc donnée par :

\[y_i = \sum_{j = 1}^n a_{ij} \cdot x_j\]

On définit la matrice \(A \in \matrice(\corps,m,n)\) associée à \(\mathcal{A}\) en posant :

\[A = ( a_{ij} )_{i,j}\]

Nous définissons ensuite le produit d'une matrice avec le « vecteur » \(x\) équivalent de \(\corps^n\) :

\[A \cdot x = \left( \sum_j a_{ij} \cdot x_j \right)_i\]

de telle sorte que :

\[A \cdot x = \mathcal{A}(x)\]

Soit à présent les matrices \(A \in \matrice(\corps,m,n)\) et \(B \in \matrice(\corps,n,p)\) données par :

où les \(a_{ij},b_{ij} \in K\). Soit les applications linéaires \(\mathcal{B} : \corps^p \to \corps^n\) et \(\mathcal{A} : \corps^n \to \corps^m\) définies par :

pour tout \(x \in \corps^p\), \(y \in \corps^n\). Choisissons \(z \in \corps^m\) et relions \(x,y,z\) par :

Examinons les composantes de \(z\) en fonction de celles de \(x\) :

\[z_i = \sum_k a_{ik} \cdot y_k = \sum_k a_{ik} \sum_j b_{kj} \cdot x_j = \sum_{k,j} a_{ik} \cdot b_{kj} \cdot x_j\]

On en déduit que la composée \(\mathcal{C} = \mathcal{A} \circ \mathcal{B}\) est représentée par la matrice \(C \in \matrice(\corps,m,p)\) de composantes :

\[\composante_{ij} C = c_{ij} = \sum_k a_{ik} \cdot b_{kj}\]

Il suffit donc de définir le produit matriciel \(A \cdot B\) par :

\[A \cdot B = \left(\sum_{k=1}^n a_{ik} \cdot b_{kj}\right)_{i,j}\]

pour avoir :

\[(A \cdot B) \cdot x = \big( \mathcal{A} \circ \mathcal{B} \big)(x)\]

Le produit matriciel représente donc une composée d'applications linéaires. Pour que ce produit soit bien défini, il est nécessaire que le nombre de colonnes \(n\) de \(A\) et le nombre de lignes de \(B\) soient identiques.

On voit également que le produit matrice - vecteur défini précédemment en est un cas particulier lorsque \(p = 1\).

En utilisant l'associativité de l'addition, on peut facilement vérifier que la formule de multiplication reste valable lorsqu'on considère des blocs de matrices au lieu des éléments, à condition de respecter l'ordre de multiplication. Un exemple fréquemment utilisé :

La matrice identité \(I \in \matrice(\corps,n,n)\) correspond à la fonction \(\identité\). On a donc :

\[I \cdot x = x\]

pour tout \(x \in \corps^n\). Si \((\canonique_1,...\canonique_n)\) est la base canonique de \(\corps^n\), on a donc :

\[I \cdot \canonique_i = \canonique_i\]

ce qui entraîne directement :

\[I = ( \indicatrice_{ij} )_{i,j}\]

On remarque que :

\[I = [\canonique_1 \ \hdots \ \canonique_n]\]

Lorsqu'elle existe, la matrice inverse de \(A\), notée \(A^{-1}\), reflète l'application linéaire inverse sous-jacente. Elle est donc l'unique matrice telle que :

\[A^{-1} \cdot A = A \cdot A^{-1} = I\]

Soit \(A\) et \(B\) deux matrices inversibles. Les relations \(C \cdot (A \cdot B) = I\) et \((A \cdot B) \cdot D = I\) nous donnent :

\[C = D = B^{-1} \cdot A^{-1}\]

et donc :

\[(A \cdot B)^{-1} = B^{-1} \cdot A^{-1}\]

Il est possible de multiplier une matrice carrée \(A\) avec elle-même. On peut donc définir l'exposant par :

Ici, \(\corps\) n'est plus un corps mais l'anneau des matrices \(X\) de taille \((N,N)\). On dit que \(p : \matrice(\corps,N,N) \mapsto \matrice(\corps,N,N)\) est un polynôme matriciel si il existe \(a_0,...,a_n \in \corps\) tels que :

\[p(X) = \sum_{i = 0}^n a_i \cdot X^i\]

pour tout \(X \in \matrice(\corps,N,N)\).

Une courbe sur un espace vectoriel \(E\) (par exemple \(\setR^n\)) est de la forme :

où \(\lambda : [\alpha,\beta] \mapsto E\) est une fonction continue et où \(\alpha,\beta \in \setR\) vérifient \(\alpha \le \beta\).

Les segments sont une généralisation des intervalles. Un segment de \(u \in E\) vers \(v \in E\) est un cas particulier de courbe où \(\lambda : [0,1] \subseteq \setR \mapsto E\) est une fonction linéaire définie par :

pour tout \(s \in [0,1] \subseteq \setR\). On voit que \(\lambda(0) = u\) et que \(\lambda(1) = v\). On note aussi :

Soit \(A \subseteq E\) et la collection des segments reliant deux points quelconques de \(A\) :

L'enveloppe convexe de \(A\) est l'union de tous ces segments :

Pour tout \(u,v \in A\) et \((s,t) \in \setR^2\) tels que \(s,t \ge 0\) et \(s + t = 1\), on a donc :

Une surface de \(E\) est de la forme :

où \(\varphi : [a,b] \times [c,d] \mapsto E\) est une fonction continue et où \(a,b,c,d \in \setR\) vérifient \(a \le b\) et \(c \le d\).

• Chapitre \ref{chap:relation} : Les fonctions
• Chapitre \ref{chap:lineaire} : Les fonctions linéaires

Soit un espace vectoriel \(E\) sur \(\corps\). Une forme linéaire est une fonction linéaire continue \(\varphi : E \mapsto \corps\).

L'espace dual \(E^\dual\) de \(E\) est l'ensemble des formes linéaires sur \(E\) , autrement dit l'ensemble des fonctions linéaires continues de \(E\) vers \(\corps\) :

\[E^\dual = \{ \varphi \in \lineaire(E,\corps) : \norme{\varphi}_\lineaire \strictinferieur +\infty \}\]

Il s'agit d'un espace vectoriel pour les opérations d'addition et de multiplication mixte définies sur les fonctions.

Pour toute forme \(\varphi \in E^\dual\) et tout vecteur \(v \in E\), on note :

\[\forme{\varphi}{v} = \varphi(v)\]

ce qui définit implicitement la fonction \(\forme{}{} : E^\dual \times E \mapsto \corps\).

Soit \(\varphi,\psi \in E^\dual\), \(u,v \in E\) et \(\alpha,\beta \in S\). Comme \(\varphi\) est linéaire, on a :

\[\forme{\varphi}{\alpha \cdot u + \beta \cdot v} = \alpha \cdot \forme{\varphi}{u} + \beta \cdot \forme{\varphi}{v}\]

Symétriquement, la définition des opérations sur les fonctions nous donne également :

\[\forme{\alpha \cdot \varphi + \beta \cdot \psi}{u} = \alpha \cdot \forme{\varphi}{u} + \beta \cdot \forme{\psi}{u}\]

L'application \(\forme{}{}\) est donc bilinéaire.

On dit que les suites \((\Phi_1,...,\Phi_m)\) de \(E^\dual\) et \((e_1,...,e_n)\) de \(E\) sont biorthonormées si :

\[\forme{\Phi_i}{e_j} = \indicatrice_{ij}\]

pour tout \((i,j) \in \setZ(0,m) \times \setZ(0,n)\). De telles suites permettent d'évaluer facilement les coefficients des développements en série du type :

\[\varphi = \sum_{i = 1}^m \alpha_i \cdot \Phi_i\]

où \(\alpha_1,...,\alpha_m \in S\). En effet, il suffit d'évaluer :

\[\varphi(e_j) = \forme{\varphi}{e_j} = \sum_{i = 1}^m \alpha_i \cdot \forme{\Phi_i}{e_j} = \sum_{i = 1}^m \alpha_i \cdot \indicatrice_{ij} = \alpha_j\]

pour obtenir les valeurs des \(\alpha_j\).

Réciproquement, si :

\[u = \sum_{i = 1}^n \beta_i \cdot e_i\]

avec \(\beta_1,...,\beta_n \in S\), on a :

\[\Phi_j(u) = \forme{\Phi_j}{u} = \sum_{i = 1}^n \beta_i \cdot \forme{\Phi_j}{e_i} = \sum_{i = 1}^n \beta_i \cdot \indicatrice_{ij} = \beta_j\]

ce qui nous donne les valeurs des \(\beta_j\).

Forts de ces résultats, il est aisé d'évaluer :

\[\forme{\varphi}{u} = \sum_{i,j} \alpha_i \cdot \forme{\Phi_i}{u_j} \cdot \beta_j = \sum_{i,j} \alpha_i \cdot \indicatrice_{ij} \cdot \beta_j = \sum_i \alpha_i \cdot \beta_i\]

On a donc en définitive :

\[\forme{\varphi}{u} = \sum_i \forme{\varphi}{e_i} \cdot \forme{\Phi_i}{u}\]

On dit que deux fonctions \(u,v \in E\) sont identique au sens des distributions si :

\[\forme{\varphi}{u} = \forme{\varphi}{v}\]

pour tout \(\varphi \in E^\dual\).

Symétriquement, les deux formes \(\varphi,\psi \in E^\dual\) sont identiques par définition si et seulement si :

\[\forme{\varphi}{u} = \forme{\psi}{u}\]

pour tout \(u \in E\).

On définit l'espace bidual de \(E\), noté \(E^{\dual \dual}\), par :

\[E^{\dual \dual} = (E^\dual)^\dual\]

On associe à chaque élément \(u \in E\) un élément \(\hat{u} \in E^{\dual \dual}\) par la condition :

\[\hat{u}(\varphi) = \varphi(u)\]

qui doit être vérifiée pour tout \(\varphi \in E^\dual\). On a donc :

\[\forme{\hat{u}}{\varphi} = \forme{\varphi}{u}\]

Soit les espaces vectoriels \(E\) et \(F\) sur \(\corps\) et une fonction \(A : E \mapsto F\). Le dual de \(A\) au sens des formes, s'il existe, est l'unique fonction \(A^\dual : F^\dual \mapsto E^\dual\) telle que :

\[\forme{ A^\dual(\varphi) }{u} = \forme{\varphi}{ A(u) }\]

pour tout \(u \in E\) et \(\varphi \in F^\dual\).

Soit les espaces vectoriels \(E\) et \(F\) sur \(\corps\). Une forme bilinéaire est une fonction bilinéaire continue \(\vartheta : F \times E \mapsto \corps\). On utilise une notation analogue à celle des formes :

\[\biforme{x}{\vartheta}{u} = \vartheta(x,u)\]

pour tout \(x \in F\) et \(u \in E\). On voit que :

pour tout \(\alpha,\beta \in \corps\), \(u,v \in E\) et \(x,y \in F\).

Soit la forme bilinéaire $ ϑ : E × E \mapsto \corps$. Une forme quadratique \(\mathcal{Q} : E \mapsto \corps\) est une fonction de la forme :

\[\mathcal{Q}(x) = \biforme{x}{\vartheta}{x}\]

On peut représenter toute forme linéaire \(\varphi \in \lineaire(\corps^n,\corps)\) par un vecteur matriciel \(\hat{\varphi} \in \corps^n\). Etant donné la base canonique \((e_1,...,e_n)\) de \(\corps^n\), il suffit de poser :

\[\hat{\varphi}_i = \forme{\varphi}{e_i}\]

pour avoir :

\[\forme{\varphi}{u} = \hat{\varphi}^T \cdot u\]

pour tout \(u \in \corps^n\).