Σύνθετος πίνακας
Στα μαθηματικά, ένας Σύνθετος πίνακας[1] ή block matrix στα αγγλικά είναι ένας πίνακας που ερμηνεύεται ως διασπασμένος σε τμήματα που ονομάζονται blocks (Σύνθετα) ή υποπίνακες.[2][3]
Διαισθητικά, ένας πίνακας που ερμηνεύεται ως σύνθετος πίνακας μπορεί να απεικονιστεί ως ο αρχικός πίνακας με μια συλλογή οριζόντιων και κάθετων γραμμών, οι οποίες τον διασπούν ή τον χωρίζουν σε μια συλλογή μικρότερων πινάκων..[4][3]. Παραδείγματος χάριν, ο πίνακας 3x4 που παρουσιάζεται παρακάτω χωρίζεται με οριζόντιες και κάθετες γραμμές σε τέσσερα τμήματα : το επάνω αριστερό τμήμα 2x3, το επάνω δεξιό τμήμα 2x1, το κάτω αριστερό τμήμα 1x3 και το κάτω δεξιό τμήμα 1x1.
Οποιοσδήποτε πίνακας μπορεί να ερμηνευθεί ως Σύνθετος πίνακας με έναν ή περισσότερους τρόπους, με κάθε ερμηνεία να καθορίζεται από τον τρόπο με τον οποίο οι γραμμές και οι στήλες του χωρίζονται.
Αυτή η έννοια μπορεί να διευκρινιστεί για έναν πίνακα επί με την κατάτμηση του σε μια συλλογή , και στη συνέχεια με την κατάτμηση του σε μια συλλογή . Ο αρχικός πίνακας θεωρείται στη συνέχεια ως το "σύνολο" αυτών των ομάδων, με την έννοια ότι η εγγραφή του αρχικού πίνακα αντιστοιχεί με Διχοτόμηση 1-προς-1 τρόπο σε κάποια αντισταθμισμένη εγγραφή κάποιου , όπου και .[5]
Η άλγεβρα συνθέτων πινάκων προκύπτει γενικά από διγινόμενα σε κατηγορίες πινάκων.[6]

