Προβολή πηγαίου κώδικα για τη σελίδα Ιδιοτιμές και ιδιοδιανύσματα

[[File:Mona Lisa eigenvector grid.png|thumb|270px|Σ'αυτή τη [[διάτμητη χαρτογράφηση]] το κόκκινο βέλος αλλάζει κατεύθυνση, αλλά το μπλε όχι. Το μπλε βέλος είναι ένα ιδιοδιάνυσμα αυτής της διάτμητης χαρτογράφησης, και αφού το μήκος του είναι αμετάβλητο, η ιδιοτιμή του είναι ίση με 1.]]

Ενα '''ιδιοδιάνυσμα''' ενός [[Πίνακας (μαθηματικά)#Τετραγωνικοί πίνακες|τετραγωνικού πίνακα]] <math>A</math> είναι ένα μη μηδενικό [[Διανυσματικός χώρος|διάνυσμα]] <math>v</math> που, όταν [[Πίνακας (μαθηματικά)#Πράξεις πινάκων|πολλαπλασιαστεί]] με τον <math>A</math>, ισούται με το αρχικό διάνυσμα, πολλαπλασιασμένο με έναν αριθμό <math>\lambda</math>, έτσι ώστε:

<math>A v = \lambda v</math>

Ο αριθμός <math>\lambda</math> ονομάζεται '''ιδιοτιμή''' του <math>A</math> που αντιστοιχεί στο <math>v</math>.<ref name=WolframEigenvector>
  Wolfram Research, Inc. (2010) [http://mathworld.wolfram.com/Eigenvector.html ''Eigenvector'']. Που ανακτήθηκε στις 2010-01-29.
</ref>

Στην [[αναλυτική γεωμετρία]], για παράδειγμα, ένα διάνυσμα με 3 στοιχεία, μπορεί να ταυτιστεί με ένα βέλος σε ένα τρισδιάστατο χώρο, ξεκινώντας από την αρχή των αξόνων. Σ'αυτην την περιπτωση, ένα ιδιοδιάνυσμα ενός 3x3 πίνακα <math>A</math> είναι ένα βέλος η κατεύθυνση του οποίου ή διατηρείται, ή γίνεται ακριβώς η αντίθετη, μετά τον πολλαπλασιασμό με τον <math>A</math>. Η αντίστοιχη ιδιοτιμή είναι αυτή που καθορίζει πως αλλάζει το μήκος του βέλους από τη διαδικασία, και εάν η κατεύθυνση του αντιστρέφεται ή όχι.

Στην αφηρημένη [[γραμμική άλγεβρα]], οι έννοιες αυτές συνήθως επεκτείνονται σε πιο γενικές καταστάσεις, όπου οι παράγοντες που χρησιμοποιούνται σε πραγματική κλίμακα, αντικαθίστανται από [[Σώμα (άλγεβρα)|σώματα]] κάθε διάστασης (όπως για παράδειγμα οι [[Αλγεβρικός αριθμός|αλγεβρικοί]] ή οι [[Μιγαδικός αριθμός|μιγαδικοί]] αριθμοί), οι [[Καρτεσιανό σύστημα συντεταγμένων|καρτεσιανές συντεταγμένες]] <math>\mathbb{R}^n</math> που αντικαθίστανται από τυχαίους [[Διανυσματικός χώρος|διανυσματικούς χώρους]] (όπως για παράδειγμα των [[Συνέχεια συνάρτησης|συνεχών συναρτήσεων]], των [[Πολυώνυμο|πολυωνύμων]] ή των [[Τριγωνομετρικές σειρές|τριγωνομετρικών σειρών]]), και ο [[πολλαπλασιασμός]] πινάκων που αντικαθίσταται από κάθε [[Γραμμικός μετασχηματισμός|γραμμικό τελεστή]] που απεικονίζει διανύσματα σε διανύσματα (όπως η [[παράγωγος]] από το [[Απειροστικός λογισμός|διαφορικό λογισμό]]). Σ'αυτές τις περιπτώσεις, το "διάνυσμα" σε "ιδιοδιάνυσμα" μπορεί να αντικατασταθεί από έναν πιο ακριβή όρο, όπως "[[ιδιοσυνάρτηση]]","[[ιδιομορφή]]","[[Ιδιοπροσωπια|ιδιοπροσωπία]]", ή "[[ιδιοκατάσταση]]". Επομένως, για παράδειγμα, η εκθετική συνάρτηση <math>f(x) = a^x</math> είναι μια ιδιοσυνάρτηση του παράγωγου φορέα " <math>{}'</math> ", με ιδιοτιμή <math>\lambda = \ln a</math>, αφού η παράγωγος της είναι η <math>f'(x) = (\ln a)a^x = \lambda f(x)</math>.

Το σύνολο όλων των ιδιοδιανυσμάτων ενός πίνακα (ή γραμμικού τελεστή), με το καθένα να ταιριάζει στην αντίστοιχη ιδιοτιμή του, καλείται το "ιδιοσύστημα" του πίνακα αυτού.<ref>William H. Press, Saul A. Teukolsky, William T. Vetterling, Brian P. Flannery (2007), [http://www.nr.com/ ''Numerical Recipes: The Art of Scientific Computing'', Κεφάλαιο 11: ''Eigensystems.'', pages=563–597. Τρίτη έκδοση, Πανεπιστήμιο του Κέμπριτζ. ISBN 9780521880688 ] {{Webarchive|url=https://web.archive.org/web/20180825110950/https://www.nr.com/ |date=2018-08-25 }}</ref>
Ο '''ιδιοχώρος''' ενός πίνακα <math>A</math> είναι το σύνολο όλων των ιδιοδιανυσμάτων με την ίδια ιδιοτιμή, συμπεριλαμβανομένου και του [[Μηδενικό διάνυσμα|μηδενικού διανύσματος]].<ref name=WolframEigenvector/>  
Μια '''ιδιοβάση''' του <math>A</math> είναι κάθε [[Διανυσματικός χώρος#Βάση|βάση]] του συνόλου όλων των διανυσμάτων που αποτελείται απο γραμμικά ανεξάρτητα ιδιοδιανύσματα του <math>A</math>. Ενας πίνακας με στοιχεία [[Πραγματικός αριθμός|πραγματικούς αριθμούς]] μπορεί να μην έχει καμία ιδιοτιμή, αλλά ένας πίνακας με στοιχεία [[Μιγαδικός αριθμός|μιγαδικούς αριθμούς]], έχει πάντα τουλάχιστον μία μιγαδική ιδιοτιμή.

Οι όροι '''χαρακτηριστικό διάνυσμα''', '''χαρακτηριστικη τιμή''', και '''χαρακτηριστικός χώρος''' χρησιμοποιούνται και σε αυτές τις έννοιες.

Οι ιδιοτιμές και τα ιδιοδιανύσματα έχουν πολλές εφαρμογές και στα θεωρητικά, αλλά και στα εφαρμοσμένα μαθηματικά. Χρησιμοποιούνται στην [[παραγοντοποίηση πινάκων]], στην [[Κβαντική μηχανική]], και σε πολλούς άλλους τομείς.

==Ορισμός==

===Ιδιοδιανύσματα και ιδιοτιμές ενός πραγματικού πίνακα===

[[File:Eigenvalue equation.svg|thumb|right|250px| Ο πίνακας <math>A</math> απλά "τεντώνει" το διάνυσμα <math>x</math>, χωρίς να αλλάζει την κατεύθυνσή του, επομένως το <math>x</math> είναι ένα ιδιοδιάνυσμα του <math>A</math>.]]

Σε πολλά περιβάλλοντα, ένα διάνυσμα μπορεί να θεωρηθεί σαν μία λίστα με πραγματικούς αριθμούς (που ονομάζονται "στοιχεία"), γραμμένους κάθετα με παρενθέσεις γύρω από όλη τη λίστα, όπως τα διανύσματα "u" και "v" παρακάτω. Λέμε ότι δύο διανύσματα είναι γραμμικά εξαρτημένα μεταξύ τους, όταν έχουν το ίδιο πλήθος στοιχείων, και κάθε στοιχείο του ενός διανύσματος προκύπτει αν πολλαπλασιάσουμε το αντίστοιχο στοιχείο του άλλου διανύσματος, με ένα σταθερό αριθμό (γνωστό και ως "γραμμικό συντελεστή"). Για παράδειγμα, τα διανύσματα
:<math>u = \begin{bmatrix}1\\3\\4\end{bmatrix}\quad\quad\quad</math> και <math>\quad\quad\quad v = \begin{bmatrix}-20\\-60\\-80\end{bmatrix}</math>
είναι γραμμικά εξαρτημένα μεταξύ τους, αφού κάθε στοιχείο του <math>v</math> είναι -20 φορές το στοιχείο στην αντίστοιχη θέση του <math>u</math>.

Ενα διάνυσμα με 3 στοιχεία, όπως το <math>u</math> ή το <math>v</math> παραπάνω, μπορεί να αντιπροσωπεύουν ένα σημείο σε ένα τρισδιάστατο χώρο, αντιστοιχίζοντας το με [[Καρτεσιανό σύστημα συντεταγμένων|Καρτεσιανές συντεταγμένες]]. Μας βοηθάει να σκεφτούμε τέτοια διανύσματα ως τη μύτη ενός βέλους, η αρχή του οποίου βρίσκεται στην αρχή των αξόνων του συστήματος συντεταγμένων. Σ'αυτη την περίπτωση, η συνθήκη "το <math>u</math> είναι παράλληλο με το <math>v</math>" σημαίνει ότι τα δύο βέλη κείτονται στην ίδια εύθεια γραμμή, και μπορεί να διαφέρουν μόνο στο μήκος και τη φορά, κατά μήκος της ευθείας αυτής.

Αν πολλαπλασιάσουμε οποιονδήποτε τετραγωνικό πίνακα <math>A</math> με <math>n</math> γραμμές και <math>n</math> στήλες με ένα τέτοιο διάνυσμα <math>v</math>, το αποτέλεσμα θα είναι ένα νέο διάνυσμα <math>w = A v </math>, επίσης με <math>n</math> γραμμές και μία στήλη. Ετσι έχουμε
:<math>\begin{bmatrix} v_1 \\ v_2 \\ \vdots \\ v_n \end{bmatrix} \quad\quad</math> αντιστοιχεί στο <math>
\begin{bmatrix} w_1 \\ w_2 \\ \vdots \\ w_n \end{bmatrix}  \;=\;
 \begin{bmatrix} A_{1,1} & A_{1,2} & \ldots & A_{1,n} \\
A_{2,1} & A_{2,2} & \ldots & A_{2,n} \\
\vdots &  \vdots &  \ddots &  \vdots \\
A_{n,1} & A_{n,2} & \ldots & A_{n,n} \\
\end{bmatrix}
\begin{bmatrix} v_1 \\ v_2 \\ \vdots \\ v_n \end{bmatrix}
</math>
όπου, για κάθε δείκτη <math>i</math>,
:<math> w_i = A_{i 1} v_1 + A_{i 2} v_2 + \cdots + A_{i n} v_n = \sum_{j = 1}^{n} A_{i j} v_j</math>
Γενικά, αν το <math>v</math> δεν είναι το μηδενικό διάνυσμα, τα διανύσματα
<math>v</math> και <math>A v</math> δε θα είναι παράλληλα. Οταν "είναι" παράλληλα (δηλαδή όταν υπάρχει πραγματικός αριθμός <math>\lambda</math> τέτοιος ώστε <math>A v = \lambda v</math>) λέμε ότι το <math>v</math> είναι ένα '''ιδιοδιάνυσμα''' του <math>A</math>. Σ'αυτη την περίπτωση, ο γραμμικός συντελεστής <math>\lambda</math> ορίζεται να είναι η '''ιδιοτιμή''' που αντιστοιχεί σ'αύτο το ιδιοδιάνυσμα.

Συγκεκριμένα, πολλαπλασιασμός με έναν 3x3 πίνακα <math>A</math> μπορεί να αλλάξει και την κατεύθυνση και το μέγεθος ενός βέλους <math>v</math> στον τρισδιάστατο χώρο. Παρολαυτά, αν <math>v</math> είναι ένα ιδιοδιάνυσμα του <math>A</math> με ιδιοτιμή <math>\lambda</math>, η διαδικασία μπορει να αλλάξει μόνο το μήκος του ή να αναστρέψει τη φορά του (να κάνει το βέλος να δείχνει στην ακριβώς αντίθετη κατεύθυνση). Συγκεκριμένα, το μήκος του βέλους θα αυξηθεί αν <math>|\lambda| > 1</math>, θα παραμείνει ίδιο αν <math>|\lambda| = 1</math>, και θα μειωθεί αν <math>|\lambda|< 1</math>. Επιπλέον, η κατεύθυνση θα παραμείνει η ίδια αν <math>\lambda > 0</math>, και θα αναστραφεί, αν <math>\lambda < 0</math>. Αν <math>\lambda = 0</math>, το μήκος του βέλους γίνεται μηδέν.

====Ενα παράδειγμα====

[[File:Eigenvectors.gif|right|frame|Ο πίνακας μετασχηματισμού <math>\bigl[ \begin{smallmatrix} 2 & 1\\ 1 & 2 \end{smallmatrix} \bigr]</math> διατηρεί την κατεύθυνση των διανυσμάτων που είναι παράλληλα στο <math>\bigl[ \begin{smallmatrix} 1 \\ 1 \end{smallmatrix} \bigr]</math> (σε μπλε) και <math>\bigl[ \begin{smallmatrix} 1 \\ -1 \end{smallmatrix} \bigr]</math> (σε μωβ). Τα σημεία που κείτονται στη βασική ευθεία, παράλληλη σε ένα ιδιοδιάνυσμα, παραμένουν στην ευθεία αυτή και μετά τον μετασχηματισμό. Τα διανύσματα με κόκκινο δεν είναι ιδιοδιανύσματα, επομένως η κατεύθυνση τους αλλάζει από το μετασχηματισμό. Δείτε επίσης: [[:File:Eigenvectors-extended.gif|Μια επεκτεταμένη έκδοχη, που δείχνει και τα 4 τεταρτοκύκλια]].]]

Για τον πίνακα μετασχηματισμού
:<math>A = \begin{bmatrix} 3 & 1\\1 & 3 \end{bmatrix},</math>
το διάνυσμα
:<math>v = \begin{bmatrix} 4 \\ -4 \end{bmatrix}</math>
είναι ένα ιδιοδιάνυσμα με ιδιοτιμή 2. Πράγματι,
:<math>A v = \begin{bmatrix} 3 & 1\\1 & 3 \end{bmatrix} \begin{bmatrix} 4 \\ -4 \end{bmatrix} = \begin{bmatrix} 3 \cdot 4 + 1 \cdot (-4) \\ 1 \cdot 4 + 3 \cdot (-4) \end{bmatrix}</math>
::<math> = \begin{bmatrix} 8 \\ -8 \end{bmatrix} = 2 \cdot \begin{bmatrix} 4 \\ -4 \end{bmatrix}.</math>
Αντίθετα, το διάνυσμα
:<math>v = \begin{bmatrix} 0 \\ 1 \end{bmatrix}</math>
''δεν'' είναι ένα ιδιοδιάνυσμα, αφού
:<math>\begin{bmatrix} 3 & 1\\1 & 3 \end{bmatrix} \begin{bmatrix} 0 \\ 1 \end{bmatrix} = \begin{bmatrix} 3 \cdot 0 + 1 \cdot 1 \\ 1 \cdot 0 + 3 \cdot 1 \end{bmatrix} = \begin{bmatrix} 1 \\ 3 \end{bmatrix},</math>
και αυτό το διάνυσμα δεν είναι πολλαπλάσιο του αρχικού διανύσματος <math>v</math>.

====Αλλο ένα παράδειγμα====
Για τον πίνακα
:<math>A= \begin{bmatrix} 0 & 1 & 0\\0 & 2 & 0\\ 0 & 0 & 3\end{bmatrix},</math>
έχουμε
:<math>A \begin{bmatrix} 1\\0\\0 \end{bmatrix} = \begin{bmatrix} 0\\0\\0 \end{bmatrix} = 0 \cdot \begin{bmatrix} 1\\0\\0 \end{bmatrix},\quad\quad</math>
:<math>A \begin{bmatrix} 0\\0\\1 \end{bmatrix} = \begin{bmatrix} 0\\0\\3 \end{bmatrix} = 3 \cdot \begin{bmatrix} 0\\0\\1 \end{bmatrix},\quad\quad</math> και
:<math>A \begin{bmatrix} 1\\2\\0 \end{bmatrix} = \begin{bmatrix} 2\\4\\0 \end{bmatrix} = 2 \cdot \begin{bmatrix} 1\\2\\0 \end{bmatrix}.</math>
Επομένως, τα διανύσματα <math>[1,0,0]^\top</math>, <math>[0,0,1]^\top</math> και <math>[1,2,0]^\top</math> είναι ιδιοδιανύσματα του <math>A</math> που αντιστοιχούν στις ιδιοτιμές 0, 3, και 2, αντίστοιχα. (Εδώ το σύμβολο <math>{}^\top</math> δηλώνει την [[Πίνακας (μαθηματικά)#Πράξεις πινάκων|αναστροφή πίνακα]], στην προκειμένη περίπτωση, μετατρέποντας τα διανύσματα-γραμμές, σε διανύσματα-στήλες.)

====Τετριμμένες περιπτώσεις====
Ο [[Πίνακας (μαθηματικά)|ταυτoτικός πίνακας]] <math>I</math> (όπου το τυχαίο σημείο του <math>I_{i j}</math> είναι 1 αν <math>i = j</math>, και 0 σε κάθε άλλη περίπτωση) αντικατοπτρίζει κάθε διάνυσμα στον εαυτό του. Έτσι κάθε διάνυσμα είναι ένα ιδιοδιάνυσμα του <math>I</math>, με ιδιοτιμή 1.

Γενικότερα, αν ο <math>A</math> είναι ένας [[Πίνακας (μαθηματικά)#Είδη πινάκων|διαγώνιος πίνακας]] (με <math>A_{i j} = 0</math> όταν <math>i \neq j</math>), και <math>v</math> ένα διάνυσμα παράλληλο στον άξονα  <math>i</math> (το οποίο είναι <math>v_i \neq 0</math>, και <math>v_j = 0</math> αν <math>j \neq i</math>), τότε <math>A v = \lambda v</math> όπου <math>\lambda = A_{i i}</math>. Δηλαδή, οι ιδιοτιμές ενός διαγώνιου πίνακα είναι τα στοιχεία της κύριας διαγωνίου του. Αυτή είναι τετριμμένα και η περίπτωση ενός οποιουδήποτε  1 ×1 πίνακα

====Γενικός ορισμός====
Η έννοια των ιδιοτιμών και των ιδιοδιανυσμάτων επεκτείνεται φυσικά σε αόριστους [[Γραμμικός μετασχηματισμός|γραμμικούς μετασχηματισμούς]] σε αόριστους [[Διανυσματικός χώρος|ιδιοχώρους]]. Ονομαστικά, ας είναι <math>\mathbb{V}</math> οποιοσδήποτε ιδιοχώρος μέσα σε μία [[Σώμα (άλγεβρα)|πεδίο]] <math>\mathbb{K}</math> τών [[Μονόμετρο μέγεθος|μονοδιάστατων]], και ας είναι <math>T</math> μια χαρτογράφηση γραμμικού μετασχηματισμού <math>\mathbb{V}</math> σε <math>\mathbb{V}</math>. Λέμε πως ένα μη μηδενικό διάνυσμα <math>v</math> ενός  <math>\mathbb{V}</math> είναι ένα ιδιοδιάνυσμα του <math>T</math> αν(και μόνο αν) υπάρχει ένα μονοδιάστατο <math>\lambda</math> σε <math>\mathbb{K}</math> έτσι ώστε 
:<math>T(v)=\lambda v</math>. 
Αυτή η εξίσωση καλείται [[εξίσωση ιδιοτιμής]] για το <math>T</math>, και το μονοδιάστατο <math>\lambda</math> είναι η '''ιδιοτιμή''' του <math>T</math> που αντιστοιχεί στο διάνυσμα <math>v</math>. Το <math>T(v)</math> είναι το αποτέλεσμα της εφαρμογής του <math>T</math> στο διάνυσμα <math>v</math>, ενώ <math>\lambda v </math> το αποτέλεσμα του μοναδιαίου <math>\lambda</math> στο <math>v</math>.<ref>Βλέπε {{Harvnb|Korn|Korn|2000|loc=Section 14.3.5a}}; {{Harvnb|Friedberg|Insel|Spence|1989|loc=σελ. 217}}</ref>
Ο ορισμός για τους πίνακες είναι μια ειδική περίπτωση αυτού του γενικού ορισμού. Ονομαστικά ο ιδιοχώρος <math>\mathbb{V}</math> είναι το σύνολο όλων των διανυσμάτων στηλών μιας συγκεκριμένης διάστασης <math>n</math>×1, και <math>T</math> είναι ένας γραμμικός μετασχηματισμός που συνίσταται στoν πολλαπλασιασμό <math>n\times n</math> ενός διανύσματος με τον δοσμένο πίνακα <math>A</math>.

Μερικοί συντάκτες επιτρέπουν στο <math>v</math> να είναι το [[μηδενικό διάνυσμα]] στον ορισμό του ιδιοδιανύσματος.<ref>{{Citation|last=Axler|first= Sheldon |title=Linear Algebra Done Right|2η έκδοση |κεφάλαιο 5|σελίδα 77}}</ref> Κάτι τέτοιο είναι λογικό εφόσον ορίσουμε προσεκτικά τις ιδιοτιμές και τα ιδιοδιανύσματα: Αν θέλουμε να συμπεριλάβουμε στον ορισμό το μηδενικό διάνυσμα ώς ιδιοδιάνυσμα, πρέπει πρώτα να ορίσουμε μια ιδιοτιμή του  <math> T </math> ώς ένα μοναδιαίο <math> \lambda </math> σε <math> \mathbb{K} </math> έτσι ώστε να υπάρχει ένα ''μη μηδενικό'' διάνυσμα <math> v </math> σε <math> \mathbb{V} </math> με <math> T v = \lambda v </math>.
Όταν ορίζουμε ένα ιδιοδιάνυσμα να είναι ένα διάνυσμα <math> v </math> σε <math> \mathbb{V} </math> έτσι ώστε να υπάρχει μια ιδιοτιμή <math> \lambda </math> σε <math>\mathbb{K} </math> με <math> Tv = \lambda v </math>. Με αυτόν τον τρόπο βεβαιώνουμε πως δεν είμαστε στην περίπτωση που κάθε ιδιοτιμή αντιστοιχεί στο μηδενικό διάνυσμα.

===Ιδιοχώρος και φάσμα===
Αν το <math>v</math> είναι ένα ιδιοδιάνυσμα του <math>T</math>, με ιδιοτιμή <math>\lambda</math>, τότε κάθε [[γραμμικός συνδυασμός]] <math>\alpha v </math> του <math>v</math> με <math>\alpha</math> μη μηδενικό, είναι επίσης ένα ιδιοδιάνυσμα με ιδιοτιμή <math>\lambda</math>, αφού <math>T(\alpha v) = \alpha T(v) = \alpha(\lambda v) = \lambda(\alpha v)</math>. Επιπλέον, αν τα <math>u</math> και <math>v</math> είναι ιδιοδιανύσματα με την ίδια ιδιοτιμή <math>\lambda</math>, τότε το <math>u+v</math> είναι επίσης ένα ιδιοδιάνυσμα με την ίδια ιδιοτιμή <math>\lambda</math>. Επομένως, το σύνολο όλων των ιδιοδιανυσμάτων με την ίδια ιδιοτιμή <math>\lambda</math>, συμπεριλαμβανομένου του μηδενικού διανύσματος, είναι ένας [[γραμμικός υποχώρος]] του <math>\mathbb{V}</math>, που ονομάζεται '''ιδιοχώρος''' του <math>T</math> με παράμετρο <math>\lambda</math>.<ref>{{Harvnb|Shilov|1977|loc=σελ. 109}}</ref><ref>[[b:The Book of Mathematical Proofs/Algebra/Linear Transformations#Lemma for the eigenspace|Lemma for the eigenspace]]</ref> Αν ο υποχώρος αυτός έχει διάσταση 1, τότε συνήθως ονομάζεται '''ιδιογραμμή'''.<ref>''[http://books.google.com/books?id=pkESXAcIiCQC&pg=PA111 Schaum's Easy Outline of Linear Algebra]'', σελ. 111</ref>

Ο ''γεωμετρικός πολλαπλασιαστής'' <math>\gamma_T(\lambda)</math> μιας ιδιοτιμής <math>\lambda</math> είναι η διάσταση του ιδιοχώρου με παράμετρο <math>\lambda</math>, π.χ. ο αριθμός των [[Γραμμικη ανεξαρτησία|γραμμικά ανεξάρτητων]] ιδιοδιανυσμάτων με αυτή την ιδιοτιμή. Αυτά τα ιδιοδιανύσματα, μπορούν να επιλεγούν με τέτοιο τρόπο ώστε να είναι κατά ζεύγη [[ορθογώνια]] και να έχουν μήκος μονάδας κάτω από κάποιο αυθαίρετο [[εσωτερικό γινόμενο]] ορισμένο στον <math>\mathbb{V}</math>. Με άλλα λόγια, κάθε ιδιοχώρος έχει μια [[ορθοκανονική βάση]] αποτελούμενη από ιδιοδιανύσματα.

Αντίστροφα, κάθε ιδιοδιάνυσμα με ιδιοτιμή <math>\lambda</math> πρέπει να είναι γραμμικά ανεξάρτητο με όλα τα ιδιοδιανύσματα που είναι συνδεδεμένα με μια διαφορετική ιδιοτιμή <math>\lambda'</math>. Επομένως, ο γραμμικός μετασχηματισμός <math>T</math> που εφαρμόζεται σε ένα <math>n</math>-[[Διάσταση|διάστατο χώρο]] δεν μπορεί να έχει παραπάνω από <math>n</math> σαφείς ιδιοτιμές (ή ιδιοχώρους).<ref name="Shilov_lemma">Για την απόδειξη του λήμματος αυτού, Βλέπε {{Harvnb|Roman|2008|loc=Theorem 8.2 στη σελ. 186}}; {{Harvnb|Shilov|1977|σελ. 109}}; {{Harvnb|Hefferon|2001|σελ. 364}}; {{Harvnb|Beezer|2006|loc=Theorem EDELI στη σελ. 469}}; και [[b:Famous Theorems of Mathematics/Algebra/Linear Transformations#Lemma for linear independence of eigenvectors|Lemma for linear independence of eigenvectors]]</ref>

Κάθε υποχώρος που παράγεται από ιδιοδιανύσματα του <math>T</math> είναι ένας [[αμετάβλητος υποχώρος]] του <math>T</math>.

Το σύνολο των ιδιοτιμών του <math>T</math> ονομάζεται μερικές φορες το '''φάσμα''' του <math>T</math>. Η σειρά αυτού του συνόλου είναι αυθαίρετη, αλλά το πλήθος των φορών που εμφανίζεται μια ιδιοτιμή <math>\lambda</math> είναι σημαντικό.

Δεν υπάρχει μοναδικός τρόπος να διαλέξουμε μια βάση για έναν ιδιοχώρο ενός αυθαίρετου γραμμικού τελεστή <math>T</math> που να βασίζεται μόνο στον <math>T</math>, χωρίς κάποια επιπλέον στοιχεία, όπως η επιλογή της βάσης συντεταγμένων του  <math>\mathbb{V}</math>.  Ακόμη και για μια ιδιογραμμή, το διάνυσμα της βάσης είναι ασαφές και ως προς το μέγεθος, και ως προς την κατεύθυνσή του.  Αν ο βαθμωτός χώρος <math>\mathbb{K}</math> είναι ο χώρος των πραγματικών αριθμών <math>\mathbb{R}</math>, τότε μπορουμε να ορίσουμε τους ιδιοχώρους από τις ιδιοτιμές. Αφου το [[μόντουλο]] <math>|\lambda|</math> μιας ιδιοτιμής είναι σημαντικό σε πολλές εφαρμογές, οι ιδιοχώροι συχνά ορίζονται με αυτό το κριτήριο.

===Ιδιοβάση===
Μια '''ιδιοβάση''' ενός γραμμικού τελεστή <math>T</math> που εφαρμόζεται σε ένα διανυσματικό χώρο <math>\mathbb{V}</math> είναι μια βάση του <math>\mathbb{V}</math> που αποτελείται εξ'ολοκλήρου από ιδιοδιανύσματα του <math>T</math> (πιθανότατα με διαφορετικές ιδιοτιμές). Τετοιού είδους βάση μπορεί και να μην υπάρχει.

Ας υποθέσουμε ότι ο <math>\mathbb{V}</math> έχει πεπερασμένη διάσταση <math>n</math>, και ας θέσουμε <math>\boldsymbol{\gamma}_T</math> το άθροισμα των γεωμετρικών πολλαπλάσιων <math>\gamma_T(\lambda_i)</math> πάνω σε όλες τις ανεξάρτητες ιδιοτιμές <math>\lambda_i</math> του <math>T</math>.  Ο ακέραιος αυτός είναι ο μέγιστος αριθμός των γραμμικά ανεξάρτητων ιδιοδιανυσμάτων του <math>T</math>, κι επομένως δεν μπορεί να είναι μεγαλύτερος του <math>n</math>.  Αν το <math>\boldsymbol{\gamma}_T</math> είναι ακριβώς <math>n</math>, τότε ο <math>T</math> ορίζει μια ιδιοβάση, με προϋπόθεση ότι υπάρχει μια βάση του <math>\mathbb{V}</math> που αποτελείται από <math>n</math> ιδιοδιανύσματα. Ο πίνακας <math>A</math> που αντιπροσωπεύει τον <math>T</math> ως προς τη βάση αυτή, είναι ένας διαγώνιος πίνακας, του οποίου τα διαγώνια στοιχεία είναι οι ιδιοτιμές που αντιστοιχούν σε κάθε διάνυσμα της βάσης αυτής.

Αντίθετα, αν το άθροισμα <math>\boldsymbol{\gamma}_T</math> είναι μικρότερο του <math>n</math>, τότε ο <math>T</math> δεν ορίζει ιδιοβάση, και δεν υπάρχει κατάλληλη επιλογή συντεταγμένων, τέτοιες ώστε να επιτρέψουν τον <math>T</math> να αντικατασταθεί από ένα διαγώνιο πίνακα.

Ο <math>\boldsymbol{\gamma}_T</math> είναι τουλάχιστον ίσος με το πλήθος των ''ανεξάρτητων'' ιδιοτιμών του  <math>T</math>, αλλά μπορεί να είναι και μεγαλύτερος απ'αυτό.<ref>{{Citation|first=Gilbert|last=Strang|title=Linear Algebra and Its Applications|edition=3η|publisher=Harcourt|location= San Diego| year=1988}}</ref>  Για παράδειγμα, ο φορέας ταυτότητας <math>I</math> στον <math>\mathbb{V}</math> έχει <math>\boldsymbol{\gamma}_I = n</math>, και κάθε βάση του  <math>\mathbb{V}</math> είναι μια ιδιοβάση του <math>I</math>; αλλά η μόνη της ιδιοτιμή είναι το 1, με <math>\gamma_T(1) = n</math>.

==Γενικεύσεις σε άπειρο-διάστατους χώρους==

Ο ορισμός μιας ιδιοτιμής ενός γραμμικού μετασχηματισμού <math>T</math> μένει έγκυρος ακόμη και όταν ο χώρος <math>\mathbb{V}</math> είναι ένας απειροδιαστατος χώρος [[Χώρος Χίλμπερτ|Χίλμπερτ]] ή [[Χώρος Μπανάχ|Μπανάχ]]. Ονομαστικά, ένα μονοδιάστατο <math>\lambda</math> [[αν και μόνο αν]] υπάρχει ενα μη μηδενικό διάνυσμα <math>v</math> τέτοιο ώστε <math>T(v) = \lambda v</math>.

===Ιδιοσυναρτήσεις===
Μια ευρέως χρησιμοποιούμενη κλάση γραμμικών τελεστών πάνω σε απειροδιάστατους χώρους είναι οι [[διαφορικοί τελεστές]] σε [[χώρους συναρτήσεων]]. Ας είναι <math>D</math> ένας γραμμικός διαφορικός τελεστής σε έναν χώρο <math>\mathbf{C^\infty}</math> [[Απειροπαραγωγίσιμη συνάρτηση|απειροπαραγωγίσιμων]] πραγματικών συναρτήσεων, πραγματικού συντελεστή <math>t</math>. Η εξίσωση των ιδιοδιανυσμάτων του <math>D</math> είναι η διαφορική εξίσωση 
:<math>D f = \lambda f</math>
Οι συναρτήσεις που ικανοποιούν την εξίσωση συνήθως καλούνται '''[[ιδιοσυναρτήσεις]]'''. Για τον διαφορικό τελεστή <math>d/dt</math>, μια ιδιοσυνάρτηση είναι μια συνάρτηση η οποία, όταν παραγωγιστεί, αποδίδει την αρχική επί μία σταθερά. Αν <math>\lambda</math> είναι μηδέν, η γενική λύση είναι μια [[σταθερή συνάρτηση]]. Αν το <math>\lambda</math> είναι μη μηδενικό, η λύση είναι μια [[εκθετική συνάρτηση]] 
: <math>f(t) = Ae^{\lambda t}.\ </math>
Οι ιδιοσυναρτήσεις είναι ένα κύριο εργαλείο για την επίλυση διαφορικών εξισώσεων και πολλών ακόμα εφαρμοσμένων και θεωρητικών πεδίων. Για παράδειγμα οι εκθετικές συναρτήσεις είναι ιδιοσυναρτήσεις ενός οποιουδήποτε [[Τελεστής|μετατοπιστικά αμετάβλητου γραμμικού τελεστή]]. Το γεγονός αυτό είναι η βάση των ισχυρότατων μεθόδων μετασχηματισμού [[Ανάλυση Φουριέ|Φουριέ]] για την επίλυση προβλημάτων όλων των ειδών.

===Φασματική θεωρία===
Αν <math>\lambda</math> είναι μια ιδιοτιμή του <math>T</math>, τότε ο τελεστής <math>T-\lambda I</math> δεν είναι [[ένα προς ένα]], και έτσι το αντίστροφό του <math>(T-\lambda I)^{-1}</math> δεν ορίζεται. Το αντίστροφο ισχύει για πεπερασμένης διάστασης διανυσματικούς χώρους, αλλά όχι για απειροδιάστατους. Γενικά ο τελεστής <math>T - \lambda I</math> δεν έχει αντίστροφο, ακόμη και όταν το <math>\lambda</math> δεν είναι ιδιοτιμή.

Για αυτόν τον λόγο στη [[συναρτησιακή ανάλυση]] το ένα ορίζει το [[φασμα γραμμικού τελεστή|φάσμα ενός γραμμικού τελεστή]] <math>T</math> ώς σύνολο όλων των μονοδιάστατων <math>\lambda</math> για τα οποία ο τελεστής <math>T-\lambda I</math> δεν έχει [[Οριοθετημένος φορέας|οριοθετημένο]] αντίστροφο. Έτσι το φάσμα ενός τελεστή πάντα περιέχει όλες τις ιδιοτιμές, αλλά δεν περιορίζεται σε αυτές.

=== Άλγεβρες συσχετισμού και θεωρία αναπαράστασης===
Πιο αλγεβρικά αντί να γενικεύσουμε τον διανυσματικό χώρο σε έναν απειροδιάστατο χώρο, μπορούμε να γενικεύσουμε το αλγεβρικό αντικείμενο που δρα στον χώρο, αντικαθιστώντας έναν μονοδιάστατο τελεστή που δρα στον διανυσματικό χώρο με μια [[άλγεβρα αναπαράστασης]] - μια [[άλγεβρα συσχετισμού]] που δρα σε μία [[μονάδα]].Η μελέτη αυτών των φαινομένων είναι το πεδίο μελέτης της [[θεωρίας αναπαράστασης]].

Ενα καλύτερο ανάλογο των ιδιοτιμών δίνεται από τη [[θεωρητική-αναπαραστασιακή έννοια του βάρους]], με τα ανάλογα των ιδιοτιμών και ιδιοχώρων να είναι τα ''διανύσματα βάρους'' και οι ''χώροι βάρους'' αντίστοιχα.

==Ιδιοτιμές και ιδιοδιανύσματα πινάκων==

===Χαρακτηριστικό πολυώνυμο===
Η εξίσωση ιδιοτιμής για έναν πίνακα <math>A</math> είναι
: <math>A v = \lambda v,</math>
που είναι ισοδύναμο με
: <math>(A-\lambda I)v = 0,</math>
όπου <math>I</math> είναι ο <math>n\times n</math> [[ταυτοτικός πίνακας]]. Είναι ένα θεμελιώδες αποτέλεσμα της γραμμικής αλγέβρας ότι μια εξίσωση <math>M v = 0</math> έχει μια μη μηδενική λύση <math>v</math> αν και μόνο αν η [[ορίζουσα]] <math>\det(M)</math> του πίνακα <math>M</math> είναι μηδέν. Αμεσο επακόλουθο είναι ότι οι ιδιοτιμές του πίνακα <math>A</math> είναι ακριβώς οι πραγματικοί αριθμοί <math>\lambda</math> που ικανοποιούν την εξίσωση
: <math>\det(A-\lambda I) = 0</math>

Το αριστερό μέλος αυτής της εξίσωσης μπορούμε να το δούμε (χρησιμοποιώντας τον [[Κανόνας Leibniz|κανόνα Leibniz]] για την ορίζουσα) ως μία [[Πολυώνυμο|πολυωνυμική]] συνάρτηση της μεταβλητής <math>\lambda</math>. Ο [[Βαθμός πολυωνύμου|βαθμός]] του πολυωνύμου αυτού, είναι <math>n</math>, όσο και η τάξη του πίνακα. Οι [[Συντελεστής|συντελεστές]] του εξαρτώνται απο τις εκχωρήσεις στον <math>A</math>, με μόνη διαφορά ότι ο όρος βαθμού <math>n</math> είναι πάντα <math>(-1)^n\lambda^n</math>. Το πολυώνυμο αυτό ονομάζεται ''[[Χαρακτηριστικό πολυώνυμο]]'' του <math>A</math> και η παραπάνω εξίσωση, ''χαρακτηριστική εξίσωση'' (ή, πιο σπάνια, η ''κοσμική εξίσωση'') του <math>A</math>.

Για παράδειγμα, ας είναι <math>A</math> ο πίνακας
:<math>A =
\begin{bmatrix}
2 & 0 & 0 \\
0 & 3 & 4 \\
0 & 4 & 9
\end{bmatrix}</math>

Το χαρακτηριστικό πολυώνυμο του <math>A</math> είναι
:<math>\det (A-\lambda I) \;=\; \det \left(\begin{bmatrix}
2 & 0 & 0 \\
0 & 3 & 4 \\
0 & 4 & 9
\end{bmatrix} - \lambda
\begin{bmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{bmatrix}\right) \;=\;
\det \begin{bmatrix}
2 - \lambda & 0 & 0 \\
0 & 3 - \lambda & 4 \\
0 & 4 & 9 - \lambda
\end{bmatrix}</math>
που είναι
:<math> (2 - \lambda) \bigl[ (3 - \lambda) (9 - \lambda) - 16 \bigr] = \lambda^3 -14\lambda^2 + 35\lambda - 22</math>
Οι ρίζες του πολυωνύμου αυτού είναι 2, 1, και 11.  Πράγματι, αυτές οι τρεις είναι οι μόνες ιδιοτιμές του <math>A</math>, που αντιστοιχούν στα ιδιοδιανύσματα <math>[1,0,0]',</math> <math>[0,2,-1]',</math> και <math>[0,1,2]'</math> (ή κάθε μη μηδενικό πολλαπλάσιο τους).

====Στον πραγματικό χώρο====
Αφού οι ιδιοτιμές είναι οι ρίζες του χαρακτηριστικού πολυωνύμου, ένας <math>n\times n</math> πίνακας, έχει το πολύ <math>n</math> ιδιοτιμές.  Αν ο πίνακας έχει πραγματικά στοιχεία, οι συντελεστές του χαρακτηριστικού πολυωνύμου είναι όλοι πραγματικοί αριθμοί, αλλά το πολύωνυμο μπορεί να έχει λιγότερες από <math>n</math> πραγματικές ρίζες, ή καθόλου ρίζες.

Για παράδειγμα, ας θεωρήσουμε την [[Μετάθεση πίνακα|κυκλική μετάθεση]] του πίνακα
:<math>A = \begin{bmatrix} 0 & 1 & 0\\0 & 0 & 1\\ 1 & 0 & 0\end{bmatrix}</math>
Ο πίνακας αυτός αλλάζει τις συντεταγμένες οτυ διανύσματος κατά μία θέση προς τα πάνω, και μεταφέρει την πρώτη συντεταγμένη εντελώς κάτω. Το χαρακτηριστικό του πολυώνυμο, είναι <math>1 - \lambda^3</math> που έχει μία πραγματική ρίζα <math>\lambda_1 = 1</math>. Κάθε διάνυσμα με τρία ίσα μη μηδενικά στοιχεία, είναι ένα ιδιοδιάνυσμα αυτής της ιδιοτιμής. Για παράδειγμα,
:<math>
    A \begin{bmatrix} 5\\5\\5 \end{bmatrix} =
    \begin{bmatrix} 5\\5\\5 \end{bmatrix} =
    1 \cdot \begin{bmatrix} 5\\5\\5 \end{bmatrix}
  </math>

====Στο μιγαδικό χώρο====
Το [[Θεμελιώδες θεώρημα άλγεβρας|θεμελιώδες θεώρημα της άλγεβρας]] μας λέει ότι το χαρακτηριστικό πολυώνυμο ενός <math>n\times n</math> πίνακα <math>A</math>, όντας ένα πολυώνυμο βαθμού <math>n</math>, έχει ακριβώς <math>n</math> μιγαδικές [[Ρίζα (μαθηματικά)|ρίζες]]. Ακριβέστερα, μπορεί να [[Παραγοντοποίηση|παραγονοποιηθεί]] σε <math>n</math> γραμμικούς όρους,
:<math> \det(A-\lambda I) = (\lambda_1 - \lambda )(\lambda_2 - \lambda)\cdots(\lambda_n - \lambda)</math>
όπου κάθε <math>\lambda_i</math> είναι ένας μιγαδικός αριθμός. Οι αριθμοί <math>\lambda_1</math>, <math>\lambda_2</math>, ... <math>\lambda_n</math>,  (που μπορεί να μην είναι όλοι ξεχωριστοί) είναι ρίζες του πολυωνύμου, και είναι ακριβώς οι ιδιοτιμές του <math>A</math>.

Ακόμα κι αν τα στοιχεία του <math>A</math> είναι όλα πραγματικοί αριθμοί, οι ιδιοτιμές μπορεί ακόμα να έχουν μη μηδενικά φανταστικά μέρη (και τα στοιχεία των αντίστοιχων ιδιοδιανυσμάτων να έχουν επίσης μη μηδενικά φανταστικά μέρη). Επίσης, οι ιδιοτιμές μπορεί να είναι [[Άρρητος αριθμός|άρρητοι αριθμοί]] ακόμη κι αν όλα τα στοιχεία του <math>A</math> είναι  [[Πραγματικός αριθμός|πραγματικοί αριθμοί]], ή όλοι να είναι ακέραιοι. Παρόλαυτα, αν τα στοιχεία του <math>A</math> είναι [[Αλγεβρικός αριθμός|αλγεβρικοί αριθμοί]] (που περιλαμβάνουν τους ρητόυς αριθμούς), οι ιδιοτιμές θα είναι επίσης (μιγαδικοί) αλγεβρικοί αριθμοί.

Οι μη-πραγματικές ρίζες ενός πραγματικού πολυωνύμου με πραγματικούς συντελεστές μπορούν να ομαδοποιηθούν σε ζευγάρια [[Μιγαδικός αριθμός|συζυγών μιγαδικών]], έτσι ώστε σε κάθε ζευγάρι, οι δυο αριθμοί να έχουν το ίδιο πραγματικό μέρος, και αντίθετα φανταστικά μέρη. Αν ο βαθμός του πολυωνύμου είναι περιττόες, τότε από το [[θεώρημα ενδιάμεσων τιμών]] τουλάχιστον μία από τις ρίζες θα είναι πραγματική. Επομένως, κάθε πραγματικός πίνακας με περιττή τάξη θα έχει τουλάχιστον μία πραγματική ιδιοτιμή, ένω ένας πραγματικός πίνακας με άρτια τάξη μπορεί να μην έχει πραγματικές ιδιοτιμές.

Στο παράδειγμα του 3×3 κυκλικού πίνακα μετάθεσης <math>A</math> παραπάνω, το χαρακτηριστικό πολυώνυμο <math>1 - \lambda^3</math> έχει δύο επιπρόσθετες μη-πραγματικές ρίζες, οι οποίες είναι
:<math>\lambda_2 = -1/2 + \mathbf{i}\sqrt{3}/2\quad\quad</math> και <math>\quad\quad\lambda_3 = \lambda_2^* = -1/2 - \mathbf{i}\sqrt{3}/2</math>,
όπου <math>\mathbf{i}= \sqrt{-1}</math> είναι το φανταστικό μέρος. Να σημειωθεί ότι <math>\lambda_2\lambda_3 = 1</math>, <math>\lambda_2^2 = \lambda_3</math>, και <math>\lambda_3^2 = \lambda_2</math>. Τότε
:<math>
  A \begin{bmatrix} 1 \\ \lambda_2 \\ \lambda_3 \end{bmatrix} =
   \begin{bmatrix} \lambda_2\\ \lambda_3 \\1 \end{bmatrix} =
   \lambda_2 \cdot \begin{bmatrix} 1\\ \lambda_2 \\ \lambda_3 \end{bmatrix}
   \quad\quad
  </math> και <math>
   \quad\quad
   A \begin{bmatrix} 1 \\ \lambda_3 \\ \lambda_2 \end{bmatrix} =
   \begin{bmatrix} \lambda_3 \\ \lambda_2 \\ 1 \end{bmatrix} =
   \lambda_3 \cdot \begin{bmatrix} 1 \\ \lambda_3 \\ \lambda_2 \end{bmatrix}
  </math>
Επομένως, τα διανύσματα <math>[1,\lambda_2,\lambda_3]'</math> και <math>[1,\lambda_3,\lambda_2]'</math> είναι ιδιοδιανύσματα του <math>A</math>, με ιδιοτιμές 1, <math>\lambda_2</math>, και <math>\lambda_3</math>, αντίστοιχα.

===Αλγεβρικές πολλαπλότητες===
Ας είναι <math>\lambda_i</math> μια ιδιοτιμή ενός <math>n\times n</math> πίνακα <math>A</math>. Η ''αλγεβρική πολλαπλότητα'' <math>\mu_A(\lambda_i)</math> του <math>\lambda_i</math> είναι η [[Πολλαπλότητα ρίζας πολυωνύμου|πολλαπλότητα]] του χαρακτηριστικου πολυωνύμου, η οποία είναι ο μεγαλύτερος ακέραιος αριθμός <math>k</math> τέτοιος ώστε το <math>(\lambda - \lambda_i)^k</math> να [[Διαίρεση πολυωνύμων|διαιρεί τέλεια]] το πολυώνυμο αυτό.

Οπως και η γεωμετρική πολλαπλότητα <math>\gamma_A(\lambda_i)</math>, η αλγεβρική πολλαπλότητα είναι ένας ακέραιος ανάμεσα στο 1 και το <math>n</math>, και το άθροισμα <math>\boldsymbol{\mu}_A</math> του <math>\mu_A(\lambda_i)</math> πάνω απ'όλες τις ''ξεχωριστές'' ιδιοτιμές επίσης δεν μπορεί να είναι μεγαλύτερο του <math>n</math>. Αν ληφθούν υπ'όψιν και οι μιγαδικές ιδιοτιμές, το <math>\boldsymbol{\mu}_A</math> είναι ακριβώς <math>n</math>.

Μπορεί να αποδειχθεί ότι η γεωμετρική πολλαπλότητα <math>\gamma_A(\lambda_i)</math> μιας ιδιοτιμής, ποτέ δεν μπορεί να είναι μεγαλύτερη της αλγεβρικής πολλαπλότητας <math>\mu_A(\lambda_i)</math>. Επομένως, το <math>\boldsymbol{\gamma}_A</math> είναι το πολύ <math>\boldsymbol{\mu}_A</math>.

====Παράδειγμα====
Για τον πίνακα:
<math>A= \begin{bmatrix}
2 & 0 & 0 & 0 \\
1 & 2 & 0 & 0 \\
0 & 1 & 3 & 0  \\
0 & 0 & 1 & 3  
\end{bmatrix},</math>
:το χαρακτηριστικό πολυώνυμο του <math>A</math> είναι <math>\det (A-\lambda I) \;=\;
\det \begin{bmatrix}
2- \lambda & 0 & 0 & 0 \\
1 & 2- \lambda & 0 & 0 \\
0 & 1 & 3- \lambda & 0  \\
0 & 0 & 1 & 3- \lambda  
\end{bmatrix}=  (2 - \lambda)^2 (3 - \lambda)^2 </math>,
:όντας το παράγωγο του διαγώνιου και ενός κάτω τριγωνικού πίνακα

Οι ρίζες αυτού του πολυωνύμου, και κατά συνέπεια και οι ιδιοτιμές του, είναι 2 και 3
Η ''αλγεβρική πολλαπλότητα'' κάθε ιδιοτιμής είναι 2, με άλλα λόγια είναι και οι δυο διπλές ρίζες.
Από την άλλη, η ''γεωμετρική πολλαπλότητα'' της ιδιοτιμής 2 είναι μόνο 1, αφού ο ιδιοχώρος του παράγεται από το διάνυσμα <math>[0,1,-1,1]</math>, και είναι συνεπώς μονοδιάστατος.
Παρομοίως, η γεωμετρική πολλαπλότητα της ιδιοτιμής 3 είναι 1 επειδή ο ιδιοχώρος του παράγεται από το <math>[0,0,0,1]</math>. Επομένως, η ολική αλγεβρική πολλαπλότητα του A,(σύμβολο <math>\mu_A</math>), είναι 4, το οποίο είναι το μέγιστο που θα μπορούσε να είναι, για έναν 4x4 πίνακα. Η γεωμετρική πολλαπλότητα <math>\gamma_A</math> είναι 2, που είναι το ελάχιστο που θα μπορούσε να είναι για έναν πίνακα με 2 ξεχωριστές ιδιοτιμές.

===Διαγωνιοποίηση και ιδιοαποσύνθεση===
Αν το σύνολο <math>\boldsymbol{\gamma}_A</math> της γεωμετρικής πολλαπλότητας όλων των ιδιοτιμών είναι ακριβώς <math>n</math>, τότε ο <math>A</math> έχει ένα σύνολο <math>n</math> γραμμικά ανεξάρτητων ιδιοδιανυσμάτων.  Ας είναι <math>Q</math> ένας τετράγωνος πινάκας του οποίου οι στήλες είναι αυτά τα ιδιοδιανύσματα, σε οποιαδήποτε σείρα. Έπειτα θα έχουμε <math>A Q = Q\Lambda </math>, όπου <math>\Lambda</math> είναι ο διαγώνιος πίνακας τέτοιος ώστε <math>\Lambda_{i i}</math> να είναι η ιδιοτιμη που αντιστοιχεί στη στήλη  <math>i</math> του <math>Q</math>. Εφόσον οι στήλες του <math>Q</math> είναι γραμμικά ανεξάρτητες, ο πίνακας <math>Q</math> είναι αντιστρέψιμος. Πολαπλασιάζοντας και από τις δύο πλευρές <math>Q^{-1}</math> παίρνουμε <math>Q^{-1}A Q = \Lambda</math>.  Εξ' ορισμού, ο πίνακας <math>A</math> είναι [[διαγωνιοποιήσιμος πίνακας|διαγωνιοποιήσιμος]].

Αντίστροφα, αν ο <math>A</math> είναι διαγωνιοποιήσιμος, ας είναι <math>Q</math> ενας μη μοναδιαίος τετραγωνικός πίνακας, τέτοιος ώστε ο <math>Q^{-1} A Q</math> να είναι κάποιος διαγώνιος πίνακας <math>D</math>. Πολλαπλασιάζοντας και απο τις δύο πλευρές, στα αριστερά με τον <math>Q</math> παίρνουμε <math>A Q = Q D </math>.  Ετσι, κάθε στήλη του <math>Q</math> είναι ένα ιδιοδιάνυσμα του <math>A</math>, του οποίου η ιδιοτιμή είναι το αντίστοιχο στοιχείο του διαγώνιου <math>D</math>. Εφόσον οι στήλες <math>Q</math> πρέπει να είναι γραμμικά ανεξάρτητες, έπεται ότι <math>\boldsymbol{\gamma}_A = n</math>. Προκύπτει λοιπόν πως <math>\boldsymbol{\gamma}_A</math> είναι ίσο με  <math>n</math> αν και μόνο αν <math>A</math> είναι διαγωνιοποιήσιμος.

Αν <math>A</math> είναι διαγωνιοποιήσιμος, ο χώρος όλων των <math>n</math>-στοιχείων διανυσμάτων μπορεί να αποσυντεθεί στο ευθύ άθροισμα των ιδιοχώρων του <math>A</math>. Αυτή η αποσύνθεση καλείται [[ιδιοαποσύνθεση πίνακα|ιδιοαποσύνθεση]] ενός πίνακα <math>A</math>, και μένει αναλλοίωτη στις αλλαγές συντεταγμένων.

Ένας μη διαγωνιοποιήσιμος πίνακας λέγεται [[ελαττωματικός πίνακας|ελαττωματικός]]. Για ελαττωματικούς πίνακες, η έννοια του ιδιοδιανύσματος μπορεί να γενικευτεί σε [[γενικευμένα ιδιοδιανύσματα]], και αυτά ενος διαγώνιου σε έναν [[Πίνακας Τζόρνταν|Τζόρνταν μορφής]] πίνακα. Σε ένα αλγεβρικά κλειστό πεδίο, κάθε πίνακας <math>A</math> έχει Τζόρνταν μορφή και έτσι συμμετέχει σε μία βάση γενικευμένων ιδιοδιανυσμάτων, και μία αποσύνθεση σε έναν [[Γενικευμένος ιδιοχώρος|γενικευμένο ιδιοχώρο]].

===Επιπλέον ιδιότητες===
Ας είναι <math>A</math> ένας αυθαίρετος <math>n\times n</math> πίνακας με μιγαδικά στοιχεία, και ιδιοτιμές <math>\lambda_1</math>, <math>\lambda_2</math>, ... <math>\lambda_n</math>. (Εδώ γίνεται κατανοητό ότι μια ιδιοτιμή με αλγεβρική πολλαπλότητα <math>\mu</math> εμφανίζεται <math>\mu</math> φορές στο σύνολο αυτο.) Τότε,
* Το [[Ίχνος πίνακα|ίχνος]] του <math>A</math>, ορισμένο ως το άθροισμα των στοιχείων της κύριας διαγωνίου του, είναι επίσης το άθροισμα όλων των ιδιοτιμών:
:<math>\operatorname{tr}(A) = \sum_{i=1}^n A_{i i} = \sum_{i=1}^n \lambda_i = \lambda_1+ \lambda_2 +\cdots+ \lambda_n</math>.
* Η [[ορίζουσα]] του <math>A</math> είναι το γινόμενο όλων των ιδιοτιμών:
:<math>\operatorname{det}(A) = \prod_{i=1}^n \lambda_i=\lambda_1\lambda_2\cdots\lambda_n</math>.
* Οι ιδιοτιμές της <math>k</math>-στης δύναμης του <math>A</math>, δήλαδη οι ιδιοτιμές του <math>A^k</math>, για κάθε θετικό ακέραιο <math>k</math>, είναι <math>\lambda_1^k,\lambda_2^k,\dots,\lambda_n^k</math>
* Ο πίνακας <math>A</math> είναι αντιστρέψιμος αν και μόνο αν όλες οι ιδιοτιμές του <math>\lambda_i</math> είναι μη μηδενικές.
* Αν ο <math>A</math> είναι αντιστρέψιμος, τότε οι ιδιοτιμές του <math>A^{-1}</math> είναι <math>1/\lambda_1,1/\lambda_2,\dots,1/\lambda_n</math>
* Αν ο <math>A</math> είναι ίσος με τον [[Προσαρτημένος πίνακας|προσαρτημένο]] του, <math>A^*</math> (με άλλα λόγια, αν ο <math>A</math> είναι [[Ερμιτιανός πίνακας|ερμιτιανός]]), τότε κάθε ιδιοτιμή του είναι πραγματική. Το ίδιο ισχύει και για κάθε [[Συμμετρικός πίνακας|συμμετρικό]] πραγματικό πίνακα. Αν ο <math>A</math> είναι επίσης [[Θετικά ορισμένος πίνακας|θετικά ορισμένος]], θετικά ημιορισμένος, αρνητικά ορισμένος, ή αρνητικά ημιορισμένος, τοτέ κάθε ιδιοτιμή είναι θετική, μη αρνητική, αρνητική, ή μη θετική αντίστοιχα.
* Κάθε ιδιοτιμή ενός [[Ενιαίος πίνακας|ενιαίου πίνακα]], έχει απόλυτη τιμή <math>|\lambda|=1</math>.

===Αριστερές και δεξιές ιδιοτιμές===
Η χρήση των πινάκων που αποτελούνται από μία στήλη (αντί για μία σειρά) για να αντιπροσωπεύουν διανύσματα, είναι παραδοσιακή σε πολλούς κλάδους. Για το λόγο αυτό, η λέξη "ιδιοδιάνυσμα" σχέδον πάντα εκφράζει ένα '''δεξί ιδιοδιάνυσμα''', δηλαδή ένα διάνυσμα στήλη που πρέπει να τοποθετηθεί ''δεξιά'' από τον πίνακα <math>A</math> στη χαρακτηριστική εξίσωση.
:<math>A v = \lambda v</math>.

Μπορεί επίσης να υπάρχουν διανύσματα-''γραμμές'' τα οποία δεν μεταβάλλονται όταν τοποθετηθούν στα ''αριστερά'' ένος γινομένου με έναν τετράγωνο πίνακα <math>A</math>. Αυτά ικανοποιούν την εξίσωση
:<math>u A = \lambda u</math>

Κάθε διάνυσμα <math>u</math> με αυτή την ιδιοτητα, ονομάζεται '''αριστερό ιδιοδιάνυσμα''' του A.

Τα αριστερά ιδιοδιανύσματα του <math>A</math> είναι ανάστροφα των δεξιών ιδιοδιανυσμάτων του ανάστροφου πίνακα <math>A^\top</math>, αφού η χαρακτηριστική τους εξίσωση είναι ισοδύναμη με
:<math>A^\top u^\top  = \lambda u^\top</math>

Επακόλουθο είναι ότι, αν ο <math>A</math> είναι ερμιτιανός, τα αριστερά και δεξιά ιδιοδιανύσματα του είναι [[Μιγαδικά συζυγής διανυσματικός χώρος|μιγαδικα συζυγής χώρος]]. Ειδικά, αν ο <math>A</math> είναι ένας πραγματικός συμμετρικός πίνακας, είναι ίδιοι σε όλα εκτός από την αναστροφή.

==Υπολογισμός==

===Υπολογισμός των ιδιοτιμών===
Οι ιδιοτιμές ενός πίνακα <math>A</math> μπορούν να προσδιοριστούν βρίσκοντας τις ρίζες του χαρακτηριστικού πολυωνύμου. Σαφείς [[Εξίσωση|αλγεβρικοί τύποι]] για τις ρίζες ενός πολυωνύμου υπάρχουν μόνο άν ο βαθμός του <math>n</math> είναι 4 ή μικρότερος. Σύμφωνα με το θεώρημα [[Θέωρημα Αμπέλ-Ρουφινί|Αμπέλ-Ρουφινί]] δεν υπάρχει γενικός, σαφής και ακριβής αλγεβρικός τύπος που να υπολογίζει τις ρίζες ενός πολυωνύμου βαθμού 5 ή μεγαλύτερου.

Προκύπτει ότι κάθε πολυώνυμο βαθμού <math>n</math> είναι το χαρακτηριστικό πολυώνυμο κάποιου [[Συνοδευτικός πίνακας|συνοδευτικού πίνακα]] τάξης <math>n</math>. Επομένως, για πίνακες τάξης 5 ή παραπάνω, οι ιδιοτιμές και τα ιδιοδιανύσματα δεν μπορούν να προκύψουν από έναν ειδικό αλγεβρικό τύπο, και πρέπει συνεπώς να υπολογιστούν με [[Αριθμητική ανάλυση|προσεγγιστικές μεθόδους]].

Θεωρητικά, οι συντελεστές του χαρακτηριστικού πολυωνύμου μπορούν να υπολογιστούν ακριβώς, αφού είναι αθροίσματα γινομένων από στοιχεία πινάκων, και υπάρχουν αλγόριθμοι που μπορούν να βρουν όλες τις ρίζες ενός πολυωνύμου αυθαίρετου βαθμού με όση [[ακρίβεια]] ζητηθεί.<ref name=TrefethenBau/> Παρόλαυτα, η προσέγγιση αυτή δεν είναι εφικτή στην πράξη, επειδή οι συντελεστές θα επηρεάζονταν από αναπόφευκτα [[Στρογγυλοποίηση|λάθη στρογγυλοποίησης]], και οι ρίζες ενός πολυωνύμου μπορει να είναι μια εξαιρετικά ευαίσθητη συνάρτηση των συντελεστών. (Οπως για παράδειγμα το [[Πολυώνυμο Wilkinson|πολυώνυμο του Wilkinson]]).<ref name=TrefethenBau>{{Citation|first1=Lloyd N. |last1=Trefethen |first2= David|last2= Bau|title=Numerical Linear Algebra|publisher=SIAM|year=1997}}</ref>

Αποτελεσματικές, ακριβείς μέθοδοι υπολογισμού ιδιοτιμών και ιδιοδιανυσμάτων τυχαίων πινάκων δεν ήταν γνωστές, μέχρι την επινόηση του [[Αλγόριθμος QR|αλγορίθμου QR]] το 1961.
<ref name=TrefethenBau/> Συνδυάζοντας τον [[Μετασχηματισμός Χαουζχόλντερ|μετασχηματισμό Χαουζχόλντερ]] με την LU αποσύνθεση, παίρνουμε αποτελέσματα σε έναν αλγόριθμο με καλύτερη σύγκλιση από τον αλγόριθμο QR. Για μεγάλους [[Ερμιτιανός πίνακας|ερμιτιανούς]] [[Αραιός πίνακας|αραιούς πίνακες]], ο [[αλγόριθμος Λάνκζος]] είναι ένα παράδειγμα μιας αποτελεσματικής [[Αριθμητική ανάλυση|επαναληπτικής μεθόδου]] για να υπολογίσουμε ιδιοτιμές και ιδιοδιανύσματα, ανάμεσα σε αρκετές άλλες πιθανότητες.<ref name=TrefethenBau/>

===Υπολογισμός των ιδιοδιανυσμάτων===
Αν είναι γνωστή η (ακριβής) τιμή μιας ιδιοτιμής, το αντίστοιχο ιδιοδιάνυσμα μπορεί να βρεθεί υπολογίζοντας τις μη-μηδενικές λύσεις της εξίσωσης ιδιοτιμής, η οποίες μετατρέπονται σε ένα [[Σύστημα εξισώσεων|γραμμικό σύστημα εξισώσεων]] με γνωστούς συντελεστές. Για παράδειγμα, αν είναι γνωστό ότι το 6 είναι μια ιδιοτιμή του πίνακα
:<math>A = \begin{bmatrix} 4 & 1\\6 & 3 \end{bmatrix}</math>
μπορούμε να βρούμε α ιδιοδιανύσματά του λύνοντας την εξίσωση <math>A v = 6 v</math>, που είναι 
:<math>\begin{bmatrix} 4 & 1\\6 & 3 \end{bmatrix}\begin{bmatrix}x\\y\end{bmatrix} = 6 \cdot \begin{bmatrix}x\\y\end{bmatrix}</math>
Αυτή η εξίσωση πινάκων είναι ισοδύναμη με δύο [[Εξίσωση|γραμμικές εξισώσεις]]
:<math>
  \left\{\begin{matrix} 4x + {\ }y &{}= 6x\\6x + 3y &{}=6 y\end{matrix}\right.
  \quad\quad\quad</math> το οποίο είναι ισοδύναμα <math>
  \left\{\begin{matrix} -2x+ {\ }y &{}=0\\+6x-3y &{}=0\end{matrix}\right.
</math>
Και οι δύο αυτές εξισώσεις απλοποιούνται στην <math>y=2x</math>. Έτσι, κάθε διάνυσμα της μορφής <math>[a,2a]'</math>, για κάθε μη-μηδενικό πραγματικό αριθμό <math>a</math>, είναι ένα ιδιοδιάνυσμα του <math>A</math> με ιδιοτιμή <math>\lambda = 6</math>.

Ο παραπάνω πίνακας <math>A</math> έχει και μια άλλη ιδιοτιμή, την <math>\lambda=1</math>. Ένας παρόμοιος υπολογισμός δείχνει ότι τα αντίστοιχα ιδιοδιανύσματα είναι οι μη-μηδενικές λύσεις της <math>3x+y=0</math>, που είναι, οποιοδήποτε διάνυσμα τις μορφής <math>[b,-3b]'</math>, για κάθε πραγματικό αριθμό <math>b</math>.

Μερικές αριθμητικές μέθοδοι για τον υπολογισμό των ιδιοτιμών ενός πίνακα επίσης ορίζουν ένα σύνολο αντιστοίχων ιδιοδιανυσμάτων ως ένα παραπροϊόν του υπολογισμού.

==Ιστορία==
Οι ιδιοτιμές συνήθως συστήνονται μέσα από το περιεχόμενο της [[Γραμμική άλγεβρα|γραμμικής άλγεβρας]] ή της [[Πίνακας (μαθηματικά)|θεωρίας πινάκων]]. Αντιθέτως, ιστορικά, αναπτύχθηκαν με τη μελέτη των [[Τετραγωνική μορφή πίνακα|τετραγωνικών μορφών]] και των [[Διαφορική εξίσωση|διαφορικών εξισώσεων]].

Ο [[Λέοναρντ Όιλερ|Όιλερ]] μελέτησε την περιστροφική κίνηση ενός [[Άκαμπτο σώμα|άκαμπτου σώματος]] και ανακάλυψε τη σημασία των [[Καρτεσιανό σύστημα συντεταγμένων|κύριων αξόνων]]. Ο [[Ζοζέφ Λουί Λαγκράνζ|Λαγκράνζ]] ανακάλυψε ότι οι κύριοι άξονες είναι ιδιοδιανύσματα του αδρανούς πίνακα.<ref>Βλέπε {{Harvnb|Hawkins|1975|loc=§2}}</ref> Στις αρχές του 19ου αιώνα, ο [[Ωγκυστέν-Λουί Κωσύ|Κωσύ]] είδε πώς ή δουλεία τους θα μπορούσε να χρησιμοποιηθεί για να ταξινομήσει τις [[Τετραγωνική επιφάνεια|τετραγωνικές επιφάνειες]], και το γενίκευσε σε αυθαίρετες διαστάσεις.<ref name="hawkins3">Βλέπε {{Harvnb|Hawkins|1975|loc=§3}}</ref> Επίσης, ο Κωσύ επινόησε τον όρο ''racine caractéristique'' (χαρακτηριστική ρίζα) για αυτό που σήμερα εμείς ονομάζουμε ''ιδιοτιμή''. Ο όρος του παραμένει και χρησιμοποιείται πλέον στη ''[[χαρακτηριστική εξίσωση]]''.<ref name="kline807">Βλέπε {{Harvnb|Kline|1972|loc=σελ. 807–808}}</ref>

Ο [[Ζοζέφ Φουριέ|Φουριέ]] χρησιμοποίησε το έργο του Λαπλάς και του Λαγκρανζ για να λύσει την [[εξίσωση θερμότητας]] για διαχωρισμένες μεταβλητές στο διάσημο βιβλίο του από το 1822 ''[[Théorie analytique de la chaleur]]''.<ref>Βλέπε {{Harvnb|Kline|1972|loc=σελ. 673}}</ref> Ο [[Ζακ Τσαρλς Φρανσουά Στερμ|Στερμ]] ανέπτυξε παραπάνω τις ιδέες του Φουριε και της έφερε στην προσοχή του Κωσύ, ο οποίος τις συνδύασε με τις δικές του ιδέες και κατέληξε στο γεγονός ότι οι πραγματικοί συμμετρικοί πίνακες, έχουν πραγματικές ιδιοτιμές.<ref name="hawkins3" /> Αυτό, επεκτάθηκε από τον [[Τσαρλς Ερμίτ|Ερμίτ]] το 1855 σε αυτό που σήμερα ονομάζεται [[ερμιτιανός πίνακας]].<ref name="kline807" /> Περίπου την ίδια περίοδο, ο [[Φραντσέσκο Μπριόσι|Μπριόσι]], απέδειξε ότι οι ιδιοτιμές ενός [[Ορθογώνιος πίνακας|ορθογώνιου πίνακα]] βασίζονται στο [[Μοναδιαίος κύκλος|μοναδιαίο κύκλο]],<ref name="hawkins3" /> και ο [[Άλφρεντ Κλεμπς|Κλεμπς]] βρήκε το αντίστοιχο αποτέλεσμα για τους [[Αντισυμμετρικός πίνακας|αντισυμμετρικούς πίνακες]].<ref name="kline807" /> Τελικά, ο [[Καρλ Βάιερστρας|Βάιερστρας]] διευκρίνισε μια σημαντική οπτική της [[Θεωρία της σταθερότητας|θεωρίας της σταθερότητας]] ξεκινώντας απο τον Λαπλάς συνειδητοποιώντας ότι οι [[Ελλιπής πίνακας|ελλιπείς πίνακες]] μπορούν να προκαλέσουν αστάθεια.<ref name="hawkins3" />

Εν τω μεταξύ, ο [[Τζοζέφ Λιουβίλ|Λιουβίλ]] μελέτησε προβλήματα ιδιοτιμών παρόμοια με εκείνα του Στέρμ: ο κλάδος που προέκυψε από την δουλέια τους καλείται πλέον ''[[Θεωρία των Λιουβίλ-Στέρμ]]''.<ref>Βλέπε {{Harvnb|Kline|1972|loc=σελ. 715–716}}</ref> Ο [[Χέρμαν Σβαρτς|Σβαρτς]] μελέτησε την πρώτη ιδιοτιμή της [[Λαπλασιανής εξίσωσης]] σε γενικούς τομείς μέχρι το τέλος του 19ου αιώνα, ενώ ο [[Ανρί Πουανκαρέ|Πουανκαρέ]] μελέτησε την [[Εξίσωση Πουασόν|εξίσωση του Πουασόν]] μερικά χρόνια μετά.<ref>Βλέπε {{Harvnb|Kline|1972|loc=σελ. 706–707}}</ref>

Στις αρχές του 20ου αιώνα, ο [[Δαβίδ Χίλμπερτ|Χίλμπερτ]] μελέτησε τις ιδιοτιμές του [[ολοκληρωματικού τελεστή]] βλέποντας τους τελεστές σαν απειροδιάστατους πίνακες.<ref>Βλέπε {{Harvnb|Kline|1972|loc=σελ. 1063}}</ref> Ήταν ο πρώτος που χρησιμοποίησε την [[Γερμανική γλώσσα|γερμανική]] λέξη ''eigen'' για να δηλώσει τις ιδιοτιμές και τα ιδιοδιανύσματα το 1904, αν και ακολουθούσε ήδη μια σχετική ονομασία απο τον [[Χέλμχολντς]]. Για κάποιο χρονικό διάστημα, ο όρος που χρησιμοποιούνταν ήταν "κανονική τιμή"(proper value), αλλα ο πιό χαρακτηριστικός όρος "ιδιοτιμή"(eigenvalue) έχει επικρατήσει.<ref>Βλέπε {{Harvnb|Aldrich|2006}}</ref>

Ο πρώτος αριθμητικός αλγόριθμος για τον υπολογισμό των ιδιοτιμών και ιδιοδιανυσμάτων εμφανίστηκε το 1929, όταν ο [[Ριχάρδος ο γηραιότερος βόν Μίσις|βόν Μίσις]] εξέδωσε την [[μέθοδο τις κίνησης]]. Μία από τις πιο δημοφιλείς μεθόδους σήμερα είναι, Ο [[QR αλγόριθμος]], που προτάθηκε ανεξάρτητα, από τον [[Τζον Γ.Φ. Φρανσίς]]<ref>{{Citation|first=J. G. F. |last=Francis|title=The QR Transformation, I (part 1)|journal=The Computer Journal|volume= 4|issue= 3|pages =265–271 |year=1961|doi=10.1093/comjnl/4.3.265}} και {{Citation|doi=10.1093/comjnl/4.4.332|first=J. G. F. |last=Francis|title=The QR Transformation, II (part 2)|journal=The Computer Journal|volume=4|issue= 4| pages= 332–345|year=1962}}</ref> και τον [[Βέρα Κουμπλανόφσκαγια]]<ref>{{Citation|first=Vera N. |last=Kublanovskaya|title=Σε μερικούς αλγόριθμους για τη λύση του ολοκληρωμένου προβλήματος ιδιοτιμής|journal=USSR Computational Mathematics and Mathematical Physics|volume= 3| pages= 637–657 |year=1961}}. Επίσης βόν Μίσις σε: {{Citation|journal=Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki|volume=1|issue=4| pages =555–570 |year=1961}}</ref> in 1961.<ref>Βλέπε {{Harvnb|Golub|van Loan|1996|loc=§7.3}}; {{Harvnb|Meyer|2000|loc=§7.3}}</ref>

==Εφαρμογές==

===Ιδιοτιμές γεωμετρικών μετασχηματισμών===
Ο ακόλουθος πίνακας παρουσιάζει κάποια παραδείγματα μετασχηματισμών μαζί με ένα πλάνο 2×2 πινάκων, ιδιοτιμών, και ιδιοδιανυσμάτων.
{| class="wikitable" style="text-align:center; margin:1em auto 1em auto;"
|-
|
| [[Κλιμάκωση (γεωμετρία)|κλιμάκωση]]
| άνιση κλιμάκωση
| [[Περιστροφή (γεωμετρία)|περιστροφή]]
| [[Χαρτογράφηση διάτμησης|οριζόντια διάτμηση]]
| [[Υπερβολική περιστροφή]]
|-
|απεικόνιση
|| [[File:Homothety in two dim.svg|100px|Equal scaling ([[homothety]])]]
|| [[File:Unequal scaling.svg|100px|Vertical shrink (<math>k_2 < 1</math>) and horizontal stretch (<math>k_1 > 1</math>) of a unit square.]]
|| [[File:Rotation.png|100px|Rotation by 50 degrees]]
|| [[File:Shear.svg|100px|center|Horizontal shear mapping]]
|| [[File:Squeeze r=1.5.svg|100px|<math>e^\top = \frac 3 2</math>]]
|-
|πίνακας
| <math> \begin{bmatrix}k & 0\\0 & k\end{bmatrix}</math><br />&nbsp;<br />&nbsp;
| <math> \begin{bmatrix}k_1 & 0\\0 & k_2\end{bmatrix}</math><br />&nbsp;<br />&nbsp;
| <math> \begin{bmatrix}c & -s \\ s & c\end{bmatrix} </math><br /><math>c=\cos\theta</math><br /><math>s=\sin\theta</math>
| <math> \begin{bmatrix}1 & k\\ 0 & 1\end{bmatrix} </math><br />&nbsp;<br />&nbsp;
| <math>\begin{bmatrix} c & s \\ s & c \end{bmatrix}</math><br /><math>c=\cosh \varphi</math><br /><math>s=\sinh \varphi</math>
|-
|χαρακτηριστικό<br /> πολυώνυμο
| <math>\ (\lambda - k)^2</math>
| <math>(\lambda - k_1)(\lambda - k_2)</math>
| <math>\lambda^2 - 2c\lambda + 1</math>
| <math>\ (\lambda - 1)^2</math>
| <math>\lambda^2 - 2c\lambda + 1</math>
|-
|ιδιοτιμές <math>\lambda_i</math>
|<math>\lambda_1 = \lambda_2 = k</math>
|<math>\lambda_1 = k_1</math><br /><math>\lambda_2 = k_2</math>
|<math>\lambda_1 = e^{\mathbf{i}\theta}=c+s\mathbf{i}</math><br /><math>\lambda_2 = e^{-\mathbf{i}\theta}=c-s\mathbf{i}</math>
|<math>\lambda_1 = \lambda_2 = 1</math>
|<math>\lambda_1 = e^\varphi</math><br /><math>\lambda_2 = e^{-\varphi}</math>,
|-
|αλγεβρική πολλαπλ.<br /><math>\mu_i=\mu(\lambda_i)</math>
|<math>\mu_1 = 2</math>
|<math>\mu_1 = 1</math><br /><math>\mu_2 = 1</math>
|<math>\mu_1 = 1</math><br /><math>\mu_2 = 1</math>
|<math>\mu_1 = 2</math>
|<math>\mu_1 = 1</math><br /><math>\mu_2 = 1</math>
|-
| γεωμετρική πολλαπ.<br /><math>\gamma_i = \gamma(\lambda_i)</math>
|<math>\gamma_1 = 2</math>
|<math>\gamma_1 = 1</math><br /><math>\gamma_2 = 1</math>
|<math>\gamma_1 = 1</math><br /><math>\gamma_2 = 1</math>
|<math>\gamma_1 = 1</math>
|<math>\gamma_1 = 1</math><br /><math>\gamma_2 = 1</math>
|-
|ιδιοδιανύσματα
| Όλα τα μη-μηδενικά διανύσματα
|<math>u_1 = \begin{bmatrix}1\\0\end{bmatrix}</math><br /><math>u_2 = \begin{bmatrix}0\\1\end{bmatrix}</math>
|<math>u_1 = \begin{bmatrix}{\ }1\\-\mathbf{i}\end{bmatrix}</math><br /><math>u_2 = \begin{bmatrix}{\ }1\\ +\mathbf{i}\end{bmatrix}</math>
|<math>u_1 = \begin{bmatrix}1\\0\end{bmatrix}</math>
|<math>u_1 = \begin{bmatrix}{\ }1\\{\ }1\end{bmatrix}</math><br /><math>u_2 = \begin{bmatrix}{\ }1\\-1\end{bmatrix}.</math>
|}

Η χαρακτηριστική εξίσωση για μία περιστροφή είναι μία [[Δευτεροβάθμια εξίσωση]] με [[διακρίνουσα]] <math>D = -4(\sin\theta)^2</math>, η οποία είναι αρνητικός αριθμός όταν το <math>\theta</math> δεν είναι ακέραιο πολλαπλάσιο των 180°.  Έτσι, εκτός από αυτές τις ειδικές περιπτώσεις, οι δύο ιδιοτιμές είναι μιγαδικοί αριθμοί, <math>\cos\theta \pm \mathbf{i}\sin\theta</math>; και όλα τα ιδιοδιανύσματα έχουν μη-πραγματικά στοιχεία. Πράγματι, πέρα απο αυτές τις ειδικές περιπτώσεις, κάθε τυχαία περιστροφή αλλάζει την κατεύθυνση κάθε μη-μηδενικού διανύσματος στο επίπεδο.

===Εξισώσεις του Σρέντιγκερ===

[[File:HAtomOrbitals.png|thumb|271px|Οι [[Κυματοσυνάρτηση|κυματοσυναρτήσεις]] που σχετίζονται με τη [[δεσμευμένη κατάσταση]] ενός [[Ηλεκτρόνιο|ηλεκτρονίου]]  σε ένα [[άτομο υδρογόνου]] μπορούν να παρουσιαστούν ως [[Άτομο υδρογόνου|Χαμιλτονιανές ατόμου υδρογόνου]] αλλά και ως [[τελεστές γωνιακής ορμής]]. Σχετίζονται με τα ιδιοδιανύσματα που μεταφράζονται ως οι ενέργειές τους (αυξάνοντας προς τα κάτω: <math>n=1,2,3,\ldots</math>) και με τις [[Στροφορμή|γωνιακές ορμές]] (αυξάνοντας κατά μήκος: s, p, d, ...). Η απεικόνιση δείχνει το τετράγωνο της απόλυτης τιμής της κυματοσυνάρτησης. Οι φωτεινότερες περιοχές αντιστοιχούν σε υψηλότερη πιθανότητα πυκνότητας [[Συνάρτηση πυκνότητας πιθανότητας|πιθανότητα πυκνότητας]] για μια θέση [[Μέτρηση στην κβαντική μηχανική|μέτρησης]]. Το κέντρο κάθε φιγούρας είναι ο [[ατομικός πυρήνας]], ένα [[πρωτόνιο]].]]

Ένα παράδειγμα μιας εξίσωσης ιδιοτιμών όπου ο μετασχηματισμός <math>T</math> αναπαρίσταται με όρους ενός διαφορικού τελεστή, είναι η ανεξάρτητη του χρόνου [[Εξίσωση Σρέντινγκερ]] στην [[κβαντική μηχανική]]:

: <math>H\psi_E = E\psi_E \,</math>

όπου <math>H</math>, η [[χαμιλτονιανή]], που είναι ένας δεύτερης-τάξης [[διαφορικός τελεστής]] και <math>\psi_E</math>, η [[κυματοσυνάρτηση]], που είναι μια εκ των ιδιοσυναρτήσεων που αντιστοιχούν στην ιδιοτιμή <math>E</math>, δηλαδή η [[ενέργεια]] του.

Ωστόσο, στην περίπτωση που κάποιος ενδιαφέρεται μόνο στις λύσεις της [[δεσμευμένης κατάστασης]] τις εξίσωσης του Σρόντιγκερ, αναζητά την <math>\psi_E</math> στον χώρο των [[Τετραγωνικά ολοκληρώσιμη συνάρτηση|τετραγωνικά ολοκληρώσιμων]] συναρτήσεων. Καθώς αυτός ο χώρος είναι [[Χώρος Χίλμπερτ]] με καλώς ορισμένο [[Εσωτερικό γινόμενο δύο διανυσμάτων|εσωτερικό γινόμενο]], μπορεί να εισαχθεί ένα [[Βάση (γραμμική άλγεβρα)|σύνολο βάσεων]] στο οποίο η <math>\psi_E</math> και η <math>H</math> μπορούν να μεταφραστούν ως μια μονοδιάστατη γραμμή ή έναν πίνακα αντίστοιχα. Αυτό επιτρέπει την αναπαράσταση της εξίσωσης Σρόντιγκερ σε μορφή πινάκων.

Η [[Συμβολισμός Ντιράκ|σημειογραφεία μπρά-κέτ]] χρησιμοποιείται συχνά σε αυτό το πλαίσιο. Ένα διάνυσμα, που αναπαριστά την κατάσταση ενός συστήματος, στον χώρο Χίλμπερτ των τετραγωνικά ολοκληρώσιμων συναρτήσεων αναπαρίσταται με <math>|\Psi_E\rangle</math>. Με αυτή τη σημειογραφεία, η εξίσωση του Σρόντιγκερ γράφεται:

: <math>H|\Psi_E\rangle = E|\Psi_E\rangle</math>

όπου <math>|\Psi_E\rangle</math> είναι μια '''ιδιοκατάσταση''' του <math>H</math>. Είναι ένας [[αυτοπροσδιοριζόμενος τελεστής]], το απειροδιάστατο ανάλογο των Ερμιτιανών πινάκων (''βλέπε [[Παρατηρήσιμοι]]''). Ενώ στην περίπτωση των πινάκων, στην παραπάνω εξίσωση <math>H|\Psi_E\rangle</math>, γίνεται αντιληπτό πως είναι ένα διάνυσμα που λαμβάνεται με την εφαρμογή του μετασχηματισμού <math>H</math> στην <math>|\Psi_E\rangle</math>.

===Μοριακά τροχιακά===
Στην [[κβαντική μηχανική]], και συγκεκριμένα στην [[Ατομική φυσική|ατομική]] και [[μοριακή φυσική]], μέσω της θεωρίας [[Χαρτρι-Φοκ]], τα [[Ατομικό τροχιακό|ατομικά]] και [[Μοριακό τροχιακό|μοριακά τροχιακά]] μπορούν να οριστούν απο τα ιδιοδιανύσματα του [[Χειριστής Φοκ|χειριστή Φοκ]]. Οι αντίστοιχες ιδιοτιμές ερμηνεύονται ως τα [[Ενέργεια ιονισμού|δυναμικά ιονισμόυ]] από το [[θεώρημα του Κούπμαν]]. Στην περίπτωση αυτή, ο όρος ιδιοδιάνυσμα χρησιμοποιείται  σε μια κάπως πιο γενική έννοια, αφού ο χειριστής Φοκ είναι άμεσα εξαρτώμενος στα τροχιακά και τις ιδιοτιμές τους.  Αν κάποιος θέλει να υπογραμμίσει την οπτική αυτή, θα πρέπει να αναφέρεται σε ένα μη γραμμικό πρόβλημα ιδιοτιμών. Τέτοιες εξισώσεις λύνονται συνήθως από μια [[Αριθμητική ανάλυση|επαναληπτική]] διαδικασία, που στην περίπτωση αυτή ονομάζεται μέθοδος [[αυτο-συνεπή πεδίου]]. Στην [[κβαντική χημεία]], η εξίσωση Χαρτρι-Φοκ συνήθως εφαρμόζεται σε ένα μη-[[Ορθογωνικότητα|ορθογώνιο]] [[Σύστημα βάσεων (χημεία)|σύστημα βάσεων]]. Αυτή η εφαρμογή είναι ένα [[γενικευμένο πρόβλημα ιδιοτιμών]] που ονομάζεται [[εξισώσεις Ρουθαν]].

===Γεωλογία και παγολογία===
Στη [[γεωλογία]], και συγκεκριμένα στη μελέτη της [[παραγωγής πάγου]], τα ιδιοδιανύσματα και οι ιδιοτιμές χρησιμοποιούνται με τέτοιο τρόπο. ώστε ένας όγκος πληροφοριών σχετικός με τον προσανατολισμό και το βάθος γεωλογικών κλαστικών συστατικών, μπορεί να περιγραφεί σε έναν τρισδιάστατο χώρο, με έξι νούμερα. Στο πεδίο, ο γεωλόγος μπορεί να συλλέξει τέτοιου είδους δεδομένα για εκατοντάδες χιλιάδες [[κλαστικά]] με ένα δείγμα χώματος, που μπορεί να συγκριθεί μόνο γραφικά, για παράδειγμα με ένα τριγωνικό διάγραμμα,<ref>{{Citation|doi=10.1002/1096-9837(200012)25:13<1473::AID-ESP158>3.0.CO;2-C|last1=Graham|first1=D.|last2=Midgley|first2= N.|title=Graphical representation of particle shape using triangular diagrams: an Excel spreadsheet method|year= 2000|journal= Earth Surface Processes and Landforms |volume=25|pages=1473–1477|issue=13}}</ref><ref>{{Citation|doi=10.1086/626490|last1=Sneed|first1= E. D.|last2=Folk|first2= R. L.|year= 1958|title=Pebbles in the lower Colorado River, Texas, a study of particle morphogenesis|journal= Journal of Geology|volume= 66|issue=2|pages=114–150}}</ref> ή σαν ένα στερεοδίκτυο σε ένα δίκτυο Γουλφ.<ref>{{Citation |doi=10.1016/S0098-3004(97)00122-2 |last1=Knox-Robinson |year=1998 |first1=C |pages=243 |volume=24 |journal=Computers & Geosciences|title= GIS-stereoplot: an interactive stereonet plotting module for ArcView 3.0 geographic information system |issue=3 |last2=Gardoll |first2=Stephen J}}</ref>

Το αποτέλεσμα αυτού του αισθητήρα προσανατολισμού, βρίσκεται στους τρεις ορθογώνιους )καθετους) άξονες του χώρου. Τα τρία ιδιοδιανύσματα ορίζονται ως <math>v_1, v_2, v_3</math> από τις ιδιοτιμές τους <math>E_1 \geq E_2 \geq E_3</math>;<ref>[http://www.ruhr-uni-bochum.de/hardrock/downloads.htm Stereo32 software]</ref> Το <math>v_1</math> λοιπόν είναι τα πρωτεύοντα στοιχεία προσανατολισμού και βάθους του κλαστικού, το <math>v_2</math> είναι τα δευτερεύοντα και το <math>v_3</math> είναι τα τριτεύοντα, αναλογικά με τη δύναμη. Ο προσανατολισμός του κλαστικού ορίζεται ως η κατεύθυνση του ιδιοδιανύσματος, πάνω σε ένα [[ανεμολόγιο]] των [[Στροφή (μαθηματικά)|360°]]. Το βάθος μετράται ως η ιδιοτιμή, το μόντουλο του αισθητήρα: αυτό ορίζεται από 0° (καθόλου βάθος) έως 90° (κάθετα). Οι αντίστοιχες τιμές των <math>E_1</math>, <math>E_2</math>, και <math>E_3</math> υπαγορεύονται από τη φύση του ιζήματος του υλικού. Αν <math>E_1 = E_2 = E_3</math>, το υλικό ονομάζεται ισοτροπικό. Αν <math>E_1 = E_2 > E_3</math>, το υλικό ονομάζεται επίπεδο. Αν <math>E_1 > E_2 > E_3</math>, το υλικό ονομάζεται γραμμικό.<ref>{{Citation|last1=Benn|first1= D.|last2=Evans|first2=D.|year=2004|title= A Practical Guide to the study of Glacial Sediments|location= London|publisher=Arnold|pages=103–107}}</ref>

===Ανάλυση κυρίων συνιστωσών===
[[File:GaussianScatterPCA.png|thumb|right|ΑΚΣ της [[Κανονική κατανομή|πολυμεταβλητής κατανομής Γκάους]] κέντρου <math>(1,3)</math> με τυπική απόκλιση 3 στη κατευθυνση <math>(0.878,0.478)</math> και &nbsp;1 στην ορθογώνια διεύθυνση. Τα διανύσματα που φαίνονται είναι ιδιοδιανύσματα μονάδας του (συμμετρικού, θετικά-ημιορισμένου) [[Συνδιασπορά|πίνακα συνδιασποράς]] κλιμακωτά ως προς την τετραγωνική ρίζα τις αντίστοιχης ιδιοτιμής. (Όπως και στη μονοδιάστατη περίπτωση, η τετραγωνική ρίζα λαμβάνεται καθώς η [[τυπική απόκλιση]] είναι πιο εύκολα οπτικοποιήσιμη από τη [[διακύμανση]].]]

Η [[Ιδιοσύνθεση πίνακα#Συμμετρικός πίνακας|ιδιοσύνθεση]] ενός [[Συμμετρικός πίνακας|συμμετρικού]] [[Θετικά ημιορισμένος πίνακας|θετικά ημιορισμένου]] πίνακα αποδίδει μία [[ορθογώνια βάση]] ιδιοδιανυσμάτων, καθένα εκ τον οποίων έχει μια μη-αρνητική ιδιοτιμή. Η ορθογώνια αποσύνθεση ενός (ΑΚΣ) πίνακα χρησιμοποιείται στην [[Στατιστική πολλών μεταβλητών|ανάλυση πολλών μεταβλητών]], όπου το [[Διακύμανση|δείγμα]] με [[πίνακας συνδιασποράς|πίνακα συνδιασποράς]] είναι (ΑΚΣ). Αυτή η ορθογώνια αποσύνθεση καλείται [[ανάλυση κυρίων συνιστωσών]] (ΑΚΣ) στη στατιστική. Η ΑΚΣ μελετά [[Γραμμικός μετασχηματισμός|γραμμικούς συσχετισμούς]] μεταξύ μεταβλητών. η ΑΚΣ εφαρμόζεται σε [[πίνακες συνδιασποράς]] ή σε [[πίνακες συσχετισμού]] (στους οποίους κάθε μεταβλητή είναι κλιμακωτή έτσι ώστε η [[Διακύμανση|διασπορά του δείγματος]] να ισούται με ένα). Για τους πίνακες συνδιασποράς και συσχετισμού, τα ιδιοδιανύσματα αντιστοιχούν στις [[Ανάλυση κυρίων συνιστωσών|κύριες συνιστώσες]] και οι ιδιοτιμές στις [[Εξηγημένη διασπορά|εξηγημένες διασπορές]] των κυρίων συνιστωσών. Η ανάλυση κυρίων συνιστωσών του πίνακα συσχετισμού παρέχει μία [[Ορθογώνια βάση|ορθογώνια ιδιοβάση]] για τον χώρο των παρατηρούμενων δεδομένων: Σε αυτή την βάση, οι μεγαλύτερες ιδιοτιμές αντιστοιχούν στις κύριες-συνιστώσες που σχετίζονται περισσότερο με την συμμεταβλητότητα ανάμεσα σε έναν αριθμό παρατηρούμενων δεδομένων.

Η ανάλυση κυρίων συνιστωσών χρησιμοποιείται για την μελέτη [[εξόρυξη δεδομένων|μεγάλων συνόλων δεδομένων]], όπως αυτά που βλέπουμε στην [[εξόρυξη δεδομένων]], [[χημειομετρική|χημική έρευνα]], [[ψυχομετρική|ψυχολογία]], και στο [[μάρκετινγκ]]. Η ΑΚΣ είναι δημοφιλής κυρίως στην ψυχολογία, στον τομέα της [[ψυχομετρικής]]. Στην [[Q μεθοδολογία]], οι ιδιοτιμές του πίνακα συσχετισμού καθορίζουν την κρίση του Q-μεθοδολόγου στην ''πρακτική'' σημαντικότητα (που διαφέρει από την [[στατιστική σημαντικότητα]] του ελέγχου της υπόθεσης): Οι παράγοντες με ιδιοτιμές μεγαλύτερες του 1 θεωρούνται πρακτικά σημαντικές, το οποίο οδηγεί στην εξήγηση σημαντικού ποσού των δεδομένων μεταβλητότητας, ενώ οι ιδιοτιμές που είναι μικρότερες του 1.00 θεωρούνται πρακτικά ασήμαντες, εξηγώντας μόνο ένα αμελητέο ποσοστό των δεδομένων μεταβλητότητας. Γενικότερα, η ανάλυση κυριών συνιστωσών μπορεί να χρησιμοποιηθεί ως μέθοδος [[Ανάλυση παραγόντων|ανάλυσης παραγόντων]] σε [[Επιστημονικό μοντέλο|μοντέλα διαρθρωτικής εξίσωσης]].

===Ανάλυση δόνησης===
[[File:beam mode 1.gif|thumb|225px|1η πλάγια καμπή (βλέπε [[δόνηση]] για περισσότερους τύπους δονήσεως)]]

Προβλήματα ιδιοτιμών παρουσιάζονται φυσικά στην ανάλυση δονήσεων των μηχανικών δομών με πολλούς [[βαθμός ελευθερίας(μηχανική)|βαθμούς ελευθερίας]]. Οι ιδιοτιμές χρησιμοποιούνται για τον προσδιορισμό των φυσικών συχνοτήτων (ή '''ιδιοσυχνοτήτων''') της δόνησης, και τα ιδιοδιανύσματα για τον προσδιορισμό των μορφών των τρόπων δόνησης. Συγκεκριμένα,  δόνηση χωρίς απόσβεση κραδασμών διέπεται από
:<math>m\ddot x + kx = 0</math>
ή
:<math>m\ddot x = -k x</math>
που είναι, η επιτάχυνση αναλογικά με την θέση (π.χ., περιμένουμε  το <math>x</math> να είναι ημιτονοειδές ως προς τον χρόνο). Σε <math>n</math> διαστάσεις, <math>m</math> γίνεται ένας [[πίνακας μάζας]] και <math>k</math> ένας [[πίνακας ακαμψίας]]. Αποδεκτές λύσεις είναι λοιπόν ένας γραμμικός συνδυασμός λύσεων του [[Γενικευμένο πρόβλημα ιδιοτιμών|γενικευμένου προβλήματος ιδιοτιμών]]
:<math>-k x = \omega^2 m x</math>
όπου <math>\omega^2</math> είναι η ιδιοτιμή και <math>\omega</math> είναι η [[γωνιακή συχνότητα]]. Οι τρόποι κύριας δόνησης διαφέρουν από τις κύριες λειτουργίες συμμόρφωσης, που είναι ιδιοδιανύσματα του <math>k</math> και μόνο αυτού. Επιπλέον, η [[δόνηση με απόσβεση κραδασμών]], διέπεται από
:<math>m\ddot x + c \dot x + kx = 0</math>
και οδηγεί σε αυτό που καλείται [[τετραγωνικό πρόβλημα ιδιοτιμών]],
:<math>(\omega^2 m + \omega c + k)x = 0.</math>
Αυτό μπορεί αν αναχθεί σε ένα γενικευμένο πρόβλημα ιδιοτιμών μέσω [[Τετραγώνικό πρόβλημα ιδιοτιμής#Μέθοδοι λύσης|έξυπνης άλγεβρας]] με την ανάγκη, όμως, επίλυσης μεγάλων συστημάτων.

Οι ορθολογικές ιδιότητες ιδιοδιανυσμάτων επιτρέπουν την αποσύνδεση των διαφορικών εξισώσεων έτσι ώστε το σύστημα να αναπαρασταθεί ως γραμμικό άθροισμα των ιδιοδιανυσμάτων. Το πρόβλημα των ιδιοτιμών μιγαδικών δομών συνήθως λύνεται χρησιμοποιώντας [[Μέθοδος πεπερασμένων στοιχείων|μέθοδο πεπερασμένων στοιχείων]], αλλά έξυπνα γενικεύει την λύση σε μια κλιμακωτής-τιμής στα προβλήματα δόνησης.

===Ιδιοπρόσωπα===
[[File:Eigenfaces.png|thumb|200px|[[Ιδιοπρόσωπα]] σαν παραδείγματα ιδιοδιανυσμάτων]]

Στην [[επεξεργασία εικόνας]], οι επεξεργασμένες εικόνες [[Πρόσωπο|προσώπων]] μπορούν να εκφραστούν σαν διανύσματα, τα στοιχεία των οποίων είναι οι [[Φωτεινότητα|φωτεινότητες]] για κάθε [[Εικονοστοιχείο|πίξελ]].<ref>{{Citation
| last=Xirouhakis
| first=A.
| first2=G.
| last2=Votsis
| first3=A.
| last3=Delopoulus
| title=Estimation of 3D motion and structure of human faces
| publisher=Online paper in PDF format, National Technical University of Athens
| url=http://www.image.ece.ntua.gr/papers/43.pdf
|format=PDF| year=2004
}}</ref> Η διάσταση του διανυσματικού αυτού χώρου είναι ο αριθμός των πιξελ. Τα ιδιοδιανύσματα του [[Πίνακας συνδιακύμανσης|πίνακα συνδιακύμανσης]] συνδέονται με ένα μεγάλο σύνολο απο κανονικοποιημένες εικόνες προσώπων, που ονομάζονται '''[[Ιδιοπρόσωπο|ιδιοπρόσωπα]]'''. Αυτό είναι ένα παράδειγμα [[Ανάλυση κύριων συνιστωσών|ανάλυσης κυρίων συνιστωσών]]. Τα ιδιοπρόσωπα είναι πολύ χρήσιμα για να εκφράζουν κάθε εικόνα προσώπων σαν ένα [[Γραμμικός συνδυασμός|γραμμικό συνδυασμό]] μερικών από αυτά. Στην [[Συστημα αναγνώρισης προσώπου|αναγνώριση προσώπων]], παρακλάδι της [[Βιομετρία]]ς, τα ιδιοπρόσωπα παρέχουν ένα μέσο για να εφαρμοστεί [[συμπίεση δεδομένων]] σε πρόσωπα για σκοπούς [[Βιομετρία|ταυτοποίησης]]. Έρευνες σχετικές με τα ιδιο-οπτικά συστήματα που προσδιορίζουν χειρονομίες, γίνονται επίσης.

Παρόμοια με αυτές τις έννοιες, οι '''ιδιοφωνές''' αντιπροσωπεύουν τη γενική κατεύθυνση της μεταβλητότητας σε ανθρώπινες προφορές μιας ιδιαίτερης έκφρασης, όπως μια λέξη σε μία γλώσσα. Βασιζόμενη σε ένα γραμμικό συνδυασμό τέτοιων ιδιοφωνών, μπορεί να κατασκευαστεί μια νέα φωνητική προφορά της λέξης αυτής. Οι έννοιες αυτές έχουν φανεί χρήσιμες σε συστήματα αυτόματης αναγνώρισης λόγου, για ηχητική προσαρμογή.

===Τανυστής στιγμιαίας αδράνειας===
Στη [[μηχανική]], τα ιδιοδιανύσματα του [[Αδράνεια|τανυστή αδράνειας]] καθορίζουν τους [[Καρτεσιανό σύστημα συντεταγμένων|κύριους άξονες]] ενός [[Σώμα (φυσική)|στερεού σώματος]]. Ο [[τανυστής]] στιγμιαίας [[αδράνεια]]ς είναι μια ποσότητα κλειδί, που είναι απαραίτητη για να προσδιορίστει η περιστροφή ενός στερεού σώματος γύρω από το [[κέντρο μάζας]] του.

===Τανυστής πίεσης===
Στη [[στερεά μηχανική]], ο τανυστής [[πίεση]]ς είναι συμμετρικός και επομένως μπορεί να αποσυντεθεί σε ένα [[διαγώνιο]] τανυστή με ιδιοτιμές στη διαγώνιο και ιδιοδιανύσματα σαν βάση. Επειδή είναι διαγώνιος, σ'αυτή τη δομη, ο τανυστής πίεσης δεν έχει [[Διάτμηση|διάτμητα]] στοιχεία. Τα στοιχεία που έχει είναι τα πρωταρχικά στοιχεία.

===Ιδιοτιμές ενός γραφήματος===
Στην [[φασματική γραφική θεωρία]], μια ιδιοτιμή ενός [[Θεωρία γράφων|γραφήματος]] ορίζεται ως μια ιδιοτιμή του αντίστοιχου [[Πίνακας γειτνίασης|πίνακα γειτνίασης]] <math>A</math> του γραφήματος, ή (περισσότερο) του [[Λαπλασιανός πίνακας|λαπλασιανού πίνακα]] του γραφήματος (βλέπε επίσης [[Διακριτός χειριστής Λαπλάς]]), που είναι ή <math>T - A</math> (μερικές φορές με ονομασία ''συνδυαστικός Λαπλασιανός'') είτε <math>I - T^{-1/2}A T^{-1/2}</math> (μερικές φορές με ονομασία ''κανονικοποιημένος Λαπλασιανός''), όπου ο <math>T</math> είναι ένας διαγώνιος πίνακας με <math>T_{i i}</math> ισό με το βαθμότης κορυφής <math>v_i</math>, και στον <math>T^{-1/2}</math>, το <math>i</math>-στο διαγώνιο στοιχείο είναι η <math>\sqrt{\operatorname{deg}(v_i)}</math>. Το <math>k</math>-στο πρωταρχικό ιδιοδιάνυσμα ενός γραφήματος, προσδιορίζεται ως το ιδιοδιάνυσμα που αντιστοιχεί ή στην <math>k</math>-στη μεγαλύτερη, είτε στην <math>k</math>-στη μικρότερη ιδιοτιμή του Λαπλασιανού. Το πρώτο πρωταρχικό ιδιοδιάνυσμα του γραφήματος, είναι επίσης γνωστό ως το πρωταρχικό ιδιοδιάνυσμα.

Το πρωταρχικό ιδιοδιάνυσμα χρησιμοποιείται για τη μέτρηση της [[Εγκεντρότητα ιδιοδιανύσματος|εγκεντρότητας]] των κορυφών του. Ενα παράδειγμμα, είναι ο αλγόριθμος [[PageRank]] της [[Google]]. Το πρωταρχικό ιδιοδιάνυσμα του επεξεργασμένου αντίστοιχου [[Πίνακας γειτνίασης|πίνακα γειτνίασης]] του γραφήματος του παγκοσμίου δικτύου, έχει τις σελιδοβαθμίδες ως στοιχεία του. Το διάνυσμα αυτό αντιστοιχεί στη [[στάσιμη κατανομή]] της [[Αλυσίδα Μαρκόφ|Αλυσίδας Μαρκόφ]] που αντιπροσωπεύεται από τον γραμμο-κανονικοποιημένο αντίστοιχο πίνακα. Παρολαυτά, ο αντίστοιχος πίνακας πρέπει πρώτα να τροποποιηθεί για να σιγουρευτεί ότι μια στάσιμη κατανομή υπάρχει. Το δεύτερο μικρότερο ιδιοδιάνυσμα μπορει να χρησιμοποιηθεί για να χωρίσει το γράφημα σε συμπλέγματα, μέσω της [[Φασματική συμπλεγματοποίηση|φασματικής συμπλεγματοποίησης]]. Άλλες μέθοδοι είναι επίσης διαθέσιμές για συμπλεγματοποίηση.

===Βασικός ρυθμός αναπαραγωγής===
Ο βασικός ρυθμός αναπαραγωγής (<math>R_0</math>) είναι ένας θεμελιώδης αριθμος για τη μελέτη του τρόπου εξάπλωσης των λοιμώξεων. Αν ένα μολυσμένο άτομο τοποθετηθεί σε έναν πληθυσμό με εντελώς ευαίσθητα άτομα, τότε ο <math>R_0</math> είναι ο μέσος αριθμός ατόμων που θα μολύνει ένα μολυσμένο άτομο. Ο χρόνος παραγωγής μιας λοίμωξης, είναι το χρονικό διάστημα <math>t_G</math> που μεσολαβεί ανάμεσα στα γεγονότα, το ένα άτομο να μολυνθεί, μέχρι το επόμενο άτομο να μολυνθεί. Σε έναν ετερογενή πληθυσμό, ο πίνακας της επόμενης γενιάς καθορίζει πόσα άτομα του πληθυσμού θα μολυνθούν, όταν έχει περάσει χρόνος <math>t_G</math>. Η <math>R_0</math> είναι λοιπόν η μεγαλύτερη ιδιοτιμή του πίνακα της επόμενης γενιάς.<ref>{{Citation
| author = Diekmann O, Heesterbeek JAP, Metz JAJ
| year = 1990
| title = Για τον ορισμό και τον υπολογισμό του βασικού ρυθμού αναπαραγωγής R0 σε μοντέλα για μολυσματικές ασθένειες σε ετερογενείς πληθυσμους
| journal = Journal of Mathematical Biology
| volume = 28
| issue = 4
| pages =365–382
| pmid = 2117040
| doi = 10.1007/BF00178324
}}</ref><ref>{{Citation
| author = Odo Diekmann and J. A. P. Heesterbeek
| title = Μαθηματική επιδημιολογία των μολυσματικών ασθενειών
| series = Wiley series in mathematical and computational biology
| publisher = John Wiley & Sons
| location = West Sussex, England
| year = 2000
}}</ref>

==Παραπομπές==
<references />

== Εξωτερικοί σύνδεσμοι ==
{{commonscat}}
* Εφαρμογή για τον υπολογισμό των πραγματικών ιδιοτιμών και ιδιοδιανυσμάτων ενός πίνακα ([https://play.google.com/store/apps/details?id=calculator.matrix.eigenvalues EigenCalc]).


{{Γραμμική Άλγεβρα}}
{{Μαθηματικά-υποσέλιδο}}
{{Authority control}}
{{Portal bar|Μαθηματικά}}

[[Κατηγορία:Γραμμική άλγεβρα]]