Προβολή πηγαίου κώδικα για τη σελίδα Πίνακας (μαθηματικά)

[[File:Πίνακας γραμμές και στήλες.svg|thumb|400px|right|Ένας πίνακας διαστάσεων ''n''-επί-''m'', δηλαδή με ''n'' γραμμές και ''m'' στήλες. Κάθε στοιχείο ενός πίνακα '''A''' συνήθως συμβολίζεται ως '''A'''<sub>ij</sub>, όπου ''i'', ''j'' δύο [[δείκτες]]. Για παράδειγμα, το '''A'''<sub>21</sub> αντιπροσωπεύει το στοιχείο στη δεύτερη γραμμή και στην πρώτη στήλη ενός πίνακα .]]

Στα [[μαθηματικά]], ένας '''πίνακας''' είναι μια [[ορθογώνιο|ορθογώνια]] ''[[διάταξη]]''<ref>equivalently, ''[[wikt:table|table]]''</ref> [[αριθμός|αριθμών]], [[σύμβολο|συμβόλων]], ή [[έκφραση|εκφράσεων]], διατεταγμένων σε ''γραμμές'' και ''στήλες''.<ref>{{harvtxt|Anton|1987|p=23}}</ref><ref>{{harvtxt|Beauregard|Fraleigh|1973|p=56}}</ref> Τα μεμονωμένα στοιχεία σε ένα πίνακα ονομάζονται ''στοιχεία'' ή ''εγγραφές'' του. Ένα παράδειγμα πίνακα 2 γραμμών και 3 στηλών είναι:

:<math>\begin{bmatrix}1 & 9 & -13 \\20 & 5 & -6 \end{bmatrix}. </math>

Οι πίνακες ίδιων διαστάσεων μπορούν να [[#Πρόσθεση, βαθμωτός πολλαπλασιασμός και αναστροφή|προστεθούν]] ή αφαιρεθούν στοιχείο προς στοιχείο. Αλλά ο κανόνας για τον [[#Πολλαπλασιασμός πινάκων|πολλαπλασιασμό πινάκων]] είναι ότι οι δύο πίνακες μπορούν να πολλαπλασιαστούν μόνο όταν ο αριθμός των στηλών του πρώτου ισούται με τον αριθμό των γραμμών του δευτέρου. 
Μια σημαντική εφαρμογή των πινάκων είναι να παριστάνουν  [[#Γραμμικοί μετασχηματισμοί|γραμμικούς μετασχηματισμούς]], δηλαδή, γενικεύσεις των [[γραμμική συνάρτηση|γραμμικών συναρτήσεων]] όπως {{nowrap|''f''(''x'') {{=}} 4''x''}}. Για παράδειγμα, η [[περιστροφή]]  [[διανυσμάτων]] σε έναν τριών [[διαστάσεων]] χώρο είναι ένας γραμμικός μετασχηματισμός που μπορεί να αναπαρασταθεί από έναν [[πίνακας περιστροφής|πίνακα περιστροφής]] '''R'''. Αν '''v''' είναι ένα [[διάνυσμα στήλης]] (ένας πίνακας με μόνο μία στήλη) που περιγράφει τη [[θέση]] ενός σημείου στο χώρο, το γινόμενο '''Rv''' είναι μία στήλη διάνυσμα που περιγράφει τη θέση εκείνου του σημείου μετά από μία περιστροφή. Το γινόμενο δύο πινάκων είναι ένας πίνακας που αναπαριστά τη σύνθεση δύο γραμμικών μετασχηματισμών. Μια άλλη εφαρμογή των πινάκων είναι στην επίλυση [[σύστημα γραμμικών εξισώσεων|συστήματος γραμμικών εξισώσεων]]. Αν ο πίνακας είναι [[#Τετραγωνικοί πίνακες|τετραγωνικός]], είναι δυνατόν να συμπεράνουμε μερικές από τις ιδιότητές του υπολογίζοντας την [[#Ορίζουσα|ορίζουσα]] του. Για παράδειγμα, ένας τετραγωνικός πίνακας έχει αντίστροφο [[αν και μόνο αν]] η ορίζουσά του δεν είναι [[μηδέν]]. Οι ιδιοτιμές και ιδιοδιανύσματα παρέχουν μια διορατικότητα στη [[γεωμετρία]] των γραμμικών μετασχηματισμών.

Εφαρμογές των πινάκων βρίσκονται σε πολλά επιστημονικά πεδία. Σε κάθε κλάδο της [[φυσική]]ς, συμπεριλαμβανομένων της [[κλασική μηχανική|κλασικής μηχανικής]], [[οπτική]]ς, [[Ηλεκτρομαγνητισμός|ηλεκτρομαγνητικής]], [[κβαντομηχανική]]ς, και [[κβαντική ηλεκτροδυναμική|κβαντικής ηλεκτροδυναμικής]], που χρησιμοποιούνται για τη μελέτη των φυσικών φαινομένων, όπως την κίνηση των [[Στερεό|στερεών σωμάτων]]. Σε [[γραφικά υπολογιστών]], χρησιμοποιούνται για το σχέδιο εικόνας τριών διαστάσεων σε δύο διαστάσεων οθόνη. Στη [[θεωρία πιθανοτήτων]] και τη [[στατιστική]], οι στοχαστικοί πίνακες  χρησιμοποιούνται για να περιγράψουν σύνολα πιθανοτήτων; για παράδειγμα, χρησιμοποιούνται μέσα στον αλγόριθμο [[PageRank]]  ο οποίος ταξινομεί τις σελίδες στην αναζήτηση του Google.<ref>K. Bryan and T. Leise. The $25,000,000,000 eigenvector: The linear algebra behind Google. SIAM Review, 48(3):569–581, 2006.</ref> Ο [[λογιστικός πίνακας]] γενικεύεται στις κλασικές [[αναλυτικές]] έννοιες όπως είναι οι [[παράγωγος|παράγωγοι]] και τα  [[εκθετικά]] σε υψηλότερες διαστάσεις.

Ένας σημαντικός κλάδος της [[πληροφορική|πληροφορικής]] και της [[αριθμητική ανάλυση|αριθμητικής ανάλυσης]] έχει ασχοληθεί με την ανάπτυξη και υλοποίηση αποδοτικών αλγορίθμων για υπολογισμούς σε πίνακες, δεδομένου των πολυπληθών εφαρμογών τους. Αυτές μπορεί να περιλαμβάνουν την χρήση [[μέθοδοι αποσύνθεσης πίνακα|μεθόδων αποσύνθεσης πίνακα]] για απλούστευση των πράξεων, την ανάπτυξη αλγορίθμων για συγκεκριμένα είδη πινάκων (όπως οι [[αραιός πίνακας|αραιοί]] ή οι σχεδόν διαγώνιοι πίνακες), την ελάττωση των συνολικών υποπράξεων (όπως ο [[αλγόριθμος Στράσσεν]]<ref>{{cite journal |last=Strassen |first=Volker |title=Gaussian elimination is not optimal |url=https://archive.org/details/sim_numerische-mathematik_1969_13_4/page/354 |journal=Numerische Mathematik |year=1969 |volume=13 |issue=4 |pages=354–356 |doi=https://doi.org/10.1007/BF02165411}}</ref>) ή την ανάπτυξη ειδικού [[Υλικό υπολογιστών|υλικού υπολογιστών]] (όπως οι [[κάρτα γραφικών|κάρτες γραφικών]]). Στην [[θεωρία πολυπλοκότητας]] ένα άλυτο πρόβλημα είναι ο προσδιορισμός της βέλτιστης χρονικής πολυπλοκότητας για τον πολλαπλασιασμό πινάκων (το 2022, μεταξύ <math>n^2</math> και <math>n^{2.372..}</math> πράξεων<ref>{{cite journal |last1=Alman |first1=Josh |last2=Williams |first2= Virginia Vassilevska |title=A Refined Laser Method and Faster Matrix Multiplication |journal=Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA) |year=2021 |pages=522–539 |doi=https://doi.org/10.1137/1.9781611976465.32}}</ref>), που συνεπάγεται αποτελέσματα για πολλά άλλα προβλήματα όπως η εύρεση συντομότερων μονοπατιών,<ref>{{cite journal |last=Alon |first=Noga |coauthors=Galil, Zvi; Margalit, Oded |title=On the Exponent of the All Pairs Shortest Path Problem |journal=Journal of Computer and System Sciences |year=1997 |volume=54 |issue=2 |pages=255–262 |doi=https://doi.org/10.1006/jcss.1997.1388}}</ref> συντακτική ανάλυση.<ref>{{cite journal |last=Valiant |first=Leslie G. |title=General context-free recognition in less than cubic time |journal=Journal of Computer and System Sciences |year=1975 |volume=10 |issue=2 |pages=308–315 |doi=https://doi.org/10.1016/S0022-0000(75)80046-8}}</ref>

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

==Ορισμός==
Ένας ''πίνακας'' είναι μία ορθογώνια διάταξη αριθμών ή άλλων μαθηματικών αντικειμένων, όπου ορίζονται πράξεις όπως η [[πρόσθεση]] και ο [[πολλαπλασιασμός]].<ref>{{Harvard citations |author=Lang |year=2002 |nb=yes }}</ref> Συνηθέστερα, ένας πίνακας στο [[Σώμα (άλγεβρα)|σώμα]] ''F'' είναι μία ορθογώνια διάταξη βαθμίδων του ''F''.<ref>{{harvtxt|Fraleigh|1976|p=209}}</ref><ref>{{harvtxt|Nering|1970|p=37}}</ref> Το μεγαλύτερο μέρος αυτού του άρθρου εστιάζει στους ''πραγματικούς'' και ''μιγαδικούς'', δηλαδή, πίνακες των οποίων τα στοιχεία είναι [[πραγματικοί αριθμοί]] ή [[μιγαδικοί αριθμοί]], αντίστοιχα. Οι πιο γενικοί τύποι εγγραφών συζητούνται παρακάτω. Για παράδειγμα, αυτός είναι ένας πραγματικός πίνακας:

:<math>\mathbf{A} = \begin{bmatrix}
     -1.3 & 0.6 \\
     20.4 & 5.5 \\
      9.7 & -6.2 
  \end{bmatrix}. </math>

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

===Διάσταση===
Η διάσταση ενός πίνακα ορίζεται από τον αριθμό των γραμμών και στηλών που περιέχει. Ένας πίνακας με ''m'' γραμμές και ''n'' στήλες ονομάζεται ''m''&nbsp;×&nbsp;''n'' πίνακας ή ''m''-επί-''n'' πίνακας, ενώ τα ''m'' και ''n'' ονομάζονται ''διαστάσεις'' του. Για παράδειγμα, ο πίνακας '''A''' παραπάνω, έχει 3 γραμμές και 2 στήλες και λέμε ότι είναι ένας 3&nbsp;×&nbsp;2 πίνακας ή ότι έχει διαστάσεις  3&nbsp;×&nbsp;2.<ref>∆ρ Χρήστου Νικολαϊδη (Δεκ. 2003). «[http://users.uoa.gr/~atzanis/MathGeo/%CD%E9%EA%EF%EB%E1%FA%E4%E7%F2_%C3%F1%E1%EC%EC%E9%EA%DE_%C1%EB%E3%E5%E2%F1%E1/linear1.pdf ΣΗΜΕΙΩΣΕΙΣ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ]» σελ. 1, από ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ ΤΜΗΜΑ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ. Ανακτήθηκε 04/10//2018.</ref>

Πίνακες οι οποίοι έχουν μία μόνη γραμμή λέγονται ''[[Διανύσματα γραμμής και στήλης|διανύσματα γραμμής]]'', και εκείνοι οι οποίοι έχουν μία μόνη στήλη ονομάζονται ''[[Διανύσματα γραμμής και στήλης|διανύσματα στήλης]]''. Ένας πίνακας ο οποίος έχει τον ίδιο αριθμό γραμμών και στηλών ονομάζεται ''[[τετραγωνικός πίνακας]]''. Ένας πίνακας με άπειρο αριθμό γραμμών ή στηλών (ή και τα δύο) ονομάζεται [[''άπειρος πίνακας'']]. Σε μερικά περιβάλλοντα όπως στα προγράμματα υπολογιστικής άλγεβρας είναι εύχρηστο να σκεφτούμε έναν πίνακα χωρίς γραμμές ή χωρίς στήλες, που ονομάζεται [[''άδειος πίνακας'']].

{| class="wikitable"
|-
! Όνομα !! Διάσταση !! Παράδειγμα !! Περιγραφή 
|-
| [[Διανύσματα γραμμής και στήλης|Διάνυσμα γραμμής]] || 1&nbsp;×&nbsp;''n'' || style="text-align:center;" | <math>\begin{bmatrix}3 & 7 & 2 \end{bmatrix}</math>
| Ένας πίνακας με μία γραμμή, μερικές φορές χρησιμοποιείται για να αναπαραστήσει ένα διάνυσμα 
|-
| [[Διανύσματα γραμμής και στήλης|Διάνυσμα στήλης]] || ''n''&nbsp;×&nbsp;1 || style="text-align:center;" | <math>\begin{bmatrix}4 \\ 1 \\ 8 \end{bmatrix}</math>
| Ένας πίνακας με μία στήλη, μερικές φορές χρησιμοποιείται για να αναπαραστήσει ένα διάνυσμα 
|-
| [[Τετραγωνικός πίνακας]] || ''n''&nbsp;×&nbsp;''n'' || style="text-align:center;" | <math>\begin{bmatrix}
  9 & 13 & 5 \\
  1 & 11 & 7 \\
  2 & 6  & 3
  \end{bmatrix}</math>
| Ένας πίνακας με τον ίδιο αριθμό γραμμών και στηλών, μερικές φορές χρησιμοποιείται για να αναπαραστήσει ένα [[γραμμικός μετασχηματισμός|γραμμικό μετασχηματισμό]] από ένα διανυσματικό χώρο στον εαυτό του, όπως [[αντανάκλαση]], [[περιστροφή]], ή [[διάτμηση]].
|}

==Συμβολισμός==

Οι πίνακες είναι συνήθως γραμμένοι σε αγκύλες:

:<math> \mathbf{A} = 
 \begin{bmatrix}
 a_{11} & a_{12} & \cdots & a_{1n} \\
 a_{21} & a_{22} & \cdots & a_{2n} \\
 \vdots & \vdots & \ddots & \vdots \\
 a_{m1} & a_{m2} & \cdots & a_{mn}
 \end{bmatrix}.
</math>

Ένας εναλλακτικός συμβολισμός χρησιμοποιεί μεγάλες παρενθέσεις αντί για αγκύλες:

:<math> \mathbf{A} = 
 \left( \begin{array}{rrrr}
 a_{11} & a_{12} & \cdots & a_{1n} \\
 a_{21} & a_{22} & \cdots & a_{2n} \\
 \vdots & \vdots & \ddots & \vdots \\
 a_{m1} & a_{m2} & \cdots & a_{mn}
 \end{array} \right).
</math>

Οι ιδιαιτερότητες στο συμβολισμό ενός συμβολικού πίνακα ποικίλουν ευρέως, με μερικές επικρατούσες τάσεις. Οι πίνακες συνήθως συμβολίζονται χρησιμοποιώντας κεφαλαία γράμματα (όπως '''A''' στο παραπάνω παράδειγμα), ενώ τα αντίστοιχα πεζά γράμματα, με δύο δείκτες (π.χ., ''a''<sub>11</sub>, ή ''a''<sub>1,1</sub>), αντιπροσωπεύουν τις εγγραφές. Επιπλέον χρησιμοποιώντας κεφαλαία γράμματα για το συμβολισμό των πινάκων, πολλοί συγγραφείς χρησιμοποιούν μία ειδική έμφαση, συνήθως έντονη γραφή σε όρθια θέση (όχι πλάγια γραφή), για περαιτέρω διάκριση των πινάκων από τα άλλα μαθηματικά αντικείμενα.  Ένας εναλλακτικός συμβολισμός περιλαμβάνει τη χρήση μίας διπλής υπογράμμισης με μεταβλητό όνομα, με ή χωρίς έντονους χαρακτήρες, (π.χ., <math>\underline{\underline{A}}</math>).

Η εγγραφή στην ''i''-οστή γραμμή και ''j''-οστή στήλη του πίνακα '''A''' μερικές φορές αναφέρεται ως ''i'',''j'', (''i'',''j''), ή (''i'',''j'')<sup>η</sup> εγγραφή του πίνακα, και συνηθέστερα αναφέρεται ως ''a''<sub>''i'',''j''</sub>, ή ''a''<sub>''ij''</sub>. Εναλλακτικοί συμβολισμοί για εκείνη την εγγραφή είναι ''A''[''i,j''] ή ''A''<sub>''i,j''</sub>. Για παράδειγμα, το (1,3) στοιχείο του παρακάτω πίνακα '''A''' είναι 5 (επίσης συμβολίζεται ''a''<sub>13</sub>, ''a''<sub>1,3</sub>, ''A''[''1,3''] ή ''A''<sub>''1,3''</sub>):

:<math>
  \mathbf{A}=\begin{bmatrix} 
    4 & -7 & \color{red}{5} & 0 \\ 
    -2 & 0 & 11 & 8 \\
    19 & 1 & -3 & 12
  \end{bmatrix}</math>

Μερικές φορές, τα στοιχεία ενός πίνακα μπορούν να οριστούν από ένα τύπο όπως ''a''<sub>''i'',''j''</sub> = ''f''(''i'', ''j''). Για παράδειγμα, κάθε μία από τις εγγραφές του παρακάτω πίνακα '''A''' προσδιορίζεται από ''a''<sub>''ij''</sub> = ''i'' − ''j''. 
:<math>\mathbf A = \begin{bmatrix}
0 & -1 & -2 & -3\\
1 & 0 & -1 & -2\\
2 & 1 & 0 & -1
\end{bmatrix}</math>
Σε αυτή την περίπτωση, ο ίδιος ο πίνακας είναι μερικές φορές ορισμένος από εκείνο τον τύπο, με τετράγωνες αγκύλες ή διπλές παρενθέσεις. Για παράδειγμα, ο πίνακας παραπάνω είναι ορισμένος ως '''A''' = [''i''-''j''], ή '''A''' = ((''i''-''j'')). Εάν η διάσταση του πίνακα είναι ''m'' × ''n'', ο τύπος που αναφέρθηκε παραπάνω ''f''(''i'', ''j'') είναι έγκυρος για κάθε ''i'' = 1, ..., ''m'' και κάθε ''j'' = 1, ..., ''n''. Αυτό μπορεί να προσδιοριστεί είτε χωριστά, είτε χρησιμοποιώντας ''m'' × ''n'' ως δείκτης. Για παράδειγμα, ο πίνακας '''A''' παραπάνω είναι 3 × 4 και μπορεί να οριστεί ως '''A''' = [''i'' − ''j''] (''i'' = 1, 2, 3; ''j'' = 1, ..., 4), ή '''A''' = [''i'' − ''j'']<sub>''3''×''4''</sub>.

Μερικές γλώσσες προγραμματισμού χρησιμοποιούν πίνακες με διπλούς δείκτες (ή πίνακες των πινάκων) για να αναπαραστήσουν ένα ''m''-×-''n'' πίνακα. Μερικές γλώσσες προγραμματισμού αρχίζουν την αρίθμηση των δεικτών του πίνακα από το μηδέν, σε όποια περίπτωση τα στοιχεία ενός ''m''-επί-''n'' πίνακα έχουν δείκτες {{nowrap|0 ≤ ''i'' ≤ ''m'' − 1}} και {{nowrap|0 ≤ ''j'' ≤ ''n'' − 1}}.<ref>{{Harvard citations |last1=Oualline |year=2003 |loc=Ch. 5| nb=yes }}</ref> Αυτό το άρθρο ακολουθεί την πιο κοινή σύμβαση στο γράψιμο μαθηματικών κειμένων όπου η απαρίθμηση αρχίζει από το 1.

Το [[σύνολο]] όλων των ''m''-επί-''n'' πινάκων συμβολίζεται 𝕄(''m'', ''n'').

==Βασικές πράξεις==
{{εξωτερικά μέσα| width = 210px | align = right | βίντεο1 = [http://ed.ted.com/lessons/how-to-organize-add-and-multiply-matrices-bill-shillito How to organize, add and multiply matrices - Bill Shillito], [[TED (conference)|TED ED]]<ref name="Ted">{{cite web | title =How to organize, add and multiply matrices - Bill Shillito | work = | publisher =[[TED (conference)|TED ED]] | date = | url =http://ed.ted.com/lessons/how-to-organize-add-and-multiply-matrices-bill-shillito | accessdate =April 6, 2013 }}</ref> }}
Υπάρχει ένας αριθμός βασικών λειτουργιών που μπορούν να εφαρμοστούν για να τροποποιήσουν πίνακες, ονομάζονται ''πρόσθεση πινάκων'', ''βαθμωτός πολλαπλασιασμός'', ''αναστροφή πίνακα'', ''πολλαπλασιασμός πινάκων'', ''πράξεις σε γραμμές πίνακα'', και ''υποπίνακας''.
<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition I.2.1 (addition), Definition I.2.4 (scalar multiplication), and Definition I.2.33 (transpose) }}</ref>
===Πρόσθεση, βαθμωτός πολλαπλασιασμός και αναστροφή===
{{Main|Πρόσθεση πινάκων|Βαθμωτός πολλαπλασιασμός|Ανάστροφος πίνακας}}

{| class="wikitable"
|-
! Λειτουργία
! Ορισμός
! Παράδειγμα
|-
| [[Πρόσθεση πινάκων|Πρόσθεση]]
| Το ''άθροισμα'' '''A'''+'''B''' δύο ''m''-επί-''n'' πινάκων '''A''' και '''B''' υπολογίζεται:
:('''A''' + '''B''')<sub>''i'',''j''</sub> = '''A'''<sub>''i'',''j''</sub> + '''B'''<sub>''i'',''j''</sub>, όπου 1 ≤ ''i'' ≤ ''m'' και 1 ≤ ''j'' ≤ ''n''.
|
<math>

\begin{bmatrix}
1 & 3 & 1 \\
1 & 0 & 0
\end{bmatrix}
+
\begin{bmatrix}
0 & 0 & 5  \\
7 & 5 & 0
\end{bmatrix}
=
\begin{bmatrix}
1+0 & 3+0 & 1+5 \\
1+7 & 0+5 & 0+0
\end{bmatrix}
=
\begin{bmatrix}
1 & 3 & 6 \\
8 & 5 & 0
\end{bmatrix}
</math>
|-
| [[Βαθμωτός πολλαπλασιασμός]]
| Ο ''βαθμωτός πολλαπλασιασμός c'''''A''' ενός πίνακα '''A''' και ενός αριθμού ''c'' (επίσης ονομάζεται βαθμωτός στη γλώσσα της [[αφηρημένη άλγεβρα|αφηρημένης άλγεβρας]]) που δίνεται πολλαπλασιάζοντας κάθε στοιχείο του '''A''' με το ''c'':
:{{nowrap begin}}(''c'''''A''')<sub>''i'',''j''</sub> = ''c'' · '''A'''<sub>''i'',''j''</sub>.{{nowrap end}}
| <math>2 \cdot

\begin{bmatrix}
1 & 8 & -3 \\
4 & -2 & 5
\end{bmatrix}
=
\begin{bmatrix}
2 \cdot 1 & 2\cdot 8 & 2\cdot -3 \\
2\cdot 4 & 2\cdot -2 & 2\cdot 5
\end{bmatrix}
=
\begin{bmatrix}
2 & 16 & -6 \\
8 & -4 & 10
\end{bmatrix}
</math>
|-
| [[Ανάστροφος πίνακας|Αναστροφή]]
| Η ''αναστροφή'' ενός ''m''-επί-''n'' πίνακα '''A''' είναι ο ''n''-επί-''m'' πίνακας '''A'''<sup>T</sup> (επίσης συμβολίζεται '''A'''<sup>tr</sup> ή <sup>t</sup>'''A''') σχηματίζεται μετατρέποντας τις γραμμές σε στήλες και αντίστροφα:
:{{nowrap begin}}('''A'''<sup>T</sup>)<sub>''i'',''j''</sub> = '''A'''<sub>''j'',''i''</sub>.{{nowrap end}}
| <math>

\begin{bmatrix}
1 & 2 & 3 \\
0 & -6 & 7
\end{bmatrix}^\mathrm{T} =
\begin{bmatrix}
1 & 0 \\
2 & -6 \\
3 & 7
\end{bmatrix}
</math>
|}

Οικείες λειτουργίες των αριθμών επεκτείνουν αυτές τις λειτουργίες των πινάκων: για παράδειγμα, η πρόσθεση είναι αντιμεταθετική, δηλ., ο πίνακας του αθροίσματος δεν εξαρτάται από τη διάταξη των προσθετέων: '''A'''&nbsp;+&nbsp;'''B'''&nbsp;=&nbsp;'''B'''&nbsp;+&nbsp;'''A'''.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem I.2.6 }}
</ref>
Η αναστροφή είναι σύμφωνη με την πρόσθεση και τον κλιμακωτό πολλαπλασιασμό, όπως εκφράζεται από (''c'''''A''')<sup>T</sup> = ''c''('''A'''<sup>T</sup>) και ('''A'''&nbsp;+&nbsp;'''B''')<sup>T</sup>&nbsp;=&nbsp;'''A'''<sup>T</sup>&nbsp;+&nbsp;'''B'''<sup>T</sup>. Τελικά, ('''A'''<sup>T</sup>)<sup>T</sup>&nbsp;=&nbsp;'''A'''.
<!--Ένας άλλος, λιγότερο χρησιμοποιούμενος συμβολισμός πίνακα πρόσθεσης είναι direct sum.-->

=== Πολλαπλασιασμός πινάκων===

[[File:Matrix multiplication diagram 2.svg|right|200px|thumb|Σχηματική απεικόνιση του πίνακα γινομένου '''AB''' δύο πινάκων '''A''' και '''B'''.]]{{Κύριο λήμμα|Πολλαπλασιασμός πινάκων}}
Ο ''πολλαπλασιασμός''  δυο πινάκων ορίζεται αν και μόνο αν ο αριθμός των στηλών του αριστερού πίνακα είναι ίδιος με τον αριθμό των γραμμών του δεξιού πίνακα. Εάν το '''Α''' είναι ένας ''μ''-''ν'' πίνακας  και '''B''' είναι ένας  ''ν''-''ρ'' πίνακας, τότε το ''το γινόμενο του πίνακα '' '''AB''' είναι ο ''μ''-''ρ'' πίνακας του οποίου τα στοιχειά δίνονται από το [[γινόμενο]] της αντίστοιχης γραμμής του '''A''' και της αντίστοιχης στήλης '''B''':

:<cite id="matrix_product"><math> [\mathbf{AB}]_{i,j} = A_{i,1}B_{1,j} + A_{i,2}B_{2,j} + \cdots + A_{i,n}B_{n,j} = \sum_{r=1}^n A_{i,r}B_{r,j}</math></cite>,

όταν 1 ≤ ''i'' ≤ ''m'' και 1 ≤ ''j'' ≤ ''p''.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition I.2.20 }}</ref> Για παράδειγμα, η υπογραμμισμένη καταχώρηση 2340 σα γινόμενο υπολογίζεται ως  {{math|(2 × 1000) + (3 × 100) + (4 × 10) {{=}} 2340:}}

:<math>
\begin{align}
\begin{bmatrix}
\underline{2} & \underline 3 & \underline 4 \\
1 & 0 & 0 \\
\end{bmatrix}

\begin{bmatrix}
0 & \underline{1000} \\
1 & \underline{100} \\
0 & \underline{10} \\
\end{bmatrix}
&=
\begin{bmatrix}
3 & \underline{2340} \\
0 & 1000 \\
\end{bmatrix}.
\end{align}
</math>

Ο πολλαπλασιασμός πινάκων πληροί τους κανόνες  ('''AB''')'''C''' = '''A'''('''BC''') ([[προσεταιριστική ιδιότητα]]), και ('''A'''+'''B''')'''C''' = '''AC'''+'''BC''' καθώς και '''C'''('''A'''+'''B''') = '''CA'''+'''CB''' (αριστερά και δεξιά την [[επιμεριστική ιδιότητα]]), οπότε το μέγεθος των πινάκων είναι τέτοιο ώστε τα διάφορα γινόμενά του να ορίζονται.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem I.2.24 }}</ref> το γινόμενο '''AB''' μπορεί να οριστεί  χωρίς το '''BA''' να ορίζεται, δηλαδή αν τα '''A''' και '''B''' είναι ''μ''-''ν'' και  ''ν''-''κ'' πίνακες, αντίστοιχα, και {{nowrap|''μ'' ≠ ''κ''.}} Ακόμη και αν τα δυο γινόμενα ορίζονται, δε χρειάζεται να είναι ίσα, δηλαδή, γενικά έχει κανείς 
:'''AB''' ≠ '''BA''',
δηλαδή, <cite id="non_commutative">ο πολλαπλασιασμός ενός πίνακα δεν είναι [[Αντιμεταθετική ιδιότητα|αντιμεταθετικός]],</cite> σε έντονη αντίθεση με (ρητούς, πραγματικούς ή σύνθετους) αριθμούς των οποίων το γινόμενο είναι ανεξάρτητο τη σειρά των παραγόντων. Ένα παράδειγμα δυο πινάκων που δεν αλλάζουν μεταξύ τους είναι:
:<math>\begin{bmatrix}
1 & 2\\
3 & 4\\
\end{bmatrix}

\begin{bmatrix}
0 & 1\\
0 & 0\\
\end{bmatrix}=
\begin{bmatrix}
0 & 1\\
0 & 3\\
\end{bmatrix},
</math>
ενώ
:<math>\begin{bmatrix}
0 & 1\\
0 & 0\\
\end{bmatrix}

\begin{bmatrix}
1 & 2\\
3 & 4\\
\end{bmatrix}=
\begin{bmatrix}
3 & 4\\
0 & 0\\
\end{bmatrix}
.</math>

Εκτός από το συνήθη πολλαπλασιασμό πινάκων που μόλις περιγράφηκε, υπάρχουν άλλες λιγότερο συχνά χρησιμοποιούμενες λειτουργίες σε πίνακες που μπορούν να θεωρηθούν μορφές πολλαπλασιασμού, όπως το [[γινόμενο Hadamard]] και του  [[γινομένου Kronecker]].<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |loc=Ch. 4 and 5 |nb=yes }}</ref>  Μπορούν να προκύψουν στην επίλυση των εξισώσεων των πινάκων όπως την εξίσωση του [[Sylvester]].

=== Πράξεις σε γραμμές ===
Υπάρχουν τριών ειδών πράξεις στις γραμμές ενός πίνακα:

# Πρόσθεση γραμμών, που είναι η πρόσθεση μιας γραμμής σε μια άλλη.
# Πολλαπλασιασμός μιας γραμμής, δηλαδή πολλαπλασιάζοντας όλα τα στοιχεία μία γραμμής με μια μη-μηδενική σταθερά.
# Εναλλαγή γραμμών, δηλαδή η εναλλαγή δυο γραμμών ενός πίνακα.

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

===Υποπίνακας===
Ένας '''υποπίνακας''' ενός πίνακα προκύπτει διαγράφοντας οποιαδήποτε συλλογή γραμμών ή στηλών. Για παράδειγμα, για τον ακόλουθο 3-4 πίνακα, μπορούμε να κατασκευάσουμε ένα 2-3 υποπίνακα αφαιρώντας τη γραμμή 3 και τη στήλη 2:

:<math>
  \mathbf{A}=\begin{bmatrix} 
    \color{red}{1} & 2 & \color{red}{3} & {\color{red} 4} \\ 
    \color{red}{5} & 6 & {\color{red}7} & {\color{red}8} \\
    9 & 10 & 11 & 12
  \end{bmatrix} \rightarrow \begin{bmatrix}
    1 & 3 & 4 \\ 
    5 & 7 & 8 
  \end{bmatrix}.
</math>

Οι δευτερεύοντες πίνακες και οι συμπαράγοντες ενός πίνακα βρίσκονται υπολογίζοντας την [[ορίζουσα]] ορισμένων υποπινάκων.

==Γραμμικές εξισώσεις==

Οι πίνακες μπορούν να χρησιμοποιηθούν συνοπτικά για να γράφεις και να δουλεύεις με πολλαπλές γραμμικές εξισώσεις, δηλαδή, συστήματα γραμμικών εξισώσεων. Για παράδειγμα, εάν το '''A''' είναι ένας ''μ''-''ν'' πίνακας, '''x''' συμβολίζει ένα διάνυσμα στήλης (δηλαδή, ''n''×1-πίνακας) ''n'' μεταβλητών ''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>, και '''b''' είναι ένα ''m''×1-διάνυσμα στήλης, τότε η εξίσωση ενός πίνακα
:'''Ax''' = '''b'''
είναι ισοδύναμο με το σύστημα γραμμικών εξισώσεων
:''A''<sub>1,1</sub>''x''<sub>1</sub> + ''A''<sub>1,2</sub>''x''<sub>2</sub> + ... + ''A''<sub>1,''n''</sub>''x''<sub>''n''</sub> = ''b''<sub>1</sub>
:...
:''A''<sub>''m'',1</sub>''x''<sub>1</sub> + ''A''<sub>''m'',2</sub>''x''<sub>2</sub> + ... + ''A''<sub>''m'',''n''</sub>''x''<sub>''n''</sub> = ''b''<sub>''m''</sub> .<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=I.2.21 and 22 }}</ref>

==Γραμμικοί μετασχηματισμοί==

[[File:Area parallellogram as determinant.svg|thumb|right|Τα διανύσματα που αναπαριστώνται από έναν 2-επί-2 πίνακα αντιστοιχούν σε πλευρές ενός τετραγώνου μετασχηματισμένες σε ένα παραλληλόγραμμο.]]
Οι πίνακες και ο πολλαπλασιασμός πινάκων αποκαλύπτουν τα ουσιώδη χαρακτηριστικά τους, όταν σχετίζονται με ''γραμμικούς μετασχηματισμούς'', επίσης γνωστή ως  ''γραμμικές απεικονίσεις''. <cite id="linear_maps"> Ένας πραγματικός  ''μ''-''ν''  πίνακας '''A''' οδηγεί σε ένα γραμμικό μετασχηματισμό '''R'''<sup>''ν''</sup> → '''R'''<sup>''μ''</sup> χαρτογραφώντας κάθε διάνυσμα '''x''' σε '''R'''<sup>''ν''</sup> προς το (πίνακας) γινόμενο '''Ax''', το οποίο είναι διάνυσμα στον '''R'''<sup>''μ''</sup>. Αντιστρόφως, κάθε γραμμικός μετασχηματισμός ''f'': '''R'''<sup>''ν''</sup> → '''R'''<sup>''μ''</sup> προκύπτει από έναν μοναδικό πίνακα '''Α''' ''μ''-by-''ν'': Αναλυτικότερα, το {{nowrap|(''i'', ''j'')-είσοδος}} του '''A''' είναι η ''i''<sup>οστή</sup> συντεταγμένη του ''f''('''e'''<sub>''j''</sub>), όπου {{nowrap begin}}'''e'''<sub>''j''</sub> = (0,...,0,1,0,...,0){{nowrap end}} είναι το [[μοναδιαίο διάνυσμα]] με 1 στη θέση του ''j''-οστού και μηδέν στις υπόλοιπες θέσεις.</cite> Ο πίνακας '''A''' αντιπροσωπεύει το γραμμικό διάγραμμα ''f'', και ο '''A''' ονομάζεται ''πίνακας μετασχηματισμού'' της ''f''.

Για παράδειγμα, ο 2×2 πίνακας

:<math>
\mathbf A = \begin{bmatrix} a & c\\b & d \end{bmatrix}\,
</math>

μπορεί να θεωρηθεί ως ο μετασχηματισμός του [[τετράγωνο|τετραγώνου]] σε ένα [[παραλληλόγραμμο]] με κορυφές στο {{nowrap|(0, 0)}}, {{nowrap|(''a'', ''b'')}}, {{nowrap|(''a'' + ''c'', ''b'' + ''d'')}}, και {{nowrap|(''c'', ''d'')}}. Το παραλληλόγραμμο που απεικονίζεται στα δεξιά προκύπτει από το πολλαπλασιασμό του '''A''' με κάθε ένα από τα διανύσματα-στήλη <math>\begin{bmatrix} 0 \\ 0 \end{bmatrix}, \begin{bmatrix} 1 \\ 0 \end{bmatrix}, \begin{bmatrix} 1 \\ 1 \end{bmatrix} </math> and <math>\begin{bmatrix}0 \\ 1\end{bmatrix}</math> με τη σειρά. Αυτά τα διανύσματα καθορίζουν τις κορυφές του τετραγώνου.

Στον παρακάτω πίνακα δίνονται πραγματικούς πίνακες 2 × 2 με τις γραμμικές απεικονίσεις τους στο '''R'''<sup>2</sup>. Το πρωτότυπο πλέγμα δίνεται με μπλε χρώμα και το μετασχηματισμένο με πράσινο. Η αρχή των αξόνων (0,0) επισημαίνεται με ένα μαύρο σημείο.
{| class="wikitable" style="text-align:center; margin:1em auto 1em auto;"
|-
| [[Οριζόντια διάτμηση]] με m=1.25.
| Οριζόντια [[Ανάκλαση (Μαθηματικά)|ανάκλαση]]
| [[Πιέστε χαρτογράφιση]] με r=3/2
|[[Αλλαγή κλίμακας]] με έναν παράγοντα 3/2
|<cite id="rotation_matrix">[[Περιστροφή]] <br>κατά π/6<sup>R</sup> = 30°</cite>
|-
| <math>\begin{bmatrix}
1 & 1.25  \\
0 & 1 \end{bmatrix}</math>
| <math>\begin{bmatrix}
-1 & 0  \\
0 & 1 \end{bmatrix}</math>
| <math>\begin{bmatrix}
3/2 & 0  \\
0 & 2/3 \end{bmatrix}</math>
|<math>\begin{bmatrix}
3/2 & 0  \\
0 & 3/2 \end{bmatrix}</math>
|<math>\begin{bmatrix}\cos(\pi / 6^{R}) & -\sin(\pi / 6^{R})\\ \sin(\pi / 6^{R}) & \cos(\pi / 6^{R})\end{bmatrix}</math>
|-
| style="width:20%;"| [[File:VerticalShear m=1.25.svg|175px]]
| style="width:20%;"| [[File:Flip map.svg|150px]]
| style="width:20%;"| [[File:Squeeze r=1.5.svg|150px]]
| style="width:20%;"| [[File:Scaling by 1.5.svg|125px]]
| style="width:20%;"| [[File:Rotation by pi over 6.svg|125px]]
|}

Σύμφωνα με την [[ένα προς ένα]] αντιστοιχία μεταξύ πινάκων και γραμμικών απεικονίσεων, ο πολλαπλασιασμός πινάκων αντιστοιχεί στη [[Σύνθεση συνάρτησης|σύνθεση]] των απεικονίσεων:<ref>{{Harvard citations |last1=Greub |year=1975 |nb=yes |loc=Section III.2 }}</ref>  Εάν ένας  ''κ''-''μ'' πίνακας '''B''' αντιπροσωπεύει μια άλλη γραμμική απεικόνιση ''g''  : '''R'''<sup>''μ''</sup> → '''R'''<sup>''κ''</sup>, τότε η σύνθεση  {{nowrap|''g'' ∘ ''f''}} αντιπροσωπεύεται από το '''BA''', καθώς
:(''g'' ∘ ''f'')('''x''') = ''g''(''f''('''x''')) = ''g''('''Ax''') = '''B'''('''Ax''') = ('''BA''')'''x'''.
Η τελευταία ισότητα προκύπτει από την προαναφερθείσα συσχέτιση του πολλαπλασιασμού πινάκων.

