Quadratique régulier

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 l’an passé et a été effectuée par jacquot.

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 l’an passé et a été effectuée par reuns.

@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).

Ici :

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.

Salut.

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



Edité 1 fois. La dernière correction date de l’an passé et a été effectuée par CechLM.

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 !

Salut Poirot j'ai modifié mon message car je viens de comprendre.

Je vais le rédiger pour être sûr.

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 l’an passé et a été effectuée par CechLM.

Liste des forums - Statistiques du forum

Total
Discussions: 133 712, Messages: 1 286 894, Utilisateurs: 23 097.
Notre dernier utilisateur inscrit Philippe_1.

---

Ce forum
Discussions: 16 642, Messages: 161 495.