Chapitre2 vf 2

C H A P I T R E 2
F O R M E S Q U A D R A T I Q U E S
1. Définitions et exemples
DEFINITION 13 : FORME QUADRATIQUE
Soit b une forme bilinéaire sur E.
L’application et appelée forme quadratique associée.
Remarque :
l’ensemble des formes quadratiques sur E est un espace vectoriel sur
Remarque :
La forme quadratique q associée à b est nulle ssi b est alternée.
est linéaire.
Son noyau est l’espace des formes bilinéaires alternées.
PROPOSITION 13 :
Toute forme quadratique q sur E est associée à une et une seule forme bilinéaire symétrique. On
l’appelle a forme polaire et on la note .
d’où Q(E)= dim
est un isomorphisme (car inj et de même dimension)
Pour calculer la partie symétrique de b
PROPOSITION 14 : FORME DE POLARISATION
Soit q une forme quadratique de forme polaire . Alors est donnée par .
PREUVE:
 Il faut montrer que est bilinéaire symétrique
 q lui est associée.
FORMES QUADRATIQUES
2
Exemples :
1) f,g forme linéaires sur E
q : est forme quadratique
est bilinéaire
2)
est bilinéaire symétrique
b est la forme polaire de q
est quadratique
3) forme quadratique
elles sont linéaires
C’est bien une forme quadratique de forme polaire
n’est pas quadratique
4)
( )
( )
5)
forme quadratique
DEFINITION 14 : ESPACE QUADRATIQUE
On appelle un espace quadratique la donnée d’un espace vectoriel et d’une forme quadratique.
FORMES QUADRATIQUES
3
2. Représentation d’une forme quadratique dans une base.
E dim finie, muni d’une base
DEFINITION 14 : REPRESENTATION MATRICIELLE
On appelle matrice associée à q dans B la matrice de sa forme polaire
PROPOSITION 15 :
Soit q forme quadratique représentée par A dans B. Soit B’ une autre base et A’ la matrice de q dans
B’ et P la matrice de passage de B à B’.
Alors et
DEFINITION 15 : REPRESENTATION POLYNOMIALE
∑
homogène de degré d.
ex :
P Homogène de degré 2. ∑ ∑
On lui associe la matrice
( ) ( ) matrice sym
{
Réciproquement à une matrice symétrique m lui associe un polynôme homogène de degré 2.
Rmq :
On dit que P représente la forme quadratique q dans la base.
FORMES QUADRATIQUES
4
3. Equivalence de formes quadratiques
DEFINITION 16 : MORPHISME
et espaces quadratiques :
Un morphisme d’espaces quadratiques :
Et
 Un morphisme injectif est une isometrie
 Un morphisme bijectif est un isomorphisme
Morphisme : diagramme commutatif
E u F
q q’
K
Remarque : Les isomorphismes d’espaces quadratiques donnent une relation d’équivalence sur
l’ensemble des formes quadratiques , si et ) sont isomorphes alors que q est équivalente
à q’ et on le note
et
on a est un isomorphisme
d’espace quadratique
PROPOSITION 16 :
et espaces quadratiques. , formes polaires associées à alors les assertions
suivantes sont équivalentes :
1)
2)
PREUVE:
linéaire bijection tel que
donc ( ) donc
tel que
On considère l’application
( )
 C’est une forme bilinéaire
 Elle est symétrique
 Sa forme quadratique associée est ( )
