• Aucun résultat trouvé

130 - Matrices symétriques réelles, matrices hermitiennes.

N/A
N/A
Protected

Academic year: 2022

Partager "130 - Matrices symétriques réelles, matrices hermitiennes."

Copied!
3
0
0

Texte intégral

(1)

130 - Matrices symétriques réelles, matrices hermitiennes.

n∈N,K=Rou C,A= tA,hA, Bi=T r(AB).

1 Dénitions et premières propriétés

Dénition 1. Matrices symétrique, hermitienne, antisymétrique, antiher- mitienne.

Exemple. Symétrie orthogonale, projection orthogonale.

Proposition 1. Mn(R) =Sn(R)⊕An(R),Mn(C) =Hn(C)⊕An(C). Dénition 2 (RDO). Adjoint via Riesz. Autoadjoint.

Proposition 2. Autoadjoint ssi symétrique dans BON.

Proposition 3. Ker u = (Im u),Im u = (Ker u). Corollaire 1. Si u autoadjoint, alors E=Ker u⊕Im u.

Dénition 3. Forme bil sym/sesquilinéaire hermitienne associée, forme qua- dratique/hermitienne.

Proposition 4. M 7→qM est un isom.

Dénition 4. Positive, dénie positive.

Remarque. Notions stables par restriction !

Proposition 5. Toute matrice S ∈ S++n dénit un produit scalaire X 7→

tXSX.

Remarque. ∀A∈Mn(C), AA∈Hn(C).

Remarque. Sn+,Hn+ sont des cônes convexes fermés.

Sn++,Hn++ sont denses dans Sn+,Hn+. Sn,Hn sont des fermés de Mn.

Exemple (Matrice de Gram). de Gram ssi dansHn+ déterminant de Gram nul ssi famille liée

1

(2)

distance

Application (Müntz).

Exemple (matrice hessienne). Lemme de Schwarz. Condition du second ordre.

Proposition 6 (Critère de Sylvester).

Application. Cf Gourdon.

2 Réduction des matrices symétriques ou hermi- tiennes

2.1 Énoncé

Proposition 7. SoitM ∈Sn(R)∪Hn(C). Alors SpC(M)⊂R.

Proposition 8. Soit M ∈ Sn(R)∪Hn(C) d'endomorphisme associé u. Si F est stable par u, alors F est stable par u.

Théorème 1. Soit M ∈ Sn(R) (resp. Hn(C)). Alors il existe P ∈ On(R) (resp Un(C)) et Ddiagonale réelle tq M =P DP.

Corollaire 2 (Réduction simultanée). ! ! Mat sym def pos ! !

Remarque. M est (dénie) positive ssi ses vp sont toutes≥0 (>0).

2.2 Applications

Proposition 9. Toute puissance d'une matrice dans Sn (Sn++) est aussi dans Sn (Sn++).

Lemme 1. La fonctionµ:Sn++(R)→R, M 7→(detM)−1/2est strictement convexe.

Proposition 10. Pour toutA∈Mn(R),|||A|||2 =p

ρ(AA). En particulier pour A∈Hn++,|||A|||=ρ(A).

Proposition 11. exp réalise un homéo de Sn vers Sn++.

Proposition 12 (Minkowski, le retour, [FGN p. 223]). SoitA, B∈Sn++(R). Alors(detA)1/n+ (detB)1/n≤(det(A+B))1/n.

Proposition 13 (Racines carrées matricielles).

Corollaire 3 (Décomposition polaire).

Théorème 2 (Théorème du minmax [FGN]).

Application (cf [FGN]). Entrelacement de Cauchy et perturbation de Weyl.

2

(3)

3 Retour sur les formes quadratiques et hermitiennes

Dénition 5. Congruence.

Proposition 14. Méthode de Gauss.

Remarque. Formes hermitiennes classiées par leur rang.

Dénition 6. Signature.

Théorème 3 (Loi d'inertide de Sylvester).

Remarque. Def pos ssi signature(n,0).

Théorème 4 (Lemme de Morse).

Dénition 7. Groupe orthogonal.

Proposition 15. Les groupes orthogonaux des fq def pos sont tous conjugués, le conjugué d'un groupe orthogonal en est un. Le stabilisateur d'un groupe orthogonal est lui-même.

Proposition 16. Composantes connexes, FGN.

Théorème 5. Sous-groupes compacts.

Lemme supra

4 Optimisation

[Vinx p. 32, Allaire, Allaire-Kaber]. Gradient à pas optimal.

Références

Gourdon Goblot

Chambert Loir FGN 3

3

Références

Documents relatifs

est orthogonale dans can. est

I n the present note these questions are answered, the essence of the results being that no amount of smoothness (not even the requirement that all functions

I) Définitions. Définition, isomorphisme avec l’ensemble des formes bilinéaires symétriques. Expression en calcul matriciel d’une forme bilinéaire symétrique. Isomorphisme

Matrice hermitiennes. def : mat

Montrer que, pour tout n > 3, le groupe SO n ( R ) est engendré par les retournements, et que les retournements sont tous conjugués dans le groupe.. Montrer que SO 2 ( R )

Une matrice commutant avec celle-l` a doit donc stabiliser les deux droites propres, ce qui

En effet, G contient quantité de matrices diagonalisables à valeurs propres réelles (voir [1, § 11], [2, ch. XIII]); mais il n'est point évident qu'on puisse en trouver à

QUASI-GROUPES FINIS QUASI - GROUPES ORTHOGONAUX ENSEMBLE COMPLET ORTHOGONAL?. Nous ne considèrerons ici que des quasi-groupes d’ordre fini; un tel quasi-groupe peut