Applications linéaires (1/3)

On dit aussi que {f} est un morphisme d'espaces vectoriels.

Si {f:E\to F} est linéaire, alors {f(0_E)=0_F} (utile pour montrer la non-linéarité).

Un isomorphisme est une application linéaire bijective.
On dit qu'un isomorphisme de {E} dans lui-même est un automorphisme de {E}.
On dit qu'une application linéaire de {E} dans {\mathbb{K}} est une forme linéaire.

• Soit {E} et {F} deux espaces vectoriels sur {\mathbb{K}}. L'application nulle de {E} dans {F} est linéaire.
• Soit {E={\mathcal C}([a,b],\mathbb{K})} l'espace vectoriel des applications continues de {[a,b]} dans {\mathbb{K}}.
  L'application {f\to\varphi(f)=\!\displaystyle\int_a^b\!\!f(t)\text{d}t} est une forme linéaire sur l'espace {E}.
• L'application {f\mapsto f'} est un endomorphisme de {E={\mathcal C}^\infty(I,\mathbb{R})}.
• Les formes linéaires sur {\mathbb{K}^{n}} sont les applications {f\colon(x_1,x_2,\ldots,x_n)\to\displaystyle\sum_{k=1}^n\lambda_k\,x_k}.
• Soit {f_{1},\ldots,f_{p}}, linéaires de {E} dans {F}.
  Alors l'application {u\mapsto f(u)=(f_{1}(u),\ldots,f_{p}(u))} est linéaire de {E} dans {F^{p}}.
  Par exemple, l'application :{(x,y,z)\mapsto (2x-y+z,x-3y+2z)}est linéaire de {\mathbb{R}^{3}} dans {\mathbb{R}^{2}}.
  Plus généralement, tout application {f\colon(x_{1},\ldots,x_{n})\mapsto\Bigl(\displaystyle\sum_{k=1}^{n}a_{k}x_{k},\displaystyle\sum_{k=1}^{n}b_{k}x_{k},\ldots\Bigr)} est linéaire.