SlideShare una empresa de Scribd logo
1 de 13
Descargar para leer sin conexión
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.

Más contenido relacionado

La actualidad más candente

L'essentiel du programme de l'agrégation de mathématiques
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
 
03 théorème de gauss
03 théorème de gauss03 théorème de gauss
03 théorème de gaussKais Kh
 
Introduction à la logique mathématique
Introduction à la logique mathématiqueIntroduction à la logique mathématique
Introduction à la logique mathématiqueHoussem Fitati
 
Analyse Convexe TD – Série 1 avec correction
Analyse Convexe TD – Série 1 avec correctionAnalyse Convexe TD – Série 1 avec correction
Analyse Convexe TD – Série 1 avec correctionJaouad Dabounou
 
CAPES maths 2019 composition 2
CAPES maths 2019 composition 2CAPES maths 2019 composition 2
CAPES maths 2019 composition 2Dany-Jack Mercier
 
Intérieurs relatifs d’ensembles convexes
Intérieurs relatifs d’ensembles convexesIntérieurs relatifs d’ensembles convexes
Intérieurs relatifs d’ensembles convexesJaouad Dabounou
 
La logique propositionnelle
La logique propositionnelleLa logique propositionnelle
La logique propositionnelleChiheb Ouaghlani
 
Projection d’un point sur un ensemble
Projection d’un point sur un ensembleProjection d’un point sur un ensemble
Projection d’un point sur un ensembleJaouad Dabounou
 
Bsmf 1986 114 271 0
Bsmf 1986  114  271 0Bsmf 1986  114  271 0
Bsmf 1986 114 271 0guest80ec031
 
Cours graphes1
Cours graphes1Cours graphes1
Cours graphes1sekkal09
 
Omp math nombres-complexes
Omp math nombres-complexesOmp math nombres-complexes
Omp math nombres-complexesAhmed Ali
 
Analyse Numérique Chapitre 1: Équations Non Linéiares
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éiaresbilal001
 
Fonction distance à un ensemble
Fonction distance à un ensembleFonction distance à un ensemble
Fonction distance à un ensembleJaouad Dabounou
 
Projection sur les ensembles convexes fermés
Projection sur les ensembles convexes fermésProjection sur les ensembles convexes fermés
Projection sur les ensembles convexes fermésJaouad Dabounou
 

La actualidad más candente (18)

Automates seance1
Automates seance1Automates seance1
Automates seance1
 
L'essentiel du programme de l'agrégation de mathématiques
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
 
Cours 1
Cours 1Cours 1
Cours 1
 
03 théorème de gauss
03 théorème de gauss03 théorème de gauss
03 théorème de gauss
 
Introduction à la logique mathématique
Introduction à la logique mathématiqueIntroduction à la logique mathématique
Introduction à la logique mathématique
 
Tifawt suite exercice-series-numeriques
Tifawt suite exercice-series-numeriquesTifawt suite exercice-series-numeriques
Tifawt suite exercice-series-numeriques
 
Analyse Convexe TD – Série 1 avec correction
Analyse Convexe TD – Série 1 avec correctionAnalyse Convexe TD – Série 1 avec correction
Analyse Convexe TD – Série 1 avec correction
 
CAPES maths 2019 composition 2
CAPES maths 2019 composition 2CAPES maths 2019 composition 2
CAPES maths 2019 composition 2
 
Intérieurs relatifs d’ensembles convexes
Intérieurs relatifs d’ensembles convexesIntérieurs relatifs d’ensembles convexes
Intérieurs relatifs d’ensembles convexes
 
La logique propositionnelle
La logique propositionnelleLa logique propositionnelle
La logique propositionnelle
 
Projection d’un point sur un ensemble
Projection d’un point sur un ensembleProjection d’un point sur un ensemble
Projection d’un point sur un ensemble
 
Bsmf 1986 114 271 0
Bsmf 1986  114  271 0Bsmf 1986  114  271 0
Bsmf 1986 114 271 0
 
Cours graphes1
Cours graphes1Cours graphes1
Cours graphes1
 
Ben Arous2
Ben Arous2Ben Arous2
Ben Arous2
 