Donc il s’agit de (par unicité de sa forme polaire)
FORMES QUADRATIQUES
5
CORROLAIRE 17 :
q,q’ 2 formes quadratiques sur des espaces de dimensions finies sont équivalentes :
1)
2) Leurs matrices associées sont congruentes
3) Dans les bonnes bases elle ont la même matrice et même polynôme
4. Domaine, dimension, rang, noyau
E dim finie
q forme quadratique, b forme polaire
DEFINITION 17 : DOMAINE
est représenté par q si tel que .
On appelle domaine de q l’ensemble { } { }
On dit que q est universelle si
Exemple :
1) est universelle ,
2) Toute forme quadratique non nulle sur est universelle. Soit tel que .
Soit . Soit
et il existe tel que
donc
3) q forme quadratique sur qui n’est pas négative ni positive alors elle est universelle
PROPOSITION 18 :
Si alors
E u F
q q’
K
Si , , donc
Si , , donc
DEFINITION 18 : DIMENSION
La dimension de q est la dimension de l’espace E.
DEFINITION 19 : DIMENSION
Le noyau de q est l’ensemble.
{ }
FORMES QUADRATIQUES
6
PROPOSITION 19 :
Pour tout le noyau de q est le noyau de .
Le rang de q, noté est
Exemple :
( )
( )
Remarque : Si alors
DEFINITION 20 : FORME QUADRATIQUE REGULIERE OU DEGENEREE
On dit que q est régulière (ou non dégénérée)
Si { }. Sinon on dit qu’elle est dégénérée.
Ex :
si
En particulier , ( )
( ) ( ) ( )
donc q est régulière.
5. Cône isotrope et conique projective
DEFINITION 21 : ISOTROPE
est isotrope si
S’il existe un vecteur isotrope non nul, on dit que q est isotrope.
Exemple :
les vecteurs isotropes sont les éléments de { } { }
Remarque : Si X est isotrope alors tous les , sont isotropes.
DEFINITION 22 : LE CONE ISOTROPE
Le cône isotrope est l’ensemble { }
Remarque : alors donc d’où
Exemple :
( ) { } par contre ( )
Remarque : Co(q) n’est pas en général un sous-espace vectoriel de E
FORMES QUADRATIQUES
7
DEFINITION 23 : LA CONIQUE PROJECTIVE
L’ensemble des droites vectorielles de Co(q) est appelé la conique projective
:ensemble des droites vectorielles de E ss-e.v. de dim⁡1
6. Les déterminants
Notation: { }
DEFINITION 24 : DETERMINANT D’UNE FORME QUADRATIQUE
{ }
Cette application est bien définie
On appelle det(q) l’image de q par cette application c’est le déterminant de q.
Exemple :
( )
COROLLAIRE 20 :
Si alors
DEFINITION 25 : AUTOMORPHISME
Un automorphisme orthogonal de est un isomorphisme u de dans
L’ensemble des automorphismes orthogonaux est noté
PROPOSITION 21 :
L’ensemble O(q) est un sous-groupe de GL(E)
exemple : non isotrope
C’est la réflexion orthogonal de E associée à a. C’est un automorphisme orthogonal de E.
: est la symétrie de E par rapport à parallèlement à Vect(a)
PROPOSITION 22 :
Soit q non dégénérée, alors
FORMES QUADRATIQUES
8
PREUVE:
̃ {
où
DEFINITION 26 : GROUPE SPECIAL ORTHOGONAL
On note { }
C’est le groupe special orthogonal
On le note aussi souvent .
On note son complémentaire .
7. La diagonalisation de formes quadratiques
(E,q) espace quadratique, b forme polaire de q.
Bases orthogonales.
DEFINITION 27 : BASE ORTHOGONALE
Une base de E est orthogonale
Si { }
{ }
i.e. tous les vecteurs de la base sont deux à deux orthogonaux.
exemple :
1.
la base canonique est orthogonale
DEFINITION 28 : BASE ORTHONORMEE
Une base est orthonormée si elle est orthogonale et ,
LEMME 23:
Si famille orthogonale de vecteurs non isotropes.
Alors elle est libre.
FORMES QUADRATIQUES
9
PREUVE:
(∑ ) ∑
Donc et donc la famille est libre.
Existence de bases orthogonales.
THEOREME 24:
Tout espace quadratique de dimension finie admet une base orthogonale.
CONSEQUENCE :
 Il existe une matrice diagonale qui représente q.
 q représenté par un polynôme , .
 base de et des tel que
PREUVE:
Par récurrence sur
Si n=1, il n’y a rien à démontrer
Supposons que c’est vrai
Soit de dimension n.
Si toutes les bases sont orthogonales
Sinon, tq
Soit { }
: linéaire.
et
Si
mais
donc
On applique l’hypothèse de récurrence à H.
Soit base orthogonale de H, on a donc est une base orthogonal de E.
COROLLAIRE 25:
Toute matrice symétrique est congruente à une matrice diagonale
Réduction de Gauss.
q représentée par ∑ ∑
but écrire q comme somme de carrés de formes linéaires.
1) Si tel que quitte à permuter les variables on suppose
⏟ ⏟
FORMES QUADRATIQUES
10
( )
⏟ ⏟
Si tous les , on peut supposer
⏟ ⏟ ⏟
( ) ( )
exemple :
( ) ( )
( ) ( )
( ) ( ) ( )
remarque : Si Q polynôme représente q dans la base B cette méthode donne une base de
telle que la base anteduale de est orthogonale pour q.
Réduction de Gauss matricielle.
méthode qui assure que toute matrice symétrique congruente à une matrice diagonale.
FAIT 26:
toute matrice est congruente à une matrice triangulaire par blocs.
( ) où ( )
8. Formes quadratiques réelles et complexes
1. Classification sur
THEOREME 27: Toute forme quadratique complexe de dimension n et rang r est représentée par la
matrice. ( ) q représentée par .
PROPOSITION 28 :2 Formes quadratiques de même dimension & même rang sont équivalentes
FORMES QUADRATIQUES
11
PREUVE:
( )
( )
8. Classification sur
THEOREME 29: Soit q une forme quadratique de rang t. Elle est représentée par la matrice de la
forme
( )
. On verra que le couple ne dépend que de q.
PREUVE:
Soit q forme quadratique sur .
q représentée pour
( )
on peut supposer
q est représentée par
( )
.
9. Formes quadratiques positives et négatives.
DEFINITION 29 : FORME POSITIVE ET NEGATIVE
 q est positive si , on le note
 q est négative si , on le note
 q est définie positive si négative si
