Pensez à lire la Charte avant de poster !

$\newcommand{\K}{\mathbf K}$


Les-Mathematiques.net - Cours de mathématiques supérieures
 Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
242 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 

Transvections

Envoyé par n12345 
Transvections
il y a cinq semaines
Bonjour,
une transvection est un endomorphisme $t$ de $E$, un $\mathbb{C}$ espace vectoriel de dim finie qui a les propriétés suivantes :
- $t\ne id $
- Il existe un hyperplan $H$ de E, $\forall x\in H,\ t(x)=x$
- $\forall x\in E,\ t(x)-x\in H$.
- Comment montrer à partir de cette définition pouvons-nous montrer que les transvections sont des automorphismes de $E$ ?
- Je souhaite montrer l'unicité de la droite et de l'hyperplan associés à une transvection $t$.

On montre d'abord que $H=\ker(t-id)$, mais pour moi la propriété du troisième tiret assure les 2 inclusions non ?

Puis, on montre qu'il existe une unique droite vectorielle $d$ telle que $\forall x\in E,\ t(x)-x\in d$. D'après ce que l'on vient de faire, on utilise le théorème du rang et $Im(t-id)$ est une droite vectorielle qui est, de plus, incluse dans $H$ d'où l'existence. Je n'ai pas d'idée pour l'unicité..
Si quelqu'un pouvait me donner un petit coup de pouce smiling smiley
Bonne soirée.



Edité 3 fois. La dernière correction date de il y a cinq semaines et a été effectuée par n12345.
Re: Transvections
il y a cinq semaines
Bonsoir,

Tu ne recopies pas correctement la définition : tu n'y dis pas que $H$ est un hyperplan, point essentiel, et tu écris $H\in E$, ce qui est une horreur.
Pour montrer qu'une transvection est un automorphisme (à partir de la définition corrigée), tu peux t'intéresser à son image.
Enfin, de quelle droite veux-tu montrer l'unicité ? PS. j'ai vu de quelle droite tu parles en lisant la fin de ton message. Mezalor, pourrait-il y avoir à ton avis plusieurs droites égales à l'image de $t-\mathrm{Id}_E$ ?



Edité 1 fois. La dernière correction date de il y a cinq semaines et a été effectuée par GaBuZoMeu.
Re: Transvections
il y a cinq semaines
Ok, j'ai corrigé la définition.

-Les questions suivantes du problème ont pour objectif de montrer que $\forall x\in E, t(x)=x+u(x) a $ avec $u$ une forme linéaire non nulle sur $E$ et $a$ un vecteur non nul de l'hyperplan $H$ donc si vous entendiez cela par image de t, je ne pense pas que ce soit la réponse attendue ..Mais sinon je ne vois pas comment raisonner sur l'image de t.

-Le fait qu'une transvection soit une bijection doit sûrement aider mais là je ne vois pas trop..

Merci de votre aide
Re: Transvections
il y a cinq semaines
Il te suffit de réaliser que l'image de $t$ contient strictement $H$ pour voir que $t$ est un automorphisme.
Je ne comprends toujours pas ton problème avec l'unicité de la droite image de $t-\mathrm{Id}$.
Re: Transvections
il y a cinq semaines
$\newcommand{\Im}{\mathrm{im}}$$Je suis désolé mais en quoi le fait que l'image de $t$ soit incluse dans $H$ nous permet de conclure ?

Pour la droite vectorielle :
le théorème du rang nous dit que $\Im(t-id)$ est une droite vectorielle et $\Im(t-id)\subset \ker(t-id)=H$ donc il existe une droite vectorielle $d$ incluse dans $H$ telle que $\forall x \in E,\ t(x)-x\in d$.
Je souhaite maintenant montrer l'unicité de cette droite (je pense avoir trouvé).
Je pense qu'il y a plusieurs manières de faire mais voilà ce que j'ai fait.
Soit $b\in \Im(t-id)$. Alors, il existe $a$ appartenant à $E$, $t(a)-a=b$. $a$ n'est donc pas dans $H$ donc le cours dit que $Vect(a)$ et $H$ sont supplémentaires dans $E$. J'utilise la caractérisation de 2 sev supplémentaires : soit $x\in E,\ y\in Vect(a),\ z\in H$ tels que $x=y+z$. J'applique $t-id$ : $t(x)-x=t(z)-z$.

Je galère un petit peu sur cet exercice, je ne sais pas si ce que j'ai fait est correct ou s'il existe une méthode plus simple..
Merci de votre réponse



Edité 5 fois. La dernière correction date de il y a cinq semaines et a été effectuée par AD.
Seuls les utilisateurs enregistrés peuvent poster des messages dans ce forum.

Cliquer ici pour vous connecter

Liste des forums - Statistiques du forum

Total
Discussions: 149 244, Messages: 1 507 384, Utilisateurs: 27 667.
Notre dernier utilisateur inscrit Setif.


Ce forum
Discussions: 19 584, Messages: 197 770.

 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page