Αντιστρέψιμος πίνακας

Στα μαθηματικά και ειδικότερα στη γραμμική άλγεβρα, ένας αντιστρέψιμος πίνακας (ή κανονικός ή μη-σημαδιακός) είναι ένας τετραγωνικός πίνακας Πρότυπο:Mvar για τον οποίο υπάρχει ένας πίνακας Πρότυπο:Mvar του ίδιου μεγέθους Πρότυπο:Mvar με τον οποίο τα γινόμενα Πρότυπο:Math και Πρότυπο:Math είναι ίσα με τον ταυτοτηκό πίνακα.

$AB=BA=I_n$

Στην περίπτωση αυτή ο πίνακας Πρότυπο:Mvar είναι μοναδικός, ονομάζεται αντίστροφος πίνακας του Πρότυπο:Mvar και συμβολίζεται Πρότυπο:Math.

Αυτός ο ορισμός αντιστοιχεί με τον ορισμό του αντιστρέψιμου στοιχείου για πολλαπλασιασμό στον σχετικό δακτύλιο τετραγωνικών πινάκων.

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

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

Στο σύνολο ${ℳ}_n(K)$ των τετραγωνικών πινάκων μεγέθους Πρότυπο:Mvar με συντελεστές σε έναν δακτύλιο Πρότυπο:Mvar, το σύνολο των αντιστρέψιμων πινάκων σχηματίζει μια πολλαπλασιαστική ομάδα, που ονομάζεται γενική γραμμική ομάδα και συμβολίζεται ${𝒢ℒ}_n(K)$.

Η έννοια του αντίστροφου πίνακα γενικεύεται από την έννοια του ψευδοαντίστροφου και ειδικότερα των αντιστρόφων προς τα αριστερά ή προς τα δεξιά.

Αναστρεψιμότητα

Πλαίσιο

Δύο διαφορετικοί πίνακες με το ίδιο τρίτο γινόμενο

Σε αντίθεση με τον πολλαπλασιασμό στο πραγματικό ή στο μιγαδικό πεδίο, ο πολλαπλασιασμός πινάκων (ακόμη και με μη μηδενικό πίνακα) δεν είναι πάντα αντιστρεπτή πράξη (λέμε ότι αυτός ο νόμος της σύνθεσης δεν είναι κανονικός), με την έννοια ότι η ισότητα δύο προϊόντων Πρότυπο:Math δεν συνεπάγεται απαραίτητα την ισότητα Πρότυπο:Math.

Αντίστοιχα, έχοντας έναν πίνακα Πρότυπο:Mvar και έναν πίνακα Πρότυπο:Mvar, η εξίσωση Πρότυπο:Math δεν μπορεί να επιλυθεί διαιρώντας τα δύο μέλη της ισότητας με τον πίνακα Πρότυπο:Mvar.

Η ύπαρξη ενός αντίστροφου πίνακα Πρότυπο:Math καθιστά δυνατή την επίλυση αυτών των δύο προβλημάτων, χρησιμοποιώντας την ακόλουθη ισοδυναμία:

$AX=Y⟺X=A^{-1}Y$.

Έτσι, οποιοσδήποτε αντιστρέψιμος πίνακας μπορεί να "απλοποιηθεί" για πολλαπλασιασμό προς τα αριστερά ή προς τα δεξιά.

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

Αναπαράσταση ενός ισομορφισμού και προσδιοριστής

Κάθε πίνακας A=(a_i,j), με συντελεστές σε έναν αντιμεταθετικό δακτύλιο Πρότυπο:Mvar ορίζει έναν μοναδιαίο ενδομορφισμό της μονάδας (ή του διανυσματικού χώρου) στον Πρότυπο:Math :

$(x_1,\dots ,x_n)\mapsto {\left(\sum _{j=1}^n{a}_{i,j}{x}_j\right)}_{1\le i\le n}$

και αντίστροφα, οποιοσδήποτε ενδομορφισμός στο Πρότυπο:MvarΠρότυπο:Exp μπορεί να προκύψει με αυτόν τον τρόπο από έναν απλό πίνακα του ${ℳ}_n(K)$.

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

Η πολλαπλασιαστικότητα του προσδιοριστή που εφαρμόζεται σε έναν αντιστρέψιμο πίνακα Πρότυπο:Mvar μας επιτρέπει να γράψουμε

$\det (A)\times \det (A^{-1})=\det (I_n)=1$

Επομένως, ο προσδιοριστής ενός αντιστρέψιμου πίνακα είναι αναγκαστικά αντιστρέψιμος στον δακτύλιο των συντελεστών.

Αντιστρόφως, το γινόμενο ενός πίνακα με τον αντιμεταθετικό του πίνακα δίνει τον τύπο του Λαπλάς

$A\times {}^{\mathrm{t}}\mathrm{c}\mathrm{o}\mathrm{m}(A)=\det (A).I_n$

επομένως αν ο προσδιοριστής είναι αντιστρέψιμος στο δακτύλιο των συντελεστών, ο πίνακας Πρότυπο:Math είναι ένας αντίστροφος για τον Πρότυπο:Mvar.

Ειδικότερα, ένας πίνακας με ακέραιους συντελεστές έχει αντίστροφο με ακέραιους συντελεστές αν και μόνο αν ο προσδιοριστής του είναι 1 ή -1.

Περίπτωση συντελεστών σε σώμα

Χαρακτηρισμοί

Έστω A ένας τετραγωνικός πίνακας τάξης n με συντελεστές σε ένα αντιμεταθετικό πεδίο K (για παράδειγμα το πεδίο ℝ των πραγματικών). Οι ακόλουθες προτάσεις είναι ισοδύναμες (σημειώστε ότι X είναι πίνακας στήλης με n στοιχεία στο K)

• Το A είναι αντιστρέψιμο,
• Ο προσδιοριστής του A είναι μη μηδενικός,
• Το A διαθέτει n άξονες,
• Το 0 δεν είναι ιδιοτιμή του A ;
• ο βαθμός του A αντιστοιχεί σε n ,
• το ομογενές γραμμικό σύστημα AX = 0 έχει μόνο μία λύση X = 0 ,
• ο πυρήνας (άλγεβρα) του Α είναι ο μηδενικός χώρος: Ker(A)={0};
• για όλα τα b στο M_n,1(K), το γραμμικό σύστημα AX = b έχει το πολύ μία λύση ,
• για όλα τα b στο M_n,1(K), το γραμμικό σύστημα AX = b έχει τουλάχιστον μία λύση,
• οι στήλες του A, που θεωρούνται ως διανύσματα του KΠρότυπο:Exp, είναι γραμμικά ανεξάρτητες ,
• οι στήλες του A, που θεωρούνται ως διανύσματα του KΠρότυπο:Exp, δημιουργούν το KΠρότυπο:Exp,
• ο ενδοµορφισµός που συνδέεται κανονικά µε το Α (δηλαδή η γραµµική εφαρµογή του KΠρότυπο:Exp στον εαυτό του, του οποίου ο πίνακας είναι το Α στην κανονική βάση) είναι εγχυτικός ,
• ο ενδοµορφισµός που συνδέεται κανονικά µε το Α είναι επιφανειακός,
• ο πίνακας A είναι αριστερά αντιστρέψιμος, δηλαδή υπάρχει ένας τετραγωνικός πίνακας B τάξης n τέτοιος ώστε BA = I_n,
• ο πίνακας A είναι δεξιός αντιστρέψιμος, δηλαδή υπάρχει τετραγωνικός πίνακας B τάξης n τέτοιος ώστε AB = I_n,
• ο αντιστροφή ^tA του A είναι αντιστρέψιμος,
• υπάρχει ένα πολυώνυμο του Α του οποίου το 0 δεν είναι ρίζα,
• το 0 δεν είναι ρίζα του ελάχιστου πολυωνύμου του Α,
• Το A είναι ισοδύναμο με τον πίνακα ταυτότητας I_n τάξης n..

Ειδικές περιπτώσεις

Όταν το σύνολο των συντελεστών είναι ένα πεδίο, ένας τριγωνικός πίνακας (άνω ή κάτω) είναι αντιστρέψιμος αν και μόνο αν όλοι οι διαγώνιοι συντελεστές του είναι διάφοροι του μηδενός.

Ένας πραγματικός πίνακας του οποίου όλες οι στήλες είναι ορθογώνιες μεταξύ τους είναι αντιστρέψιμος αν και μόνο αν δεν έχει μηδενικές στήλες.

