Doua matrice care comuta au aceeasi vectori proprii?
Moderators: Laurian Filip, Cosmin Pohoata
-
Bogdan Cebere
- Thales
- Posts: 145
- Joined: Sun Nov 04, 2007 1:04 pm
Doua matrice care comuta au aceeasi vectori proprii?
Cum se poate demonstra ca doua matrice care comuta au aceeasi vectori proprii? Deoarece toata lumea spune ca e banala...dar nu vad solutia. 
- Beniamin Bogosel
- Co-admin
- Posts: 710
- Joined: Fri Mar 07, 2008 12:01 am
- Location: Timisoara sau Sofronea (Arad)
- Contact:
Fie \( \mathbb K=\mathbb R \) sau \( \mathbb C \).
Fie \( A\in \mathcal M_n(\mathbb{K}) \). Un vector propriu al lui \( A \) este o matrice coloana din \( \mathcal M_{n,1}(\mathbb{ K}) \) care verifica
\( (A-\lambda I)X=0_{n,1} \), unde \( \lambda \) este valoare proprie pentru \( A \).
Demonstratia este evidenta pentru ca cele doua matrici \( AB,\ BA \) au aceleasi valori proprii. Atunci \( X \) este vector propriu pentru \( AB \) daca si numai daca exista o valoare proprie astfel incit \( (AB-\lambda I)X=O \) echivalent cu \( (BA-\lambda I)X=O \) echivalent cu \( X \) e vector propriu pentru \( BA \).
Fie \( A\in \mathcal M_n(\mathbb{K}) \). Un vector propriu al lui \( A \) este o matrice coloana din \( \mathcal M_{n,1}(\mathbb{ K}) \) care verifica
\( (A-\lambda I)X=0_{n,1} \), unde \( \lambda \) este valoare proprie pentru \( A \).
Demonstratia este evidenta pentru ca cele doua matrici \( AB,\ BA \) au aceleasi valori proprii. Atunci \( X \) este vector propriu pentru \( AB \) daca si numai daca exista o valoare proprie astfel incit \( (AB-\lambda I)X=O \) echivalent cu \( (BA-\lambda I)X=O \) echivalent cu \( X \) e vector propriu pentru \( BA \).
Last edited by Beniamin Bogosel on Fri Mar 21, 2008 3:12 pm, edited 2 times in total.
-
Bogdan Cebere
- Thales
- Posts: 145
- Joined: Sun Nov 04, 2007 1:04 pm
- Beniamin Bogosel
- Co-admin
- Posts: 710
- Joined: Fri Mar 07, 2008 12:01 am
- Location: Timisoara sau Sofronea (Arad)
- Contact:
Pai \( AB, BA \) comuta in ipoteza ta, de-aia \( AB \) si \( BA \) au aceiasi vectori proprii.
\( AB,\ BA \) au in general aceleasi valori proprii.
Trebuia sa demnstrez ca A si B au aceiasi vectori proprii? poate ca nu ai inteles bine problema de unde ai auzit-o.
Contraexemplu!
I comuta cu orice matrice A, dar de aici si din cele ce spui tu ar rezulta ca A are aceiasi vectori proprii cu I pentru orice A, ceea ce evident nu este adevarat.
Intelegi ce vreau sa spun??
\( AB,\ BA \) au in general aceleasi valori proprii.
Trebuia sa demnstrez ca A si B au aceiasi vectori proprii? poate ca nu ai inteles bine problema de unde ai auzit-o.
Contraexemplu!
I comuta cu orice matrice A, dar de aici si din cele ce spui tu ar rezulta ca A are aceiasi vectori proprii cu I pentru orice A, ceea ce evident nu este adevarat.
Intelegi ce vreau sa spun??
Last edited by Beniamin Bogosel on Fri Mar 21, 2008 3:18 pm, edited 4 times in total.
-
Bogdan Cebere
- Thales
- Posts: 145
- Joined: Sun Nov 04, 2007 1:04 pm
- Alin Galatan
- Site Admin
- Posts: 247
- Joined: Tue Sep 25, 2007 9:24 pm
- Location: Bucuresti/Timisoara/Moldova Noua
-
Liviu Ornea
- -
- Posts: 123
- Joined: Sun Sep 30, 2007 8:48 pm
- Contact:
Mi-e teamă că peste \( \mathbb{R} \) nici enunţul al doilea nu e adevărat. Gîndeşte-te la două matrice de rotaţie în plan, în jurul originii.
În paranteză fie spus, nu cred că e bine să vă ocupaţi de probleme de tipul acesta la nivelul liceului. E preferabil să priviţi matricele ca aplicaţii lineare, vectorii proprii să-i legaţi de subspaţii invariante etc. Altfel, problemele se reduc la manipulări (deloc uşoare, uneori) algebrice şi se pierde semnificaţia geometrică şi posibilitatea generalizării.
L.O.
În paranteză fie spus, nu cred că e bine să vă ocupaţi de probleme de tipul acesta la nivelul liceului. E preferabil să priviţi matricele ca aplicaţii lineare, vectorii proprii să-i legaţi de subspaţii invariante etc. Altfel, problemele se reduc la manipulări (deloc uşoare, uneori) algebrice şi se pierde semnificaţia geometrică şi posibilitatea generalizării.
L.O.
-
Bogdan Cebere
- Thales
- Posts: 145
- Joined: Sun Nov 04, 2007 1:04 pm
Iata un link catre o generalizare, care in postul al doilea primeste o solutie destul de elementara.
http://www.mathlinks.ro/viewtopic.php?s ... 97&t=38967
http://www.mathlinks.ro/viewtopic.php?s ... 97&t=38967