Υπολογιστής Μιντρών

Μια υπολογιστική μητρών εκτελεί πράξεις γραμμικής άλγεβρας σε ορθογώνιους πίνακες αριθμών.

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

• Η πρόσθεση/αφαίρεση απαιτεί ίσες διαστάσεις και λειτουργεί ανά στοιχείο.
• Ο πολλαπλασιασμός απαιτεί οι στήλες του A να ισούνται με τις γραμμές του B.
• Η ορίζουσα είναι ένας βαθμωτός αριθμός που δείχνει τη δυνατότητα αντιστροφής.
• Η αντίστροφη αναιρεί τον πολλαπλασιασμό (A × A⁻¹ = I).
• Το RREF χρησιμοποιεί την απαλοιφή Gauss-Jordan για την επίλυση γραμμικών συστημάτων.

Ένας πίνακας είναι μια ορθογώνια διάταξη αριθμών ταξινομημένων σε γραμμές και στήλες, γραμμένη εντός αγκυλών και προσδιοριζόμενη από τις διαστάσεις του ως γραμμές επί στήλες (για παράδειγμα, ένας πίνακας 2×3 έχει 2 γραμμές και 3 στήλες). Κάθε στοιχείο αναφέρεται από τη θέση του, A[i][j], που σημαίνει τον αριθμό στη γραμμή i και στη στήλη j.

Σύμφωνα με την Encyclopædia Britannica, οι πίνακες τυποποιούν συστήματα γραμμικών εξισώσεων και γραμμικών μετασχηματισμών σε ένα ενιαίο συμπαγές αντικείμενο.

Ένας τετραγωνικός πίνακας έχει ίσες γραμμές και στήλες, και η κύρια διαγώνιος του εκτείνεται από επάνω αριστερά έως κάτω δεξιά. Ο μοναδιαίος πίνακας I έχει 1 σε αυτή τη διαγώνιο και 0 οπουδήποτε αλλού, παίζοντας τον ρόλο που παίζει ο αριθμός 1 στον συνήθη πολλαπλασιασμό.

Για να πολλαπλασιάσουμε τους πίνακες A και B, κάθε στοιχείο C[i][j] είναι το εσωτερικό γινόμενο της γραμμής i του A με τη στήλη j του B, αθροίζοντας τα A[i][k]×B[k][j] κατά μήκος του k. Αυτό ορίζεται μόνο όταν ο αριθμός των στηλών στον A ισούται με τον αριθμό των γραμμών στον B, οπότε ένας πίνακας m×n επί έναν πίνακα n×p αποδίδει ένα αποτέλεσμα m×p.

Για παράδειγμα, [[1,2],[3,4]] × [[5,6],[7,8]] δίνει C[1][1] = 1×5 + 2×7 = 19, και η ολοκλήρωση της διαδικασίας παράγει [[19,22],[43,50]].

Το Khan Academy τονίζει ότι ο πολλαπλασιασμός πινάκων δεν είναι αντιμεταθετικός: το A×B σπάνια ισούται με το B×A. Αυτός ο κανόνας γραμμής-ανά-στήλη υποκρύπτει τον τρόπο με τον οποίο συντίθενται οι γραμμικοί μετασχηματισμοί.

Η ορίζουσα ενός πινάκα 2×2 [[a,b],[c,d]] ισούται με ad − bc· για τον [[1,2],[3,4]] αυτό είναι (1×4) − (2×3) = 4 − 6 = −2.

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

Το Wolfram MathWorld ορίζει την ορίζουσα ως ένα βαθμητό μέγεθος που κωδικοποιεί πώς μια γραμμική απεικόνιση κλιμακώνει πρόσημο εμβaδόν ή όγκο. Μια ορίζουσα ίση με μηδέν σημαίνει ότι ο πίνακας είναι ιδιάζων (μη αντιστρέψιμος) επειδή καταρρέει τον χώρο σε χαμηλότερη διάσταση. Οι μεγαλύτερες ορίζουσες βρίσκονται αποτελεσματικά μέσω ανάγωγης κλιμακωτής μορφής.

Ο αντίστροφος A⁻¹ είναι ο πίνακας που ικανοποιεί τη σχέση A × A⁻¹ = I, και υπάρχει μόνο όταν η ορίζουσα είναι διάφορη του μηδενός.

Για έναν πίνακα 2×2 [[a,b],[c,d]], ο αντίστροφος είναι (1/det) × [[d,−b],[−c,a]]. Παίρνοντας τον [[1,2],[3,4]] με ορίζουσα −2, ο αντίστροφος είναι (1/−2) × [[4,−2],[−3,1]] = [[−2,1],[1.5,−0.5]].

Για μεγαλύτερους πίνακες, επεκτείνετε τον A με τον μοναδιαίο για να σχηματίσετε [A | I] και εφαρμόστε απαλοιφή Gauss-Jordan μέχρι το αριστερό μπλοκ να γίνει I, αφήνοντας τον A⁻¹ στα δεξιά.

Το Wolfram MathWorld σημειώνει ότι ο αντίστροφος επιλύει απευθείας το Ax = b ως x = A⁻¹b, γι' αυτό και η αντιστρεψιμότητα είναι κεντρική στα γραμμικά συστήματα.