FORMES QUADRATIQUES
12
THEOREME 30: Soit q une forme quadratique réelle positive de rang r alors q est représentée par une
matrice de la forme ( ) :
 q peut donc s’écrire de la forme où tous les sont des formes linéaires
indépendantes.
Exemple :
 Sur , est définie positive.
 Sur est définie positive.
 Sur n’est ni positive ni négative.
DEFINITION 30 : MATRICE SYMETRIQUE
Une matrice symétrique est dite positive (resp.négative, déf pos, déf néga) si la fq
associée est positive (resp.négative, déf pos, déf néga)
Notation :
mat de positive.
mat de def positive.
mat de négative.
mat de def négative.
DEFINITION 31 : SIGNATURE D’UNE FORME REELLE
espace quadratique réel dim finie.
{ F ss-ev de E tel que }
{ G ss-ev de E tel que }
La signature de q est le couple
THEOREME 31 : THEOREME D’INERTIE DE SYLVESTER
Soit q une fq réelle de dimension n. on suppose que q est représenté par une matrice.
( ) où et
Alors la signature de q est et
PREUVE:
base dans laquelle q est représentée par ( ).
F= car représentée par la matrice A.
G= car représentée par la matrice( ).
On en déduit que
Soit ss-ev de E tq et
Regardons { } alors ⏟
FORMES QUADRATIQUES
13
Donc
On a de même .
Rmq :
2 formes quadratiques réelles de même dimension ayant la même signature sont équivalentes.
équivalentes même signature.
Rmq :
2 formes quadratiques dans ayant le même rang sont équivalentes.
Alors que dans ce n’est pas suffisant il faut aussi qu’elles aient la même signature.

Recomendados

