Ich habe folgendes Problem:
„Angesichts der Matrix , finde die Eigenräume der jeweiligen Eigenwerte".
Zuerst fand ich die Eigenwerte zu sein Und . Verwenden Sie dann den Eigenraum eines Eigenwerts Ist Ich habe das gefunden, wenn Dann , und ähnlich wenn Dann .
Meine Frage kam auf, als ich wo das schreiben wollte Und Einträge des Eigenvektors leben in. WolframAlpha verwendet standardmäßig reelle Einträge für die Beispiel-Eigenvektoren (gibt Und ), aber können die Einträge auch komplex sein? Und wenn ja, gibt es irgendeine Art von Matrix, in der die Einträge nur real sein können? Danke schön!
Ja, die Eigenvektoren können auch komplexe Koeffizienten haben. Da zum Beispiel ein Eigenvektor ist, dann ist er es auch , da es gleich ist .
Generell für eine Matrix mit Einträgen im Feld (zum Beispiel die reellen Zahlen oder die komplexen Zahlen ), die Einträge der Eigenvektoren von wird auf dem Feld liegen (Definitionsgemäß ist ein Eigenvektor von ist ein Vektor mit Einträgen in so dass )
Streng genommen ist es Best Practice, in einem Feld zu arbeiten das ist algebraisch abgeschlossen, dh ein Körper, über dem alle Polynome Wurzeln haben. ( ist vielleicht das allgegenwärtigste Beispiel für ein algebraisch geschlossenes Feld.) Explizit, wenn algebraisch abgeschlossen ist, dann beliebig Matrix vorbei wird Eigenwerte haben (und daher einige Eigenvektoren). Per Definition bestimmen wir die Eigenwerte von durch Berechnung der Wurzeln des Grades Polynom daher wenn ist dann algebraisch abgeschlossen für einige ganze Zahlen so dass (Natürlich die sind die gesuchten Eigenwerte.)
Wir behaupten, dass die folgende Matrix (mit Einträgen, die als Elemente von ) hat keine Eigenwerte.
Zuletzt zu Ihrer letzten Frage, alle symmetrisch Matrix vorbei hat reelle Eigenwerte. Besser noch, eine solche Matrix ist orthogonal diagonalisierbar. (Wenn Sie neugierig sind, googlen Sie das auf jeden Fall.)
Nachweisen. Betrachten Sie eine symmetrische echte Matrix Jede reelle Zahl ist komplex (mit Imaginärteil), daher können wir sehen als komplexe Matrix. Folglich existiert ein Eigenwert von und ein komplexer Vektor so dass (Weil ist algebraisch abgeschlossen). Beachten Sie das
JW Tanner