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
225 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
 
 
 
 
 

Générateurs de O(q), adjoint

Envoyé par Florent H. 
Générateurs de O(q), adjoint
il y a dix années
Bonjour,

j'aimerais montrer que pour toute forme quadratique q, le groupe orthogonal O(q) est engendré par les réflexions. Dans le Cours d'Algèbre de Perrin, on se donne u dans O(q), et on suppose qu'il existe x non nul et non isotrope tq u(x)=x. On appelle H l'orthogonal de Vect(x), et là il dit que H est u-stable. Je ne comprends pas pourquoi.
Du coup j'en suis venu à me demander si on pouvait définir l'adjoint d'un endomorphisme sur un espace quadratique quelconque (car alors vu que u est un endomorphisme normal, j'arriverais à prouver la stabilité de H).
Mes questions sont donc : peut-on définir l'adjoint sur (E,q) ? Si oui, comment ? Est-ce bien comme ceci qu'il faut procéder pour montrer que H est u-stable ?
Merci d'avance :)
Re: Générateurs de O(q), adjoint
il y a dix années
avatar
Bah oui, on peut si $(V,q)$ est non dégénérée, de la même façon que pour un produit scalaire.
Si $f\in End(V)$, alors il existe un unique $f^*\in End(V)$ tel que $b_q(f(x),y)=b_q(x,f^*(y))$, pour tous $x,y\in V$.

Ici $b_q$ désigne la forme polaire de $q$.
Re: Générateurs de O(q), adjoint
il y a dix années
Ok, merci. Mais est-ce que c'est la façon la plus simple de voir que H est u-stable ? Dans un autre livre j'ai lu que "u est une isométrie donc par définition, u(H)=H"...
Re: Générateurs de O(q), adjoint
il y a dix années
avatar
Pour tout $y\in H$, on a $b_q(x,u(y))=b_q(u(x),u(y))=b_q(x,y)=0$.
Donc $u(y)$ est orthogonal à $x$, donc est dans $H$.
Re: Générateurs de O(q), adjoint
il y a dix années
Merci !
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: 140 660, Messages: 1 375 489, Utilisateurs: 25 641.
Notre dernier utilisateur inscrit Bachoc.


Ce forum
Discussions: 17 901, Messages: 175 650.

 

 
©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