Etude fonction von
Etude fonctionEtude fonction
Etude fonctionYoussef Marzak
678 views11 Folien
Exercices sur-les-suites-corriges von
Exercices sur-les-suites-corrigesExercices sur-les-suites-corriges
Exercices sur-les-suites-corrigesKonan Jean Didier N'dri
14.1K views33 Folien
lebesgue von
lebesguelebesgue
lebesgueguest129ff1d
176 views8 Folien
Ch 5 toplogie et calcul differentiel von
Ch 5 toplogie et calcul differentielCh 5 toplogie et calcul differentiel
Ch 5 toplogie et calcul differentielsarah Benmerzouk
26 views13 Folien
Exercices corriges series_numeriques von
Exercices corriges series_numeriquesExercices corriges series_numeriques
Exercices corriges series_numeriquesFouad Yak
11.3K views26 Folien
Cours 1 von
Cours 1Cours 1
Cours 1Vĩnh Lê Nguyễn
308 views8 Folien

Más contenido relacionado

Was ist angesagt?

Base - Principe fondamental de la statique von
Base - Principe fondamental de la statiqueBase - Principe fondamental de la statique
Base - Principe fondamental de la statiqueebugnet
2.5K views21 Folien
Automates seance1 von
Automates seance1Automates seance1
Automates seance1sloumaallagui
5 views3 Folien
L'essentiel du programme de l'agrégation de mathématiques von
L'essentiel du programme de l'agrégation de mathématiquesL'essentiel du programme de l'agrégation de mathématiques
L'essentiel du programme de l'agrégation de mathématiquesCharvetXavier
454 views32 Folien
Cours 1 von
Cours 1Cours 1
Cours 1Wijdane Belhiba
626 views5 Folien
03 théorème de gauss von
03 théorème de gauss03 théorème de gauss
03 théorème de gaussKais Kh
1.1K views9 Folien
Introduction à la logique mathématique von
Introduction à la logique mathématiqueIntroduction à la logique mathématique
Introduction à la logique mathématiqueHoussem Fitati
6.1K views43 Folien

Was ist angesagt?(19)

Base - Principe fondamental de la statique von ebugnet
Base - Principe fondamental de la statiqueBase - Principe fondamental de la statique
Base - Principe fondamental de la statique
ebugnet2.5K views
L'essentiel du programme de l'agrégation de mathématiques von CharvetXavier
L'essentiel du programme de l'agrégation de mathématiquesL'essentiel du programme de l'agrégation de mathématiques
L'essentiel du programme de l'agrégation de mathématiques
CharvetXavier454 views
03 théorème de gauss von Kais Kh
03 théorème de gauss03 théorème de gauss
03 théorème de gauss
Kais Kh1.1K views
Introduction à la logique mathématique von Houssem Fitati
Introduction à la logique mathématiqueIntroduction à la logique mathématique
Introduction à la logique mathématique
Houssem Fitati6.1K views
Analyse Convexe TD – Série 1 avec correction von Jaouad Dabounou
Analyse Convexe TD – Série 1 avec correctionAnalyse Convexe TD – Série 1 avec correction
Analyse Convexe TD – Série 1 avec correction
Jaouad Dabounou2K views
Intérieurs relatifs d’ensembles convexes von Jaouad Dabounou
Intérieurs relatifs d’ensembles convexesIntérieurs relatifs d’ensembles convexes
Intérieurs relatifs d’ensembles convexes
Jaouad Dabounou199 views
Projection d’un point sur un ensemble von Jaouad Dabounou
Projection d’un point sur un ensembleProjection d’un point sur un ensemble
Projection d’un point sur un ensemble
Jaouad Dabounou146 views
Cours graphes1 von sekkal09
Cours graphes1Cours graphes1
Cours graphes1
sekkal09271 views
Omp math nombres-complexes von Ahmed Ali
Omp math nombres-complexesOmp math nombres-complexes
Omp math nombres-complexes
Ahmed Ali91 views
Analyse Numérique Chapitre 1: Équations Non Linéiares von bilal001
Analyse Numérique Chapitre 1: Équations Non LinéiaresAnalyse Numérique Chapitre 1: Équations Non Linéiares
Analyse Numérique Chapitre 1: Équations Non Linéiares
bilal0011.1K views
Projection sur les ensembles convexes fermés von Jaouad Dabounou
Projection sur les ensembles convexes fermésProjection sur les ensembles convexes fermés
Projection sur les ensembles convexes fermés
Jaouad Dabounou266 views