Η [[τάξη ενός πίνακα]] '''A''' είναι ο μέγιστος αριθμός των [[Γραμμικά ανεξάρτητα διανύσματα|γραμμικά ανεξάρτητων]] γραμμών του πίνακα, όπου είναι το ίδιο με τον μέγιστο αριθμό των γραμμικά ανεξάρτητων στηλών του πίνακα.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition II.3.3 }}</ref> Αντίστοιχα [[διάσταση]] της [[εικόνας]] του γραμμικού διαγράμματος παριστάνεται από το '''A'''.<ref>{{Harvard citations |last1=Greub |year=1975 |nb=yes |loc=Section III.1 }}</ref> Το [[θεώρημα μηδενικού βαθμού]] αναφέρει ότι η διάσταση του πυρήνα [[kernel (matrix)|kernel]] ενός πίνακα συν το βαθμό ισούται με τον αριθμό των στηλών του πίνακα.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem II.3.22 }}</ref>

==Τετραγωνικοί πίνακες==

Ένας [[τετραγωνικός πίνακας]] είναι ένας πίνακας με το ίδιο αριθμό γραμμών και στηλών. Ένας πίνακας ''ν''-''ν'' είναι γνωστός ως τετραγωνικός πίνακας τάξης ''ν.'' Οποιοιδήποτε δύο τετραγωνικοί πίνακες της ίδιας τάξης μπορούν να προστεθούν και να πολλαπλασιαστούν. 
Οι καταχωρήσεις  ''α''<sub>''ii''</sub> αποτελούν την [[Κύρια διαγώνιος πινάκων|κύρια διαγώνιο]] του τετραγωνικού πίνακα. Βρίσκονται στη νοητή γραμμή που εκτείνεται από την πάνω αριστερή γωνία στην κάτω δεξιά γωνία του πίνακα.

=== Κύριοι τύποι ===
:{| class="wikitable" style="float:right; margin:0ex 0ex 2ex 2ex;"
|-
! Ονομασία !! Παράδειγμα με ''n'' = 3
|-
| [[Διαγώνιος πίνακας]] || style="text-align:center;" | <math>
      \begin{bmatrix}
           a_{11} & 0 & 0 \\
           0 & a_{22} & 0 \\
           0 & 0 & a_{33} \\
      \end{bmatrix}
  </math>
|-
| [[Κάτω τριγωνικός πίνακας]] || style="text-align:center;" | <math>
      \begin{bmatrix}
           a_{11} & 0 & 0 \\
           a_{21} & a_{22} & 0 \\
           a_{31} & a_{32} & a_{33} \\
      \end{bmatrix}
  </math>
|-
| [[Άνω τριγωνικός πίνακας]] || style="text-align:center;" | <math>
      \begin{bmatrix}
           a_{11} & a_{12} & a_{13} \\
           0 & a_{22} & a_{23} \\
           0 & 0 & a_{33} \\
      \end{bmatrix}
  </math>
|}

==== Διαγώνιοι και τριγωνικοί πίνακες ====
{{Κύριο|Διαγώνιος πίνακας|Τριγωνικός πίνακας}}
Εάν όλες οι καταχωρήσεις του '''A''' κάτω από την κύρια διαγώνιο είναι μηδέν, το '''A''' ονομάζεται ''άνω [[τριγωνικός πίνακας]]''. Ομοίως, αν όλες οι καταχωρήσεις του ''A'' πάνω από την κύρια διαγώνιο είναι μηδέν, το '''A''' ονομάζεται ''κατώτερος τριγωνικός πίνακας''. Αν όλες οι καταχωρήσεις έξω από την κύρια διαγώνιο είναι μηδέν, το '''A''' ονομάζεται [[διαγώνιος πίνακας]].

==== Ταυτοτικός πίνακας  ====
{{Κύριο|Ταυτοτικός πίνακας}}
Ο [[ταυτοτικός πίνακας]] '''I'''<sub>''n''</sub> μεγέθους ''n'' ειναι ο ''n''-''n'' πίνακας στον οποίο όλα τα στοιχεία, σχετικά με την [[Κύρια διαγώνιος πινάκων|κύρια διαγώνιο]] είναι ίσα με 1 και όλα τα άλλα στοιχεία είναι ίσα με 0, π.χ
:<math>
I_1 = \begin{bmatrix} 1 \end{bmatrix}
,\ 
I_2 = \begin{bmatrix}
         1 & 0 \\
         0 & 1 
      \end{bmatrix}
,\ \cdots ,\ 
I_n = \begin{bmatrix}
         1 & 0 & \cdots & 0 \\
         0 & 1 & \cdots & 0 \\
         \vdots & \vdots & \ddots & \vdots \\
         0 & 0 & \cdots & 1
      \end{bmatrix}
</math>
Πρόκειται για έναν τετραγωνικό πίνακα τάξης ''n'', καθώς επίσης και ένα ιδιαίτερο είδος [[διαγώνιος πίνακας|διαγώνιου πίνακα]]. Λέγεται ταυτοτικός πίνακας επειδή ο πολλαπλασιασμός αφήνει έναν αμετάβλητο πίνακα: 
:{{nowrap begin}}'''AI'''<sub>''n''</sub> = '''I'''<sub>''m''</sub>'''A''' = '''A'''{{nowrap end}} για κάθε ''μ''-''ν'' πίνακα '''A'''.

====Συμμετρικός ή αντισυμμετρικός πίνακας ====
{{Κύριο|Συμμετρικός πίνακας|Αντισυμμετρικός πίνακας}}
Ένας τετραγωνικός πίνακας '''A''' ο οποίος είναι ίσος με τον ανάστροφό του, δηλαδή, {{nowrap begin}}'''A''' = '''A'''<sup>T</sup>{{nowrap end}}, είναι ένας [[συμμετρικός πίνακας]]. Αν αντίθετα, ο '''A''' ήταν ίσος με τον αρνητικό του ανάστροφο, δηλαδή, {{nowrap begin}}'''A''' = −'''A'''<sup>T</sup>,{{nowrap end}} τότε '''A''' είναι ένας [[αντισυμμετρικός πίνακας]]. Σε μιγαδικούς πίνακες, η συμμετρία συχνά αντικαθίσταται από την έννοια των [[Ερμιτιανός πίνακας|Ερμιτιανών πινάκων]], που ικανοποιεί '''A'''<sup>∗</sup> = '''A''', όπου το αστέρι ή ο [[αστερίσκος]] υποδηλώνει το [[συζυγής ανάστροφος πίνακας|συζυγή ανάστροφο]] ενός πίνακα, δηλαδή, ο ανάστροφος του [[Συζυγής μιγαδικός αριθμός|συζυγή]] του '''A'''.

Από το [[φασματικό θεώρημα]], οι πραγματικοί συμμετρικοί πίνακες και οι [[Ερμιτιανός πίνακας|Ερμιτιανοί πίνακες]] έχουν [[ιδιοδιανύσματα]]: δηλαδή, κάθε διάνυσμα είναι εκφράσιμο ως [[γραμμικός συνδυασμός]] των ιδιοδιανυσμάτων. Σε αμφότερες περιπτώσεις, όλες οι ιδιοτιμές είναι πραγματικές.<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Theorem 2.5.6 }}</ref> Το θεώρημα αυτό μπορεί να γενικευθεί σε απειροδιάστατες καταστάσεις που σχετίζονται με πίνακες που έχουν πάρα πολλές γραμμές και στήλες, δείτε [[#Άπειροι πίνακες|παρακάτω]].

====Αντιστρέψιμος πίνακας και ο αντίστροφος====
Ένας τετραγωνικός πίνακας  '''A''' ονομάζεται ''[[αντιστρέψιμος πίνακας]]'' ή ''μη-ιδιάζων'' αν υπάρχει ένας πίνακας '''B''' έτσι ώστε
: '''AB''' = '''BA''' = '''I'''<sub>''n''</sub>.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition I.2.28 }}</ref><ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition I.5.13 }}</ref>
Αν '''B''' υπάρχει, είναι μοναδικός και ονομάζεται ''[[αντίστροφος πίνακας]]'' του '''A''', συμβολίζεται '''A'''<sup>−1</sup>.

====Ορισμένος πίνακας ====
{| class="wikitable" style="float:right; text-align:center; margin:0ex 0ex 2ex 2ex;"
|-
! [[θετικά ορισμένος πίνακας]] !! [[αόριστος πίνακας]]
|-
| <math> \begin{bmatrix}
         1/4 & 0 \\
         0 & 1 \\
     \end{bmatrix} </math>
| <math> \begin{bmatrix}
         1/4 & 0 \\
         0 & -1/4 
     \end{bmatrix} </math>
|-
| ''Q''(''x'',''y'') = 1/4 ''x''<sup>2</sup> + ''y''<sup>2</sup> 
| ''Q''(''x'',''y'') = 1/4 ''x''<sup>2</sup> − 1/4 ''y''<sup>2</sup>
|-
| [[File:Ellipse in coordinate system with semi-axes labelled.svg|150px]] <br>Σημείο τέτοιο ώστε ''Q''(''x'',''y'')=1 <br> ([[Έλλειψη]]).
| [[File:Hyperbola2 SVG.svg|150px]] <br> Σημείο τέτοιο ώστε ''Q''(''x'',''y'')=1 <br> ([[Υπερβολή (γεωμετρία)|Υπερβολή]]).
|}
Ένας συμμετρικός ''ν''×''ν'' πίνακας ονομάζεται '' θετικά ορισμένος'' (αντιστοίχως αρνητικά ορισμένος), εάν για όλα τα μη μηδενικά διανύσματα  '''x'''&nbsp;∈&nbsp;'''R'''<sup>''n''</sup> οι συνδεδεμένες δευτεροβάθμιες μορφές δίνονται από
:<cite id="quadratic_forms">''Q''('''x''') = '''x'''<sup>T</sup>'''Ax'''</cite>,
παίρνει μόνο θετικές τιμές (αντιστοίχως μόνο αρνητικές τιμές).<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Chapter 7 }}</ref>  Εάν η τετραγωνική μορφή παίρνει μόνο θετικές (αντίστοιχα μόνο αρνητικές) τιμές, ο συμμετρικός πίνακας ονομάζεται γνησίως-θετικός (αντίστοιχα γνησίως-αρνητικός).  Εάν η τετραγωνική μορφή παίρνει μόνο μη-αρνητικές τιμές (θετικές και μηδέν), ο συμμετρικός πίνακας ονομάζεται θετικά ημιορισμένος (ή εάν παίρνει μόνο μη-θετικές (αρνητικές και μηδέν), τότε αρνητικά ημιορισμένος). Ως εκ τούτου ο πίνακας είναι αόριστος όταν δεν είναι ούτε θετικά ούτε αρνητικά-ημιορισμένος.

Ένας συμμετρικός πίνακας είναι θετικά ορισμένος αν και μόνο αν όλες οι ιδιοτιμές του είναι θετικές.<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Theorem 7.2.1 }}</ref> Ο πίνακας στα δεξιά δείχνει δυο δυνατότητες για 2-2 πίνακες.

Επιτρέποντας ως είσοδο δύο διαφορετικούς φορείς αποδίδει αντ 'αυτού τη  [[διγραμμική μορφή]] μου συνδέεται με το '''A''':
:''B''<sub>'''A'''</sub> ('''x''', '''y''') = '''x'''<sup>T</sup>'''Ay'''.<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Example 4.0.6, p. 169 }}</ref>

====Ορθογώνιος πίνακας ====
{{Κύριο|Ορθογώνιος πίνακας}}
Ένας ''ορθογώνιος πίνακας'' είναι ένας [[τετραγωνικός πίνακας]] με [[πραγματικός αριθμός|πραγματικά]] στοιχεία, του οποίου οι στήλες (και οι γραμμές) είναι [[μοναδιαία]] ορθογώνια διανύσματα (δηλ., ορθοκανονικά διανύσματα). Ισοδύναμα, ένας πίνακας ''A'' είναι ορθογώνιος αν η [[Ανάστροφος πίνακας|αναστροφή]] του  είναι ίση με τον [[Αντιστρέψιμος πίνακας|αντίστροφό]] του:

:<math>A^\mathrm{T}=A^{-1}, \,</math>
το οποίο συνεπάγεται
:<math>A^\mathrm{T} A = A A^\mathrm{T} = I, \,</math>
όπου ''I'' είναι ο [[ταυτοτικός πίνακας]].

Ένας ορθογώνιος πίνακας ''A'' είναι απαραίτητα [[αντιστρέψιμος]] (με αντίστροφο τον {{nowrap|1=''A''<sup>&minus;1</sup> = ''A''<sup>T</sup>}}), [[μοναδιακού]] ({{nowrap|1=''A''<sup>&minus;1</sup> = ''A''*}}), και [[κανονικού]] ({{nowrap|1=''A''*''A'' = ''AA''*}}). Η [[ορίζουσα]] οποιουδήποτε ορθογώνιου πίνακα είναι είτε +1 είτε -1. Ένας ''ειδικός ορθογώνιος πίνακας'' είναι ένας ορθογώνιος πίνακας με [[ορίζουσα]] +1. Όπως ένας [[γραμμικος μετασχηματισμός]], κάθε ορθογώνιος πίνακας με ορίζουσα +1 είναι μια καθαρή [[περιστροφή]], ενώ κάθε ορθογώνιος πίνακας με ορίζουσα -1 είναι είναι μια καθαρή [[αντανάκλαση]], ή μια σύνθεση της αντανάκλασης και της περιστροφής.

Η [[μιγαδικός αριθμός|μιγαδική]] αναλογία ενός ορθογώνιου πίνακα είναι ένας [[μοναδιακός πίνακας]].

====Ίχνος====
{{Κύριο|Ίχνος πίνακα}}
Το [[Ίχνος πίνακα|ίχνος]] <math>\operatorname{tr}(\mathbf{A})</math> ενός τετραγωνικού πίνακα <math>\mathbf{A}</math> είναι ένα άθροισμα των στοιχείων της [[Κύρια διαγώνιος πινάκων|κυρίας διαγωνίου]] του.  Αν και ο πολλαπλασιασμός πινάκων δεν είναι αντιμεταθετικός (όπως αναφέρεται παραπάνω), το ίχνος του πολλαπλασιασμού δύο πινάκων είναι ανεξάρτητο από τη σειρά των παραγόντων: 
:<math>\operatorname{tr}(\mathbf{AB}) = \operatorname{tr}(\mathbf{BA})</math>. 
Αυτό προκύπτει άμεσα από τον ορισμό του πολλαπλασιασμού πινάκων:
:<math>\operatorname{tr}(\mathbf{AB}) = \sum_{i=1}^m (\mathbf{AB})_{ii} = \sum_{i=1}^m \sum_{j=1}^n A_{ij} B_{ji} = \sum_{j=1}^n \sum_{i=1}^m \mathbf{B}_{ji} \mathbf{A}_{ij} = \operatorname{tr}(\mathbf{BA}).</math>
Επίσης, το ίχνος ενός πίνακα είναι ίσο με εκείνο του ανάστροφού του, δηλ.,
:<math>\operatorname{tr}(\mathbf{A}) = \operatorname{tr}(\mathbf{A}^{\mathrm{T}})</math>.

====Ορίζουσα====
{{Κύριο|Ορίζουσα}}
[[File:Determinant example.svg|thumb|300px|right|Ένας γραμμικός μετασχηματισμός του  '''R'''<sup>2</sup> δίνεται από έναν πίνακα με δείκτες. Η ορίζουσα αυτού του πίνακα είναι −1, όπως η περιοχή του πράσινου παραλληλογράμμου στα δεξιά είναι 1, αλλά η απεικόνιση αντιστρέφει τον [[προσανατολισμό]], στρέφοντας τον αριστερόστροφο προσανατολισμό των διανυσμάτων σε δεξιόστροφο.]]

Η ''ορίζουσα'' det('''A''') ή |'''A'''| ενός τετραγωνικού πίνακα '''A''' είναι ένα αριθμός που κωδικοποιεί ορισμένες ιδιότητες του πίνακα.         'Ένας πίνακας είναι αντιστρέψιμος [[αν και μόνο αν]] η ορίζουσά του δεν είναι μηδέν. Η [[απόλυτη τιμή]] του ισούται με την περιοχή (στον '''R'''<sup>2</sup>) ή όγκο (στον '''R'''<sup>3</sup>) της εικόνας του ενιαίου τετραγώνου (ή κύβου), ενώ το σήμα του να αντιστοιχεί προς τον προσανατολισμό του αντίστοιχου γραμμικού χάρτη: η ορίζουσα είναι θετική, αν και μόνο αν ο προσανατολισμός διατηρείται.

Η ορίζουσα ενός 2 επί 2 πίνακα δίνεται από τον τύπο
:<math>\det \begin{bmatrix}a&b\\c&d\end{bmatrix} = ad-bc.</math>
Η ορίζουσα ενός 3 επί 3 πίνακα περιλαμβάνει 6 όρους ([[κανόνας του Sarrus]]). Ο πιο μακρύς  [[τύπος Leibniz]] γενικεύει αυτούς τους δύο τύπους σε όλες τις διαστάσεις.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.2.1 }}</ref>

Η ορίζουσα του γινομένου τετραγωνικών πινάκων είναι ίση με το γινόμενο των οριζουσών τους: 
:{{nowrap begin}}det('''AB''') = det('''A''') · det('''B''').<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem III.2.12 }}</ref>{{nowrap end}}
Προσθέτοντας ένα πολλαπλάσιο οποιασδήποτε γραμμής σε μια άλλη, ή ένα πολλαπλάσιο οποιασδήποτε στήλης σε μια άλλη, δεν αλλάζει η ορίζουσα. Εναλλάσσοντας επηρεάζει την ορίζουσα πολλαπλασιάζοντας την ορίζουσα με -1.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Corollary III.2.16 }}</ref> Χρησιμοποιώντας αυτές τις λειτουργίες, οποιοσδήποτε πίνακας μπορεί να τροποποιηθεί σε έναν κάτω  (ή άνω) τριγωνικό πίνακα, και για τέτοιους πίνακες η ορίζουσα ισούται με το γινόμενο των στοιχείων της κύριας διαγωνίου του; αυτό παρέχει μια μέθοδο να υπολογίζουμε την ορίζουσα οποιουδήποτε πίνακα. Τελικά, η [[επέκταση Λαπλάς]] εκφράζει την ορίζουσα των [[Υποπίνακας|υποπινάκων]], δηλ., ορίζουσες μικρότερων πινάκων.<ref>{{Harvard citations |last1=Mirsky |year=1990 |nb=yes |loc=Theorem 1.4.1 }}</ref> Η έκφραση μπορεί να χρησιμοποιηθεί για ένα αναδρομικό ορισμό των οριζουσών (παίρνοντας ως αρχική υπόθεση την ορίζουσα ενός 1 επί 1 πίνακα, η οποία είναι ένα μοναδικό στοιχείο, ή ακόμα την ορίζουσα ενός 0 επί 0 πίνακα, η οποία είναι 1), που μπορεί να θεωρηθεί ότι είναι ισοδύναμη με τον τύπο Leibniz. Οι ορίζουσες μπορούν αν χρησιμοποιηθούν για να λύσουν [[Σύστημα γραμμικών εξισώσεων|γραμμικά συστήματα]] χρησιμοποιώντας τον [[Κανόνας του Κράμερ|κανόνα του Κράμερ]], όπου η διαίρεση των οριζουσών δύο συγγενικών τετραγωνικών πινάκων ισοδυναμεί με την αξία του καθενός από τις μεταβλητές του συστήματος.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Theorem III.3.18 }}</ref>

====Ιδιοτιμές και ιδιοδιανύσματα====
{{Κύριο|Ιδιοτιμές και ιδιοδιανύσματα}}
Ένας αριθμός λ και ένα [[Μηδενικό διάνυσμα|μη μηδενικό διάνυσμα]]  '''v''' ικανοποιώντας την σχέση
:'''Av''' = λ'''v'''
ονομάζεται ''ιδιοτιμή'' και ''ιδιοδιάνυσμα'' του '''A''', αντίστοιχα<ref group="nb">''Eigen'' means "own" in [[German language|German]] and in [[Dutch language|Dutch]].</ref><ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.4.1 }}</ref> Ο αριθμός λ είναι μια ιδιοτιμή ενός ''n''×''n'' πίνακα '''A''' αν και μόνο αν '''A'''−λ'''I'''<sub>''n''</sub> δεν είναι αντιστρέψιμος, ο οποίος είναι [[ισοδύναμος]] με
:<math>\det(\mathsf{A}-\lambda \mathsf{I}) = 0.\ </math><ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Definition III.4.9 }}</ref>
Το πολυώνυμο ''p''<sub>'''A'''</sub> με [[άγνωστο]] ''X'' που δίνεται από την εκτίμηση της ορίζουσας  det(''X'''''I'''<sub>''n''</sub>−'''A''') ονομάζεται [[χαρακτηριστικό πολυώνυμο]] του '''A'''. Είναι ένα  [[μονώνυμο]]  [[βαθμού]] ''n''. Ως εκ τούτου η πολυωνυμική εξίσωση ''p''<sub>'''A'''</sub>(λ)&nbsp;=&nbsp;0 έχει το πολύ ''n'' διαφορετικές λύσεις, δηλ., ιδιοτιμές του πίνακα.<ref>{{Harvard citations |last1=Brown |year=1991 |nb=yes |loc=Corollary III.4.10 }}</ref>  Μπορεί να είναι πολύπλοκοι ακόμη και αν τα στοιχεία του '''A''' είναι πραγματικά. Σύμφωνα με το [[θεώρημα Κέιλεϊ-Χάμιλτον]], {{nowrap begin}}''p''<sub>'''A'''</sub>('''A''') = '''0'''{{nowrap end}}, το οποίο είναι, το αποτέλεσμα της αντικατάστασης του ίδιου του πίνακα στις δικές του χαρακτηριστικές πολυωνυμικές τιμές του [[Μηδενικός πίνακας|μηδενικού πίνακα]].

==Υπολογιστικές πτυχές==
Οι υπολογισμοί στους πίνακες εκτελούνται συνήθως με διαφορετικές τεχνικές. Πολλά προβλήματα μπορούν να λυθούν από αμφότερα απευθείας αλγορίθμους ή επαναληπτικές προσεγγίσεις. Για παράδειγμα, τα ιδιοδιανύσματα ενός τετραγωνικού πίνακα μπορούν να ληφθούν βρίσκοντας μία [[ακολουθία]] διανυσμάτων '''x'''<sub>''n''</sub> [[συγκλίνουσα]] σε ένα ιδιοδιάνυσμα όταν το ''n'' τείνει στο [[άπειρο]].<ref>{{Harvard citations |last1=Householder |year=1975 |loc=Ch. 7 |nb=yes }}</ref>

Για να είσαι ικανός να διαλέξεις τον πιο κατάλληλο αλγόριθμο για κάθε συγκεκριμένο πρόβλημα, είναι σημαντικό να αποφασίσεις αμφότερα την αποτελεσματικότητα και ακρίβεια όλων των διαθέσιμων αλγορίθμων. Ο τομέας που μελετά αυτά τα θέματα ονομάζεται [[γραμμική άλγεβρα]].<ref>{{Harvard citations |last1=Bau III |last2=Trefethen |year=1997 |nb=yes }}</ref> Όπως με άλλες αριθμητικές καταστάσεις, οι δύο κύριες πτυχές είναι η [[πολυπλοκότητα]] των αλγορίθμων και η [[αριθμητική ευστάθειά]] τους.

Αποφασίζουμε την πολυπλοκότητα ενός αλγορίθμου σημαίνει βρίσκουμε [[άνω όρια]] ή υπολογίζουμε πόσες στοιχειώδεις πράξεις όπως προσθέσεις ή πολλαπλασιασμοί βαθμίδων είναι απαραίτητοι να εκτελεστούν μερικοί αλγόριθμοι, π.χ., ο πολλαπλασιασμός πινάκων. Για παράδειγμα, υπολογίζοντας τον πίνακα γινομένου δύο ''n''-επί-''n'' πινάκων χρησιμοποιώντας τον ορισμό που δόθηκε παραπάνω  χρειάζεται ''n''<sup>3</sup> πολλαπλασιασμούς, δεδομένου ότι οποιαδήποτε ''n''<sup>2</sup> στοιχεία του γινομένου, ''n'' πολλαπλασιασμοί είναι απαραίτητοι. Ο [[αλγόριθμος Strassen]] υπερτερεί σε σχέση με τον "απλό" αλγόριθμο: χρειάζεται μόνο ''n''<sup>2.807</sup> πολλαπλασιασμούς.<ref>{{Harvard citations |last1=Golub |last2=Van Loan |year=1996 |nb=yes |loc=Algorithm 1.3.1 }}</ref> Μία επίσης εξευγενισμένη προσέγγιση ενσωματώνει ειδικά χαρακτηριστικά των υπολογιστικών συσκευών.

Σε πολλές πρακτικές περιπτώσεις είναι γνωστές οι επιπλέον πληροφορίες όσον αφορά τους σχετικούς με τους πίνακες. Μία σημαντική περίπτωση είναι οι [[αραιοί πίνακες]], δηλ., πίνακες των οποίων τα περισσότερα στοιχεία είναι μηδέν. Υπάρχουν ειδικά προσαρμοσμένοι αλγόριθμοι για την επίλυση γραμμικών συστημάτων '''Ax''' = '''b''' για αραιούς πίνακες '''A''', όπως η [[μέθοδος των ζυγών]].<ref>{{Harvard citations |last1=Golub |last2=Van Loan |year=1996 |nb=yes |loc=Chapters 9 and 10, esp. section 10.2 }}</ref>

Ένας αλγόριθμος, σε γενικές γραμμές, είναι αριθμητικά σταθερός, εαν μικρές αποκλίσεις στις τιμές εισόδου δεν οδηγούν σε μεγάλες αποκλίσεις στο αποτέλεσμα. Για παράδειγμα, υπολογίζοντας τον αντίστροφο ενός πίνακα μέσω του [[τύπου του Λαπλάς]] (Adj ('''A''') υποδηλώνει τον [[προσαρτημένο πίνακα]] του '''A''')
:'''A'''<sup>−1</sup> = Adj('''A''') / det('''A''')
μπορεί να οδηγήσει σε σημαντικά σφάλματα στρογγυλοποίησης εαν η ορίζουσα του πίνακα είναι πολύ μικρή. Η [[νόρμα ενός πίνακα]] μπορεί να χρησιμοποιηθεί για να συλλάβει την [[κατάσταση]] προβλημάτων γραμμικής άλγεβρας, όπως υπολογίζοντας τον αντίστροφο ενός πίνακα.<ref>{{Harvard citations |last1=Golub |last2=Van Loan |year=1996 |nb=yes |loc=Chapter 2.3 }}</ref>

Στις αρχές της δεκαετίας του '70, μερικοί επιτραπέζιοι υπολογιστές μηχανικής όπως [[HP 9830]] είχαν ROM cartridges που πρόσθεταν εντολές BASIC για πράξεις και υπολογισμούς σε πίνακες. Μερικές [[Γλώσσα προγραμματισμού|γλώσσες προγραμματισμού]] όπως η [[APL (programming language)|APL]] ήταν σχεδιασμένες να μανουβράρουν πίνακες, και ποικίλα μαθηματικά προγράμματα μπορούν να χρησιμοποιηθούν με σκοπό τον υπολογισμό των πινάκων.<ref>Για παράδειγμα, το [[Mathematica]], δείτε {{Harvard citations|last1=Wolfram|year=2003|loc=Ch. 3.7|nb=yes}}</ref> Οι περισσότερες σύγχρονες γλώσσες προγραμματισμού γενικού σκοπού, όπως η [[C++]], [[Java]], [[Python]], υποστηρίζουν πράξεις σε πίνακες μέσω επιπρόσθετων [[Βιβλιοθήκη (υπολογιστές)|βιβλιοθηκών]] γραμμικής άλγεβρας (π.χ. η βιβλιοθήκη Eigen<ref>{{cite web |title=Eigen |url=https://eigen.tuxfamily.org/index.php?title=Main_Page |publisher=Eigen |accessdate=19 Αυγούστου 2022}}</ref> στην C++, η EJML<ref>{{cite web |title=Eficient Java Matrix Library |url=http://ejml.org/wiki/index.php?title=Main_Page |publisher=EJML |accessdate=19 Αυγούστου 2022}}</ref> στη Java και η NumPy<ref>{{cite web |title=NumPy |url=https://numpy.org/ |publisher=NumPy |accessdate=19 Αυγούστου 2022}}</ref> στην Python.

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

Η [[LU αποσύνθεση]] παραγοντοποιεί πίνακες ως παράγωγος των κάτω ('''L''') και άνω  [[τριγωνικών πινάκων]] ('''U''').<ref>{{Harvard citations |last1=Press |last2=Flannery |last3=Teukolsky |year=1992 |nb=yes }}</ref> Μια φορά η ορίζουσα υπολογίζεται,  γραμμικά συστήματα μπορούν να λυθούν πιο αποτελεσματικά, με έναν απλό τρόπο που ονομάζεται [[εμπρός και πίσω αντικατάσταση]]. Παρομοίως, οι αντίστροφοι τριγωνικών πινάκων είναι αλγοριθμικά ευκολότερο να υπολογιστούν. Η ''απαλοιφή του Gauss''είναι ένας παρόμοιος αλγόριθμος: μετασχηματίζει οποιοδήποτε πίνακα σε  [[κλιμακωτή μορφή ανά γραμμή]].<ref>{{Harvard citations |last1=Stoer |last2=Bulirsch |year=2002 |nb=yes |loc=Section 4.1 }}</ref>  Και οι δύο οι μέθοδοι προχωράνε πολλαπλασιάζοντας τον πίνακα με κατάλληλους  [[στοιχειώδης πίνακες]], οι οποίοι αντιστοιχούν [[μεταθέσεις γραμμών ή στηλών]] και προσθέτουν πολλαπλάσια μιας γραμμής σε άλλη. Η μοναδική αξία της αποσύνθεσης εκφράζει οποιονδήποτε πίνακα '''A''' ως έναν παράγωγο '''UDV'''<sup>∗</sup>, όπου '''U''' και '''V''' είναι [[ενιαίοι πίνακες]] και '''D'''  είναι ένας διαγώνιος πίνακας.

[[File:Jordan blocks.svg|right|thumb|250px|Ένα παράδειγμα ενός πίνακα σε κανονική μορφή Jordan. Τα γκρι μπλοκ ονομάζονται Jordan blocks.]]
Η [[φασματική αποσύνθεση]] ή ''διαγωνιοποίηση'' εκφράζει τον '''A''' ως ένα παράγωγο '''VDV'''<sup>−1</sup>, όπου '''D''' είναι ένας διαγώνιος πίνακας και '''V''' είναι ένας κατάλληλα αντιστρέψιμος πίνακας.<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Theorem 2.5.4 }}</ref>  Αν  ο '''A''' μπορεί να γραφεί σε αυτή τη μορφή, ονομάζεται [[διαγωνιοποιήσιμος πίνακας]]. Πιο γενικά, και εφαρμόζεται σε όλους τους πίνακες, η αποσύνθεση Jordan μετασχηματίζει έναν πίνακα σε  [[κανονική μορφή Jordan]], η οποία λέει ότι οι πίνακες των οποίων τα μη μηδενικά στοιχεία είναι οι φασματικές αποσυνθέσεις από το  λ<sub>1</sub> στο λ<sub>n</sub> του '''A''', τοποθετημένα πάνω στην κύρια διαγώνιο και πιθανότατα στοιχεία κατάλληλα πάνω από την κύρια διαγώνιο, όπως δείχνεται δεξιά.<ref>{{Harvard citations |last1=Horn |last2=Johnson |year=1985 |nb=yes |loc=Ch. 3.1, 3.2 }}</ref>  Δίνοντας την φασματική αποσύνθεση, η ''n''<sup>th</sup> δύναμη του '''A''' (δηλ., ''n'' φορές επαναλαμβάνεται ο πολλαπλασιασμός πινάκων) μπορεί να υπολογιστεί μέσω της 
:'''A'''<sup>''n''</sup> = ('''VDV'''<sup>−1</sup>)<sup>''n''</sup> = '''VDV'''<sup>−1</sup>'''VDV'''<sup>−1</sup>...'''VDV'''<sup>−1</sup> = '''VD'''<sup>''n''</sup>'''V'''<sup>−1</sup>
και η δύναμη ενός διαγώνιου πίνακα μπορεί να υπολογιστεί παίρνοντας τις αντίστοιχες δυνάμεις των διαγώνιων στοιχείων, οι οποίοι είναι ευκολότεροι από το να υψώσεις σε δύναμη έναν πίνακα  '''A''' αντίστοιχα. Αυτό μπορεί αν χρησιμοποιηθεί για να υπολογιστεί ο  [[εκθετικός πίνακας]] ''e''<sup>'''A'''</sup>, προκύπτει συχνά η ανάγκη λύνοντας [[γραμμικές διαφορικές εξισώσεις]], [[λογάριθμους πίνακα]] και [[τετραγωνικές ρίζες πινάκων]].<ref>{{Harvard citations |last1=Arnold |last2=Cooke |year=1992 |nb=yes |loc=Sections 14.5, 7, 8 }}</ref> Για να αποφύγουμε αριθμητικά [[κακοσυσκευασμένες]] καταστάσεις, περαιτέρω αλγόριθμοι όπως είναι η [[αποσύνθεση Schur]] που μπορεί αν μας απασχολήσει.<ref>{{Harvard citations |last1=Bronson |year=1989 |nb=yes |loc=Ch. 15 }}</ref>

==Περίληψη αλγεβρικών πτυχών και γενικεύσεις==
Οι πίνακες μπορούν να γενικεύονται με διαφορετικούς τρόπους. Η αφηρημένη άλγεβρα χρησιμοποιεί πίνακες με στοιχεία σε πιο γενικά  πεδία ή ακόμα δακτυλίους, ενώ η γραμμική άλγεβρα κωδικοποιεί ιδιότητες πινάκων στην έννοια των γραμμικών χαρτών. Είναι πιθανό να εξετάσετε πίνακες με άπειρες στήλες και γραμμές. Άλλη επέκταση είναι οι  [[τανυστές]], που μπορούν να θεωρηθούν ως υψηλότερων διαστάσεων συστοιχίες αριθμών, σε αντίθεση με τους φορείς, οι οποίοι συχνά μπορούν να πραγματοποιήσουν ακολουθίες αριθμών, ενώ οι πίνακες είναι ορθογώνιοι ή δύο διαστάσεων συστοιχία αριθμών.<ref>{{Harvard citations |last1=Coburn |year=1955 |nb=yes |loc=Ch. V }}</ref> Οι πίνακες, υπόκεινται σε ορισμένες απαιτήσεις τείνοντας να σχηματίσουν  [[ομάδες]] γνωστές ως ομάδες πινάκων.

===Πίνακες με πιο γενικά στοιχεία ===
Αυτό το άρθρο εστιάζει σε πίνακες των οποίων τα στοιχεία είναι [[πραγματικός αριθμός|πραγματικοί]] ή  [[μιγαδικός αριθμός|μιγαδικοί αριθμοί]].<cite id="more_general_entries"> Ωστόσο, οι πίνακες μπορούν να θεωρηθούν με πιο γενικούς τύπους των στοιχείων από πραγματικούς ή μιγαδικούς αριθμούς.</cite> Σε πρώτο βήμα της γενίκευσης, οποιοδήποτε σώμα, π.χ., ένα [[σύνολο]] όπου οι πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού και της [[διαίρεσης]] είναι καλά ορισμένες, μπορούν να χρησιμοποιηθούν αντί του '''R''' ή του '''C''', όπως είναι οι [[ρητός αριθμός|ρητοί αριθμοί]] ή τα [[Πεπερασμένο σώμα|πεπερασμένα σώματα]]. Για παράδειγμα, η [[θεωρία κωδικοποίησης]] κάνει χρήση των πινάκων πάνω από πεπερασμένα πεδία. Οπουδήποτε οι ιδιοτιμές θεωρούνται, όπως είναι οι ρίζες ενός πολυωνύμου μπορούν να υπάρχουν μόνο σε ένα σώμα μεγαλύτερο από τους συντελεστές του πίνακα; για παράδειγμα μπορεί να είναι πολύπλοκοι σε περίπτωση ενός πίνακα με πραγματικά. Η πιθανότητα να επανερμηνεύει τα στοιχεία ενός πίνακα ως στοιχεία ενός μεγαλύτερου σώματος (π.χ., το να βλέπεις ένα πραγματικό πίνακα ως ένα μιγαδικό πίνακα του οποίου τα στοιχεία τυχαίνει να είναι όλα πραγματικά) έπειτα επιτρέπουν θεωρώντας κάθε τετραγωνικό πίνακα να διαθέτει ένα πλήρες σύνολο των ιδιοτιμών. Εναλλακτικά εξετάστε μόνο πίνακες με στοιχεία μέσα σε ένα [[αλγεβρικά κλειστό σώμα]], όπως είναι το '''C''', από την αρχή.

Πιο γενικά, η αφηρημένη άλγεβρα κάνει καταπληκτική χρήση των πινάκων με στοιχεία μέσα σε ένα δακτύλιο ''R''.<ref>{{Harvard citations |last1=Lang |year=2002 |nb=yes |loc=Chapter XIII }}</ref> Οι δακτύλιοι είναι μια πιο γενική έννοια από τα πεδία με μια πράξη διαίρεσης με την έννοια ότι δεν χρειάζεται να υπάρχει . Παρομοίως, οι πράξεις οι πράξεις της πρόσθεσης και του πολλαπλασιασμού πινάκων εκτείνονται σε αυτή τη ρύθμιση, επίσης. Το σύστημα M(''n'', ''R'') όλων των τετραγωνικών ''n'' επί ''n'' πινάκων στον ''R'' είναι ένας δακτύλιος το οποίο ονομάζεται [[δακτύλιος πίνακα]], είναι ισομορφισμός στον ενδομορφισμό δακτυλίου της αριστερής  ''R''-[[μονάδας]] ''R''<sup>''n''</sup>.<ref>{{Harvard citations |last1=Lang |year=2002 |nb=yes |loc=XVII.1, p. 643 }}</ref> Αν ο δακτύλιος ''R'' είναι αντιμεταθετικός, π.χ., ο πολλαπλασιασμός του είναι [[αντιμεταθετική ιδιότητα|αντιμεταθετικός]], τότε M(''n'', ''R'') είναι μία ενιαία μη αντιμεταθετική (εκτός αν  ''n'' = 1) [[συνειρμική άλγεβρα]] πάνω στον ''R''. Η ορίζουσα τετραγωνικών πινάκων πάνω σε έναν [[Αντιμεταθετικός δακτύλιος|αντιμεταθετικό δακτύλιο]] ''R'' μπορεί ακόμη να οριστεί χρησιμοποιώντας τον τύπο Leibniz; όπως ένας πίνακας είναι αντιστρέψιμος αν και μόνο αν η ορίζουσα του είναι αντιστρέψιμη στον ''R'', γενικεύοντας την κατάσταση πάνω στο σώμα ''F'', όπου κάθε μη-μηδενικό στοιχείο είναι αντιστρέψιμο.<ref>{{Harvard citations |last1=Lang |year=2002 |nb=yes |loc=Proposition XIII.4.16 }}</ref> Οι πίνακες πάνω από τους υπερδακτύλιους ονομάζονται [[υπερπίνακες]].<ref>{{Harvard citations |last1=Reichl |year=2004 |nb=yes |loc=Section L.2 }}</ref>

Οι πίνακες που δεν έχουν πάντα όλα τους τα στοιχεία στον δακτύλιο&nbsp;– ή ακόμα σε κανένα δακτύλιο γενικά. Μία ειδική αλλά κοινή περίπτωση είναι οι [[block πίνακες]], οι οποίοι μπορούν να θεωρηθούν σαν πίνακες των οποίων τα στοιχεία είναι από μόνα τους πίνακες. Τα στοιχεία δεν είναι απαραίτητο να είναι τετραγωνικοί πίνακες, και έτσι δεν χρειάζεται να είναι μέλη κανενός συνηθισμένου δακτυλίου; αλλά τα μεγέθη τους πρέπει να πληρούν σίγουρα προϋποθέσεις συμβατότητας.

===Σχέσεις με γραμμικές απεικονίσεις===
Οι γραμμικές απεικονίσεις '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup> είναι ισοδύναμες προς ''m''-επί-''n'' πίνακες, όπως περιγράφεται παραπάνω. Πιο γενικά, κάθε γραμμική απεικόνιση {{nowrap|''f'': ''V'' → ''W''}} μεταξύ πεπερασμένων-διαστάσεων [[διανυσματικός χώρος|διανυσματικών χώρων]] μπορούν να περιγραφούν από έναν πίνακα '''A''' = (''a''<sub>''ij''</sub>), αφού επιλεχθούν βάσεις '''v'''<sub>1</sub>, ..., '''v'''<sub>''n''</sub> του ''V'', και '''w'''<sub>1</sub>, ..., '''w'''<sub>''m''</sub> του ''W'' (έτσι ''n'' είναι η διάσταση του  ''V'' και ''m'' είναι η διάσταση του ''W''), είναι τέτοια ώστε:
:<math>f(\mathbf{v}_j) = \sum_{i=1}^m a_{i,j} \mathbf{w}_i\qquad\mbox{for }j=1,\ldots,n.</math>
Με άλλα λόγια, η στήλη ''j'' του ''A'' εκφράζει την εικόνα του '''v'''<sub>''j''</sub> σε όρους των διανυσμάτων βάσης '''w'''<sub>''i''</sub> του ''W''; έτσι αυτή η σχέση μοναδικά καθορίζει τα στοιχεία του πίνακα '''A'''. Σημειώστε ότι ο πίνακας εξαρτάται από την επιλογή της βάσης: διαφορετικές επιλογές βάσεων συνεπάγονται σε διαφορετικά, αλλά οι [[ισοδύναμοι πίνακες]].<ref>{{Harvard citations |last1=Greub |year=1975 |nb=yes |loc=Section III.3 }}</ref> Πολλές από τις παραπάνω συγκεκριμένες έννοιες μπορούν να ερμηνευτούν εκ νέου υπό αυτό το πρίσμα, για παράδειγμα, ο αντίστροφος πίνακας του '''A'''<sup>''T''</sup> περιγράφει την αντίστροφη μίας γραμμικής απεικόνισης δοσμένη από τον '''A''', που αφορά τις [[δυικές βάσεις]].<ref>{{Harvard citations |last1=Greub |year=1975 |nb=yes |loc=Section III.3.13 }}</ref>

Αυτές οι ιδιότητες μπορούν να επαναδιατυπωθούν με ένα πιο φυσικό τρόπο: η κατηγορία όλων των πινάκων με στοιχεία σε ένα σώμα <math>k</math> με πολλαπλασιασμό όπως η σύνθεση είναι ισοδύναμη προς την κατηγορία των πεπερασμένων διαστάσεων διανυσματικών χώρων και γραμμικών απεικονίσεων πάνω από αυτό το σώμα.

Πιο γενικά, το σύνολο των ''m''×''n'' πινάκων μπορεί να χρησιμοποιηθεί για να αναπαρασταθούν οι ''R''-γραμμικές απεικονίσεις μεταξύ των ελεύθερων συζυγών ''R''<sup>''m''</sup> και ''R''<sup>''n''</sup> για έναν αυθαίρετο δακτύλιο ''R'' με ενότητα. Όταν η ''n''&nbsp;=&nbsp;''m'' σύνθεση αυτών των απεικονίσεων είναι δυνατή, και αυτό δημιουργεί τον [[δακτύλιο πίνακα]] των ''n''×''n'' πινάκων αντιπροσωπεύοντας τον [[ενδομορφισμός δακτυλίου|ενδομορφισμό δακτυλίου]] του ''R''<sup>''n''</sup>.

===Ομάδες πινάκων===
{{Main|Ομάδα πινάκων}}
Μία [[ομάδα]] είναι μία μαθηματική δομή αποτελούμενη από ένα σύνολο αντικειμένων μαζί με μία [[δυαδική πράξη]], δηλ., μία [[συνάρτηση]] που δέχεται δύο στοιχεία και επιστρέφει ένα τρίτο, ικανοποιώντας ορισμένες συνθήκες.<ref>Δείτε οποιοδήποτε βιβλίο για την [[θεωρία ομάδων]].</ref> Μία ομάδα στην οποία τα αντικείμενα είναι πίνακες και η λειτουργία της ομάδας είναι πίνακας πολλαπλασιασμού ονομάζεται ''ομάδα πινάκων''.<ref group="nb">Επιπλέον, η ομάδα ικανοποιεί την [[κλειστότητα]] στην γενική γραμμική ομάδα.</ref><ref>{{Harvard citations |last1=Baker |year=2003 |nb=yes |loc=Def. 1.30 }}</ref> Δεδομένου ότι κάθε στοιχείο μίας ομάδας  πρέπει να είναι αντιστρέψιμο, οι γενικότερες ομάδες πίνακα είναι ομάδες όλων των αντιστρέψιμων πινάκων ενός δεδομένου μεγέθους, ονομάζονται οι [[γενική γραμμική ομάδα|γενικές γραμμικές ομάδες]].

Κάθε ιδιότητα των πινάκων που διατηρείται υπό πίνακα γινομένων και αντίστροφων μπορεί να χρησιμοποιηθεί για να οριστούν περαιτέρω οι ομάδες πίνακα. Για παράδειγμα, πίνακες με ένα δεδομένο μέγεθος και με μία ορίζουσα 1 σχηματίζουν μία υποομάδα του (δηλ., μία μικρότερη ομάδα που εμπεριέχεται) η γενική τους γραμμική ομάδα, ονομάζεται [[ειδική γραμμική ομάδα]].<ref>{{Harvard citations |last1=Baker |year=2003 |nb=yes |loc=Theorem 1.2 }}</ref> Οι [[ορθογώνιοι πίνακες]], που ικανοποιούν την σχέση
:'''M'''<sup>T</sup>'''M''' = '''I''',
καθιστούν την [[ορθογώνια ομάδα]].<ref>{{Harvard citations |last1=Artin |year=1991 |nb=yes |loc=Chapter 4.5 }}</ref> Κάθε ορθογώνιος πίνακας έχει [[ορίζουσα]] 1 ή −1. Ορθογώνιοι πίνακες με ορίζουσα 1 σχηματίζουν μία υποομάδα ονομαζόμενη ''ειδική ορθογώνια ομάδα''.

Κάθε [[πεπερασμένη ομάδα]] είναι ισομορφική προς ένα μία ομάδα πίνακων, όπως προκύπτει από την [[κανονική αναπαράσταση]] της συμμετρικής ομάδας.<ref>{{Harvard citations |last1=Rowen |year=2008 |loc=Example 19.2, p. 198 |nb=yes }}</ref> Οι γενικές ομάδες μπορούν να μελετηθούν χρησιμοποιώντας πίνακα ομάδων, που είναι συγκριτικά περισσότερο κατανοητά, με την έννοια της αναπαραστατικής θεωρίας.<ref>See any reference in representation theory or group representation.</ref>

===Άπειροι πίνακες===
Είναι επίσης δυνατό να σκεφτεί κανείς τους πίνακες με άπειρα πολλές γραμμές και/ή στήλες <ref>See the item "Matrix" in {{Harvard citations |editor1-last=Itõ |year=1987 |nb=yes }}</ref> ακόμη και αν, όντας άπειρα αντικείμενα, δεν μπορεί να γραφεί ρητά όπως οι πίνακες. Το μόνο που έχει που σημασία είναι ότι για κάθε στοιχείο στο σύνολο των γραμμών με δείκτες, και κάθε στοιχείο στο σύνολο των στηλών με δείκτες, υπάρχει ένα καλώς ορισμένο στοιχείο (αυτά τα σύνολα δεικτών δε χρειάζεται να είναι υποσύνολα των φυσικών αριθμών). Οι βασικές πράξεις της πρόσθεσης, της αφαίρεσης, του βαθμωτού πολλαπλασιασμού και της αναστροφής μπορούν ακόμα να οριστούν χωρίς πρόβλημα: ωστόσο ο πίνακας πολλαπλασιασμού μπορεί να περιλαμβάνει άπειρες αθροίσεις για να οριστούν τα στοιχεία που προκύπτουν, και αυτά δεν ορίζονται γενικά.

Εαν ο ''R'' είναι ένας δακτύλιος με μονάδα, τότε ο δακτύλιος των ενδομορφισμών του <math>M=\bigoplus_{i\in I}R</math> όπως το δεξιό πρότυπο ''R'' είναι ισομορφικό προς το δακτύλιο του '''πίνακα πεπερασμένης στήλης''' <math>\mathbb{CFM}_I(R)</math> του οποίου τα στοιχεία είναι με δείκτες από <math>I\times I</math>, και του οποίου οι στήλες κάθεμία περιέχουν μόνο πεπερασμένα πολλά μη μηδενικά στοιχεία. Τους ενδομορφισμούς του ''M'' μπορούμε να τους σκεφτούμε όπως το αριστερό πρότυπο ''R'' καταλήγοντας σε ένα ανάλογο αντικείμενο, οι '''πίνακες πεπερασμένης γραμμής''' <math>\mathbb{RFM}_I(R)</math> των οποίων οι γραμμές καθεμία έχουν πεπερασμένα πολλά μη μηδενικά στοιχεία.

Εάν οι άπειροι πίνακες χρησιμοποιούνται για να περιγράψουν γραμμικές απεικονίσεις, τότε μόνο εκείνοι οι πίνακες μπορούν να χρησιμοποιηθούν των οποίων οι στήλες έχουν πεπερασμένο μη μηδενικών στοιχείων, για τον ακόλουθο λόγο. Για έναν πίνακα '''A''' να περιγράψει μία γραμμική απεικόνιση ''f'': ''V''→''W'', βάσεις και για τους δύο χώρους πρέπει να έχουν επιλεχθεί: θυμηθείτε ότι εξ ορισμού αυτό σημαίνει ότι κάθε διάνυσμα στο χώρο μπορεί να γραφεί μοναδικά ως ένα (πεπερασμένο) γραμμικό συνδυασμό] βάσης διανυσμάτων, έτσι γραμμένο ως μία (στήλη) διάνυσμα&nbsp;''v'' από συντελεστές, μόνο πεπερασμένα πολλά στοιχεία ''v''<sub>''i''</sub> είναι μη μηδενικά. Οι στήλες του '''A''' περιγράφουν τις εικόνες μέσω της ''f'' των μοναδικών διανυσμάτων βάσης του ''V'' στη βάση του ''W'', τα οποία έχουν νόημα μόνο αν αυτές οι στήλες έχουν μόνο πεπερασμένα πολλά μη μηδενικά στοιχεία. Δεν υπάρχει κανένας περιορισμός στις γραμμές του ''A'' ωστόσο: στο γινόμενο '''A'''·''v'' υπάρχουν μόνο πεπερασμένα πολλοί μη μηδενικοί συντελεστές που περιλαμβάνουν το ''v'', έτσι κάθε ένα από τα στοιχεία του, ακόμα και αν είναι δοσμένο ως άπειρο άθροισμα γινομένων, περιλαμβάνει μόνο πεπερασμένα πολλούς μη μηδενικούς όρους και είναι συνεπώς καλά ορισμένοι. Επιπλέον αυτό συμβάλλει στο σχηματισμό ενός γραμμικού συνδυασμού των στηλών του '''A''' που αποτελεσματικά περιλαμβάνει μόνο πεπερασμένα πολλά από αυτά, από όπου το αποτέλεσμα έχει μόνο πεπερασμένα πολλά μη μηδενικά στοιχεία, επειδή κάθε μία από εκείνες τις στήλες περιλαμβάνει. Επίσης μπορεί κανείς να δει ότι γινόμενα δύο πινάκων του δοσμένου τύπου είναι καλά ορισμένα (υπό την προϋπόθεση ότι ως συνήθως ο δείκτης στήλης και ο  δείκτης γραμμής των συνόλων ταιριάζουν), είναι ξανά του ίδιου τύπου, και αντιστοιχεί στη σύνθεση των γραμμικών απεικονίσεων.

Αν ο ''R'' είναι ένας [[σταθερός δακτύλιος]], τότε ο όρος της γραμμής ή μίας στήλης πεπερασμένα μπορεί να χαλαρώσει.  Με το σταθερό στη θέση του, οι [[απόλυτα συγκλίνουσες σειρές]] μπορούν να χρησιμοποιηθούν αντί για τα πεπερασμένα αθροίσματα. Για παράδειγμα, οι πίνακες των οποίων τα αθροίσματα στήλης είναι απόλυτα συγκλίνουσες ακολουθίες σχηματίζουν ένα δακτύλιο. Κατά ανάλογο τρόπο φυσικά, οι πίνακες των οποίων τα αθροίσματα γραμμής είναι απόλυτα συγκλίνουσες σειρές επίσης σχηματίζουν ένα δακτύλιο.

Σ'αυτό το πνεύμα, οι άπειροι πίνακες μπορούν να χρησιμοποιηθούν για να χρησιμοποιηθούν για να περιγράψουν τους τελεστές στους [[Χώρος Χίλμπερτ|χώρους του Hilbert]], όπου η σύγκλιση και η συνέχεια προκαλούν ερωτήματα, τα οποία καταλήγουν σε βέβαιους περιορισμούς οι οποίοι πρέπει να επιβάλλονται. Ωστόσο, η ρητή άποψη για τους πίνακες τείνει να θολώσει το θέμα,<ref group="nb">"Not much of matrix theory carries over to infinite-dimensional spaces, and what does is not so useful, but it sometimes helps." {{Harvard citations |last1=Halmos |year=1982 |loc=p. 23, Chapter 5 |nb=yes }}</ref> και η αφαίρεση και περισσότερο ισχυρά εργαλεία της [[συναρτησιακή ανάλυση|συναρτησιακής ανάλυσης]] μπορούν να χρησιμοποιηθούν αντί αυτού.

===Άδειοι πίνακες===
Ένας ''άδειος πίνακας'' είναι ένας πίνακας στον οποίο ο αριθμός των γραμμών ή στηλών (ή και τα δύο) είναι μηδέν.<ref>"Empty Matrix: A matrix is empty if either its row or column dimension is zero", [http://www.omatrix.com/manual/glossary.htm Glossary] {{Webarchive|url=https://web.archive.org/web/20090429015728/http://omatrix.com/manual/glossary.htm |date=2009-04-29 }}, O-Matrix v6 User Guide</ref><ref>"A matrix having at least one dimension equal to zero is called an empty matrix", [http://www.system.nada.kth.se/unix/software/matlab/Release_14.1/techdoc/matlab_prog/ch_dat29.html MATLAB Data Structures] {{Webarchive|url=https://web.archive.org/web/20091228102653/http://www.system.nada.kth.se/unix/software/matlab/Release_14.1/techdoc/matlab_prog/ch_dat29.html |date=2009-12-28 }}</ref> Οι άδειοι πίνακες βοηθούν να αντιμετωπίσουμε απεικονίσεις που περιλαμβάνουν το μηδενικό διανυσματικό χώρο. Για παράδειγμα, αν ο ''A'' είναι ένας 3-επί-0 πίνακας και ο ''B'' είναι ένας 0-επί-3 πίνακας, τότε ο ''AB'' είναι ο 3-επί-3 [[μηδενικός πίνακας]] cαντίστοιχος προς τη μηδενική απεικόνιση από ένα τρισδιάστατο χώρο ''V'' στον εαυτό του, ενώ ο ''BA'' είναι ένας 0-επί-0 πίνακας. Δεν υπάρχει κοινός συμβολισμός για τους άδειους πίνακες, αλλά τα περισσότερα [[συστήματα υπολογισμού άλγεβρας]] επιτρέπουν τη δημιουργία και τον υπολογισμό με αυτά. Η ορίζουσα του 0-επί-0 πίνακα είναι 1 ως εξής από σχετικά το [[άδειο γινόμενο]] απαντά στον τύπο του Λάιμπνιτς για την ορίζουσα όπως το 1. Αυτή η τιμή είναι επίσης συνεπής με το γεγονός ότι η [[ταυτοτική απεικόνιση]] από κάθε πεπερασμένων διαστάσεων χώρο στον εαυτό του έχει ορίζουσα&nbsp;1, ένα γεγονός το οποίο συχνά χρησιμοποιείται ως μέρος του χαρακτηρισμού των οριζουσών.

==Εφαρμογές==
Υπάρχουν πολυάριθμες εφαρμογές πινάκων, τόσο στα μαθηματικά όσο και σε άλλες επιστήμες. Μερικές από αυτές απλώς εκμεταλλεύονται τη συμπαγή παρουσίαση μιας σειράς αριθμών στον πίνακα. Για παράδειγμα, στη [[θεωρία παιγνίων]] και στα [[οικονομικά]], ο [[πίνακας εξόφλησης]] κωδικοποιεί την εξόφληση για δύο παίκτες, ανάλογα με το ποια από τη δεδομένη (πεπερασμένη) σειρά εναλλακτικών που οι παίκτες επιλέγουν.<ref>{{Harvard citations |last1=Fudenberg |last2=Tirole |year=1983 |nb=yes |loc=Section 1.1.1 }}</ref> Η [[εξόρυξη κειμένου]] και ο αυτοματοποιημένος θησαυρός κάνουν χρήση του βάση-δεδομένων πίνακα όπως [[tf-idf]] για να εντοπίσει συχνότητες συγκεκριμένων λέξεων σε ορισμένα αρχεία.<ref>{{Harvard citations |last1=Manning |year=1999 |loc=Section 15.3.4 |nb=yes }}</ref>

Οι μιγαδικοί αριθμοί μπορούν να αναπαραχθούν από συγκεκριμένου πραγματικούς 2 - 2 πίνακες μέσω
:<math>a + ib \leftrightarrow \begin{bmatrix}
a & -b  \\
b & a \end{bmatrix},</math>

που σύμφωνα με πρόσθεση και πολλαπλασιασμό μιγαδικών αριθμών και πινάκων αντιστοιχούν μεταξύ τους. Για παράδειγμα, 2 - 2 πίνακες αντιπροσωπεύουν τον πολλαπλασιασμό με μερικούς μιγαδικούς αριθμούς  μηδαμινής αξίας, όπως παραπάνω. Μια παρόμοια ερμηνεία είναι πιθανή για [[κβατέρνια]],<ref>{{Harvard citations |last1=Ward |year=1997 |loc=Ch. 2.8 |nb=yes }}</ref> και επίσης για [[άλγεβρα Κλίφορντ]] γενικά.

Γρήγορες τεχνικές [[κρυπτογράφηση]]ς όπως η [[αποκρυπτογράφηση Χιλ]] χρησιμοποιούν επίσης πίνακες. Παρ'όλα αυτά, λόγω της γραφικής φύσης των πινάκων, αυτοί οι κωδικοί είναι συγκριτικά εύκολοι να σπάσουν.<ref>{{Harvard citations |last1=Stinson |year=2005 |loc=Ch. 1.1.5 and 1.2.4 |nb=yes }}</ref> Τα [[γραφικά υπολογιστή]] χρησιμοποιούν πίνακες τόσο για να αναπαραστήσουν αντικείμενα και να υπολογίσουν μετατροπές αντικειμένων χρησιμοποιώντας [[πίνακας περιστροφής|πίνακες περιστροφής]] ώστε να εκτελέσουν καθήκοντα όπως προβάλλοντας ένα τρισδιάστατο αντικείμενο σε μια δισδιάστατη οθόνη, αντίστοιχα με μια θεωρητική κάμερα παρακολούθησης.<ref>{{Harvard citations |last1=Association for Computing Machinery |year=1979 |loc=Ch. 7 |nb=yes }}</ref> Πίνακες από [[πολυώνυμο δαχτυλίδι]] είναι σημαντικοί για την μελέτη της [[Θεωρία ελέγχου|θεωρίας ελέγχου]].

Η [[Χημεία]] κάνει χρήση πινάκων με ποικίλους τρόπους, συγκεκριμένα από την χρήση της [[κβαντική θεωρία|κβαντικής θεωρίας]] για να συζητήσει για τη  [[μοριακή συγκόλληση]] και τη [[φασματοσκοπία]]. Παραδείγματα αποτελούν η [[επικάλυψη πίνακα]] και ο [[πίνακας Fock]] που χρησιμοποιείται για την επίλυση [[Roothaan εξισώσεων]] για την απόκτηση μοριακών τροχιακών της Hartree–Fock μεθόδου.

===Θεωρία Γράφων===
[[File:Labelled undirected graph.svg|150px|thumb|right|Ένας [[Κατευθυνόμενος γράφος|μη-κατευθυνόμενος γράφος]] και ο πίνακας γειτνίασής του  <math>\begin{bmatrix}
1 & 1 & 0 \\
1 & 0 & 1 \\
0 & 1 & 0
\end{bmatrix}.</math>]]
Ο [[πίνακας γειτνίασης]] ενός πεπερασμένου γράφου είναι μια βασική έννοια της [[Θεωρία γράφων|θεωρίας γράφων]].<ref>{{Harvard citations |last1=Godsil |last2=Royle |year=2004 |nb=yes |loc=Ch. 8.1 }}</ref> Καταγράφει ποιες κορυφές του γράφου συνδέονται μεταξύ τους με μια ακμή. Πίνακες που περιέχουν μόνο δύο διαφορετικές τιμές (1 και 0 που σημαίνει για παράδειγμα "ναι" και "όχι", αντίστοιχα) ονομάζονται λογικοί πίνακες. Ο πίνακας αποστάσεων περιέχει πληροφορίες σχετικά με τις αποστάσεις των ακμών.<ref>{{Harvard citations |last1=Punnen |year=2002 |nb=yes }}</ref> Αυτές οι έννοιες μπορούν να εφαρμοστούν σε [[ιστοσελίδα|ιστοσελίδες]] συνδεδεμένες με [[υπερσύνδεσμο|υπερσυνδέσμους]] ή πόλεις που συνδέονται με δρόμους κλπ., Σε αρκετές περιπτώσεις όπως π.χ. σε ένα οδικό δίκτυο, λίγες κορυφές είναι απευθείας συνδεδεμένες με άλλες κορυφές και επομένως οι πίνακες γειτνίασης τείνουν να είναι [[αραιός πίνακας|αραιοί]], δηλαδή περιέχουν λίγες μη μηδενικές εγγραφές. Ως εκ τούτου, ειδικά προσαρμοσμένοι αλγοριθμικοί για πίνακες έχουν χρησιμοποιηθεί στην [[θεωρία γράφων]].

===Ανάλυση και γεωμετρία===
Ο [[Εσσιανός πίνακας]] μιας [[παραγωγίσιμη συνάρτηση|παραγωγίσιμης συνάρτησης]] ''ƒ'': '''R'''<sup>''n''</sup> → '''R''' αποτελείται από  δεύτερη παράγωγο της ''ƒ'' σε σχέση με τις διάφορες κατευθύνσεις συντεταγμένων, δηλαδή.<ref>{{Harvard citations |last1=Lang |year=1987a |nb=yes |loc=Ch. XVI.6 }}</ref>
:<math>H(f) = \left [\frac {\partial^2f}{\partial x_i \, \partial x_j} \right ].</math>
[[File:Saddle Point SVG.svg|left|thumb|Σε ένα [[σαγματικό σημείο]] (''x''&nbsp;=&nbsp;0, ''y''&nbsp;=&nbsp;0) (κόκκινο) μίας συνάρτησης ''f''(''x'',−''y'') =&nbsp;''x''<sup>2</sup>&nbsp;−&nbsp;''y''<sup>2</sup>, ο Εσσιανός πίνακας  <math>\begin{bmatrix}
2 & 0 \\
0 & -2
\end{bmatrix}</math> είναι [[αόριστος]].]]Κωδικοποιεί πληροφορίες σχετικά με την τοπική συμπεριφορά ανάπτυξης της συνάρτησης: δοθέντος [[κρίσιμο σημείο (μαθηματικά)|κρίσιμου σημείου]] '''x'''&nbsp;=&nbsp;(''x''<sub>1</sub>,&nbsp;...,&nbsp;''x''<sub>''n''</sub>), δηλαδή, ένα σημείο όπου οι πρώτες μερικές παράγωγοι <math>\partial f / \partial x_i</math> της ''ƒ'' εξαφανίζονται, η συνάρτηση έχει  [[τοπικό ελάχιστο]] εάν ο Εσσιανός πίνακας είναι θετικά ορισμένος. Ο [[Τετραγωνικός προγραμματισμός]] μπορεί να χρησιμοποιηθεί για την εύρεση ελαχίστου ή μεγίστου δευτεροβάθμιων συναρτήσεων που σχετίζονται στενά με αυτές που συνδέονται με πίνακες (βλέπε [[#quadratic forms|παραπάνω]]).<ref>{{Harvard citations |last1=Nocedal |year=2006 |loc=Ch. 16 |nb=yes }}</ref>

Ένας άλλος πίνακας που χρησιμοποιείται συχνά στην [[μαθηματική ανάλυση]] είναι ο <cite id="Jacobi_matrix">[[πίνακας Τζακόμπι]]</cite> για μία παραγωγίσιμη συνάρτηση ''f'': '''R'''<sup>''n''</sup> → '''R'''<sup>''m''</sup>. Έστω ''f''<sub>1</sub>, ..., ''f''<sub>''m''</sub> τα στοιχεία της ''f'', τότε ο πίνακας Τζακόμπι ορίζεται ως <ref>{{Harvard citations |last1=Lang |year=1987a |nb=yes |loc=Ch. XVI.1 }}</ref>
:<math>J(f) = \left [\frac {\partial f_i}{\partial x_j} \right ]_{1 \leq i \leq m, 1 \leq j \leq n}.</math>
Εάν  ''n'' > ''m'', και αν ο βαθμός του πίνακας Τζακόμπι φθάνει στην μέγιστη τιμή του, τα ''m'', ''f'' είναι τοπικά αντιστρέψιμα σε εκείνο το σημείο, από το [[Θεώρημα απεριόριστης συνάρτησης]].<ref>{{Harvard citations |last1=Lang |year=1987a |nb=yes |loc=Ch. XVI.5 }}. Για μία πιο προχωρημένη και γενική διατύπωση, δείτε {{Harvard citations|last1 =  Lang|year = 1969|nb = yes|loc=Ch. VI.2}}</ref>

Οι [[μερικές διαφορικές εξισώσεις]] μπορούν να ταξινομηθούν εξετάζοντας τον πίνακα των συντελεστών της υψηλότερης τάξης διαφορικών φορέων της εξίσωσης. Για τις [[μερικώς ελλειπτικές διαφορικές εξισώσεις]] αυτός ο πίνακας είναι θετικά ορισμένος, το οποίο έχει καθοριστική επιρροή στο σύνολο των πιθανών λύσεων της εν λόγω εξίσωσης.<ref>{{Harvard citations |last1=Gilbarg |last2=Trudinger |year=2001 |nb=yes }}</ref>

Η [[μέθοδος πεπερασμένων στοιχείων]] είναι μια σημαντική αριθμητική μέθοδος για την επίλυση μερικών διαφορικών εξισώσεων, εφαρμόζεται ευρέως στην προσομοίωση πολύπλοκων φυσικών συστημάτων. Επιχειρεί να προσεγγίσει τη λύση σε κάποια εξίσωση με τμηματικά γραμμικές συναρτήσεις, όπου τα τμήματα επιλέγονται σε σχέση με ένα επαρκώς λεπτό πλέγμα, το οποίο με τη σειρά του μπορεί να αναδιατυπωθεί ως εξίσωση πινάκων.<ref>{{Harvard citations|last1=Šolin|year=2005|nb=yes|loc=Ch. 2.5}}. See also [[stiffness method]].</ref>

{{clear}}

===Θεωρία Πιθανοτήτων και Στατιστική===
[[File:Markov chain SVG.svg|right|thumb|280px|Δύο διαφορετικές αλυσίδες Μάρκοφ. Το διάγραμμα απεικονίζει των αριθμό των σημείων (από ένα σύνολο 1000) στο "2". Και οι δύο οριακές τιμές μπορούν να καθοριστούν από μεταβατικούς πίνακες, οι οποίοι δίνονται από <math>\begin{bmatrix}.7&0\\.3&1\end{bmatrix} </math> (κόκκινο) και <math>\begin{bmatrix}.7&.2\\.3&.8\end{bmatrix} </math> (μαύρο).]]
Οι [[στοχαστικός πίνακας|στοχαστικοί πίνακες]] είναι τετραγωνικοί πίνακες των οποίων οι γραμμές είναι [[διάνυσμα πιθανότητας|διανύσματα πιθανοτήτων]], δηλ., των οποίων τα στοιχεία είναι μη αρνητικά και συνοψίζονται σε ένα. Οι στοχαστικοί πίνακας χρησιμοποιούνται για να ορίσουν την [[αλυσίδα Μάρκοφ]] με πολλά πεπερασμένα κράτη.<ref>{{Harvard citations |last1=Latouche |last2=Ramaswami |year=1999 |nb=yes }}</ref> Μια γραμμή του στοχαστικού πίνακα δίνει την [[κατανομή πιθανότητας]] για την επόμενη θέση κάποιου σωματιδίου επί του παρόντος στην κατάσταση που αντιστοιχεί στη γραμμή. Ιδιότητες της αλυσίδας Μάρκοφ, όπως οι [[Αλυσίδα Μάρκοφ#Καταστάσεις Απορρόφησης|καταστάσεις απορρόφησης]], δηλ., ποιες καταστάσεις θα επισκεφθούν τελικώς, μπορούν να προσδιοριστούν κοιτάζοντας τα ιδιοδιανύσματα των πινάκων μετάβασης.<ref>{{Harvard citations |last1=Mehata |last2=Srinivasan |year=1978 |nb=yes |loc=Ch. 2.8 }}</ref>

Η στατιστική επίσης κάνει χρήση πινάκων σε διάφορες μορφές.<ref>{{Citation |last=Healy |first=Michael |title=Matrices for Statistics |year=1986 |publisher=[[Oxford University Press]] |isbn=978-0-19-850702-4 }}</ref> Η [[περιγραφική στατιστική]] ασχολείται με την περιγραφή συνόλων δεδομένων, τα οποία μπορεί συχνά να παρασταθούν ως πίνακες δεδομένων, οι οποίοι μπορούν στη συνέχεια να υποβληθούν σε τεχνικές [[μείωση διάστασης|μείωσης διάστασης]]. Ο [[πίνακας συσχέτισης]] κωδικοποιεί την κοινή [[διακύμανση]] αρκετών τυχαίων μεταβλητών.<ref>{{Harvard citations |last1=Krzanowski |year=1988 |loc=Ch. 2.2., p. 60 |nb=yes }}</ref> Μια άλλη τεχνική που χρησιμοποιεί πίνακες είναι η [[απλή γραμμική παλινδρόμηση]], μια μέθοδος που προσεγγίζει ένα πεπερασμένο σύνολο ζευγών (''x''<sub>1</sub>, ''y''<sub>1</sub>), (''x''<sub>2</sub>, ''y''<sub>2</sub>), ..., (''x''<sub>''N''</sub>, ''y''<sub>''N''</sub>), με μια γραμμική συνάρτηση
:''y''<sub>''i''</sub> ≈ ''ax''<sub>''i''</sub> + ''b'', ''i'' = 1, ..., ''N''
η οποία μπορεί να τυποποιηθεί σε όρους πινάκων, που σχετίζονται με τη [[Ανάλυση πίνακα σε ιδιάζουσες τιμές]] των πινάκων.<ref>{{Harvard citations |last1=Krzanowski |year=1988 |loc=Ch. 4.1 |nb=yes }}</ref>

Οι [[τυχαίοι πίνακες]] είναι πίνακες των οποίων οι εγγραφές είναι τυχαίοι αριθμοί, υπόκεινται σε κατάλληλη [[κατανομή πιθανότητας]], όπως οι [[πίνακες κανονικής κατανομής]]. Πέρα από την θεωρία πιθανοτήτων, εφαρμόζονται σε τομείς που κυμαίνονται από την [[θεωρία αριθμών]] μέχρι τη φυσική.<ref>{{Harvard citations |last1=Conrey |year=2007 |nb=yes }}</ref><ref>{{Harvard citations |last1=Zabrodin |last2=Brezin |last3=Kazakov |last4=Serban |last5=Wiegmann |year=2006 |nb=yes }}</ref>

===Συμμετρίες και μετασχηματισμοί στη φυσική===
{{Further|Συμμετρία στη φυσική}}
Οι γραμμικοί μετασχηματισμοί και οι σχετικές συμμετρίες διαδραματίζουν καθοριστικό ρόλο στη σύγχρονη φυσική. Για παράδειγμα, το [[στοιχειώδες σωματίδιο]] στη [[θεωρία κβαντικού πεδίου]] ταξινομούνται ως αναπαραστάσεις της [[ομάδα Lorentz|ομάδας Lorentz]] της ειδικής σχετικότητας και, πιο συγκεκριμένα, με τη συμπεριφορά τους στο πλαίσιο της [[Ομάδα περιστροφής|ομάδας περιστροφής]].  Συγκεκριμένες αναπαραστάσεις εμπεριεχομένων των  πινάκων Pauli και γενικά των πινάκων γάμμα αποτελούν αναπόσπαστο μέρος της φυσικής περιγραφής των [[φερμιόνιο|φερμιονίων]], που συμπεριφέρονται ως [[spinor]]s.<ref>{{Harvard citations |last1=Itzykson |last2=Zuber |year=1980 |nb=yes |loc=Ch. 2 }}</ref> Για τα τρία ελαφρύτερα [[κουάρκ]], υπάρχει μια ομάδα-θεωρητική αναπαράσταση που αφορά την [[ειδική ενιαία ομάδα]] SU(3); για τους υπολογισμούς τους, οι φυσικοί χρησιμοποιούν μια βολική αναπαράσταση πίνακα που είναι γνωστή ως [[πίνακας Gell-Mann]], η οποία χρησιμοποιείται επίσης για την SU(3) [[ομάδα βαθμίδας]] που αποτελεί τη βάση της σύγχρονης περιγραφής των ισχυρών πυρηνικών αλληλεπιδράσεων της [[κβαντική χρωμοδυναμική|κβαντικής χρωμοδυναμικής]]. Ο [[πίνακας Cabibbo–Kobayashi–Maskawa]], με τη σειρά του, εκφράζει το γεγονός ότι τα βασικά μέλη κουάρκ που είναι σημαντικά για την [[ασθενής αλληλεπίδραση|ασθενή αλληλεπίδραση]] δεν είναι το ίδιο, αλλά σχετίζεται γραμμικά με τα βασικά μέλη κουάρκ που ορίζουν τα σωματίδια με συγκεκριμένες και διακριτές μάζες.<ref>see {{Harvard citations |last1=Burgess |last2=Moore |year=2007 |nb=yes |loc=section 1.6.3. (SU(3)), section 2.4.3.2. (Kobayashi–Maskawa matrix) }}</ref>

===Γραμμικοί συνδυασμοί των κβαντικών καταστάσεων===
Το πρώτο μοντέλο της [[κβαντομηχανική]]ς (Χάιζεμπεργκ, 1925) εκπροσωπείται από τους φορείς της θεωρίας από απειροδιάστατους πίνακες που ενεργούν για κβαντικές καταστάσεις.<ref>{{Harvard citations |last1=Schiff |year=1968 |nb=yes |loc=Ch. 6 }}</ref> Αυτό είναι επίσης γνωστό και ως κβαντομηχανική. Ένα συγκεκριμένο παράδειγμα είναι  [[πίνακας πυκνότητας]] που χαρακτηρίζει τη «μικτή» κατάσταση ενός κβαντικού συστήματος ως γραμμικός συνδυασμός πρωτοβάθμιας, καθαρής ιδιοκατάστασης.<ref>{{Harvard citations |last1=Bohm |year=2001 |nb=yes |loc=sections II.4 and II.8 }}</ref>

Ένας άλλος πίνακας που χρησιμεύει ως ένα βασικό εργαλείο για την περιγραφή των πειραμάτων σκέδασης που αποτελούν τον ακρογωνιαίο λίθο της σωματιδιακής φυσικής: Σύγκρουση αντιδράσεων, όπως στους [[επιταχυντής σωματιδίων|επιταχυντές σωματιδίων]], όπου σωματίδια που δεν αλληλεπιδρούν κατευθύνονται το ένας προς το άλλο και συγκρούονται σε μιας μικρή ζώνη αλληλεπίδρασης, με ένα σύνολο μη αλληοεπιδρώμενων σωματιδίων ως αποτέλεσμα, μπορεί να περιγραφεί ως το γινόμενο των εξερχόμενων κρατών σωματιδίων και ένας γραμμικός συνδυασμός των μελών προστιθέμενων σωματιδίων.  Ο γραμμικός συνδυασμός δίνεται από έναν πίνακα που είναι γνωστός ως [[S-πίνακας]], ο οποίος κωδικοποιεί όλες τις πληροφορίες σχετικά με τις πιθανές αλληλεπιδράσεις μεταξύ των σωματιδίων.<ref>{{Harvard citations |last1=Weinberg |year=1995 |nb=yes |loc=Ch. 3 }}</ref>

===Κανονικοί τρόποι===
Μια γενική εφαρμογή των πινάκων στην φυσική είναι στην περιγραφή των γραμμικά συνδεδεμένων αρμονικών συστημάτων. Οι [[εξισώσεις κίνησης]] τέτοιων συστημάτων μπορούν να περιγραφούν σε μορφή πίνακα, με έναν πίνακα μάζας πολλαπλασιάζοντας μια γενικευμένη ταχύτητα για να δώσει τον κινητικό όρο, και ένας δυναμικός πίνακας πολλαπλασιάζοντας ένα διάνυσμα μετατόπισης για τον χαρακτηρισμό των αλληλεπιδράσεων. Ο καλύτερος τρόπος για να ληφθούν λύσεις είναι να προσδιοριστεί το [[αυτοδιάνυσμα]] του συστήματος, την κανονική λειτουργία, διαγωνιοποιώντας την εξίσωση του πίνακα. Τεχνικές όπως αυτή είναι ζωτικής σημασίας όταν πρόκειται για την εσωτερική δυναμική των [[μόριο|μορίων]]: οι εσωτερικές δονήσεις των συστημάτων που αποτελούνται από αμοιβαίως δεσμευμένα άτομα συστατικού.<ref>{{Harvard citations |last1=Wherrett |year=1987 |nb=yes |loc=part II }}</ref> Είναι επίσης αναγκαία για την περιγραφή οι μηχανικές δονήσεις και ταλαντώσεις ηλεκτρικών κυκλωμάτων.<ref>{{Harvard citations |last1=Riley |last2=Hobson |last3=Bence |year=1997 |nb=yes |loc=7.17 }}</ref>

===Γεωμετρική οπτική===
Η [[Γεωμετρική οπτική]] παρέχει επιπλέον εφαρμογές πινάκων. Σε αυτή την προσεγγιστική θεωρία, η [[κυματική φύση]] του φωτός είναι παραμελημένη. Το αποτέλεσμα είναι ένα μοντέλο στο οποίο οι ακτίνες φωτός είναι όντως γεωμετρικές ακτίνες. Εάν η εκτροπή των ακτίνων φωτός μέσω οπτικών στοιχείων είναι μικρή, η ενέργεια ενός [[φακός|φακού]] ή ενός ανακλώμενου στοιχείου σε μια δεδομένη ακτίνα φωτός μπορεί να εκφραστεί ως πολλαπλασιασμός ενός διανύσματος δύο συνιστωσών με έναν πίνακα 2 προς 2 που ονομάζεται [[πίνακας μεταφοράς ακτίνων]]: οι συνιστώσες του διανύσματος είναι η κλίση των ακτίνων φωτός και η απόσταση της από τον οπτικό άξονα, όσο ο πίνακας κωδικοποιεί τις ιδιότητες του οπτικού στοιχείου. Για την ακρίβεια, υπάρχουν δύο ειδών πίνακες, δηλαδή. ένας ''πίνακας διάθλασης'' που περιγράφει την διάθλαση σε μια επιφάνεια του φακού, και ένας ''πίνακας μετάφρασης'', που περιγράφει την μετάφραση του επιπέδου αναφοράς  στην επόμενη διαθλώμενη επιφάνεια, όπου εφαρμόζεται ένας άλλος πίνακας διάθλασης.
Το οπτικό σύστημα, που αποτελείται από ένα συνδυασμό φακών και/ή αντανακλώντων στοιχείων, περιγράφεται απλώς ως ο πίνακας που προκύπτει από  το προιόν  των πινάκων των εξαρτημάτων.<ref>{{Harvard citations |last1=Guenther |year=1990 |nb=yes |loc=Ch. 5 }}</ref>

===Ηλεκτρονικά===
Η παραδοσιακή [[ανάλυση πλέγματος]] στα ηλεκτρονικά οδηγεί σε ένα σύστημα γραμμικών εξισώσεων που μπορούν να περιγραφούν με πίνακα.

Η συμπεριφορά πολλών ηλεκτρονικών συστατικών μπορεί να περιγραφεί μέσω πινάκων. Έστω ''A'' ένα δισδιάστατο διάνυσμα με την τάση εισόδου του στοιχείου ''v''<sub>1</sub> και ρεύμα εισόδου ''i''<sub>1</sub>ως στοιχεία του, και έστω ''B'' ένα δισδιάστατο διάνυσμα με την τάση εξόδου του στοιχείου ''v''<sub>2</sub> και του ρεύματος εξόδου ''i''<sub>2</sub> ως στοιχεία του. Στη συνέχεια, η συμπεριφορά του ηλεκτρονικού στοιχείου μπορεί να περιγραφεί με  ''B'' = ''H'' '''·''' ''A'', όπου ''H'' είναι ένας 2 x 2 πίνακας που περιέχει ένα στοιχείο  [[αντίσταση]]ς (''h''<sub>12</sub>), ένα στοιχείο εισόδου (''h''<sub>21</sub>) και δύο αδιάστατα στοιχεία (''h''<sub>11</sub> and ''h''<sub>22</sub>). Υπολογίζοντας ένα κύκλωμα τώρα μειώνεται σε πολλαπλασιασμό πινάκων.

==Ιστορία==
Οι πίνακες έχουν μεγάλη ιστορία σχετικά με την εφαρμογή της επίλυσης γραμμικών εξισώσεων και ήταν γνωστοί ως συστοιχίες μέχρι το 1800. Το κινέζικο κείμενο ''[[Τα εννέα κεφάλαια σχετικά με την Μαθηματική τέχνη]]'' είναι το πρώτο παράδειγμα της χρήσης των μεθόδων διάταξης των στοιχείων ενός πίνακα για την επίλυση σύγχρονων εξισώσεων,όπως και για τη έννοια της ορίζουσας.<ref>{{Harvard citations |last1=Shen |last2=Crossley |last3=Lun |year=1999 |nb=yes }} cited by {{Harvard citations | last1=Bretscher | year=2005|nb=yes|loc=p. 1}}</ref>   Το 1545 ο Ιταλός μαθηματικός [[Τζερόλαμο Καρντάνο]] έφερε τη μέθοδο στην Ευρώπη όταν δημοσίευσε το ''Ars Magna''.<ref name=":1">Discrete Mathematics 4th Ed. Dossey, Otto, Spense, Vanden Eynden, Published by Addison Wesley, October 10, 2001 ISBN 978-0321079121  | p.564-565</ref> Ο Ιάπωνας μαθηματικός Seki Kowa χρησιμοποίησε την ίδια μέθοδο για τη διάταξη των στοιχείων για την επίλυση σύγχρονων εξισώσεων το 1683.<ref>{{cite book |last1=Needham |first1=Joseph |last2=Wang Ling |title=Science and Civilisation in China |url=http://books.google.com/books?id=jfQ9E0u4pLAC&pg=PA117 |volume=III |year=1959 |publisher=Cambridge University Press |location=Cambridge |isbn=9780521058018 |page=117}}</ref> Ο Ολλανδός μαθηματικός Jan de Witt εκπροσωπούσε τους μετασχηματισμούς των πινάκων χρησιμοποιώντας τη διάταξη των στοιχείων το 1659 στο βιβλίο ''Στοιχειά του Curves'' (1659).<ref name=":0">Discrete Mathematics 4th Ed. Dossey, Otto, Spense, Vanden Eynden, Published by Addison Wesley, October 10, 2001 ISBN 978-0321079121  | p.564</ref> Μεταξύ  1700 και 1710 ο [[Λάιμπνιτς]] δημοσίευσε τη χρήση της διάταξης των στοιχείων για την καταγραφή πληροφοριών ή λύσεις και πειραματίστηκε με πάνω από 50 διαφορετικά συστήματα για τη διάταξη των πινάκων.<ref name=":1" /> Ο Gabriel Cramer παρουσίασε τον [[Κανόνας του Κράμερ|κανόνα του Κράμερ]] το 1750.

Ο όρος "πίνακας" ([[Λατινικά]] "μήτρα", που προέρχεται από το ''[[wikt:mater#Latin|mater]]''—μητέρα<ref>{{Citation |url=http://www.merriam-webster.com/dictionary/matrix |title=Merriam–Webster dictionary |accessdate=April 20, 2009 |publisher=[[Merriam–Webster]] }}</ref>) επινοήθηκε από τον James Joseph [[James Joseph Sylvester|Sylvester]] το 1850,<ref>Although many sources state that J. J. Sylvester coined the mathematical term "matrix" in 1848, Sylvester published nothing in 1848.  (For proof that Sylvester published nothing in 1848, see:  J. J. Sylvester with H. F. Baker, ed., ''The Collected Mathematical Papers of James Joseph Sylvester'' (Cambridge, England:  Cambridge University Press, 1904), [http://books.google.com/books?id=r-kZAQAAIAAJ&pg=PR6#v=onepage&q&f=false vol. 1.])  His earliest use of the term "matrix" occurs in 1850 in:  J. J. Sylvester (1850) "Additions to the articles in the September number of this journal, "On a new class of theorems," and on Pascal's theorem," ''The London, Edinburgh and Dublin Philosophical Magazine and Journal of Science'',  '''37''' :  363-370.  [http://books.google.com/books?id=CBhDAQAAIAAJ&pg=PA369#v=onepage&q&f=false From page 369]:  "For this purpose we must commence, not with a square, but with an oblong arrangement of terms consisting, suppose, of m lines and n columns.  This will not in itself represent a determinant, but is, as it were, a Matrix out of which we may form various systems of determinants … "</ref> ο οποίος κατανόησε έναν πίνακα ως ένα αντικείμενο που οδηγεί σε μια σειρά από ορίζουσες που σήμερα ονομάζονται δευτερεύoντα αντικείμενα, δηλαδή, τις ορίζουσες των μικρότερων πινάκων που απορρέουν από το αρχικό αφαιρώντας στήλες και γραμμές. Σε ένα έγγραφο το 1851, ο Sylvester εξηγεί:
: Έχω στα προηγούμενα έγγραφα μου ορίσει έναν "Πίνακα" ως ορθογώνια διάταξη των όρων, εκ των οποίων τα διάφορα συστήματα των οριζουσών μπορούν να παραχθούν από τη μήτρα ενός κοινού γονέα.<ref>The Collected Mathematical Papers of James Joseph Sylvester: 1837–1853, [http://books.google.com/books?id=5GQPlxWrDiEC&pg=PA247&dq=sylvester+matrix+womb&hl=en&ei=uJakTaytCoOv8gPa5cG5Dw&sa=X&oi=book_result&ct=result&resnum=8&ved=0CE8Q6AEwBw#v=onepage&q&f=false Paper 37], p. 247</ref>

Ο Arthur Cayley δημοσίευσε μια πραγματεία σχετικά με τους γεωμετρικούς μετασχηματισμούς με τη χρήση πινάκων που δεν εναλλάσσονται οι τύποι των συντελεστών που ερευνώνται, όπως ήδη έχει γίνει. Αντ'αυτού όρισε πράξεις όπως πρόσθεση, αφαίρεση, πολλαπλασιασμό και διαίρεση, όπως και τους μετασχηματισμούς αυτών των πινάκων και έδειξε την προσεταιριστική και την επιμεριστική ιδιότητα που πραγματοποιήθηκε αλήθεια. Ο Cayley ερεύνησε και απέδειξε τη μη-αντιμεταθετική ιδιότητα του πολλαπλασιασμού πινάκων καθώς και την αντιμεταθετική ιδιότητα της πρόσθεσης των πινάκων.<ref name=":1" />  Η πρόωρη θεωρία των πινάκων έχει περιορίσει τη χρήση των συστοιχιών σχεδόν αποκλειστικά με τις ορίζουσες ο αφηρημένος χειρισμός του Arthur Cayley ήταν πρωτοποριακός. Είχε πολύ σημαντικό ρόλο αφού πρότεινε μια έννοια ανεξάρτητη από τον πίνακα των συστημάτων εξίσωσης. Το 1858 ο Arthur Cayley δημοσίευσε τα ''απομνημονεύματά του για τη θεωρία των πινάκων''<ref>Phil.Trans. 1858, vol.148, pp.17-37 Math. Papers II 475-496</ref><ref>{{Harvard citations |editor1-last=Dieudonné |year=1978 |loc=Vol. 1, Ch. III, p. 96 |nb=yes }}</ref> στην οποία πρότεινε και απέδειξε το [[θεώρημα Κέιλεϊ-Χάμιλτον]].<ref name=":1" />

Ένας Άγγλος μαθηματικός που ονομαζόταν Cullis  ήταν ο πρώτος που χρησιμοποίησε σύγχρονη σημειογραφία  στήριγμα για τους πίνακες το 1913 και έδειξε ταυτόχρονα την πρώτη σημαντική χρήση του συμβολισμού '''A''' = [''a''<sub>''i'',''j''</sub>] που εκπροσωπεί έναν πίνακα όπου το ''a''<sub>''i'',''j''</sub> αναφέρεται στην '' i''-οστή σειρά και στη ''j''-οστή στήλη.<ref name=":1" />

Η μελέτη των οριζουσών ξεπήδησε από διάφορες πηγές.<ref>{{Harvard citations |last1=Knobloch |year=1994 |nb=yes }}</ref> Αριθμός-θεωρητικά προβλήματα (που οδήγησαν τον Karl) αφορούσαν συντελεστές [[τετραγωνικής μορφής]], δηλαδή, εκφράσεις όπως {{nowrap|''x''<sup>2</sup> + ''xy'' − 2''y''<sup>2</sup>,}} και [[γραμμικές απεικονίσεις]] σε τρεις διαστάσεις για έναν πίνακα. Ο Gotthold Eisenstein ανέπτυξε περαιτέρω αυτές τις έννοιες, όπως η παρατήρηση ότι, στο σύγχρονο ιδίωμα, το  [[γινόμενο των πινάκων]] είναι μη-μεταθετικό. Ο [[Ωγκυστέν-Λουί Κωσύ]] ήταν ο πρώτος που απέδειξε γενικές δηλώσεις σχετικά με τις ορίζουσες χρησιμοποιώντας ως ορισμό της ορίζουσας ενός πίνακα '''A''' = [''a''<sub>''i'',''j''</sub>] το εξής: να υποκαταστήσει τις δυνάμεις ''a''<sub>''j''</sub><sup>''k''</sup> από ''a''<sub>''jk''</sub> στο [[πολυώνυμο]]
:<math>a_1 a_2 \cdots a_n \prod_{i < j} (a_j - a_i)\;</math>,
όπου Π συμβολίζει το [[γινόμενο]] των ενδεικτικών όρων. Επίσης έδειξε, το 1829, ότι οι [[ιδιοτιμές]] των συμμετρικών πινάκων είναι πραγματικές.<ref>{{Harvard citations |last1=Hawkins |year=1975 |nb=yes }}</ref> ο Jacobi μελέτησε τις "συναρτησιακές ορίζουσες"—αργότερα ονομάστηκαν [[Πίνακας Τζακόμπι#Ορίζουσα Τζακόμπι|ορίζουσες Jacobi]] από τον Sylvester—που συνήθιζε να περιγράφει γεωμετρικούς μετασχηματισμούς σε τοπικό (ή [[απειροελάχιστο]]) επίπεδο, δείτε παραπάνω; [[Leopold Kronecker|Kronecker's]] ''Vorlesungen über die Theorie der Determinanten''<ref>{{Harvard citations |last1=Kronecker |editor1-last=Hensel |year=1897 |nb=yes }}</ref> και [[Karl Weierstrass|Weierstrass']] ''Zur Determinantentheorie'',<ref>{{Harvard citations |last1=Weierstrass |year=1915 |volume=3 |loc=pp. 271–286 |nb=yes }}</ref> μαζί δημοσιεύτηκαν το 1903, οι πρώτες ορίζουσες αξιωματικά, σε αντίθεση με προηγούμενες πιο συγκεκριμένες προσεγγίσεις όπως ο τύπος του Cauchy που αναφέρθηκε. Σ' εκείνο το σημείο, οι ορίζουσες είχαν εδραιωθεί.

Πολλά θεωρήματα αρχικά είχαν εδραιωθεί για μικρούς πίνακες μόνο, για παράδειγμα το [[θεώρημα Κέιλεϊ-Χάμιλτον]] αποδείχτηκε για 2×2 πίνακες από τον Cayley στα προαναφερθέντα απομνημονεύματα, και από τον William Rowan Hamilton για 4×4 πίνακες. Ο Georg Frobenius, δουλεύοντας πάνω στις [[διγραμμικές μορφές]], γενίκευσε το θεώρημα για όλες τις διαστάσεις (1898). Επίσης στο τέλος του 19ου αιώνα η [[Γκαουσιανή απαλοιφή|απαλοιφή των Gauss–Jordan]] (γενικεύοντας μία ειδική περίπτωση που σήμερα είναι γνωστή ως [[Γκαουσιανή απαλοιφή|απαλοιφή του Gauss]]) εδραιώθηκε από τον Wilhelm Jordan. Στις αρχές του 20ου αιώνα, οι πίνακες πέτυχαν ένα κεντρικό ρόλο στη γραμμική άλγεβρα.<ref>{{Harvard citations |last1=Bôcher |year=2004 |nb=yes }}</ref> μερικώς λόγω της χρήσης τους στην ταξινόμηση των συστημάτων  [[υπερσύνθετων αριθμών]] του προηγούμενου αιώνα.

Η έναρξη της [[μηχανικής πίνακα]] από τους [[Βέρνερ Χάιζενμπεργκ]], [[Μαξ Μπορν]] και Pascual Jordan οδήγησε στη μελέτη πινάκων με άπειρα πολλές γραμμές και στήλες.<ref>{{Harvard citations |last1=Mehra |last2=Rechenberg |year=1987 |nb=yes }}</ref> Αργότερα, ο [[Τζον φον Νόιμαν]] πραγματοποίησε το [[μαθηματικό σχηματισμό της κβαντικής μηχανικής]], με περαιτέρω ανάπτυξη των συμβολισμών της συναρτησιακής ανάλυσης όπως είναι οι  [[γραμμικοί τελεστές]] στους [[Χώρος Χίλμπερτ|χώρους του Hilbert]], όπου, πολύ χονδρικά, αντιστοιχεί στον [[Ευκλείδειος χώρος|Ευκλείδειο χώρο]], αλλά με το άπειρο των ανεξάρτητων κατευθύνσεων.

===Άλλες ιστορικές χρήσεις της λέξης “πίνακας” στα μαθηματικά===
Η λέξη έχει χρησιμοποιηθεί με ασυνήθιστους τρόπους από τουλάχιστον δύο συγγραφείς ιστορικής σημαντικότητας.

Ο [[Μπέρτραντ Ράσελ]] και Alfred North Whitehead στο έργο τους ''Αρχές Μαθηματικών'' (1910–1913) χρησιμοποίησαν τη λέξη “πίνακας” στα συμφραζόμενα του [[Αξίωμα αναγωγιμότητας|Αξιώματος αναγωγιμότητας]]. Πρότειναν αυτό το αξίωμα ως μέσο αναγωγής κάθε συνάρτησης προς μία χαμηλότερου τύπου, επιτυχημένα, έτσι ώστε στο “κάτω μέρος” (0 εντολή) η συνάρτηση είναι ταυτοτική προς τον εαυτό της Επέκταση:
:“Επιτρέψτε μας να δώσουμε το όνομα ''πίνακας'' σε κάθε συνάρτηση, ωστόσο από πολλές μεταβλητές, οι οποίες δεν περιέχουν φαινόμενες μεταβλητές. Τότε κάθε δυνατή συνάρτηση πλην ενός πίνακα που προέρχεται από έναν πίνακα με την έννοια της γενίκευσης, δηλ., σκεπτόμενοι την πρόταση που βεβαιώνει ότι η εν λόγω συνάρτηση είναι αληθής με όλες τις δυνατές τιμές ή με κάποια τιμή από τις λογομαχούμενες, η άλλη λογομαχούμενη ή λογομαχούμενες παραμένουν  απροσδιόριστες”.<ref>Whitehead, Alfred North; and Russell, Bertrand (1913) ''Principia Mathematica to *56'', Cambridge at the University Press, Cambridge UK (republished 1962) cf page 162ff.</ref>
Για παράδειγμα μία συνάρτηση Φ(''x, y'') δύο μεταβλητών ''x'' και ''y'' μπορεί να αναχθεί σε μία ''συλλογή'' συναρτήσεων μοναδικής μεταβλητής, π.χ., ''y'', σκεπτόμενοι τη συνάρτηση για όλες τις δυνατές τιμές των “ατόμων” ''a<sub>i</sub>'' αντικατεστημένων στη θέση της μεταβλητής ''x''. Και τότε η συλλογή των συναρτήσεων με μοναδικές μεταβλητές ''y'' που προκύπτει, δηλ., ∀a<sub>i</sub>: Φ(''a<sub>i</sub>, y''), μπορεί να αναχθεί σε έναν “πίνακα” τιμών σκεπτόμενοι τη συνάρτηση για όλες τις δυνατές τιμές των “ατόμων” ''b<sub>i</sub>'' αντικατεστημένων στη θέση της μεταβλητής ''y'':
:∀b<sub>j</sub>∀a<sub>i</sub>: Φ(''a<sub>i</sub>, ''b<sub>j</sub>'').''

Ο [[Άλφρεντ Τάρσκι]] στο έργο του ''Εισαγωγή στη Λογική'', το 1946, χρησιμοποίησε τη λέξη “πίνακας” ως συνώνυμο με το συμβολισμό του αληθούς πίνακα όπως συνηθίζεται στη μαθηματική λογική.<ref>Tarski, Alfred; (1946) ''Introduction to Logic and the Methodology of Deductive Sciences'', Dover Publications, Inc, New York NY, ISBN 0-486-28462-X.</ref>

==Δείτε επίσης==
* [[Αλγεβρική πολλαπλότητα]]
* [[Γεωμετρική πολλαπλότητα]]
* [[Διαδικασία Gram-Schmidt]]
* [[Λίστα πινάκων]]
* [[Λογισμός πινάκων]]
* [[Σύνολο περιοδικών πινάκων]]
* [[Τανυστής]]

==Σημειώσεις==
<references />
{{Reflist|group=nb|3}}

==Αναφορές==
* {{citation | first1 = Howard | last1 = Anton | year = 1987 | isbn = 0-471-84819-0 | title = Elementary Linear Algebra | edition = 5th | publisher = [[John Wiley & Sons|Wiley]] | location = New York }}
* {{Citation |last1=Arnold |first1=Vladimir I. |last2=Cooke |first2=Roger |title=Ordinary differential equations |publisher=[[Springer-Verlag]] |location=Berlin, DE; New York, NY |isbn=978-3-540-54813-3 |year=1992 }}
* {{Citation |last1=Artin |first1=Michael |title=Algebra |publisher=[[Prentice Hall]] |isbn=978-0-89871-510-1 |year=1991 }}
* {{Citation |last1=Association for Computing Machinery |title=Computer Graphics |publisher=Tata McGraw–Hill |isbn=978-0-07-059376-3 |year=1979 }}
* {{Citation |last1=Baker |first1=Andrew J. |title=Matrix Groups: An Introduction to Lie Group Theory |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |isbn=978-1-85233-470-3 |year=2003 }}
* {{Citation |last1=Bau III |first1=David |last2=Trefethen |first2=Lloyd N. |title=Numerical linear algebra |publisher=Society for Industrial and Applied Mathematics |location=Philadelphia, PA |isbn=978-0-89871-361-9 |year=1997 }}
* {{citation | first1 = Raymond A. | last1 = Beauregard | first2 = John B. | last2 = Fraleigh | year = 1973 | isbn = 0-395-14017-X | title = A First Course In Linear Algebra: with Optional Introduction to Groups, Rings, and Fields | publisher = [[Houghton Mifflin Co.]] | location = Boston }}
* {{Citation |last1=Bretscher |first1=Otto |title=Linear Algebra with Applications |publisher=Prentice Hall |edition=3rd |year=2005 }}
* {{Citation |last1=Bronson |first1=Richard |title=Schaum's outline of theory and problems of matrix operations |publisher=[[McGraw–Hill]] |location=New York |isbn=978-0-07-007978-6 |year=1989 }}
* {{Citation |last1=Brown |first1=William C. |title=Matrices and vector spaces |publisher=[[Marcel Dekker]] |location=New York, NY |isbn=978-0-8247-8419-5 |year=1991}}
* {{Citation |last1=Coburn |first1=Nathaniel |title=Vector and tensor analysis |publisher=Macmillan |location=New York, NY |oclc=1029828 |year=1955 }}
* {{Citation |last1=Conrey |first1=J. Brian |title=Ranks of elliptic curves and random matrix theory |publisher=[[Cambridge University Press]] |isbn=978-0-521-69964-8 |year=2007 }}
* {{citation | first1 = John B. | last1 = Fraleigh | year = 1976 | isbn = 0-201-01984-1 | title = A First Course In Abstract Algebra | edition = 2nd | publisher = [[Addison-Wesley]] | location = Reading }}
* {{Citation |last1=Fudenberg |first1=Drew |last2=Tirole |first2=Jean |title=Game Theory |publisher=[[MIT Press]] |year=1983 }}
* {{Citation |last1=Gilbarg |first1=David |last2=Trudinger |first2=Neil S. |title=Elliptic partial differential equations of second order |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |edition=2nd |isbn=978-3-540-41160-4 |year=2001 }}
* {{Citation |first1=Chris |last1=Godsil |first2=Gordon |last2=Royle |title=Algebraic Graph Theory |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |series=Graduate Texts in Mathematics |isbn=978-0-387-95220-8 |year=2004 |volume=207 }}
* {{Citation |last1=Golub |first1=Gene H. |last2=Van Loan |first2=Charles F. |title=Matrix Computations |publisher=Johns Hopkins |edition=3rd |isbn=978-0-8018-5414-9 |year=1996 }}
* {{Citation |last1=Greub |first1=Werner Hildbert |title=Linear algebra |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |series=Graduate Texts in Mathematics |isbn=978-0-387-90110-7 |year=1975 }}
* {{Citation |last1=Halmos |first1=Paul Richard |title=A Hilbert space problem book |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |edition=2nd |series=Graduate Texts in Mathematics |isbn=978-0-387-90685-0 |mr=675952 |year=1982 |volume=19 }}
* {{Citation |last1=Horn |first1=Roger A. |last2=Johnson |first2=Charles R. |title=Matrix Analysis |publisher=Cambridge University Press |isbn=978-0-521-38632-6 |year=1985 }}
* {{Citation |last1=Householder |first1=Alston S. |title=The theory of matrices in numerical analysis |publisher=[[Dover Publications]] |location=New York, NY |mr=0378371 |year=1975 }}
* {{Citation |last1=Krzanowski |first1=Wojtek J. | title=Principles of multivariate analysis |publisher=The Clarendon Press Oxford University Press |series=Oxford Statistical Science Series |isbn=978-0-19-852211-9 |mr=969370 |year=1988 |volume=3 }}
* {{Citation |editor1-last=Itõ |editor1-first=Kiyosi |title=Encyclopedic dictionary of mathematics. Vol. I-IV |publisher=MIT Press |edition=2nd |isbn=978-0-262-09026-1 |mr=901762 |year=1987 }}
* {{Citation |last1=Lang |first1=Serge |title=Analysis II |publisher=[[Addison-Wesley]] |year=1969 }}
* {{Citation |last1=Lang |first1=Serge |title=Calculus of several variables |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |edition=3rd |isbn=978-0-387-96405-8 |year=1987a |url-access=registration |url=https://archive.org/details/calculusofsevera0000lang }}
* {{Citation |last1=Lang |first1=Serge |title=Linear algebra |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |isbn=978-0-387-96412-6 |year=1987b }}
* {{Citation
       | last=Lang
       | first=Serge
       | title=Algebra
       | publisher=Springer-Verlag
       | location=New York
       | series=[[Graduate Texts in Mathematics]]
       | edition=Revised third
       | year=2002
       | isbn=978-0-387-95385-4
       | mr= 1878556
       | volume=211
       | chapter=
       | pages=
       | page=
       }}
* {{Citation |last1=Latouche |first1=Guy |last2=Ramaswami |first2=Vaidyanathan |title=Introduction to matrix analytic methods in stochastic modeling |publisher=Society for Industrial and Applied Mathematics |location=Philadelphia, PA |edition=1st |isbn=978-0-89871-425-8 |year=1999 }}
* {{Citation |last1=Manning |first1=Christopher D. |last2=Schütze |first2=Hinrich |title=Foundations of statistical natural language processing |publisher=MIT Press |isbn=978-0-262-13360-9 |year=1999 }}
* {{Citation |last1=Mehata |first1=K. M. |last2=Srinivasan |first2=S. K. |title=Stochastic processes |publisher=McGraw–Hill |location=New York, NY |isbn=978-0-07-096612-3 |year=1978 }}
* {{Citation |last1=Mirsky |first1=Leonid |title=An Introduction to Linear Algebra |url=http://books.google.com/?id=ULMmheb26ZcC&pg=PA1&dq=linear+algebra+determinant |publisher=Courier Dover Publications |isbn=978-0-486-66434-7 |year=1990 }}
* {{citation | first1 = Evar D. | last1 = Nering | year = 1970 | title = Linear Algebra and Matrix Theory | edition = 2nd | publisher = [[John Wiley & Sons|Wiley]] | location = New York | lccn = 76-91646 }}
* {{Citation |last1=Nocedal |first1=Jorge |last2=Wright |first2=Stephen J. |title=Numerical Optimization |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |edition=2nd |isbn=978-0-387-30303-1 |year=2006 |page=449 }}
* {{Citation |last1=Oualline |first1=Steve |title=Practical C++ programming |publisher=[[O'Reilly Media|O'Reilly]] |isbn=978-0-596-00419-4 |year=2003 }}
* {{Citation |last1=Press |first1=William H. |last2=Flannery |first2=Brian P. |last3=Teukolsky |first3=Saul A. |author3-link=Saul Teukolsky |last4=Vetterling |first4=William T. |title=Numerical Recipes in FORTRAN: The Art of Scientific Computing |url=http://www.mpi-hd.mpg.de/astrophysik/HEA/internal/Numerical_Recipes/f2-3.pdf |publisher=Cambridge University Press |edition=2nd |year=1992 |chapter=LU Decomposition and Its Applications |pages=34–42 |accessdate=2010-08-28 |archiveurl=https://web.archive.org/web/20090906113144/http://www.mpi-hd.mpg.de/astrophysik/HEA/internal/Numerical_Recipes/f2-3.pdf |archivedate=2009-09-06 |url-status=dead }}
* {{Citation |last1=Punnen |first1=Abraham P. |last2=Gutin |first2=Gregory |title=The traveling salesman problem and its variations |publisher=Kluwer Academic Publishers |location=Boston, MA |isbn=978-1-4020-0664-7 |year=2002 }}
* {{Citation |last1=Reichl |first1=Linda E. |title=The transition to chaos: conservative classical systems and quantum manifestations |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |isbn=978-0-387-98788-0 |year=2004 }}
* {{Citation |last1=Rowen |first1=Louis Halle |title=Graduate Algebra: noncommutative view |publisher=[[American Mathematical Society]] |location=Providence, RI |isbn=978-0-8218-4153-2 |year=2008 }}
* {{Citation |last1=Šolin |first1=Pavel |title=Partial Differential Equations and the Finite Element Method |publisher=[[Wiley-Interscience]] |isbn=978-0-471-76409-0 |year=2005 }}
* {{Citation |last1=Stinson |first1=Douglas R. |title=Cryptography |publisher=Chapman & Hall/CRC |series=Discrete Mathematics and its Applications |isbn=978-1-58488-508-5 |year=2005 }}
* {{Citation |last1=Stoer |first1=Josef |last2=Bulirsch |first2=Roland |title=Introduction to Numerical Analysis |publisher=Springer-Verlag |location=Berlin, DE; New York, NY |edition=3rd |isbn=978-0-387-95452-3 |year=2002 }}
* {{Citation |last1=Ward |first1=J. P. |title=Quaternions and Cayley numbers |publisher=Kluwer Academic Publishers Group |location=Dordrecht, NL |series=Mathematics and its Applications |isbn=978-0-7923-4513-8 |mr=1458894 |year=1997 |volume=403 }}
* {{Citation |last1=Wolfram |first1=Stephen |title=The Mathematica Book |publisher=Wolfram Media |location=Champaign, IL |edition=5th |isbn=978-1-57955-022-6 |year=2003 }}

===Αναφορές στη Φυσική===
* {{Citation |last=Bohm |first=Arno |title=Quantum Mechanics: Foundations and Applications |publisher=Springer |year=2001 |isbn=0-387-95330-2 }}
* {{Citation |last=Burgess |first=Cliff |last2=Moore |first2=Guy |title=The Standard Model. A Primer |publisher=Cambridge University Press |year=2007 |isbn=0-521-86036-9 }}
* {{Citation |last=Guenther |first=Robert D. |title=Modern Optics |publisher=John Wiley |year=1990 |isbn=0-471-60538-7 }}
* {{Citation |last=Itzykson |first=Claude |last2=Zuber |first2=Jean-Bernard |title=Quantum Field Theory |publisher=McGraw–Hill |year=1980 |isbn=0-07-032071-3 }}
* {{Citation |last=Riley |first=Kenneth F. |last2=Hobson |first2=Michael P. |last3=Bence |first3=Stephen J. |title=Mathematical methods for physics and engineering |publisher=Cambridge University Press |year=1997 |isbn=0-521-55506-X }}
* {{Citation |last=Schiff |first=Leonard I. |title=Quantum Mechanics |edition=3rd |publisher=McGraw–Hill |year=1968 }}
* {{Citation |last=Weinberg |first=Steven |title=The Quantum Theory of Fields. Volume I: Foundations |publisher=Cambridge University Press |year=1995 |isbn=0-521-55001-7 |url-access=registration |url=https://archive.org/details/quantumtheoryoff00stev }}
* {{Citation |last=Wherrett |first=Brian S. |year=1987 |title=Group Theory for Atoms, Molecules and Solids |publisher=Prentice–Hall International |isbn=0-13-365461-3 }}
* {{Citation |last1=Zabrodin |first1=Anton |last2=Brezin |first2=Édouard |last3=Kazakov |first3=Vladimir |last4=Serban |first4=Didina |last5=Wiegmann |first5=Paul |title=Applications of Random Matrices in Physics (NATO Science Series II: Mathematics, Physics and Chemistry) |publisher=[[Springer-Verlag]] |location=Berlin, DE; New York, NY |isbn=978-1-4020-4530-1 |year=2006}}

===Ιστορικές αναφορές===
* A. Cayley  ''A memoir on the theory of matrices''. Phil. Trans. 148 1858 17-37; Math. Papers II 475-496
* {{Citation |last1=Bôcher |first1=Maxime |title=Introduction to higher algebra |publisher=[[Dover Publications]] |location=New York, NY |isbn=978-0-486-49570-5 |year=2004 }}, reprint of the 1907 original edition
* {{Citation |last1=Cayley |first1=Arthur |title=The collected mathematical papers of Arthur Cayley |url=http://www.hti.umich.edu/cgi/t/text/pageviewer-idx?c=umhistmath;cc=umhistmath;rgn=full%20text;idno=ABS3153.0001.001;didno=ABS3153.0001.001;view=image;seq=00000140 |publisher=[[Cambridge University Press]] |year=1889 |volume=I (1841–1853) |pages=123–126 }}
* {{Citation |editor1-last=Dieudonné |editor1-first=Jean |editor1-link=Jean Dieudonné |title=Abrégé d'histoire des mathématiques 1700-1900 |publisher=Hermann |location=Paris, FR |year=1978 }}
* {{Citation |last1=Hawkins |first1=Thomas |title=Cauchy and the spectral theory of matrices |mr=0469635 |year=1975 |journal=[[Historia Mathematica]] |issn=0315-0860 |volume=2 |pages=1–29 |doi=10.1016/0315-0860(75)90032-4 }}
* {{Citation |last1=Knobloch |first1=Eberhard |title=The intersection of history and mathematics |publisher=Birkhäuser |location=Basel, Boston, Berlin |series=Science Networks Historical Studies |mr=1308079 |year=1994 |volume=15 |chapter=From Gauss to Weierstrass: determinant theory and its historical evaluations |pages=51–66 }}
* {{Citation |last1=Kronecker |first1=Leopold |editor1-last=Hensel |editor1-first=Kurt |editor1-link=Kurt Hensel |title=Leopold Kronecker's Werke |url=http://name.umdl.umich.edu/AAS8260.0002.001 |publisher=Teubner |year=1897 }}
* {{Citation |last1=Mehra |first1=Jagdish |last2=Rechenberg |first2=Helmut |title=The Historical Development of Quantum Theory |publisher=[[Springer-Verlag]] |location=Berlin, DE; New York, NY |edition=1st |isbn=978-0-387-96284-9 |year=1987 }}
* {{Citation |last1=Shen |first1=Kangshen |last2=Crossley |first2=John N. |last3=Lun |first3=Anthony Wah-Cheung |title=Nine Chapters of the Mathematical Art, Companion and Commentary |publisher=[[Oxford University Press]] |edition=2nd |isbn=978-0-19-853936-0 |year=1999 }}
* {{Citation |last1=Weierstrass |first1=Karl |title=Collected works |url=http://name.umdl.umich.edu/AAN8481.0003.001 |year=1915 |volume=3 }}

==Εξωτερικοί σύνδεσμοι==
{{βικιλεξικό|πίνακας}}

=== Εγκυκλοπαιδικά άρθρα ===
* {{springer|title=Matrix|id=p/m062780}}

=== Ιστορία ===
* [http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Matrices_and_determinants.html MacTutor: Matrices and determinants] {{Webarchive|url=https://web.archive.org/web/20150308120526/http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Matrices_and_determinants.html |date=2015-03-08 }}
* [http://www.economics.soton.ac.uk/staff/aldrich/matrices.htm Matrices and Linear Algebra on the Earliest Uses Pages]
* [http://jeff560.tripod.com/matrices.html Earliest Uses of Symbols for Matrices and Vectors]

=== Βιβλία στο Διαδίκτυο ===
* {{Citation |last1=Kaw |first1=Autar K. |title=Introduction to Matrix Algebra |url=http://autarkaw.com/books/matrixalgebra/index.html |isbn=978-0-615-25126-4 }}
* {{Citation |title=The Matrix Cookbook |url=http://orion.uwaterloo.ca/~hwolkowi/matrixcookbook.pdf |accessdate=24 March 2014 |format=PDF }}
* {{Citation |last1=Brookes |first1=Mike |title=The Matrix Reference Manual |url=http://www.ee.ic.ac.uk/hp/staff/dmb/matrix/intro.html |publisher=[[Imperial College]] |location=London |year=2005 |accessdate=10 Dec 2008 }}

=== Ελληνικές Σημειώσεις στο Διαδίκτυο ===
* [http://edu.eap.gr/pli/pli12/shmeiwseis/pinakes.pdf Πίνακες] {{Webarchive|url=https://web.archive.org/web/20180127163635/http://edu.eap.gr/pli/pli12/shmeiwseis/pinakes.pdf |date=2018-01-27 }}, Σημειώσεις από το [http://edu.eap.gr/pli/pli12/shmeiwseis/ ΕΑΠ]. [https://web.archive.org/web/20180127163635/http://edu.eap.gr/pli/pli12/shmeiwseis/pinakes.pdf Αρχειοθετήθηκε] 27/01/2018. Ανακτήθηκε 04/10/2018.
* Κεχαγιάς Θ. [http://www.math.upatras.gr/~zaf/Downloads/LAlgBook092.pdf Σημειώσεις Γραμμικής Άλγεβρας] {{Webarchive|url=https://web.archive.org/web/20180127231401/http://www.math.upatras.gr/~zaf/Downloads/LAlgBook092.pdf |date=2018-01-27 }}, Πανεπιστήμιο Πατρών.
* Νικολαϊδης Χρήστος, [http://users.uoa.gr/~atzanis/MathGeo/%CD%E9%EA%EF%EB%E1%FA%E4%E7%F2_%C3%F1%E1%EC%EC%E9%EA%DE_%C1%EB%E3%E5%E2%F1%E1/linear1.pdf Σημειώσεις Γραμμικής Άλγεβρας], Πανεπιστήμιο Θεσσαλίας.
* MathStudies Blog, [https://www.mathstudies.eu/single-post/matrices-01 Σημειώσεις στους Πίνακες].

=== Αριθμομηχανές πινάκων στο Διαδίκτυο ===
* {{Citation |title=SimplyMath (Matrix Calculator) |url=http://www.webalice.it/simoalessia/SimplyMath/matrix.html }}
* {{Citation |title=Matrix Calculator (DotNumerics) |url=http://www.dotnumerics.com/MatrixCalculator/ |accessdate=2010-08-28 |archiveurl=https://web.archive.org/web/20140904030009/http://www.dotnumerics.com/MatrixCalculator/ |archivedate=2014-09-04 |url-status=dead }}
* {{Citation |last1=Xiao |first1=Gang |title=Matrix calculator |url=http://wims.unice.fr/wims/wims.cgi?module=tool/linear/matrix.en |accessdate=10 Dec 2008 }}
* {{Citation |title=Online matrix calculator |url=http://www.bluebit.gr/matrix-calculator/ |accessdate=10 Dec 2008 |archiveurl=https://web.archive.org/web/20081212221215/http://www.bluebit.gr/matrix-calculator/ |archivedate=2008-12-12 |url-status=dead }}
* {{Citation |title=Online matrix calculator (ZK framework) |url=http://matrixcalc.info/MatrixZK/ |accessdate=26 Nov 2009 |archiveurl=https://web.archive.org/web/20130512101418/http://matrixcalc.info/MatrixZK/ |archivedate=2013-05-12 |url-status=dead }}
* {{Citation |title=MacAnova |url=http://www.stat.umn.edu/macanova/macanova.home.html |last1=Oehlert |first1=Gary W. |last2=Bingham |first2=Christopher |publisher=[[University of Minnesota]], School of Statistics |accessdate=10 Dec 2008 }}, a freeware package for matrix algebra and statistics
* {{Citation |title=Online matrix calculator |url=http://www.idomaths.com/matrix.php |accessdate=14 Dec 2009 }}
*[http://www.elektro-energetika.cz/calculations/matreg.php?language=english Operation with matrices in R (determinant, track, inverse, adjoint, transpose)]
* {{Citation |title=MatCalc (Matrix Calculator), Εφαρμογή για Android |url=https://play.google.com/store/apps/details?id=calculator.matrix.matcalc }}


{{DEFAULTSORT:Πινακας}}
[[Κατηγορία:Πίνακες (μαθηματικά)| ]]