Ένα γινόμενο δύο τετραγωνικών πινάκων είναι αντιστρέψιμο αν και μόνο αν οι δύο παραγοντικοί πίνακες είναι επίσης αντιστρέψιμοι.

Οι πίνακες μετάθεσης, μεταβολής, συμμετρίας ή περιστροφής και οι πίνακες διέλευσης είναι πάντα αντιστρέψιμοι.

Ο πίνακας διακύμανσης-συνδιακύμανσης μιας οικογένειας (X₁, … , X_n) πραγματικών τυχαίων μεταβλητών είναι αντιστρέψιμος, εκτός εάν υπάρχει μια σχεδόν βέβαιη συγγενής σχέση μεταξύ αυτών των μεταβλητών.

Ο πίνακας συνοδών ενός πολυωνύμου είναι αντιστρέψιμος εάν και μόνο εάν αυτό το πολυώνυμο έχει σταθερό μη μηδενικό συντελεστή.

Άλλα σύνολα συντελεστών

Για πίνακες με συντελεστές σε μη αντιμεταθετικό δακτύλιο, ή ακόμη και σε ημι-δακτύλιο, ο προσδιορισμός της αντιστρεψιμότητας δεν μπορεί πλέον να βασίζεται στην έννοια του προσδιοριστή.

Το σύνολο ${ℳ}_n(ℍ)$ των τετραγωνικών πινάκων των τεταρτοβάθμιων διαιρείται φυσικά ως υποάλγεβρα στο σύνολο${ℳ}_{2n}(ℂ)$ των μιγαδικών πινάκων διπλού μεγέθους, στο οποίο ο προσδιοριστής επάγει μια μιγαδική συνάρτηση της οποίας η ακύρωση χαρακτηρίζει τους μοναδιαίους πίνακες. Η ύπαρξη ενός αριστερού αντιστρόφου είναι ακόμα ισοδύναμη με την ύπαρξη ενός δεξιού αντιστρόφου (και οι δύο αυτοί αντιστρόφοι συμπίπτουν)..

Με συντελεστές Μπουλ, εφοδιασμένοι με τους εσωτερικούς νόμους σύνθεσης OR και AND, οι μόνοι αντιστρέψιμοι πίνακες είναι οι πίνακες μετατροπής, των οποίων ο αντίστροφος ισούται με την αντιμετάθεση ..

Αντίστροφη

Επίλυση ενός συστήματος

Δίνεται ένας τετραγωνικός πίνακας Πρότυπο:Mvar μεγέθους Πρότυπο:Mvar, ο προσδιορισμός ενός πίνακα Πρότυπο:Mvar που ικανοποιεί τη σχέση AB = I_n μπορεί να εκφραστεί από ένα σύστημα με n² γραμμικές εξισώσεις και τόσους αγνώστους.

Ωστόσο, ακόμη και για μικρές τιμές του Πρότυπο:Mvar, είναι πολύ απλούστερο να επιλυθεί ένα σύστημα που μεταφράζει την ισότητα AX = Y όπου Πρότυπο:Mvar είναι ένας πίνακας στήλης με Πρότυπο:Mvar αγνώστους και Πρότυπο:Mvar είναι ένας πίνακας στήλης με Πρότυπο:Mvar κυριολεκτικές παραμέτρους. Η έκφραση των αγνώστων ως συνάρτηση των παραμέτρων γράφεται σε μορφή πίνακα Πρότυπο:Math και ο πίνακας Πρότυπο:Mvar που ορίζεται με αυτόν τον τρόπο είναι ο αντίστροφος πίνακας του Πρότυπο:Mvar.

Αυτά τα συστήματα επιλύονται συνήθως με τη διαδικασία απαλοιφής Γκάους-Ζόρνταν, γνωστή και ως αλγόριθμος Γκάους Πιβό.

Μέθοδος συμπαράγοντα

Αν ο προσδιοριστής ενός πίνακα Πρότυπο:Math (με συντελεστές σε ένα αντιμεταθετικό πεδίο) είναι διάφορος του μηδενός, τότε ο Πρότυπο:Math είναι αντιστρέψιμος, με τον αντίστροφό του να δίνεται από :

$A^{-1}=\frac{1}{\det A}{}^{\mathrm{t}}\mathrm{c}\mathrm{o}\mathrm{m}A$

