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

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

Transposition modifier

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

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

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

É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

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

Géométrie projective modifier

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

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

Application antilinéaire
Espace vectoriel conjugué complexe

Notes et références modifier

(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]