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

Quadratique régulier

Envoyé par CechLM 
Quadratique régulier
il y a quatre mois
Salut à tous.

Exercice : Soit (E,q) une espace quadratique de dimension finie.
$F$ est régulier (i.e la restriction que q à F est régulière) alors $E = F \oplus F^\bot$.

Pourquoi il ne suffit-il pas de dire que :
"
Si $F$ est régulier alors $F\cap F^\bot = {0}$ et $dim(F)+dim(F^\bot) = dim(E)$
"
pour conclure ?



Edité 1 fois. La dernière correction date de il y a quatre mois et a été effectuée par jacquot.
Re: Quadratique régulier.
il y a quatre mois
Dans le contexte des formes quadratiques $E = F \oplus F^\perp$ doit vouloir dire que tout $x$ est s'écrit d'une unique façon comme $y+z, y \in F, z \in F^\perp$ et $q(x,x) = q(y,y)+q(z,z)$ ie. $q(y,z) +q(z,y)= 0$



Edité 2 fois. La dernière correction date de il y a quatre mois et a été effectuée par reuns.
Re: Quadratique régulier.
il y a quatre mois
@CechLM : eh bien la démonstration est aussi simple que ça. Mais pour avoir $F \cap F^{\perp} = \{0\}$ il faut bien supposer $q_{\mid F}$ est "régulière" (je ne sais pas d'où tu sors cette terminologie, en général on dit plutôt non dégénérée).
Re: Quadratique régulier.
il y a quatre mois
Ici :


Re: Quadratique régulier.
il y a quatre mois
Bonjour CechML,

La relation $\dim(F^\perp)+\dim F = \dim E$ n'est pas vraie en général...

Il faut des hypothèses
par exemple, si $q$ est non dégénérée;
ou si $q$ est régulière sur $F$... mais c'est ce que tu veux démontrer.
Re: Quadratique régulier.
il y a trois mois
Salut.

E est régulier signifie $q$ est non dégénéré je pense.



Edité 1 fois. La dernière correction date de il y a trois mois et a été effectuée par CechLM.
Re: Quadratique régulier
il y a trois mois
Attention, l'intersection de deux sous-espaces vectoriels n'est jamais vide. Ici on a $F \cap F^{\perp} = \{0\}$, pour le comprendre, regarde la définition de forme quadratique non dégénérée !
Re: Quadratique régulier
il y a trois mois
Salut Poirot j'ai modifié mon message car je viens de comprendre.
Re: Quadratique régulier
il y a trois mois
Je vais le rédiger pour être sûr.
Re: Quadratique régulier
il y a trois mois
Alors, en fait j'ai regardé la restriction de $q$ à F. Je pense qu'il s'agit de la forme quadratique associé à la fbs $\varphi '$ qui est la fbs associé à $q$ restreinte à $F\times F$.
Dans ce cas prenons $z\in F \cap F^\bot $ alors $\forall y \in F, \varphi'(y,z) = 0$ donc $z\in Ker(\varphi')=\{0\}$ par hypothèse.



Edité 2 fois. La dernière correction date de il y a trois mois et a été effectuée par CechLM.
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: 127 299, Messages: 1 217 787, Utilisateurs: 20 567.
Notre dernier utilisateur inscrit Tyaz.


Ce forum
Discussions: 15 488, Messages: 150 488.

 

 
©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