Applications linéaires

Applications linéaires

Application linéaire

En mathématiques, une application linéaire (aussi appelée opérateur linéaire ou transformation linéaire) est une application entre deux espaces vectoriels qui respecte l’addition des vecteurs et la multiplication scalaire définie dans ces espaces vectoriels, ou, en d’autre termes, qui « préserve les combinaisons linéaires ».

Sommaire

Définitions

Soit ƒ une application de E dans FE et F sont deux espaces vectoriels sur un corps K.

  • L'application ƒ est une application linéaire (ou morphisme de K-espaces vectoriels) si et seulement si :
  •  \forall x \in E , \forall y \in E , f(x+y) = f(x) + f(y)
  •  \forall \lambda \in \mathbb K, \forall x \in E, f(\lambda \cdot x) = \lambda \cdot f(x)

Une application possédant la première propriété est dite additive, et, pour la seconde, homogène.

ƒ est un isomorphisme si ƒ est un morphisme bijectif.
ƒ est un endomorphisme si ƒ est un morphisme ayant même ensemble de départ et d'arrivée.
ƒ est un automorphisme si ƒ est un endomorphisme bijectif.
Si l'ensemble d'arrivée est le corps K on parle de forme linéaire.

On note

  •  L_{\mathbb K}(E,F) l’ensemble des applications linéaires de E dans F ;
  •  Isom_{\mathbb K}(E,F) l’ensemble des isomorphismes de E dans F;
  •  L_{\mathbb K}(E) l’ensemble des endomorphismes de E;
  •  GL_{\mathbb K}(E) (appelé aussi le groupe linéaire) l’ensemble des automorphismes de E.

Comme son nom l'indique, le groupe linéaire, muni de la composition, est un groupe.

Noyau et Image

Si ƒ est une application linéaire de E dans F, on définit le noyau de ƒ, noté Ker(ƒ) (Kern signifie « noyau » en allemand), et l’image de ƒ, notée Im(ƒ), par

\operatorname{Ker}(f)=\{\,x\in E:f(x)=0\,\}
\operatorname{Im}(f)=\{\,f(x):x\in E\,\}

ker(ƒ) est un sous-espace vectoriel de E et im(ƒ) est un sous-espace de F.

La formule suivante, valable pour un espace E de dimension finie, est souvent utile :


  \dim(\operatorname{Ker}( f )) 
+ \dim(\operatorname{Im}( f )) 
= \dim( E ) \,.

Elle est aussi appelée théorème du rang.

Le nombre dim( Im(ƒ) ) est aussi appelé rang de ƒ et est noté rg(ƒ). Si E et F sont de dimension finie et ƒ est représenté par la matrice A, alors le rang de ƒ est égal au rang de la matrice A.

Exemples

Propriétés

  • L'ensemble des applications linéaires de E dans F est un espace vectoriel.

En effet, L(E, F) est un sous-espace vectoriel de l'ensemble des applications de E dans F. Il est non vide car contient l'application nulle. Si a et b sont deux applications linéaires, leur somme est toujours linéaire. On remarque enfin que si λ est un élément de K, l'application λ.a est aussi linéaire.

  • Une application linéaire a de L(E, F) est entièrement déterminée par l'image d'une base de E.

En effet, soit (ei) pour i élément de I une base de E et x un vecteur de E. Alors il existe une famille presque nullei) de coefficients tel que :

x=\sum_{i \in I} \lambda_i\cdot e_i

La linéarité de a montre que l'image de x est parfaitement déterminée par la connaissance des images de la base :

 a(x)=a\Big(\sum_{i \in I} \lambda_i\cdot e_i\Big) = \sum_{i \in I} \lambda_i\cdot a(e_i)
  • Si E et F sont de dimension finie alors la dimension de L(E,F) est égale au produit de la dimension de E par la dimension de F.

Pour déterminer la dimension de L(E, F) le plus simple est de déterminer une base de cet espace. Soit (ei) pour i variant de 1 à n une base de E et (fj) pour j variant de 1 à m une base de F. Soit aαβ l'application qui a pour image du vecteur ei : fβ si i est égal à α et le vecteur nul sinon.

La famille (aij) est libre. En effet considérons une combinaison linéaire c non nulle de cette famille :

c= \sum_{ij}\lambda_{ij}a_{ij}\,