Η απαλοιφή Gauss επιλύει γραμμικά συστήματα εφαρμόζοντας τρεις στοιχειώδεις πράξεις γραμμών μέχρι ο πίνακας να φτάσει σε κλιμακωτή μορφή:

• εναλλαγή γραμμών
• κλιμάκωση μιας γραμμής με μια μη μηδενική σταθερά
• προσθήκη ενός πολλαπλασίου μιας γραμμής σε μια άλλη

Η συνέχιση μέχρι κάθε οδηγό στοιχείο (pivot) να είναι 1 και να είναι το μόνο μη μηδενικό στοιχείο στη στήλη του παράγει την αναγμένη κλιμακωτή μορφή γραμμών (RREF), τον στόχο της απαλοιφής Gauss-Jordan.

Το Khan Academy εξηγεί ότι η RREF καθιστά το σύνολο λύσεων ενός συστήματος άμεσα αναγνώσιμο. Επειδή αυτές οι πράξεις δεν αλλάζουν ποτέ αυτό το σύνολο λύσεων, η RREF είναι η πιο αξιόπιστη γενική μέθοδος για την επίλυση εξισώσεων, τον υπολογισμό τάξης και την αντίστροφη μέτρηση πινάκων, και είναι αριθμητικά σταθερή όταν συνδυάζεται με μερική επιλογή οδηγού.

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

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

Ένας τετραγωνικός πίνακας n×n είναι αντιστρέψιμος ακριβώς όταν έχει πλήρη τάξη n· οποιαδήποτε χαμηλότερη τάξη σηματοδοτεί έναν ιδιάζοντα πίνακα και ορίζουσα μηδέν. Η τάξη αποκαλύπτει επίσης πόσες εξισώσεις σε ένα σύστημα μεταφέρουν γνήσια νέα πληροφορία σε σύγκριση με το να είναι πλεοναστικούς συνδυασμοί άλλων.

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

Οι πίνακες τροφοδοτούν μια αξιοσημείωτη γκάμα τεχνολογιών.

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

Στη μηχανική μάθηση, τα βάρη των νευρωνικών δικτύων είναι πίνακες, και η εκπαίδευση βασίζεται σε τεράστιους πολλαπλασσιασμούς πινάκων που επιταχύνονται από GPU.

Μια απλή σχέση κίνησης, όπως το απόσταση = ταχύτητα × χρόνος, είναι αρκετά απλή για έναν υπολογισμό χρόνου ή ταξιδιού, αλλά η Encyclopædia Britannica σημειώνει ότι οι πίνακες αναλαμβάνουν τον έλεγχο μόλις πολλές ποσότητες συνδεθούν μεταξύ τους στη φυσική και τα οικονομικά, όπως συμβαίνει με τα ηλεκτρικά κυκλώματα και τα οικονομικά μοντελά εισροών-εκροών.

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

Ακόμη και ο αρχικός αλγόριθμος PageRank της Google πλαισίωσε ολόκληρο τον ιστό ως ένα τεράστιο πρόβλημα ιδιοτιμών πίνακα.

Ένα ιδιοδιάνυσμα ενός τετραγωνικού πίνακα A είναι ένα μη μηδενικό διάνυσμα v του οποίου η κατεύθυνση παραμένει αμετάβλητη όταν πολλαπλασιάζεται επί A, έτσι ώστε A·v = λ·v, όπου το βαθμητό μέγεθος λ είναι η αντίστοιχη ιδιοτιμή.

Το Wolfram MathWorld περιγράφει τις ιδιοτιμές ως τις ρίζες του χαρακτηριστικού πολυωνύμου det(A − λI) = 0.

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

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

• Το πιο συχνό σφάλμα είναι η υπόθεση ότι ο πολλαπλασιασμός πινάκων είναι αντιμεταθετικός — το A×B συνήθως δεν ισούται με το B×A, και η αντιστροφή της σειράς δίνει ένα διαφορετικό ή μη ορισμένο αποτέλεσμα.
• Ένα άλλο είναι η προσπάθεια πολλαπλασιασμού πινάκων των οποίων οι εσωτερικές διαστάσεις δεν ταιριάζουν· ο αριθμός στηλών του A πρέπει να ισούται με τον αριθμό γραμμών του B.
• Οι σπουδαστές συχνά προσπαθούν να αντιστρέψουν έναν πίνακα με μηδενική ορίζουσα, κάτι που είναι αδύνατο επειδή ένας τέτοιος πίνακας είναι ιδιάζων.
• Κατά τον αναδασμό ενός γινομένου, θυμηθείτε ότι η σειρά αντιστρέφεται: (AB)ᵀ = BᵀAᵀ.
• Κατά την απαλοιφή γραμμών, η παράλειψη εφαρμογής μιας πράξης σε κάθε στοιχείο της γραμμής, ή η διαίρεση με ένα μηδενικό οδηγό στοιχείο, αλλοιώνει το αποτέλεσμα.
• Τέλος, η σύγχυση των δεικτών γραμμών και στηλών κατά την ανάγνωση του A[i][j] παράγει σιωπηρά λάθος απαντήσεις.