Omp math nombres-complexes
Omp math nombres-complexesOmp math nombres-complexes
Omp math nombres-complexes
 
Analyse Numérique Chapitre 1: Équations Non Linéiares
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
 
Fonction distance à un ensemble
Fonction distance à un ensembleFonction distance à un ensemble
Fonction distance à un ensemble
 
Projection sur les ensembles convexes fermés
Projection sur les ensembles convexes fermésProjection sur les ensembles convexes fermés
Projection sur les ensembles convexes fermés
 

Destacado

arithmétique: divisibilité dans Z et identité de Bezout
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
 
Cours arithmetique
Cours arithmetiqueCours arithmetique
Cours arithmetiquebades12
 
Arithmétique dans Z
Arithmétique dans ZArithmétique dans Z
Arithmétique dans ZAchraf Ourti
 
Presentation geo gebra
Presentation geo gebraPresentation geo gebra
Presentation geo gebraHoussem Fitati
 
Diaporama logique raisonnement
Diaporama logique raisonnementDiaporama logique raisonnement
Diaporama logique raisonnementAHMED ENNAJI
 
Serie 6 2bac sm biof nombres complexes
Serie 6  2bac sm biof  nombres complexesSerie 6  2bac sm biof  nombres complexes
Serie 6 2bac sm biof nombres complexesAHMED ENNAJI
 
Serie 1 tc semestre 1
Serie 1 tc  semestre 1Serie 1 tc  semestre 1
Serie 1 tc semestre 1AHMED ENNAJI
 
Pentaho data integration 4.0 and my sql
Pentaho data integration 4.0 and my sqlPentaho data integration 4.0 and my sql
Pentaho data integration 4.0 and my sqlAHMED ENNAJI
 
Serie5( 2bac sm biof)
Serie5( 2bac sm biof)Serie5( 2bac sm biof)
Serie5( 2bac sm biof)AHMED ENNAJI
 
كفايات التدريس بالبرمجيات التعليمية
كفايات التدريس بالبرمجيات التعليميةكفايات التدريس بالبرمجيات التعليمية
كفايات التدريس بالبرمجيات التعليميةAHMED ENNAJI
 
Devoir surveille 1 semestre2
Devoir surveille 1 semestre2Devoir surveille 1 semestre2
Devoir surveille 1 semestre2AHMED ENNAJI
 
Serie 3(suites et trigonometries1sm biof)
Serie 3(suites et trigonometries1sm biof)Serie 3(suites et trigonometries1sm biof)
Serie 3(suites et trigonometries1sm biof)AHMED ENNAJI
 
2bacsm biof (serie2)
2bacsm biof (serie2)2bacsm biof (serie2)
2bacsm biof (serie2)AHMED ENNAJI
 
Biranzarne glaf du manuel tc bac international
Biranzarne glaf du manuel tc bac internationalBiranzarne glaf du manuel tc bac international
Biranzarne glaf du manuel tc bac internationalAHMED ENNAJI
 

Destacado (20)

arithmétique: divisibilité dans Z et identité de Bezout
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
 
Arithmetique
ArithmetiqueArithmetique
Arithmetique
 
Cours arithmetique
Cours arithmetiqueCours arithmetique
Cours arithmetique
 
Arithmétique dans Z
Arithmétique dans ZArithmétique dans Z
Arithmétique dans Z
 
Presentation geo gebra
Presentation geo gebraPresentation geo gebra
Presentation geo gebra
 
Diaporama logique raisonnement
Diaporama logique raisonnementDiaporama logique raisonnement
Diaporama logique raisonnement
 
Serie 4 tc6
Serie 4 tc6Serie 4 tc6
Serie 4 tc6
 
Serie 6 2bac sm biof nombres complexes
Serie 6  2bac sm biof  nombres complexesSerie 6  2bac sm biof  nombres complexes
Serie 6 2bac sm biof nombres complexes
 
integration
integrationintegration
integration
 
Serie 1 tc semestre 1
Serie 1 tc  semestre 1Serie 1 tc  semestre 1
Serie 1 tc semestre 1
 
