Produit scalaire canonique

Un problème, une question, un nouveau théorème ?

Modérateurs : JeanN, Michel Quercia

Répondre
ahmedata10
Messages : 66
Enregistré le : ven. juil. 27, 2018 4:26 pm
Classe : mp*

Produit scalaire canonique

Message par ahmedata10 » ven. août 10, 2018 6:25 pm

Salut . Pour le produit scalaire canonique de Mn,1(k) , j'ai lu dans la correction une phrase que je n'ai pas pu comprendre : ' La droite D est stable par tA et donc H = D⊥ est stable par A ' .
SI vous pouvez m 'aider je serais ravis .
merci

JeanN
Messages : 5062
Enregistré le : dim. sept. 04, 2005 7:27 pm
Localisation : Versailles

Re: Produit scalaire canonique

Message par JeanN » ven. août 10, 2018 7:21 pm

C'est un petit exercice de le vérifier soit même (plus généralement)
Soit A une matrice carrée réelle de taille n et F un sev de \( \mathbb R^n \) stable par A
Montrer que \( F^{\perp} \) est stable par \( A^T \)
Professeur de maths MPSI Lycée Sainte-Geneviève

Avatar du membre
saysws
Messages : 1315
Enregistré le : ven. mai 06, 2016 2:51 pm
Classe : Sorcier

Re: Produit scalaire canonique

Message par saysws » ven. août 10, 2018 7:24 pm

C'est vrai, et c'est une propriété générale : Si F est stable par une matrice A (resp. un endomorphisme u), alors \( F^\bot \) est stable par sa transposée \( {}^tA \) (res. son adjoint \( u^* \)). Pour le montrer simplement (dans le cas matriciel) il suffit de se rappeler que le produit scalaire canonique de \( \mathbb{R}^n \) à le bon goût de s'exprimer simplement en terme de vecteurs et de transposition :
\( \left \langle X,Y \right \rangle ={}^tXY \)


D'ailleurs si au lieu de \( \mathcal{M}_{n,1}(\mathbb{K}) \) tu disais \( \mathbb{R}^n \) comme tout le monde ta question serait plus clair :mrgreen:
Modifié en dernier par saysws le sam. août 11, 2018 12:28 am, modifié 3 fois.
2016-2018 - PCSI 1 / PC*- Champollion
2018- ? - ENS Ulm

ahmedata10
Messages : 66
Enregistré le : ven. juil. 27, 2018 4:26 pm
Classe : mp*

Re: Produit scalaire canonique

Message par ahmedata10 » sam. août 11, 2018 12:12 am

merci . alors ca n'est vrai que si c'est le produit scalaire canonique ?

Avatar du membre
saysws
Messages : 1315
Enregistré le : ven. mai 06, 2016 2:51 pm
Classe : Sorcier

Re: Produit scalaire canonique

Message par saysws » sam. août 11, 2018 12:26 am

ahmedata10 a écrit :
sam. août 11, 2018 12:12 am
merci . alors ca n'est vrai que si c'est le produit scalaire canonique ?
Quand on parle de matrices on sous-entend qu'il s'agit du produit scalaire canonique.
Mais les résultats eux marchent avec n'importe quel produit scalaire, mais on utilisera plutôt le point de vue endomorphisme / adjoint alors.
Le point de vue matriciel sert justement à fournir une représentation géométrique lisible, donc si on se compliquait la vie avec un produit scalaire quelconque ça servirait plus à rien :)
2016-2018 - PCSI 1 / PC*- Champollion
2018- ? - ENS Ulm

ahmedata10
Messages : 66
Enregistré le : ven. juil. 27, 2018 4:26 pm
Classe : mp*

Re: Produit scalaire canonique

Message par ahmedata10 » sam. août 11, 2018 12:46 am

saysws a écrit :
sam. août 11, 2018 12:26 am
ahmedata10 a écrit :
sam. août 11, 2018 12:12 am
merci . alors ca n'est vrai que si c'est le produit scalaire canonique ?
Quand on parle de matrices on sous-entend qu'il s'agit du produit scalaire canonique.
Mais les résultats eux marchent avec n'importe quel produit scalaire, mais on utilisera plutôt le point de vue endomorphisme / adjoint alors.
Le point de vue matriciel sert justement à fournir une représentation géométrique lisible, donc si on se compliquait la vie avec un produit scalaire quelconque ça servirait plus à rien :)
mais ceux qui posent les ds compliquent la vie :3

Avatar du membre
saysws
Messages : 1315
Enregistré le : ven. mai 06, 2016 2:51 pm
Classe : Sorcier

Re: Produit scalaire canonique

Message par saysws » sam. août 11, 2018 1:44 am

C'est une convention point. Si on change de produit scalaire beaucoup d'ensembles de matrices usuels perdent leur sens (symétriques, orthogonales etc.).
La transposée d'une matrice est toujours définie de la même manière. Considère un autre produit scalaire et elle ne vérifie plus rien d'intéréssant.
2016-2018 - PCSI 1 / PC*- Champollion
2018- ? - ENS Ulm

Avatar du membre
Syl20
Messages : 1699
Enregistré le : sam. janv. 16, 2016 4:51 pm
Classe : MPSI

Re: Produit scalaire canonique

Message par Syl20 » sam. août 11, 2018 9:39 am

En fait, si tu prends un autre produit scalaire pour \( \mathbb{R}^n \) (notons le \( <.|.> \)), il ne s'exprimera plus aussi facilement :
\( <X|Y>=^t XSY \), où \( S \) est la matrice des produits scalaires : \( S=(<e_i|e_j>)_{i,j} \) (\( (e_i)_i \) est la base canonique de\( \mathbb{R}^n \))
Ainsi, la démonstration que tu fais dans le cas du produit scalaire canonique ne marche pas : tu peux essayer, il te manquera l'hypothèse de commutativité de ta matrice \( ^tA \) et de \( S \), qui n'est assurée dans le cas général que si ton produit scalaire est, à une constante multiplicative près, le produit scalaire canonique.
2016-2018 : Louis-le-Grand MPSI-MP*
X2018

ahmedata10
Messages : 66
Enregistré le : ven. juil. 27, 2018 4:26 pm
Classe : mp*

Re: Produit scalaire canonique

Message par ahmedata10 » dim. août 12, 2018 3:58 am

Merci

Répondre

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 5 invités