Application semi-linéaire

En algèbre linéaire, en particulier en géométrie projective, une application semi-linéaire entre les espaces vectoriels V et W sur un corps K est une fonction qui est une application linéaire « à torsion près », donc semi -linéaire, où « torsion » signifie « automorphisme de corps de K ». Explicitement, c'est une application T : V → W telle que :

$T$ est additive par rapport à l'addition vectorielle : $T(v+v')=T(v)+T(v')$ pour tous $v$ et $v'$ de $V$ ;
il existe un automorphisme de corps θ de K tel que $T(\lambda v)=\lambda ^{\theta }T(v)$ , où $\lambda ^{\theta }$ est l'image du scalaire $\lambda$ par l'automorphisme $\theta$ . Si un tel automorphisme existe et que T est non nul, il est unique ; on dit alors que T est θ-semi-linéaire.

Si les espaces de départ et d'arrivée de T coïncident (c'est-à-dire T : V → V ), on peut utiliser le terme de transformation semi-linéaire. Les transformations semi-linéaires inversibles d'un espace vectoriel V donné (pour tous les choix d'automorphisme de corps) forment un groupe, appelé groupe semi-linéaire général et noté $\operatorname {\Gamma L} (V),$ par analogie avec et en prolongeant le groupe linéaire général. Le cas particulier où le corps est celui des nombres complexes $ℂ$ et l'automorphisme est la conjugaison complexe, une application semi-linéaire est appelée une application antilinéaire.

Des notations similaires (en remplaçant les lettres latines par des grecques) sont utilisées pour les analogues semi-linéaires de transformations linéaires plus restreinte ; formellement, le produit semi-direct d'un groupe linéaire avec le groupe de Galois d'automorphismes de corps. Par exemple, PΣU est utilisé pour les analogues semi-linéaires du groupe unitaire spécial projectif PSU. Il faut cependant noter, même si cela n'a été établi que récemment, que ces groupes semi-linéaires généralisés ne sont pas bien définis, comme indiqué dans (Bray, Holt et Roney-Dougal 2009) : en effet, deux groupes classiques isomorphes G et H (sous-groupes de SL) peuvent avoir des extensions semi-linéaires non isomorphes. Au niveau des produits semi-directs, cela correspond à des actions différentes du groupe de Galois sur un groupe abstrait donné, vu qu'un produit semi-direct dépend de deux groupes et d'une action. Si l'extension n'est pas unique, il y a exactement deux extensions semi-linéaires ; par exemple, les groupes symplectiques ont une extension semi-linéaire unique, tandis que SU(n, q) a deux extensions si n est pair et q est impair, et de même pour PSU.

Définition[modifier | modifier le code]

Une application $f : V \to W$ entre deux espaces vectoriels $V$ et $W$ sur des corps $K$ et $L$ respectivement est $σ$ -semi-linéaire, ou simplement semi-linéaire, s'il existe un morphisme de corps $σ : K \to L$ tel que pour tous $x$ , $y$ dans $V$ et $λ$ dans $K$ on ait

$f(x+y)=f(x)+f(y),$
$f(\lambda x)=\sigma (\lambda )f(x).$

Un plongement donné $σ$ d'un corps $K$ dans $L$ permet d'identifier $K$ avec un sous-corps de $L$ , ce qui fait d'une application $σ$ -semi-linéaire une application K-linéaire sous cette identification. Cependant, une application qui est $τ$ -semi-linéaire pour un plongement distinct $τ \neq σ$ ne sera pas K -linéaire par rapport à l'identification d'origine $σ$ , à moins que $f$ ne soit identiquement nul.

Plus généralement, une application $ψ : M \to N$ entre un $R$ -module à droite $M$ et un $S$ -module à gauche $N$ est $σ$ -semi -linéaire s'il existe un antimorphisme d'anneaux $σ : R \to S$ tel que pour tous $x$ , $y$ dans $M$ et $λ$ dans $R$ on ait

$\psi (x+y)=\psi (x)+\psi (y),$
$\psi (x\lambda )=\sigma (\lambda )\psi (x).$

Le terme semi-linéaire s'applique à toute combinaison de modules gauche et droit avec un ajustement approprié des expressions ci-dessus, $σ$ étant un morphisme correspondant aux besoins^[1]^,^[2].

Le couple $(\psi ,\sigma )$ est appelé dimorphisme^[2].

Notions associées[modifier | modifier le code]

Transposition[modifier | modifier le code]

Soit $\sigma :R\to S$ soit un isomorphisme d'anneaux, $M$ un $R$ -module à droite et $N$ un $S$ -module à droite, et soit $\psi :M\to N$ une application $\sigma$ -semi-linéaire. On définit la transposée de $\psi$ comme l'application ${}^{\text{t}}\psi :N^{*}\to M^{*}$ caractérisée par^[3]

\langle y,\psi (x)\rangle =\sigma \left(\left\langle {}^{\text{t}}\psi (y),x\right\rangle \right)\quad {\text{ pour tout }}y\in N^{*}{\text{ et tout }}x\in M.

C'est une application

\sigma ^{-1}

-semi-linéaire.

Propriété[modifier | modifier le code]

Soit $\sigma :R\to S$ soit un isomorphisme d'anneaux, $M$ un $R$ -module à droite et $N$ un $S$ -module à droite, et soit $\psi :M\to N$ une application $\sigma$ -semi-linéaire. Pour $y\in N^{*}$ , l'application

M\to R,\quad x\mapsto \sigma ^{-1}(\langle y,\psi (x)\rangle )

est une forme

R

-linéaire^[3].

Exemples[modifier | modifier le code]

Soit $K=\mathbf {C}$ , soit $V=\mathbf {C} ^{n}$ muni de la base standard $(e_{1},\ldots ,e_{n})$ . On définit l'application $f\colon V\to V$ par
$f\left(\sum _{i=1}^{n}z_{i}e_{i}\right)=\sum _{i=1}^{n}{\bar {z}}_{i}e_{i}.$

Alors f est semi-linéaire (par rapport à l'automorphisme de conjugaison complexe) mais pas linéaire.

Soit $K=\mathbf {F} _{q}$ le corps fini de cardinal $q=p^{i}$ , où p est la caractéristique. Soit $\theta :\ell \mapsto \ell ^{\theta }=\ell ^{p}$ le morphisme de Frobenius. Par le rêve du première année, on sait qu'il s'agit d'un automorphisme de corps. À chaque application linéaire $f\colon V\to W$ entre deux espaces vectoriels V et W sur K, on peut associer une application $\theta$ -semi-linéaire
${\widetilde {f}}\left(\sum _{i=1}^{n}\ell _{i}e_{i}\right):=f\left(\sum _{i=1}^{n}\ell _{i}^{\theta }e_{i}\right).$

En fait, chaque application linéaire peut être convertie en une application semi-linéaire de cette manière. Cela fait partie d'une observation générale rassemblée dans le résultat suivant.

Soit $R$ un anneau non commutatif, $M$ un $R$ -module à gauche et $\alpha$ un élément inversible de $R$ . On définit l'application $\varphi \colon M\to M$ , $x\mapsto \alpha x$ , de sorte que $\varphi (\lambda u)=\alpha \lambda u=(\alpha \lambda \alpha ^{-1})\alpha u=\sigma (\lambda )\varphi (u)$ , où $\sigma \colon \lambda \to \alpha \lambda \alpha ^{-1}$ est un automorphisme intérieur de $R$ . Ainsi, l'homothétie $x\mapsto \alpha x$ n'est pas nécessairement linéaire, mais elle est $\sigma$ -semi-linéaire^[2].

Groupe semi-linéaire général[modifier | modifier le code]

Étant donné un espace vectoriel V, l'ensemble de toutes les transformations semi-linéaires inversibles V → V (pour tous les automorphismes de corps) est le groupe ΓL(V).

Le groupe ΓL(V) se décompose en produit semi-direct

\operatorname {\Gamma L} (V)=\operatorname {GL} (V)\rtimes \operatorname {Aut} (K),

où Aut(K) est le groupe des automorphismes de K. De même, les transformations semi-linéaires d'autres groupes linéaires peuvent être définies comme le produit semi-direct avec le groupe d'automorphisme, ou plus intrinsèquement comme le groupe des applications semi-linéaires d'un espace vectoriel préservant certaines propriétés.

On identifie Aut(K) à un sous-groupe de ΓL(V) en fixant une base B de V et en définissant les applications semi-linéaires :

\sum _{b\in B}\ell _{b}b\mapsto \sum _{b\in B}\ell _{b}^{\sigma }b

pour tout $\sigma \in \operatorname {Aut} (K)$ . On notera ce sous-groupe Aut(K)_B . On obtient aussi une action usuelle de GL(V) sur ces compléments à GL(V) dans ΓL(V), qui correspond à un changement de base.

Démonstration[modifier | modifier le code]

Toute application linéaire est semi-linéaire, donc $\operatorname {GL} (V)\leq \operatorname {\Gamma L} (V)$ . Soit une base B de V. À présent, étant donné une application semi-linéaire f par rapport à un automorphisme de corps σ ∈ Aut(K), on définit g : V → V par

g\left(\sum _{b\in B}\ell _{b}b\right):=\sum _{b\in B}f\left(\ell _{b}^{\sigma ^{-1}}b\right)=\sum _{b\in B}\ell _{b}f(b)

Comme f(B) est aussi une base de V, il s'ensuit que g est simplement un changement de base de V et donc linéaire et inversible : g ∈ GL(V).

Soit alors $h:=fg^{-1}$ . Pour tout $v=\sum _{b\in B}\ell _{b}b$ dans V,

hv=fg^{-1}v=\sum _{b\in B}\ell _{b}^{\sigma }b,

donc h est appartient au sous-groupe Aut(K) correspondant à la base fixe B. Cette factorisation est unique pour une base fixe B. De plus, GL(V) est normalisé par l'action de Aut(K)_B, donc ΓL(V) = GL(V) ⋊ Aut(K).

Applications[modifier | modifier le code]

Géométrie projective[modifier | modifier le code]

Les groupes $\operatorname {\Gamma L} (V)$ étendent les groupes classiques typiques dans GL(V). L'importance de considérer de telles applications découle de la considération de la géométrie projective. L'action induite de $\operatorname {\Gamma L} (V)$ sur l'espace projectif associé P(V) donne le groupe semilinéaire projectif, noté $\operatorname {P\Gamma L} (V)$ , qui étend le groupe linéaire projectif, PGL(V).

La géométrie projective d'un espace vectoriel V, notée PG(V), est le treillis de tous les sous-espaces de V. Bien qu'une application semi-linéaire typique ne soit pas linéaire, il n'en est pas moins que chaque application semi-linéaire $f\colon V\to W$ induit une application qui préserve l'inclusion $f\colon \operatorname {PG} (V)\to \operatorname {PG} (W)$ . Autrement dit, toute application semi-linéaire induit une projectivité. La réciproque de cette observation (à l'exception de la droite projective) est le théorème fondamental de la géométrie projective. Ainsi, les applications semi-linéaires sont utiles car elles définissent le groupe d'automorphismes de la géométrie projective d'un espace vectoriel.

Groupe de Mathieu[modifier | modifier le code]

Le groupe PΓL(3,4) peut être utilisé pour construire le groupe de Mathieu M₂₄, qui est un des groupes simples sporadiques ; PΓL(3,4) est un sous-groupe maximal de M₂₄ et il existe plusieurs manières de l'étendre au groupe de Mathieu complet.

Articles connexes[modifier | modifier le code]

Application antilinéaire
Espace vectoriel conjugué complexe

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Semilinear map » (voir la liste des auteurs).

↑ Ian R. Porteous, Clifford Algebras and the Classical Groups, Cambridge University Press, 1995.
↑ ^{a b et c} Bourbaki 1989, p. 223.
↑ ^{a et b} Bourbaki 1989, p. 236.

E. F. Assmus et J. D. Key, Designs and Their Codes, Cambridge University Press, 1994 (ISBN 0-521-45839-0), p. 93
Nicolas Bourbaki, Algebra I, chapters 1-3, Springer, 1989
John N. Bray, Derek F. Holt et Colva M. Roney-Dougal, « Certain classical groups are not well-defined », Journal of Group Theory, vol. 12, n^o 2,‎ 2009, p. 171-180 (ISSN 1433-5883, DOI 10.1515/jgt.2008.069 , MR 2502211)
Claude-Alain Faure et Alfred Frölicher, Modern Projective Geometry, Kluwer Academic Publishers, 2000 (ISBN 0-7923-6525-9)
K. W. Gruenberg et A. J. Weir, Linear Geometry, vol. 49, New York, Springer-Verlag, coll. « Graduate Texts in Mathematics », 1977, 1^re éd.
François Trèves, Topological vector spaces, distributions and kernels, vol. 25, Elsevier, coll. « Pure and Applied Mathematics », 1967 (ISBN 9781483223629)

Source partielle : (en) « Semilinear transformation », sur PlanetMath

Portail des mathématiques

[1] Ian R. Porteous, Clifford Algebras and the Classical Groups, Cambridge University Press, 1995.

[Bourbaki1989223-2] {a b et c} Bourbaki 1989, p. 223.

[Bourbaki1989236-3] {a et b} Bourbaki 1989, p. 236.

[1]

[2]

[3]