Παράδειγμα
Ο πίνακας
μπορεί να απεικονιστεί ότι χωρίζεται σε τέσσερα τμήματα, όπως
- .
Οι οριζόντιες και κάθετες γραμμές δεν έχουν ιδιαίτερη μαθηματική σημασία,[7][8] αλλά είναι ένας συνηθισμένος τρόπος απεικόνισης ενός τμήματος.[7][8] Με την κατάτμηση αυτή, το χωρίζεται σε τέσσερα τμήματα 2×2, ως εξής
Ο κατανεμημένος πίνακας μπορεί στη συνέχεια να γραφεί ως εξής
Τυπικός ορισμός
Έστω . Μια διαμέριση του είναι μια αναπαράσταση του της μορφής
- ,
όπου είναι συνεχόμενοι υποπίνακες, , και .[10] Τα στοιχεία της διαμέρισης ονομάζονται blocks(τμήματα).[10]
Σύμφωνα με αυτόν τον ορισμό, τα τμήματα σε κάθε στήλη πρέπει να έχουν όλα τον ίδιο αριθμό στηλών.[10] Ομοίως, τα τμήματα σε κάθε σειρά πρέπει να έχουν τον ίδιο αριθμό γραμμών.[10]
Μέθοδοι κατάτμησης
Ένας πίνακας μπορεί να διαμεριστεί με πολλούς τρόπους.[10] Παραδείγματος χάριν, ένας πίνακας λέγεται ότι είναι διαμερισμένος κατά στήλες αν γράφεται ως εξής
- ,
όπου είναι η στή στήλη του .[10] Ένας πίνακας μπορεί επίσης να διαμεριστεί κατά γραμμές:
- ,
όπου είναι η οστή γραμμή του .[10]
Κοινά τμήματα
Συχνά,[10] συναντάμε την κατάτμηση 2x2
- ,[10]
ιδίως στη μορφή όπου είναι ένα κλιμάκιο:
- .[10]
Επεξεργασία συνθέτων πινάκων
Μετάθεση
Έστω
όπου . (Αυτός ο πίνακας θα ξαναχρησιμοποιηθεί στην πρόσθεση και τον πολλαπλασιασμό.) Τότε η αντιμετάθεσή του είναι
και η ίδια εξίσωση ισχύει με την αντικατάσταση της αντιμετάθεσης από τη συζυγή αντιμετάθεση.[10]
Μεταφορά σύνθεση
Μια ειδική μορφή μεταθέσεως πινάκων μπορεί επίσης να οριστεί για σύνθετούς πίνακες, όπου τα μεμονωμένα τμήματα αναδιατάσσονται αλλά δεν μετατίθενται. Έστω ένας . σύνθετος πίνακας με τμήμα , η μεταφορά σύνθεση του είναι ο με τμήματα [12] Όπως και με τον συμβατικό τελεστή ίχνους, η μεταφορά σύνθεση είναι μια γραμμική απεικόνιση τέτοια ώστε .[11]. Ωστόσο, γενικά η ιδιότητα δεν ισχύει, εκτός αν τα τεμάχια των και αντιμετατίθενται.
Πρόσθεση
Έστω
- ,
όπου , και έστω ο πίνακας που ορίζεται στη Μεταφορά. (Αυτός ο πίνακας θα επαναχρησιμοποιηθεί στον Πολλαπλασιασμό.) Τότε αν , , , και , τότε
- .[10]
Πολλαπλασιασμός
Είναι δυνατόν να χρησιμοποιηθεί ένα γινόμενο πινάκων με κατάτμηση σύνθεση που περιλαμβάνει μόνο άλγεβρα σε υποπίνακες των παραγόντων. Η διαμέριση των παραγόντων δεν είναι αυθαίρετη, ωστόσο, και απαιτεί "συμμορφούμενες διαμερίσεις"[13] μεταξύ δύο πινάκων A {\displaystyle A} και B {\displaystyle B} έτσι ώστε να ορίζονται όλα τα υποπροϊόντα πινάκων που θα χρησιμοποιηθούν[14].
Έστω ο πίνακας που ορίζεται στο Μεταφορά, και έστω ο πίνακας που ορίζεται στο σημείο #Πρόσθεση. Τότε το γινόμενο πινάκων
μπορεί να εκτελεστεί αριστερόστροφα, δίνοντας τον ως έναν πίνακα. Οι πίνακες στον προκύπτοντα πίνακα υπολογίζονται με πολλαπλασιασμό:
Ή, χρησιμοποιώντας τον συμβολισμό του Αϊνστάιν που αθροίζει σιωπηρά σε επαναλαμβανόμενους δείκτες:
Απεικονίζοντας το ως πίνακα, έχουμε
- .[10]
Αναστροφή
Εάν ένας πίνακας διαιρεθεί σε τέσσερα τμήματα, μπορεί να αντιστραφεί με τη φορά των μπλοκ ως εξής:
όπου τα A και D είναι τετραγωνικά τετράγωνα αυθαίρετου μεγέθους, και τα B' και C είναι συμμορφώσιμος μαζί τους για διαμερισμό. Επιπλέον, ο A και το συμπλήρωμα Schur του A' στο P': Πρότυπο:Nowrap πρέπει να είναι αντιστρέψιμη.[15]
Ισοδύναμα, με αντιμετάθεση των τμημάτων:
Εδώ, το D και το συμπλήρωμα Σούρ του D στο P: Πρότυπο:Nowrap πρέπει να είναι αντιστρέψιμο.
Αν A και D είναι και τα δύο αντιστρέψιμα, τότε:
Σύμφωνα με την ταυτότητα Γουαϊνστάιν-Αρονσάζν, ο ένας από τους δύο πίνακες του διαγώνιου του τμήματος είναι αντιστρέψιμος ακριβώς όταν ο άλλος είναι.
Ορίζουσα
Ο παραπάνω τύπος για την ορίζουσα ενός πίνακα συνεχίζει να ισχύει, υπό κατάλληλες περαιτέρω υποθέσεις, για έναν πίνακα που αποτελείται από τέσσερις υποπίνακες . Ο ευκολότερος τέτοιος τύπος, ο οποίος μπορεί να αποδειχθεί χρησιμοποιώντας είτε τον τύπο Λάιμπνιτζ είτε μια παραγοντοποίηση που περιλαμβάνει το συμπλήρωμα Σούρ, είναι
Χρησιμοποιώντας αυτόν τον τύπο, μπορούμε να συμπεράνουμε ότι τα χαρακτηριστικά πολυώνυμα των και είναι ίδια και ίσα με το γινόμενο των χαρακτηριστικών πολυωνύμων των και . Επιπλέον, αν αν είναι διαγωνοποιήσιμο, τότε τα είναι διαγωνοποιήσιμα, τότε και είναι επίσης διαγωνοποιήσιμα. Το αντίστροφο είναι λάθος- απλά
ελέγξτε .
Αν η είναι αντιστρέψιμη, έχουμε
και αν είναι αντιστρέψιμο, έχουμε
Εάν τα τμήματα είναι τετραγωνικοί πίνακες του ίδιου μεγέθους, ισχύουν περαιτέρω τύποι. Παραδείγματος χάριν, εάν οι και αντιμετατίθενται (δηλαδή, ), τότε
Ο τύπος αυτός έχει γενικευτεί σε πίνακες που αποτελούνται από περισσότερα από τμήματα, και πάλι υπό κατάλληλες συνθήκες αντιμεταθετικότητας μεταξύ των επιμέρους τμημάτων.[19]
Για και , ισχύει ο ακόλουθος τύπος (ακόμη και αν και δεν αντιμετατίθενται)
Ειδικοί τύποι συνθέτων πινάκων
Άμεσα αθροίσματα και διαγώνιοι πίνακες
Άμεσο άθροισμα
Για οποιουσδήποτε αυθαίρετους πίνακες A' (μεγέθους m × n) και B' (μεγέθους p × , q), έχουμε το άμεσο άθροισμα των A και B, που συμβολίζεται με A B και ορίζεται ως εξής
Παραδείγματος χάριν,
Η πράξη αυτή γενικεύεται φυσικά σε πίνακες αυθαίρετων διαστάσεων (υπό την προϋπόθεση ότι οι A και B έχουν τον ίδιο αριθμό διαστάσεων).
Ας σημειωθεί κάθε στοιχείο στο άμεσο άθροισμα δύο διανυσματικών χώρων πινάκων μπορεί να αναπαρασταθεί ως άμεσο άθροισμα δύο πινάκων.
Διαγώνιοι Σύνθετοι πίνακες
Ένας διαγώνιος Σύνθετος πίνακας είναι ένας σύνθετος πίνακας που είναι ένας τετραγωνικός πίνακας έτσι ώστε τα κύρια διαγώνια τμήματα να είναι τετραγωνικοί πίνακες και όλα τα εκτός διαγωνίου τμήματα να είναι μηδενικοί πίνακες[16]. Δηλαδή, ένας διαγώνιος πίνακας A έχει τη μορφή
όπου Ak είναι ένας τετραγωνικός πίνακας για όλα τα k = 1, ..., n. Με άλλα λόγια, ο πίνακας A είναι το άμεσο άθροισμα των A1, ..., An.[16]. Μπορεί επίσης να δηλωθεί ως A1 ⊕ A2 ⊕ ... ⊕ An[11] ή diag(A1, A2, ..., An)[11] (το τελευταίο είναι ο ίδιος φορμαλισμός που χρησιμοποιείται για έναν διαγώνιο πίνακα). Οποιοσδήποτε τετραγωνικός πίνακας μπορεί τετριμμένα να θεωρηθεί διαγώνιος πίνακας με ένα μόνο τμήμα.
Για την ορίζουσα και το ίχνος, ισχύουν οι ακόλουθες ιδιότητες:
Ένας διαγώνιος σύνθετος πίνακας είναι αντιστρέψιμος εάν και μόνο εάν καθένα από τα διαγώνια κύρια τμήματα του είναι αντιστρέψιμα, και στην περίπτωση αυτή ο αντίστροφος πίνακας είναι ένας άλλος διαγώνιος σύνθετος πίνακας που δίνεται από τη σχέση
Οι ιδιοτιμές[23] και τα ιδιοδιανύσματα του είναι απλά εκείνες των που συνδυάζονται.[21]
Τριγωνικοί σύνθετοι πίνακες
Ένας τριδιαγώνιος σύνθετος πίνακας είναι ένας άλλος ειδικός σύνθετος πίνακας , ο οποίος είναι ακριβώς όπως ο διαγώνιος σύνθετος πίνακας ένας τετραγωνικός πίνακας, με τετραγωνικούς πίνακες ("τμήματα") στην κάτω διαγώνιο, την κύρια διαγώνιο και την άνω διαγώνιο, με όλα τα άλλα τμήματα να είναι μηδενικοί πίνακες. Είναι ουσιαστικά ένας τριδιαγώνιος πίνακας, αλλά έχει υποπίνακες στη θέση των βαθμωτών. Ένας τριδιαγώνιος σύνθετος πίνακας έχει τη μορφή
όπου , και είναι τετραγωνικοί υποπίνακες της κάτω, της κύριας και της άνω διαγωνίου αντίστοιχα.[24][25]
Οι τριδιαγώνιοι σύνθετοι πίνακες συναντώνται συχνά σε αριθμητικές λύσεις τεχνικών προβλημάτων (π.χ. υπολογιστική ρευστοδυναμική). Διατίθενται βελτιστοποιημένες αριθμητικές μέθοδοι για την παραγοντοποίηση LU[26] και, συνεπώς, αποτελεσματικοί αλγόριθμοι επίλυσης για συστήματα εξισώσεων με έναν σύνθετο τριανταγωνικό πίνακα ως πίνακα συντελεστών. Ο αλγόριθμος Τόμας, που χρησιμοποιείται για την αποτελεσματική επίλυση συστημάτων εξισώσεων που περιλαμβάνουν έναν τριδιαγωνικό πίνακα μπορεί επίσης να εφαρμοστεί χρησιμοποιώντας πράξεις πινάκων σε τριδιαγωνικούς συνθέτους πίνακες.
Τριγωνικοί σύνθετοι πίνακες
Ανώτερος τριγωνικός σύνθετος πίνακας
Ένας πίνακας είναι 'άνω τριγωνικός (ή 'πάνω τριγωνικός σύνθετος).[27]) αν
- ,
Κάτω σύνθετο τριγωνικό
Ένας πίνακας είναι Κάτω σύνθετο τριγωνικό αν
- ,
όπου για όλα τα .[23]
Σύνθετος πίνακας Τόεπλιτς
Ένας σύνθετος πίνακας Τόεπλιτς είναι ένας άλλος ειδικός σύνθετος πίνακας , ο οποίος περιέχει τμήματα που επαναλαμβάνονται κατά μήκος των διαγωνίων του πίνακα, καθώς ένας πίνακας Τόεπλιτζ έχει στοιχεία που επαναλαμβάνονται κατά μήκος της διαγωνίου.
Ένας πίνακας είναι Σύνθετος Τόεπλιτς αν για όλα τα , δηλαδή,
- ,
όπου .[23]
Σύνθετοι πίνακες Χάνκελ
Ένας πίνακας είναι Σύνθετος Χάνκελ αν για όλα τα , δηλαδή,
- ,
όπου .[23]
Δείτε επίσης
- Field Arithmetic
- Πραγματικό προβολικό επίπεδο
- Μαθηματική επαγωγή
- Μιγαδικός αριθμός
- Πίνακας (μαθηματικά)
- Τετραγωνικός πίνακας
- Αντιστρέψιμος πίνακας
- Ιδιοτιμές και ιδιοδιανύσματα
Εξωτερικοί σύνδεσμοι
- English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
- Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
- Matrix Analysis
- The Concise Oxford Dictionary of Mathematics
- An Introduction to Difference Equations
- Theory Of Difference Equations Numerical Methods And Applications
- Differential Equations, Difference Equations and Matrix Theory
Δημοσιεύσεις
- Πρότυπο:Cite journal
- Πρότυπο:Cite book
- Πρότυπο:Citation
- Πρότυπο:Citation
- Πρότυπο:Cite web
- Bartle; Sherbert; Introduction to real analysis (4th ed.), John Wiley & Sons, 2011 Πρότυπο:ISBN.
- Nahin, Paul J.; An Imaginary Tale; Princeton University Press; (hardcover, 1998). Πρότυπο:ISBN.
- Πρότυπο:Citation
Παραπομπές
- ↑ Πρότυπο:Cite web
- ↑ Πρότυπο:Cite book
- ↑ 3,0 3,1 Πρότυπο:Cite web
- ↑ Πρότυπο:Cite book
- ↑ Πρότυπο:Cite journal
- ↑ Πρότυπο:Cite journal
- ↑ 7,0 7,1 7,2 Πρότυπο:Cite book
- ↑ 8,0 8,1 Πρότυπο:Cite book
- ↑ Πρότυπο:Cite book
- ↑ 10,00 10,01 10,02 10,03 10,04 10,05 10,06 10,07 10,08 10,09 10,10 10,11 10,12 10,13 Πρότυπο:Cite book
- ↑ 11,0 11,1 11,2 11,3 11,4 Πρότυπο:Cite book
- ↑ Πρότυπο:Cite thesis
- ↑ Πρότυπο:Cite book
- ↑ Πρότυπο:Cite book
- ↑ Πρότυπο:Cite book
- ↑ 16,0 16,1 16,2 16,3 16,4 16,5 16,6 16,7 Πρότυπο:Cite book
- ↑ Taboga, Marco (2021). "Determinant of a block matrix", Lectures on matrix algebra.
- ↑ Πρότυπο:Cite journal
- ↑ Πρότυπο:Cite journal
- ↑ Πρότυπο:Cite book
- ↑ 21,0 21,1 21,2 Πρότυπο:Cite journal
- ↑ Πρότυπο:Cite book
- ↑ 23,0 23,1 23,2 23,3 23,4 Πρότυπο:Cite book
- ↑ Πρότυπο:Cite book
- ↑ Πρότυπο:Cite book
- ↑ Πρότυπο:Cite book
- ↑ 27,0 27,1 Πρότυπο:Cite book