Destacado

arithmétique: divisibilité dans Z et identité de Bezout von
arithmétique: divisibilité dans Z et identité de Bezoutarithmétique: divisibilité dans Z et identité de Bezout
arithmétique: divisibilité dans Z et identité de BezoutHoussem Fitati
1.7K views19 Folien
Arithmetique von
ArithmetiqueArithmetique
Arithmetiqueomar ait hssaine
515 views6 Folien
Cours arithmetique von
Cours arithmetiqueCours arithmetique
Cours arithmetiquebades12
2.7K views13 Folien
Arithmétique dans Z von
Arithmétique dans ZArithmétique dans Z
Arithmétique dans ZAchraf Ourti
501 views7 Folien
Presentation geo gebra von
Presentation geo gebraPresentation geo gebra
Presentation geo gebraHoussem Fitati
1K views21 Folien
Diaporama logique raisonnement von
Diaporama logique raisonnementDiaporama logique raisonnement
Diaporama logique raisonnementAHMED ENNAJI
892 views22 Folien

Destacado(20)

arithmétique: divisibilité dans Z et identité de Bezout von Houssem Fitati
arithmétique: divisibilité dans Z et identité de Bezoutarithmétique: divisibilité dans Z et identité de Bezout
arithmétique: divisibilité dans Z et identité de Bezout
Houssem Fitati1.7K views
Cours arithmetique von bades12
Cours arithmetiqueCours arithmetique
Cours arithmetique
bades122.7K views
Diaporama logique raisonnement von AHMED ENNAJI
Diaporama logique raisonnementDiaporama logique raisonnement
Diaporama logique raisonnement
AHMED ENNAJI892 views
Serie 6 2bac sm biof nombres complexes von AHMED ENNAJI
Serie 6  2bac sm biof  nombres complexesSerie 6  2bac sm biof  nombres complexes
Serie 6 2bac sm biof nombres complexes
AHMED ENNAJI1.3K views
Pentaho data integration 4.0 and my sql von AHMED ENNAJI
Pentaho data integration 4.0 and my sqlPentaho data integration 4.0 and my sql
Pentaho data integration 4.0 and my sql
AHMED ENNAJI758 views
Serie5( 2bac sm biof) von AHMED ENNAJI
Serie5( 2bac sm biof)Serie5( 2bac sm biof)
Serie5( 2bac sm biof)
AHMED ENNAJI1.6K views
كفايات التدريس بالبرمجيات التعليمية von AHMED ENNAJI
كفايات التدريس بالبرمجيات التعليميةكفايات التدريس بالبرمجيات التعليمية
كفايات التدريس بالبرمجيات التعليمية
AHMED ENNAJI704 views
Devoir surveille 1 semestre2 von AHMED ENNAJI
Devoir surveille 1 semestre2Devoir surveille 1 semestre2
Devoir surveille 1 semestre2
AHMED ENNAJI1K views
Serie 3(suites et trigonometries1sm biof) von AHMED ENNAJI
Serie 3(suites et trigonometries1sm biof)Serie 3(suites et trigonometries1sm biof)
Serie 3(suites et trigonometries1sm biof)
AHMED ENNAJI93 views
Biranzarne glaf du manuel tc bac international von AHMED ENNAJI
Biranzarne glaf du manuel tc bac internationalBiranzarne glaf du manuel tc bac international
Biranzarne glaf du manuel tc bac international
AHMED ENNAJI2.2K views

Similar a Chapitre2 vf 2