Au moins un coefficient λαβ est non nul. Alors c(eα) est non nul car son coefficient sur pour le vecteur fβ est non nul, ce qui montre que c est non nulle. La seule combinaison linéaire nulle est triviale, ce qui montre que la famille est libre.

La famille (aij) est génératrice. Soit b un élément de L(E, F). Notons μij les coordonnées du vecteur ei dans la base considérée de F. Soit b' l'application linéaire définie par :

b'=\sum_{ij}\mu_{ij}a_{ij}\,

Les applications b et b' sont confondues sur une base de l'ensemble de départ. Elles sont toutes deux linéaires et donc égales. Ainsi, toute applications linéaire de L(E, F) est combinaison linéaire de la famille. Ce qui démontre son caractère générateur.

Le cardinal de cette base est bien le produit de la dimension de E par celle de F, ce qui termine la démonstration. Le calcul de l'image d'un vecteur par une application linéaire à l'aide de l'utilisation d'une base utilise le concept de matrice.

Théorèmes

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Application lin%C3%A9aire ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Applications linéaires de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Produit tensoriel de deux applications lineaires — Produit tensoriel de deux applications linéaires Articles scientifiques sur les tenseurs Généralités Tenseur Mathématiques Tenseur (mathématiques) Produit tensoriel ... de deux modules ... de deux applications linéaires Algèbre tensorielle Champ… …   Wikipédia en Français

  • Produit tensoriel de deux applications linéaires — Le produit tensoriel de deux applications linéaires est une construction qui à deux applications linéaires u d un A module E1 dans F1, et v d un A module E2 dans F2, associe une troisième application linéaire du produit tensoriel dans le produit… …   Wikipédia en Français

  • PROJECTIVES (APPLICATIONS) — PROJECTIVES APPLICATIONS Soit E et F deux espaces vectoriels sur un même corps commutatif K, P(E) et P(F) les espaces projectifs déduits de E et de F, f une application linéaire de E dans F et N = ker (f ) le noyau de f . Comme l’image par f… …   Encyclopédie Universelle

  • DÉRIVÉES PARTIELLES (ÉQUATIONS AUX) - Sources et applications — On se propose de décrire très sommairement quelques types classiques d’équations aux dérivées partielles issues principalement de la physique et de préciser leurs interventions dans des domaines variés des mathématiques. Alors que les solutions… …   Encyclopédie Universelle

  • DÉRIVÉES PARTIELLES (ÉQUATIONS AUX) - Équations non linéaires — L’étude des équations aux dérivées partielles non linéaires se trouve à l’interface de nombreux problèmes scientifiques. En effet, la plupart des phénomènes de la physique ou des sciences de l’ingénieur sont non linéaires et une modélisation par… …   Encyclopédie Universelle

  • MOTEURS ÉLECTRIQUES LINÉAIRES — Comme les autres moteurs électriques, les moteurs linéaires comportent deux parties agissant l’une sur l’autre sans contact, à travers des surfaces actives maintenues en vis à vis aussi proches que possible, par des dispositifs de centrage… …   Encyclopédie Universelle

  • THERMODYNAMIQUE - Processus irréversibles non linéaires — Les progrès réalisés dans le domaine non linéaire sont beaucoup plus récents. On connaît cependant à leur sujet un critère d’évolution général régissant le comportement d’un système dissipatif, soumis à des contraintes stationnaires (Paul… …   Encyclopédie Universelle

  • LINÉAIRE ET MULTILINÉAIRE (ALGÈBRE) — LINЙAIRE ET MULTILINЙAIRE (ALGИBRE) L’algèbre linéaire sur un corps commutatif, telle qu’on la trouvera présentée ici, s’est progressivement dégagée, au cours du XIXe siècle et au début du XXe, de la théorie des équations linéaires (systèmes de n …   Encyclopédie Universelle

  • TOPOLOGIQUES (ESPACES VECTORIELS) — La théorie des espaces normés, développée par S. Banach et ses élèves, s’est vite révélée insuffisante pour les besoins de l’analyse fonctionnelle où interviennent de nombreux espaces vectoriels munis d’une topologie qui n’est pas déduite d’une… …   Encyclopédie Universelle

  • Forme Bilinéaire — En mathématiques, le concept de forme bilinéaire est une notion algébrique s appliquant à un espace vectoriel. Il correspond à une application qui, à deux vecteurs définis sur le même corps de nombres associe un scalaire. L étude des formes… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”