Application linéaire - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

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 ".

Définitions

Soit

ƒ : EF

une application où E et F sont deux \mathbb K espaces vectoriels.

ƒ est une application linéaire (ou morphisme de \mathbb K espaces vectoriels) 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
  • ƒ est bijective
ƒ est un endomorphisme si :
  • ƒ est un morphisme
  • F = E
ƒ est un automorphisme si :
  • ƒ est un endomorphisme
  • ƒ est bijective
Si F = \mathbb 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 ; une telle applicaiton linéaire est un tenseur d'ordre 2, une fois covariant, une fois contravariant.

Exemples

  • la fonction linéaire " habituelle " : f : x \mapsto a\cdot xa est un scalaire ;
  • les combinaisons linéaires de vecteurs
  • l’application dérivation :
    d : D(\mathbb{R},\mathbb{R}) \to F(\mathbb{R},\mathbb{R})
    f\quad   \mapsto\quad   f'

Théorèmes

Page générée en 0.021 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise