Matrice strictement positivie

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

Matrice strictement positivie

par benekire2 » 01 Jan 2011, 12:45

Bonjour,

Pour entamer la nouvelle année , quoi de mieux qu'un nouvel exo ?? En l'occurrence celui-ci m'embête (trouvé sur le net) :

Soit A une matrice de taille n a coefficients dans C, on note le commutant de A. On suppose que l'inverse de A est elle même (donc ) montrer que la dimension de C(A) est de même parité que n.

Merci beaucoup !!

EDIT. Suppression du premier exo "absurde"



AL-kashi23
Membre Rationnel
Messages: 765
Enregistré le: 14 Aoû 2007, 11:59

par AL-kashi23 » 01 Jan 2011, 13:27

Salut,

Pour le deuxième, une solution bien grasse consiste à déterminer la dimension du commutant pour une matrice diagonalisable quelconque puis à appliquer dans ton cas particulier.

Cela donne le résultat mais ça demande un peu de travail quand même ^^
(le cas simple est celui à n valeurs propres distinctes...)

Mais il doit y avoir une astuce plus rapide =)

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 13:34

AL-kashi23 a écrit:Salut,

Pour le deuxième, une solution bien grasse consiste à déterminer la dimension du commutant pour une matrice diagonalisable quelconque puis à appliquer dans ton cas particulier.

Cela donne le résultat mais ça demande un peu de travail quand même ^^
(le cas simple est celui à n valeurs propres distinctes...)

Mais il doit y avoir une astuce plus rapide =)


Oui j'imagine qu'il doit y avoir plus simple :zen: Surtout que je ne connais rien à la réduction et compagnie, j'ai trouvé ça dans des exos qui sont "faisables sans rien" en théorie (enfin, juste avec le début du cours d'algèbre linéaire).

Merci tout de même :zen:

dibeteriou
Membre Naturel
Messages: 91
Enregistré le: 17 Aoû 2010, 05:06

par dibeteriou » 01 Jan 2011, 14:05

C'est pourtant le plus simple à mon avis : écrire la matrice dans une base sympa et faire des calculs par blocs (ce qui revient à faire de la réduction sans le dire).

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 14:39

Salut dib !

Peut tu me montrer comment tu fais stp ?

Merci !!

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 14:48

Si on veut le dire de manière élémentaire ça donnerait :
Soit F=Ker(A-I) et G=Ker(A+I)
-Mq F et G sont supplémentaires
-Mq B commute avec A ssi B stabilise F et G
-En déduire la dimension du commutant de A en fonction de dim(F) et dim(G) et conclure.

On fait ainsi de la réduction sans le dire..Je sais pas si y'a plus simple..

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 15:06

"" -Mq F et G sont supplémentaires ""

C'est fait, enfin, j'ai montrer qu'ils étaient en somme directe, mais j'arrive pas a montrer que tout élément de E s'écrit comme somme d'élément de F et G

Pour la suite :

"" -Mq B commute avec A ssi B stabilise F et G
-En déduire la dimension du commutant de A en fonction de dim(F) et dim(G) et conclure. ""

Je ne vois pas trop ... désolé.

Merci :id:

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 15:16

benekire2 a écrit:"" -Mq F et G sont supplémentaires ""

C'est fait, enfin, j'ai montrer qu'ils étaient en somme directe, mais j'arrive pas a montrer que tout élément de E s'écrit comme somme d'élément de F et G


Raisonne par condition nécessaire ( ça marche souvent pour montrer que la somme de 2 espaces, c'est tout ) : Prend un x, suppose qu'il se décompose comme une somme et cherche à exprimer les éléments de cette somme en fonction de x. C'est du même genre que "toute fonction est somme d'une fonction paire et une fonction impaire", si tu connais..

benekire2 a écrit:"" -Mq B commute avec A ssi B stabilise F et G ""

Je ne vois pas trop ... désolé.


Aucun des 2 sens?

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 15:48

Ouais je connais toute fonction est somme d'une paire et d'une impaire et il y en a un dans le même genre avec les matrices aussi , assez drôle :ptdr: Bon, en l'occurrence j'avais fais un essai dans le genre , mais pas assez loin à l'évidence, bon je vais continuer de chercher ça.

Sinon, pour la question d'après , les senss direct c'est bon , mais c'est le sens réciproque qui passe pas ; si B stabilise F et G alors AB=BA.

Bon, merci encore :happy2:

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 16:00

Pour le 1) la décomposition est :

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 16:10

Yep :we:
Pour le sens réciproque de 2, Prend un x de R^n et montre que ABx=BAx.. :zen:

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 16:30

ffpower a écrit:Yep :we:
Pour le sens réciproque de 2, Prend un x de R^n et montre que ABx=BAx.. :zen:


Et je me dit que c'est peut être l'heure d'utiliser la question 1) :lol3:

Bon, passons à la question 3) maintenant : pour l'instant je ne vois pas trop comment exprimer la dimension de l'espaces des matrices qui stabilisent F et G ... mon cerveau est au ralenti :ptdr:

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 16:39

Cette question est un chouia plus compliqué que je ne le pensais..Enfin elle est assez simple en écrivant les matrices B qui commutent avec A dans une base bien choisie, mais vu qu'on a esquivé le changement de bases jusque là j'aurais aimé continuer sur cette voie^^.
Donc bah réfléchis avec le changement de bases en attendant que je trouve éventuellement mieux.

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 16:41

C'est à dire ? Tu veut que je trouve une base où ma matrice est sympathique ? (Diagonale par exemple :zen: ) Ca doit se faire maintenant que E est bien décomposé comme somme de sous espaces propres... je me souviens d'un exercice ( on avait pris en dimension 3) où l'on cherchait les valeurs propres puis les sev propres et l'on concluait comme ça. Donc en l'ocurrence "diagonaliser" la matrice doit pas être dur.

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 16:42

Un truc du genre ouais :)

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 17:11

Bon, j'essaie , mais c'est pas limpide ...

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 17:14

Prends une base de F
Prends une base de G
Mixe le tout
Et fais chauffer tes matrices la dedans à feu doux

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 17:16

Tu veut qu'après réduction (jeu de mot avec la cuisine :ptdr: ) j'obtienne une base magique où A et B sont diagonales toutes les deux ?

ffpower
Membre Complexe
Messages: 2542
Enregistré le: 13 Déc 2007, 05:25

par ffpower » 01 Jan 2011, 17:24

Pas tout à fait ( mais pas loin ). Quelle est la forme de A dans cette mixture? Et la forme de B?

benekire2
Membre Transcendant
Messages: 4678
Enregistré le: 08 Avr 2009, 17:39

par benekire2 » 01 Jan 2011, 17:48

Déjà dans cette base A est diagonale, enfin je crois ...

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

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

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite