Une application entre espaces vectoriels (ou sous-espaces) qui préserve l'addition vectorielle et la multiplication scalaire : pour tous vecteurs u, v et scalaires α, β, L(αu + βv) = αL(u) + βL(v) ; réalisée fréquemment sur des espaces de fonctions en analyse.

Principe

La linéarité encode le principe de superposition : l'action de l'opérateur sur des combinaisons linéaires se décompose en la combinaison linéaire correspondante de ses actions, ce qui permet décomposition, analyse spectrale et représentation matricielle dans une base.

Démonstration

L'opérateur dérivation D défini sur les fonctions suffisamment lisses satisfait D(αf + βg) = αf' + βg' et est donc un opérateur linéaire sur cet espace de fonctions ; en dimension finie, le même opérateur correspond à une matrice relative à une base choisie.

Mauvaise application

Supposer que les opérateurs linéaires sont toujours bornés, continus, diagonalisables ou dotés d'un système complet de vecteurs propres ; en dimension infinie, de nombreux opérateurs linéaires sont non bornés ou ont un spectre continu, rendant l'intuition finie-dimensionnelle fausse.

Conséquence

L'identification correcte comme linéaire ouvre l'accès aux outils de l'algèbre linéaire et de l'analyse fonctionnelle : superposition, structure du noyau et de l'image, normes d'opérateurs, spectres, semi-groupes d'évolution et techniques de décomposition.

Inversion

Remplacer l'opérateur linéaire par un opérateur non linéaire : la superposition échoue, la théorie spectrale n'est plus applicable de la même façon, et les solutions ne se combinent pas linéairement, modifiant fondamentalement questions de résolution et de stabilité.

Limite

Les opérateurs linéaires exigent un domaine et un codomaine clairement définis ; les restrictions de domaine, la non-bornitude et la topologie des espaces sont significatives — l'intuition des matrices en dimension finie ne s'étend pas automatiquement aux espaces de Banach ou de Hilbert.

Tension sémantique

Tension avec les applications affines, les formes bilinéaires et les matrices : les applications affines diffèrent par une translation, les formes bilinéaires sont linéaires séparément en chaque argument mais pas conjointement, et les matrices sont des représentations d'opérateurs linéaires relatives à une base.

Synthèse

Un opérateur linéaire est l'objet algébrique et analytique exprimant des transformations qui préservent la superposition entre espaces vectoriels ; connaître son domaine, sa continuité, son spectre et ses représentations relie la structure algébrique au comportement fonctionnel.