Matrices symétriques définies positives
Réponses
-
Peux-tu interpréter le coefficient diagonal $ii$ comme un produit scalaire bien choisi ?
-
Oui j'ai raisonné par absurde en prenant la colonne nulle sauf dans la i-ème ligne où il y a le coefficient diagonal supposé négatif.
-
Pourquoi “par l'absurde" alors que tu présentes une preuve directe ?
-
on peut le faire aussi par une preuve directe mais j'ai choisie de raisonner par absurde en arrivant à la fin à une somme des carrées fois le coefficient diagonal que j'ai supposé négatif alors que la matrice choisie et symétrique définie positive
-
Oui bien sûr, mais l'absurde est superflu ici, c'est ça que je voulais dire; et ça allourdit la preuve inutilement. Alors que "$S$ est symétrique définie positive, donc $\langle Se_i, e_i \rangle > 0 $, et $\langle Se_i, e_i \rangle = S_{ii}$" est très légère et directe.
-
En effet :
Il suffit de trouver (ou de démontrer qu’il existe) un vecteur non nul dont l’image est négative.
« Utiliser l’absurde » consiste à dire « supposons qu’il n’y ait pas de tel vecteur...puis...or j’en ai trouvé un donc c’est absurde » ce qui est assez pauvre finalement. Pourvu que je ne manque pas de clarté...
Remarque : même dans ce cadre, ce n’est pas à proprement parler un (véritable) raisonnement par l’absurde.
Voir les fils consacrés à cela. -
Merci pour vos réponses
-
Salut est-ce que quelqu'un peut me donner des indications pour la question suivante:
Soit $A$ une matrice de taille n montrer que $(^t A)A$ est symétrique positive de plus si $A$ est inversible alors elle est symétrique définie positive -
Pour le caractère symétrique : commencer par essayer de calculer avec une matrice 3x3.
-
J'ai démontré que la matrice en question est symétrique il me reste le fait qu'elle soit positive
-
Reviens à la définition : qu'est-ce que ça veut dire, qu'une matrice symétrique réelle est positive ?
-
M est symétrique positive si elle est symétrique et pour toute colonne $X$ de taille n si le produit $^t XMX \geq 0 $
-
Ne vois-tu pas une raison pour laquelle on aurait $X^{\mathsf T} A^{\mathsf T} A X\geq 0$ pour tout vecteur colonne $X$ ? (Indication : $X^{\mathsf T} A^{\mathsf T} = (??)^{\mathsf T}$.)
-
$^t\! X {\,}^t\! A = {}^t\! (AX),$ après calcul j'ai trouvé une somme de carrés donc positif.
-
$Y^{\mathsf T} Y=\Vert Y\Vert^2$ (norme euclidienne standard).
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.6K Toutes les catégories
- 64 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 61 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 26 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 86 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 29 Mathématiques et finance
- 343 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.4K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres