Accueil du forum
Bienvenue sur le forum de Maths en Direct !

Pour discuter en direct avec les professeurs ou le reste de la communauté, il suffit de s'inscrire. Vous aurez ensuite accès à tous les services de Maths en Direct gratuitement ! N'hésitez pas à proposer votre aide.

Connexion
Aimez notre page Facebook !
Statistiques
Nous avons 1012 membres enregistrésL'utilisateur enregistré le plus récent est parcko1Nos membres ont posté un total de 6601 messagesdans 738 sujets
Qui est en ligne ?
Il y a en tout 2 utilisateurs en ligne :: 0 Enregistré, 0 Invisible et 2 Invités :: 1 Moteur de recherche

Aucun

Voir toute la liste

Les posteurs les plus actifs du mois
Les posteurs les plus actifs de la semaine
Publicité
Partagez
Voir le sujet précédentAller en basVoir le sujet suivant
Posteur Motivé
Posteur Motivé
Messages : 57
Voir le profil de l'utilisateur

Démonstration Critère de Sylvester

le Lun 16 Mai - 20:17
Bonsoir,

je cherche à montrer que ces deux propositions sont équivalentes
Soit A une matrice symétrique d'ordre n

1) A est définie positive

2) Les déterminants de ses mineurs principaux sont strictement positifs

J'ai réussi pour 1=>2 mais 2=>1 je bloque Smile
avatar
Professeur de Mathématiques
Professeur de Mathématiques
Messages : 2037
Voir le profil de l'utilisateurhttp://www.mathsendirect.fr

Re: Démonstration Critère de Sylvester

le Mar 17 Mai - 8:31
Réputation du message : 100% (1 vote)
Salut !

J'ai la preuve sous les yeux dans Gourdon - Algèbre. Il faut faire une récurrence sur $n$. Tu as essayé ? Sinon, je pourrai te rédiger la solution.
avatar
Professeur de Mathématiques
Professeur de Mathématiques
Messages : 281
Voir le profil de l'utilisateur

Re: Démonstration Critère de Sylvester

le Mar 17 Mai - 8:46
Salut,
La preuve est sur wikipédia : https://fr.wikipedia.org/wiki/Matrice_d%C3%A9finie_positive
Si tu ne comprends pas un passage n'hésite pas à revenir poser des questions.
Posteur Motivé
Posteur Motivé
Messages : 57
Voir le profil de l'utilisateur

Re: Démonstration Critère de Sylvester

le Mar 17 Mai - 11:02
Professeur J a écrit:Salut !

J'ai la preuve sous les yeux dans Gourdon - Algèbre. Il faut faire une récurrence sur $n$. Tu as essayé ? Sinon, je pourrai te rédiger la solution.

tu peux me montrer ce que ça donne stp ? pour comparer avec celle de Wiki
avatar
Professeur de Mathématiques
Professeur de Mathématiques
Messages : 2037
Voir le profil de l'utilisateurhttp://www.mathsendirect.fr

Re: Démonstration Critère de Sylvester

le Mar 17 Mai - 11:25
Réputation du message : 100% (1 vote)
Oui, voilà la preuve pour le sens qui t'intéresse :

Gourdon a écrit:Raisonnons par récurrence sur $n\in\mathbb{N}^*$. Pour $n=1$, c'est évident. Supposons le résultat vrai jusqu'au rang $n-1$ et montrons le au rang $n$. Notons $H$ l'hyperplan défini par $H=Vect(e_1,\cdots,e_ {n-1})$. D'après l'hypothèse de récurrence, la restriction $q_{|H}$ de $q$ à $H$ [$q$ est la forme quadratique dont $M$ est la matrice dans la base canonique $(e_1,\cdots,e_n)$ de $\mathbb{R}^n$] est définie positive. Désignons par $(e_1',\cdots,e_{n-1}')$ une base orthonormée pour $q_{|H}$. On sait que l'orthogonal $H^{\perp}$ de $H$ vérifie $H\bigoplus H^{\perp}=\mathbb{R}^n$. Ainsi, si $e_n'$ désigne un vecteur non nul de $H^{\perp}$, la famille $B=(e_1',\cdots,e_{n-1}',e_n')$ est une base de $\mathbb{R}^n$ et la matrice de $q$ dans cette base s'écrit sous la forme

$$\begin{pmatrix}
1 & 0 & \cdots & 0  \\
0 & \ddots & \ddots & \vdots \\
\vdots & \ddots & 1 & 0 \\
0 & \cdots & 0 & \alpha
\end{pmatrix}$$

Si $P$ désigne la matrice de passage de la base canonique de $\mathbb{R}^n$ à la base $B$, on a $N=^tPMP$, donc $det(N)=det(P)^2det(M)>0$. Ainsi, $\alpha=det(N)>0$, ce qui prouve que $q$ est définie positive. La matrice $M$ est donc définie positive.
Posteur Motivé
Posteur Motivé
Messages : 57
Voir le profil de l'utilisateur

Re: Démonstration Critère de Sylvester

le Mar 17 Mai - 11:33
Ok merci, il n'y a pas une grande différence avec la démonstration de wiki ... Smile
avatar
Professeur de Mathématiques
Professeur de Mathématiques
Messages : 2037
Voir le profil de l'utilisateurhttp://www.mathsendirect.fr

Re: Démonstration Critère de Sylvester

le Mar 17 Mai - 11:37
Il te reste plus qu'à l'écrire à ta sauce Razz
Voir le sujet précédentRevenir en hautVoir le sujet suivant
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum
Publicité