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 Modèle:Nobr telle que :

• $T$ est additive par rapport à l'addition vectorielle : $T(v+v^{\prime })=T(v)+T(v^{\prime })$ pour tous $v$ et $v^{\prime }$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 Modèle:Nobr ), 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é $\mathrm{\Gamma }\mathrm{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 Modèle:Formule 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 Modèle:Référence Harvard : 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 Modèle:Nobr a deux extensions si n est pair et q est impair, et de même pour PSU.

Définition

Une application Modèle:Formule entre deux espaces vectoriels Modèle:Formule et Modèle:Formule sur des corps Modèle:Formule et Modèle:Formule respectivement est Modèle:Formule -semi-linéaire, ou simplement semi-linéaire, s'il existe un morphisme de corps Modèle:Formule tel que pour tous Modèle:Formule, Modèle:Formule dans Modèle:Formule et Modèle:Formule dans Modèle:Formule on ait

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

Un plongement donné Modèle:Formule d'un corps Modèle:Formule dans Modèle:Formule permet d'identifier Modèle:Formule avec un sous-corps de Modèle:Formule, ce qui fait d'une application Modèle:Formule -semi-linéaire une application K-linéaire sous cette identification. Cependant, une application qui est Modèle:Formule -semi-linéaire pour un plongement distinct Modèle:Formule ne sera pas K -linéaire par rapport à l'identification d'origine Modèle:Formule, à moins que Modèle:Formule ne soit identiquement nul.

Plus généralement, une application Modèle:Formule entre un Modèle:Formule-module à droite Modèle:Formule et un Modèle:Formule-module à gauche Modèle:Formule est Modèle:Formule-semi -linéaire s'il existe un antimorphisme d'anneaux Modèle:Formule tel que pour tous Modèle:Formule, Modèle:Formule dans Modèle:Formule et Modèle:Formule dans Modèle:Formule on ait

1. $\psi (x+y)=\psi (x)+\psi (y),$
2. $\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, Modèle:Formule étant un morphisme correspondant aux besoinsModèle:,Modèle:Sfn.

Le couple $(\psi ,\sigma )$ est appelé dimorphismeModèle:Sfn.

Notions associées

Transposition

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 parModèle:Sfn $$⟨y,\psi (x)⟩=\sigma \left(⟨{}^{\text{t}}\psi (y),x⟩\right)\text{ pour tout }y\in N^{*}\text{ et tout }x\in M.$$C'est une application ${\sigma }^{-1}$-semi-linéaire.

Propriété

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,x\mapsto {\sigma }^{-1}(⟨y,\psi (x)⟩)$$ est une forme $R$-linéaireModèle:Sfn.

Exemples

• Soit $K=𝐂$, soit $V={𝐂}^n$ muni de la base standard $(e_1,\dots ,e_n)$ . On définit l'application $f:V\to V$ par

  $f\left(\sum _{i=1}^n{z}_i{e}_i\right)=\sum _{i=1}^n{\overline{z}}_i{e}_i.$

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

• Soit $K={𝐅}_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:V\to W$ entre deux espaces vectoriels V et W sur K, on peut associer une application $\theta$-semi-linéaire

  $\tilde{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 $\phi :M\to M$, $x\mapsto \alpha x$, de sorte que $\phi (\lambda u)=\alpha \lambda u=(\alpha \lambda {\alpha }^{-1})\alpha u=\sigma (\lambda )\phi (u)$, où $\sigma :\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éaireModèle:Sfn.

Groupe semi-linéaire général

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

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

$\mathrm{\Gamma }\mathrm{L}(V)=\mathrm{GL}(V)⋊\mathrm{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 \mathrm{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

Toute application linéaire est semi-linéaire, donc $\mathrm{GL}(V)\le \mathrm{\Gamma }\mathrm{L}(V)$. Soit une base B de V. À présent, étant donné une application semi-linéaire f par rapport à un automorphisme de corps Modèle:Nobr, on définit Modèle:Nobr 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 : Modèle:Nobr.

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

$hv=f{g}^{-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 Modèle:Nobr.

Applications

Géométrie projective

Les groupes $\mathrm{\Gamma }\mathrm{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 $\mathrm{\Gamma }\mathrm{L}(V)$ sur l'espace projectif associé P(V) donne le groupe semilinéaire projectif, noté $\mathrm{P}\mathrm{\Gamma }\mathrm{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:V\to W$ induit une application qui préserve l'inclusion $f:\mathrm{PG}(V)\to \mathrm{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

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

• Application antilinéaire
• Espace vectoriel conjugué complexe

Notes et références

• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Article
• Modèle:Ouvrage
• Modèle:Ouvrage
• Modèle:Ouvrage

Source partielle : Modèle:Planetmath