CAPES maths 2019 composition 1 von
CAPES maths 2019 composition 1CAPES maths 2019 composition 1
CAPES maths 2019 composition 1Dany-Jack Mercier
1.3K views9 Folien
Fulltext 1 von
Fulltext 1Fulltext 1
Fulltext 1ViperRobK
321 views30 Folien
Cours espace von
Cours espaceCours espace
Cours espaceYessin Abdelhedi
372 views4 Folien
Décidabilité et complexité 4_4 _ Problèmes NP-Complets.pdf von
Décidabilité et complexité 4_4 _ Problèmes NP-Complets.pdfDécidabilité et complexité 4_4 _ Problèmes NP-Complets.pdf
Décidabilité et complexité 4_4 _ Problèmes NP-Complets.pdfDariusSteves
9 views16 Folien
Cours Coniques von
Cours   ConiquesCours   Coniques
Cours ConiquesDanober
4K views9 Folien
Algèbre & Trigonométrie ( DUT ) von
Algèbre & Trigonométrie ( DUT )Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )FATIHA AKEF
568 views175 Folien

Similar a Chapitre2 vf 2(8)

Chapitre2 vf 2

  • 1. C H A P I T R E 2 F O R M E S Q U A D R A T I Q U E S 1. Définitions et exemples DEFINITION 13 : FORME QUADRATIQUE Soit b une forme bilinéaire sur E. L’application et appelée forme quadratique associée. Remarque : l’ensemble des formes quadratiques sur E est un espace vectoriel sur Remarque : La forme quadratique q associée à b est nulle ssi b est alternée. est linéaire. Son noyau est l’espace des formes bilinéaires alternées. PROPOSITION 13 : Toute forme quadratique q sur E est associée à une et une seule forme bilinéaire symétrique. On l’appelle a forme polaire et on la note . d’où Q(E)= dim est un isomorphisme (car inj et de même dimension) Pour calculer la partie symétrique de b PROPOSITION 14 : FORME DE POLARISATION Soit q une forme quadratique de forme polaire . Alors est donnée par . PREUVE:  Il faut montrer que est bilinéaire symétrique  q lui est associée.
  • 2. FORMES QUADRATIQUES 2 Exemples : 1) f,g forme linéaires sur E q : est forme quadratique est bilinéaire 2) est bilinéaire symétrique b est la forme polaire de q est quadratique 3) forme quadratique elles sont linéaires C’est bien une forme quadratique de forme polaire n’est pas quadratique 4) ( ) ( ) 5) forme quadratique DEFINITION 14 : ESPACE QUADRATIQUE On appelle un espace quadratique la donnée d’un espace vectoriel et d’une forme quadratique.
  • 3. FORMES QUADRATIQUES 3 2. Représentation d’une forme quadratique dans une base. E dim finie, muni d’une base DEFINITION 14 : REPRESENTATION MATRICIELLE On appelle matrice associée à q dans B la matrice de sa forme polaire PROPOSITION 15 : Soit q forme quadratique représentée par A dans B. Soit B’ une autre base et A’ la matrice de q dans B’ et P la matrice de passage de B à B’. Alors et DEFINITION 15 : REPRESENTATION POLYNOMIALE ∑ homogène de degré d. ex : P Homogène de degré 2. ∑ ∑ On lui associe la matrice ( ) ( ) matrice sym { Réciproquement à une matrice symétrique m lui associe un polynôme homogène de degré 2. Rmq : On dit que P représente la forme quadratique q dans la base.
  • 4. FORMES QUADRATIQUES 4 3. Equivalence de formes quadratiques DEFINITION 16 : MORPHISME et espaces quadratiques : Un morphisme d’espaces quadratiques : Et  Un morphisme injectif est une isometrie  Un morphisme bijectif est un isomorphisme Morphisme : diagramme commutatif E u F q q’ K Remarque : Les isomorphismes d’espaces quadratiques donnent une relation d’équivalence sur l’ensemble des formes quadratiques , si et ) sont isomorphes alors que q est équivalente à q’ et on le note et on a est un isomorphisme d’espace quadratique PROPOSITION 16 : et espaces quadratiques. , formes polaires associées à alors les assertions suivantes sont équivalentes : 1) 2) PREUVE: linéaire bijection tel que donc ( ) donc tel que On considère l’application ( )  C’est une forme bilinéaire  Elle est symétrique  Sa forme quadratique associée est ( ) Donc il s’agit de (par unicité de sa forme polaire)
  • 5. FORMES QUADRATIQUES 5 CORROLAIRE 17 : q,q’ 2 formes quadratiques sur des espaces de dimensions finies sont équivalentes : 1) 2) Leurs matrices associées sont congruentes 3) Dans les bonnes bases elle ont la même matrice et même polynôme 4. Domaine, dimension, rang, noyau E dim finie q forme quadratique, b forme polaire DEFINITION 17 : DOMAINE est représenté par q si tel que . On appelle domaine de q l’ensemble { } { } On dit que q est universelle si Exemple : 1) est universelle , 2) Toute forme quadratique non nulle sur est universelle. Soit tel que . Soit . Soit et il existe tel que donc 3) q forme quadratique sur qui n’est pas négative ni positive alors elle est universelle PROPOSITION 18 : Si alors E u F q q’ K Si , , donc Si , , donc DEFINITION 18 : DIMENSION La dimension de q est la dimension de l’espace E. DEFINITION 19 : DIMENSION Le noyau de q est l’ensemble. { }
  • 6. FORMES QUADRATIQUES 6 PROPOSITION 19 : Pour tout le noyau de q est le noyau de . Le rang de q, noté est Exemple : ( ) ( ) Remarque : Si alors DEFINITION 20 : FORME QUADRATIQUE REGULIERE OU DEGENEREE On dit que q est régulière (ou non dégénérée) Si { }. Sinon on dit qu’elle est dégénérée. Ex : si En particulier , ( ) ( ) ( ) ( ) donc q est régulière. 5. Cône isotrope et conique projective DEFINITION 21 : ISOTROPE est isotrope si S’il existe un vecteur isotrope non nul, on dit que q est isotrope. Exemple : les vecteurs isotropes sont les éléments de { } { } Remarque : Si X est isotrope alors tous les , sont isotropes. DEFINITION 22 : LE CONE ISOTROPE Le cône isotrope est l’ensemble { } Remarque : alors donc d’où Exemple : ( ) { } par contre ( ) Remarque : Co(q) n’est pas en général un sous-espace vectoriel de E
  • 7. FORMES QUADRATIQUES 7 DEFINITION 23 : LA CONIQUE PROJECTIVE L’ensemble des droites vectorielles de Co(q) est appelé la conique projective :ensemble des droites vectorielles de E ss-e.v. de dim⁡1 6. Les déterminants Notation: { } DEFINITION 24 : DETERMINANT D’UNE FORME QUADRATIQUE { } Cette application est bien définie On appelle det(q) l’image de q par cette application c’est le déterminant de q. Exemple : ( ) COROLLAIRE 20 : Si alors DEFINITION 25 : AUTOMORPHISME Un automorphisme orthogonal de est un isomorphisme u de dans L’ensemble des automorphismes orthogonaux est noté PROPOSITION 21 : L’ensemble O(q) est un sous-groupe de GL(E) exemple : non isotrope C’est la réflexion orthogonal de E associée à a. C’est un automorphisme orthogonal de E. : est la symétrie de E par rapport à parallèlement à Vect(a) PROPOSITION 22 : Soit q non dégénérée, alors
  • 8. FORMES QUADRATIQUES 8 PREUVE: ̃ { où DEFINITION 26 : GROUPE SPECIAL ORTHOGONAL On note { } C’est le groupe special orthogonal On le note aussi souvent . On note son complémentaire . 7. La diagonalisation de formes quadratiques (E,q) espace quadratique, b forme polaire de q. Bases orthogonales. DEFINITION 27 : BASE ORTHOGONALE Une base de E est orthogonale Si { } { } i.e. tous les vecteurs de la base sont deux à deux orthogonaux. exemple : 1. la base canonique est orthogonale DEFINITION 28 : BASE ORTHONORMEE Une base est orthonormée si elle est orthogonale et , LEMME 23: Si famille orthogonale de vecteurs non isotropes. Alors elle est libre.
  • 9. FORMES QUADRATIQUES 9 PREUVE: (∑ ) ∑ Donc et donc la famille est libre. Existence de bases orthogonales. THEOREME 24: Tout espace quadratique de dimension finie admet une base orthogonale. CONSEQUENCE :  Il existe une matrice diagonale qui représente q.  q représenté par un polynôme , .  base de et des tel que PREUVE: Par récurrence sur Si n=1, il n’y a rien à démontrer Supposons que c’est vrai Soit de dimension n. Si toutes les bases sont orthogonales Sinon, tq Soit { } : linéaire. et Si mais donc On applique l’hypothèse de récurrence à H. Soit base orthogonale de H, on a donc est une base orthogonal de E. COROLLAIRE 25: Toute matrice symétrique est congruente à une matrice diagonale Réduction de Gauss. q représentée par ∑ ∑ but écrire q comme somme de carrés de formes linéaires. 1) Si tel que quitte à permuter les variables on suppose ⏟ ⏟
  • 10. FORMES QUADRATIQUES 10 ( ) ⏟ ⏟ Si tous les , on peut supposer ⏟ ⏟ ⏟ ( ) ( ) exemple : ( ) ( ) ( ) ( ) ( ) ( ) ( ) remarque : Si Q polynôme représente q dans la base B cette méthode donne une base de telle que la base anteduale de est orthogonale pour q. Réduction de Gauss matricielle. méthode qui assure que toute matrice symétrique congruente à une matrice diagonale. FAIT 26: toute matrice est congruente à une matrice triangulaire par blocs. ( ) où ( ) 8. Formes quadratiques réelles et complexes 1. Classification sur THEOREME 27: Toute forme quadratique complexe de dimension n et rang r est représentée par la matrice. ( ) q représentée par . PROPOSITION 28 :2 Formes quadratiques de même dimension & même rang sont équivalentes
  • 11. FORMES QUADRATIQUES 11 PREUVE: ( ) ( ) 8. Classification sur THEOREME 29: Soit q une forme quadratique de rang t. Elle est représentée par la matrice de la forme ( ) . On verra que le couple ne dépend que de q. PREUVE: Soit q forme quadratique sur . q représentée pour ( ) on peut supposer q est représentée par ( ) . 9. Formes quadratiques positives et négatives. DEFINITION 29 : FORME POSITIVE ET NEGATIVE  q est positive si , on le note  q est négative si , on le note  q est définie positive si négative si
  • 12. FORMES QUADRATIQUES 12 THEOREME 30: Soit q une forme quadratique réelle positive de rang r alors q est représentée par une matrice de la forme ( ) :  q peut donc s’écrire de la forme où tous les sont des formes linéaires indépendantes. Exemple :  Sur , est définie positive.  Sur est définie positive.  Sur n’est ni positive ni négative. DEFINITION 30 : MATRICE SYMETRIQUE Une matrice symétrique est dite positive (resp.négative, déf pos, déf néga) si la fq associée est positive (resp.négative, déf pos, déf néga) Notation : mat de positive. mat de def positive. mat de négative. mat de def négative. DEFINITION 31 : SIGNATURE D’UNE FORME REELLE espace quadratique réel dim finie. { F ss-ev de E tel que } { G ss-ev de E tel que } La signature de q est le couple THEOREME 31 : THEOREME D’INERTIE DE SYLVESTER Soit q une fq réelle de dimension n. on suppose que q est représenté par une matrice. ( ) où et Alors la signature de q est et PREUVE: base dans laquelle q est représentée par ( ). F= car représentée par la matrice A. G= car représentée par la matrice( ). On en déduit que Soit ss-ev de E tq et Regardons { } alors ⏟
  • 13. FORMES QUADRATIQUES 13 Donc On a de même . Rmq : 2 formes quadratiques réelles de même dimension ayant la même signature sont équivalentes. équivalentes même signature. Rmq : 2 formes quadratiques dans ayant le même rang sont équivalentes. Alors que dans ce n’est pas suffisant il faut aussi qu’elles aient la même signature.