όπου Πρότυπο:Math είναι ο πίνακας μεταθέσεως του αντιμεταθετικού πίνακα του Πρότυπο:Math. Πράγματι (βλ. αναλυτικό άρθρο), οποιοσδήποτε τετραγωνικός πίνακας Πρότυπο:Math τάξης Πρότυπο:Math επαληθεύει:

$A{}^{\mathrm{t}}(\mathrm{com}A)={}^{\mathrm{t}}(\mathrm{com}A)A=\det (A){\mathrm{I}}_n$.

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

Αντιστροφή πινάκων 2×2

Η παραπάνω εξίσωση του συμπαράγοντα μπορεί να χρησιμοποιηθεί για τον υπολογισμό της αντιστροφής των πινάκων 2×2: αν Πρότυπο:Math,

$A=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right),\mathrm{com}A=\left(\begin{array}{cc}d& -c\\ -b& a\end{array}\right),{}^{\mathrm{t}}\mathrm{com}A=\left(\begin{array}{cc}d& -b\\ -c& a\end{array}\right)$,

$A^{-1}={\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)}^{-1}=\frac{1}{ad-bc}\left(\begin{array}{cc}d& -b\\ -c& a\end{array}\right)$.

Παράδειγμα:

${\left(\begin{array}{cc}1& 2\\ 3& 4\end{array}\right)}^{-1}=\frac{1}{-2}\left(\begin{array}{cc}4& -2\\ -3& 1\end{array}\right)$.

Αναστροφή πινάκων 3×3

Αντίστοιχα, λαμβάνουμε τον αντίστροφο ενός πίνακα $A=\left(\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right)$ διάστασης 3×3 υπολογίζοντας τον προσδιοριστή του (χρησιμοποιώντας τον κανόνα του Σάρους, για παράδειγμα):

$\det A=aei+bfg+cdh-ceg-fha-ibd,$

στη συνέχεια, χρησιμοποιώντας τον τύπο :

$A^{-1}={\left(\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right)}^{-1}={\frac{1}{\det A}}^{\mathrm{t}}\left(\begin{array}{ccc}ei-fh& fg-di& dh-eg\\ ch-bi& ai-cg& bg-ah\\ bf-ce& cd-af& ae-bd\end{array}\right)=\frac{1}{\det A}\left(\begin{array}{ccc}ei-fh& ch-bi& bf-ce\\ fg-di& ai-cg& cd-af\\ dh-eg& bg-ah& ae-bd\end{array}\right)$.

Ομάδα αντιστρέψιμων πινάκων

Οι τετραγωνικοί πίνακες τάξης n με συντελεστές σε ένα δακτύλιο K σχηματίζουν ένα δακτύλιο, που συμβολίζεται M_n(K). Το σύνολο των αντιστρέψιμων πινάκων στον M_n(K)σχηματίζει επομένως μια ομάδα για πολλαπλασιασμό: την ομάδα των αντιστρέψιμων πινάκων στον M_n(K). Αυτή ονομάζεται γενική γραμμική ομάδα και συνήθως συμβολίζεται GL_n(K). Επομένως :

• ο αντίστροφος πίνακας ενός αντιστρέψιμου πίνακα A είναι ο ίδιος αντιστρέψιμος, και

  (A⁻¹)⁻¹ = A ;

• το γινόμενο δύο αντιστρέψιμων πινάκων Α και Β (της ίδιας τάξης) είναι ένας αντιστρέψιμος πίνακας και ο αντίστροφός του δίνεται από την ακόλουθη σχέση

  (AB)⁻¹ = B⁻¹A⁻¹ (συνήθως διαφέρει του A⁻¹B⁻¹, εκτός αν A και B αντιμετατίθενται, παραδείγματος χάριν αν ο Α ή ο Β είναι ένας πίνακας και ο δακτύλιος Κ είναι αντιμεταθετικός).

Κάθε πίνακας που αντιμετατίθεται με έναν αντιστρέψιμο πίνακα A αντιμετατίθεται επίσης με A⁻¹.

