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 ».
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 : ƒ : E → F 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(f)=\\, x\in E:f(x)=0\, \ :\operatorname(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( f )) + \dim(\operatorname( 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 application 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 x où a est un scalaire ;
- les combinaisons linéaires de vecteurs
- l’application dérivation :
-: d : D(\mathbb, \mathbb) \to F(\mathbb, \mathbb)
-:: f\quad \mapsto\quad f' Théorèmes
- Théorème de Banach-Steinhaus
- Théorème de Hahn-Banach Liens
- Espace vectoriel normé
- Algèbre linéaire
- Équation linéaire
- Système d'équations linéaires catégorie:Algèbre linéaire catégorie:tenseur cs:Lineární zobrazení da:Lineær transformation de:Lineare Abbildung el:Γραμμικός μετασχηματισμός en:Linear map eo:Lineara bildigo es:Aplicación lineal fi:Lineaarimuunnos he:טרנספורמציה לינארית hu:Lineáris leképezés it:Trasformazione lineare ja:線型写像 ko:선형 변환 nl:Lineaire transformatie no:Lineær transformasjon pl:Przekształcenie liniowe pt:Transformação linear ro:Transformare liniară ru:Линейное отображение sv:Linjär operation ta:நேரியல் கோப்பு uk:Лінійний оператор ur:لکیری استحالہ vi:Biến đổi tuyến tính zh:线性映射