Pentaho data integration 4.0 and my sql
Pentaho data integration 4.0 and my sqlPentaho data integration 4.0 and my sql
Pentaho data integration 4.0 and my sql
 
Serie5( 2bac sm biof)
Serie5( 2bac sm biof)Serie5( 2bac sm biof)
Serie5( 2bac sm biof)
 
كفايات التدريس بالبرمجيات التعليمية
كفايات التدريس بالبرمجيات التعليميةكفايات التدريس بالبرمجيات التعليمية
كفايات التدريس بالبرمجيات التعليمية
 
Serie 5(derive)
Serie 5(derive)Serie 5(derive)
Serie 5(derive)
 
Devoir surveille 1 semestre2
Devoir surveille 1 semestre2Devoir surveille 1 semestre2
Devoir surveille 1 semestre2
 
Practice 1
Practice 1Practice 1
Practice 1
 
Serie 3(suites et trigonometries1sm biof)
Serie 3(suites et trigonometries1sm biof)Serie 3(suites et trigonometries1sm biof)
Serie 3(suites et trigonometries1sm biof)
 
2bacsm biof (serie2)
2bacsm biof (serie2)2bacsm biof (serie2)
2bacsm biof (serie2)
 
Série 2 (derive)
Série 2 (derive)Série 2 (derive)
Série 2 (derive)
 
Biranzarne glaf du manuel tc bac international
Biranzarne glaf du manuel tc bac internationalBiranzarne glaf du manuel tc bac international
Biranzarne glaf du manuel tc bac international
 

Similar a Chapitre2 vf 2

CAPES maths 2019 composition 1
CAPES maths 2019 composition 1CAPES maths 2019 composition 1
CAPES maths 2019 composition 1Dany-Jack Mercier
 
2.4_cylindriques_spheriques (1).pdf formulaire
2.4_cylindriques_spheriques (1).pdf formulaire2.4_cylindriques_spheriques (1).pdf formulaire
2.4_cylindriques_spheriques (1).pdf formulairemurieldubienmbackeoc
 
Vision Numérique : Rappels mathématiques
Vision Numérique : Rappels mathématiquesVision Numérique : Rappels mathématiques
Vision Numérique : Rappels mathématiquesKevinJobin2
 
Décidabilité et complexité 4_4 _ Problèmes NP-Complets.pdf
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
 
Cours Coniques
Cours   ConiquesCours   Coniques
Cours ConiquesDanober
 
Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )FATIHA AKEF
 
espaces vectoriels et applications linéaires
espaces vectoriels et applications linéairesespaces vectoriels et applications linéaires
espaces vectoriels et applications linéairesAhmedELYAHYAOUI
 

Similar a Chapitre2 vf 2 (11)

CAPES maths 2019 composition 1
CAPES maths 2019 composition 1CAPES maths 2019 composition 1
CAPES maths 2019 composition 1
 
Fulltext 1
Fulltext 1Fulltext 1
Fulltext 1
 
2.4_cylindriques_spheriques (1).pdf formulaire
2.4_cylindriques_spheriques (1).pdf formulaire2.4_cylindriques_spheriques (1).pdf formulaire
2.4_cylindriques_spheriques (1).pdf formulaire
 
Vision Numérique : Rappels mathématiques
Vision Numérique : Rappels mathématiquesVision Numérique : Rappels mathématiques
Vision Numérique : Rappels mathématiques
 
Cours espace
Cours espaceCours espace
Cours espace
 
Décidabilité et complexité 4_4 _ Problèmes NP-Complets.pdf
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.pdf
 
Cours Coniques
Cours   ConiquesCours   Coniques
Cours Coniques
 
Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )Algèbre & Trigonométrie ( DUT )
Algèbre & Trigonométrie ( DUT )
 
Cours similitudes
Cours similitudesCours similitudes
Cours similitudes
 
Cours-treillis.pdf
Cours-treillis.pdfCours-treillis.pdf
Cours-treillis.pdf
 
espaces vectoriels et applications linéaires
espaces vectoriels et applications linéairesespaces vectoriels et applications linéaires
espaces vectoriels et applications linéaires
 

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.