Eigenvectoren onafhankelijk?

Moderators: dirkwb, Xilvo

Reageer
Gebruikersavatar
Berichten: 7.556

Eigenvectoren onafhankelijk?

Er is een stelling in de Lineaire Algebra die zegt dat als
\(\lambda_i\)
met
\(1\leq i\leq n\)
de verschillende complexe eigenwaarden van een n x n-matrix A zijn, dan zijn de bijbehorende eigenvectoren
\(\eta^{(i)}\)
in
\(\cc^n\)
complex-lineair onafhankelijk.

(Heeft deze stelling een naam? Heeft iemand een link naar het bewijs?)

Nu heb ik een matrix
\(\[ A = \left( \begin{array}{ccc}\ 1 & 0 & -1\\0 & 0 & 0\\1 & 0 & 1\end{array} \right)\] \)
Ik krijg eigenwaarden
\(\lambda_1=0\)
,
\(\lambda_2=1+i\)
en
\(\lambda_3=1-i\)
.

Als bijbehorende eigenvectoren levert mij dit
\(\eta^{(1)}=(0,\alpha,0)^T\)
,
\(\eta^{(2)}=(\beta,0,\gamma)^T\)
en
\(\eta^{(3)}=(\delta,0,\varepsilon)^T\)
voor willekeurige
\(\alpha,\beta,\gamma,\delta,\varepsilon\)
.

Echter,
\(\eta^{(2)}\)
en
\(\eta^{(3)}\)
zijn nu toch niet lineair onafhankelijk? Wat doe ik fout?
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: Eigenvectoren onafhankelijk?

Zijn je Griekse letters scalairen in :D of...? Want (i,0,1) en (-i,0,1) zijn bijvoorbeeld wel onafhankelijk...
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.556

Re: Eigenvectoren onafhankelijk?

Mijn Griekse letter zijn inderdaad complex. Moet ik er nu zelf voor zorgen dat de vectoren onafhankelijk zijn door een geschikte keuze (zoals jouw voorbeeld)? Want slechts bij bepaalde keuzes zal aan de stelling voldaan zijn.
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: Eigenvectoren onafhankelijk?

Maar je verliest informatie door je eigenvectoren op deze manier te schrijven. Ik trek de tweede eigenwaarde (1+i) van de hoofddiagonaal af, je houdt over: ix+z = 0. Hieruit volgt toch niet dat elke willekeurige vector (p,0,q) met p en q complex, een eigenvector is? Wel alle scalaire veelvouden van (i,0,1), oftewel (ik,0,k).
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.556

Re: Eigenvectoren onafhankelijk?

Dan vraag ik me af wat een goede methode is om de eigenvectoren te bepalen. Ik heb de drie eigenwaarden, en wil hieruit de eigenvectoren bepalen. Ik schrijf dan
\(A(a,b,c)^T =\lambda_i (a,b,c)^T\)
met
\(a,b,c \in\cc\)
en los op voor a,b,c. Schrijf ik dan beter
\(A(a+bi,c+di,e+fi)^T =\lambda_i (a+bi,c+di,e+fi)^T\)
met
\(a,b,c,d,e,f \in\rr\)
?
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: Eigenvectoren onafhankelijk?

Met a,b,c complex levert het stelsel bij de eerste eigenwaarde: ai+c = 0 (zie m'n vorig bericht). Hieraan voldoet toch niet elk koppel (a,c) als a en c complex zijn, maar verder willekeurig? Neem bijvoorbeeld a = c = 1 en het loopt mis, nochtans impliceert "jouw eigenvector" (a,0,c) dat (1,0,1) een oplossing is.
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.556

Re: Eigenvectoren onafhankelijk?

Het is me inderdaad duidelijk dat mijn methode niet juist is. Maar dan hoor ik graag welke procedure jij voorstelt om bij de drie eigenwaarden de bijbehorende eigenvectoren te vinden?

Verborgen inhoud
bedankt voor het snelle antwoord op dit late uur :D
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: Eigenvectoren onafhankelijk?

Wanneer je komt tot de voorwaarde ai+c=0 zou ik direct (i,0,1) schrijven, scalaire veelvouden hiervan zijn dan ook oplossingen. Als je dit niet direct ziet, of een algemenere methode wil, dan kan je elk complex getal inderdaad uitschrijven. Substitutie in de vergelijking waaraan je moet voldoen, levert dan de voorwaarden ("binding") tussen reëel en complex deel.

Door je complexe eigenwaarde (en eigenvector) heb je inderdaad twee parameters, maar in jouw notatie heb je er eigenlijk vier! Want je alfa en beta zijn complexe getallen en liggen dus allebei pas vast met elk twee reële getallen. Je bent dus de "binding" vergeten die opgelegd wordt door de vergelijking waaraan je moet voldoen.

Dus: a = p+qi en c = r+si, dit levert: ai+c = 0 <=> ... <=> p = -s en q = r.

Ga zelf na dat mijn keuze ("op het zicht") van (i,0,1) hieraan voldoet, zie je?
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.556

Re: Eigenvectoren onafhankelijk?

Dank, hiermee kom ik zeker verder. Ik ga het morgen nog eens rustig utischrijven, volgens begrijp ik het nu. Volgens mij moet
q = b.
zijn: q=r, toch?
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: Eigenvectoren onafhankelijk?

Had ik net al aangepast, maar je was dus te snel komen kijken.

Graag gedaan, ook op dit late uur tegen nachttarief :D
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Gebruikersavatar
Berichten: 7.556

Re: Eigenvectoren onafhankelijk?

Haha, nogmaals bedankt en welterusten!

Wat een gedoe om de "fundamentele matrix" behorend bij een differentiaalvergelijking dy/dx =Ay en vervolgens de stroming te berekenen :D
Never express yourself more clearly than you think.

- Niels Bohr -

Gebruikersavatar
Berichten: 24.578

Re: Eigenvectoren onafhankelijk?

Ik kruip er inderdaad zo in (zei ik voor je topic eigenlijk ook al), dan weer enkele dagen weg.

Het was een blitsbezoek en ik wou zoveel mogelijk bijwerken; jou helpen hoort daar ook bij :D
"Malgré moi, l'infini me tourmente." (Alfred de Musset)

Reageer