Γενικά, "σχεδόν όλοι" οι τετραγωνικοί πίνακες τάξης n είναι αντιστρέψιμοι. Στο πεδίο των πραγματικών αριθμών, αυτό μπορεί να διατυπωθεί με μεγαλύτερη ακρίβεια: το σύνολο των μη αντιστρέψιμων πινάκων, θεωρούμενο ως υποσύνολο του ${ℝ}^{n\times n}$, είναι αμελητέο για το μέτρο Λεμπεσγκ. Διαισθητικά, αυτό σημαίνει ότι αν επιλέξουμε τυχαία έναν τετραγωνικό πίνακα τάξης n με πραγματικούς συντελεστές, η πιθανότητα να μην είναι αντιστρέψιμος είναι μηδέν. Ο λόγος γι' αυτό είναι ότι οι μη αντιστρέψιμοι πίνακες είναι οι ρίζες (ή τα μηδενικά) μιας πολυωνυμικής συνάρτησης που δίνεται από τον προσδιοριστή.

Στο σύνολο των πραγματικών ή μιγαδικών τετραγωνικών πινάκων σταθερού μεγέθους, το υποσύνολο των αντιστρέψιμων πινάκων είναι πυκνό .

Παράγωγος του αντιστρόφου μιας εφαρμογής με τιμή πίνακα

• Έστω ένα διάστημα I (με μη κενό εσωτερικό) του $ℝ$ και μια συνάρτηση πίνακα

$A:I\to {\mathrm{G}\mathrm{L}}_n(ℝ),t\mapsto A(t)$

που μπορεί να παραχθεί στο I. Τότε η συνάρτηση του πίνακα

$A^{-1}:I\to {\mathrm{G}\mathrm{L}}_n(ℝ),t\mapsto A(t{)}^{-1}$

είναι παραγωγίσιμη στο I και

$\mathrm{\forall }t\in I\frac{\mathrm{d}{A}^{-1}}{\mathrm{d}t}(t)=-A^{-1}(t)\frac{\mathrm{d}A}{\mathrm{d}t}(t)A^{-1}(t)$.

Για n = 1, σημειώνοντας f(t) το πραγματικό A(t), βρίσκουμε τον συνήθη τύπο παραγώγισης:

$\left(\frac{1}{f}\right)(t)=-\frac{f^{\prime }(t)}{f^2(t)}$.

• Γενικότερα, η εφαρμογή

$\mathrm{i}\mathrm{n}\mathrm{v}:{\mathrm{G}\mathrm{L}}_n(ℝ)\to {\mathrm{G}\mathrm{L}}_n(ℝ),A\mapsto A^{-1}$

είναι απεριόριστα διαφορίσιμη (αφού η έκφρασή της με τον τύπο του συμπαράγοντα είναι ορθολογική) και το διαφορικό της δίνεται από :

$\mathrm{\forall }A\in {\mathrm{G}\mathrm{L}}_n(ℝ)\mathrm{\forall }H\in {\mathrm{M}}_n(ℝ)\mathrm{d}{\mathrm{i}\mathrm{n}\mathrm{v}}_A(H)=-A^{-1}H{A}^{-1}$.

Γενικεύσεις

Ορισμένες από τις ιδιότητες των αντίστροφων πινάκων επαληθεύονται επίσης από τους ψευδο-αντίστροφους πίνακες, οι οποίοι μπορούν να οριστούν για οποιονδήποτε πίνακα, ακόμη και για εκείνους που δεν είναι τετραγωνικοί.

Ακόμη και όταν ο πίνακας Χ δεν είναι τετραγωνικός, οι πίνακες ΧΧΠρότυπο:' και ΧΠρότυπο:'Χ (όπου ΧΠρότυπο:' είναι ο πίνακας μεταφοράς του Χ) είναι. Αν ένας από αυτούς τους πίνακες είναι αντιστρέψιμος, τότε είναι δυνατόν να "αντιστρέψουμε" τον X χρησιμοποιώντας αριστερόστροφο πολλαπλασιασμό με $(X^{\prime }X{)}^{-1}$, ή δεξιόστροφο πολλαπλασιασμό με $(X{X}^{\prime }{)}^{-1}$- σε αυτή την περίπτωση, έχουμε στην πραγματικότητα

$((X^{\prime }X{)}^{-1}{X}^{\prime })X=I$ (αντίστροφα αριστερά) ή

$X(X^{\prime }(X{X}^{\prime }{)}^{-1})=I$ (αντίστροφα δεξιά).

Δημοσιεύσεις

• Πρότυπο:Springer
• Πρότυπο:Cite book
• Πρότυπο:Cite web

Δείτε επίσης

• Όμοιοι πίνακες
• Γκαουσιανή απαλοιφή
• Ταυτοτικός πίνακας