Υπολογιστής Ορίζουσας

Για πίνακες 2×2: det([[a,b],[c,d]]) = ad - bc. Για πίνακες 3×3, ο κανόνας Sarrus ή η ανάπτυξη συμπαραγόντων δίνει: det = a(ei-fh) - b(di-fg) + c(dh-eg) για τον πίνακα [[a,b,c],[d,e,f],[g,h,i]].

Για μεγαλύτερους πίνακες, λειτουργεί η ανάπτυξη συμπαραγόντων κατά μήκος οποιασδήποτε γραμμής ή στήλης: det(A) = Σ(-1)^(i+j) × a_ij × M_ij, όπου M_ij είναι το έλασσον (η ορίζουσα του υποπίνακα που προκύπτει διαγράφοντας τη γραμμή i και τη στήλη j).

Το κόστος υπολογισμού αυξάνεται παραγοντικά με το μέγεθος του πίνακα χρησιμοποιώντας την ανάπτυξη συμπαραγόντων — O(n!) — καθιστώντας την ακατάλληλη για μεγάλους πίνακες. Η παραγοντοποίηση LU υπολογίζει ορίζουσες σε O(n³) εκφράζοντας το A = LU και χρησιμοποιώντας det(A) = det(L) × det(U) = γινόμενο διαγώνιων στοιχείων.

Διάφορες ιδιότητες επιτρέπουν συντομεύσεις:

• η ορίζουσα ενός τριγωνικού πίνακα (άνω ή κάτω) ισούται με το γινόμενο των διαγώνιων στοιχείων.
• Η εναλλαγή δύο γραμμών αντιστρέφει το πρόσημο της ορίζουσας.
• Ο πολλαπλασιασμός μιας γραμμής με βαθμωτό k πολλαπλασιάζει την ορίζουσα επί k.
• Η προσθήκη ενός πολλαπλασίου μιας γραμμής σε μια άλλη δεν αλλάζει την ορίζουσα — αυτή είναι η βάση της απαλοιφής Gauss για αποδοτικό υπολογισμό.
• Η ορίζουσα ενός γινομένου ισούται με το γινόμενο των οριζουσών: det(AB) = det(A) × det(B).
• Για τον ανάστροφο: det(A^T) = det(A).
• Ο αντίστροφος έχει det(A^(-1)) = 1/det(A).

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

Πέρα από την επίλυση γραμμικών συστημάτων (κανόνας του Cramer: x_i = det(A_i)/det(A)), οι ορίζουσες έχουν γεωμετρικές εφαρμογές.

Σε 2D, η απόλυτη ορίζουσα ενός πίνακα 2×2 που σχηματίζεται από δύο διανύσματα δίνει το εμβαδόν του παραλληλογράμμου που εκτείνουν. Σε 3D, η ορίζουσα ενός πίνακα 3×3 τριών διανυσμάτων δίνει τον όγκο του παραλληλεπιπέδου. Τα εξωτερικά γινόμενα μπορούν να υπολογιστούν χρησιμοποιώντας ορίζουσες: a×b = det([[i,j,k],[a1,a2,a3],[b1,b2,b3]]).

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

Οι ιδιοτιμές ικανοποιούν det(A - λI) = 0, το χαρακτηριστικό πολυώνυμο, συνδέοντας τις ορίζουσες με τη φασματική ανάλυση και τη θεωρία ευστάθειας στις διαφορικές εξισώσεις.

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

Όπως εξηγεί το Wolfram MathWorld, η ορίζουσα ενός πίνακα n×n A, που γράφεται det(A) ή |A|, είναι μη μηδενική ακριβώς όταν ο πίνακας έχει αντίστροφο και οι γραμμές του είναι γραμμικά ανεξάρτητες.

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

Οι ορίζουσες ορίζονται μόνο για τετραγωνικούς πίνακες — οι ορθογώνιοι πίνακες δεν έχουν ορίζουσα.

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

Πάρτε τον πίνακα [[2,1,3],[0,-1,2],[1,4,-1]]. Τα τρία ελάσσονα είναι [[-1,2],[4,-1]] = (-1)(-1)−(2)(4) = -7, [[0,2],[1,-1]] = (0)(-1)−(2)(1) = -2, και [[0,-1],[1,4]] = (0)(4)−(-1)(1) = 1.

Ο συνδυασμός με τα πρόσημα δίνει 2(-7) − 1(-2) + 3(1) = -14 + 2 + 3 = -9. Η Khan Academy αποδεικνύει αυτή τη μέθοδο συμπαραγόντων διαδραστικά για οποιονδήποτε πίνακα 3×3.

Για έναν πίνακα 2×2 [[a,b],[c,d]], η ορίζουσα είναι ad − bc: πολλαπλασιάστε την κύρια διαγώνιο και, στη συνέχεια, αφαιρέστε το γινόμενο της αντιδιαγωνίου.

Για παράδειγμα, η ορίζουσα του [[3,8],[4,6]] είναι (3)(6) − (8)(4) = 18 − 32 = -14. Ο ίδιος κανόνας 2×2 παράγει την ταυτότητα του Cassini, det([[F₍n+1₎,F₍n₎],[F₍n₎,F₍n-1₎]]) = (−1)ⁿ για διαδοχικούς αριθμούς Fibonacci που μπορείτε να δημιουργήσετε με έναν υπολογιστή fibonacci. Αυτός ο τύπος, καταγεγραμμένος από το Wolfram MathWorld, είναι η βασική περίπτωση κάθε μεγαλύτερης ορίζουσας επειδή η ανάπτυξη συμπαραγόντων μειώνει αναδρομικά έναν πίνακα n×n σε αθροίσματα ελασσόνων 2×2.

Η ορίζουσα 2×2 ισούται επίσης με το πρόσημο εμβαδόν του παραλληλογράμμου που εκτείνεται από τα δύο διανύσματα στηλών, γι' αυτό μια μηδενική τιμή σημαίνει ότι τα διανύσματα είναι συγγραμμικά και ο πίνακας είναι ιδιόμορφος.

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

Σύμφωνα με την Encyclopaedia Britannica, ένα γραμμικό σύστημα Ax = b με πίνακα συντελεστών που είναι ιδιάζων, είτε δεν έχει καμία λύση είτε έχει άπειρες λύσεις, ποτέ όμως μοναδική. Μια μη μηδενική ορίζουσα σηματοδοτεί έναν μη ιδιάζοντα (αντιστρέψιμο) πίνακα, διασφαλίζοντας ακριβώς μία λύση.

Επειδή η ορίζουσα κλιμακώνει το εμβαδόν ή τον όγκο, μια μηδενική τιμή αντιστοιχεί σε έναν μετασχηματισμό που ισοπεδώνει τον χώρο — για παράδειγμα, απεικονίζει μια περιοχή 3D σε ένα επίπεδο, δίνοντάς της μηδενικό όγκο και καταστρέφοντας την αντιστρεψιμότητα.

Οι μεγάλες ορίζουσες βρίσκονται καλύτερα με απαλοιφή του πίνακα σε άνω τριγωνική μορφή παρά με καθαρή ανάπτυξη κατά συμπαράγοντες. Όπως σημειώνει το Wolfram MathWorld, η ορίζουσα ενός τριγωνικού πίνακα ισούται με το γινόμενο των διαγώνιων στοιχείων του, επομένως η απαλοιφή Gauss σάς επιτρέπει να υπολογίσετε μια ορίζουσα 4×4 ή 5×5 σε περίπου n³ πράξεις αντί για τα n! συμπαράγοντα που απαιτεί η άμεση ανάπτυξη.

Παρακολουθήστε δύο αποτελέσματα κατά την απαλοιφή:

• η εναλλαγή δύο γραμμών πολλαπλασιάζει την ορίζουσα επί −1
• η κλιμάκωση μιας γραμμής επί k πολλαπλασιάζει την ορίζουσα επί k

Η προσθήκη ενός πολλαπλασίου μιας γραμμής σε μια άλλη αφήνει την ορίζουσα αμετάβλητη. Αυτός ο υπολογιστής διαχειρίζεται τη λογιστική αυτόματα για πίνακες έως 5×5.

Οι ορίζουσες εμφανίζονται πολύ πέρα από τα σχολικά βιβλία.

Στη γεωμετρία, η απόλυτη τιμή μιας ορίζουσας 2×2 δίνει το εμβαδόν ενός παραλληλογράμμου, και μια ορίζουσα 3×3 δίνει τον όγκο ενός παραλληλεπιπέδου που ορίζεται από τρία διανύσματα. Ο κανόνας του Cramer λύνει μικρά γραμμικά συστήματα χρησιμοποιώντας λόγους οριζουσών, και το εξωτερικό γινόμενο δύο διανυσμάτων 3D εκφράζεται ως συμβολική ορίζουσα 3×3.

Στον πολυμεταβλητό λογισμό, η ορίζουσα Jacobian — που περιγράφεται στη Ψηφιακή Βιβλιοθήκη Μαθηματικών Συναρτήσεων του NIST — μετρά πώς μια αλλαγή μεταβλητών επανακλιμακώνει τα ολοκληρώματα.

Οι μηχανικοί χρησιμοποιούν την χαρακτηριστική εξίσωση det(A − λI) = 0 για να βρουν ιδιοτιμές που διέπουν τους τρόπους δόνησης, τη δομική σταθερότητα και τη συμπεριφορά του συστήματος ελέγχου.

Προσέξτε αυτά τα συχνά σφάλματα:

• Το πιο συχνό λάθος είναι ότι ξεχνάτε τα εναλλασσόμενα πρόσημα των συμπαραγόντων +, −, +, −· το πρόσημο της θέσης (i, j) είναι (−1)^(i+j), όχι απλώς θετικό.
• Ένα δεύτερο λάθος είναι η εφαρμογή της διαγώνιας συντόμευσης Sarrus σε πίνακες 4×4 ή μεγαλύτερους — το Sarrus λειτουργεί μόνο για 3×3.
• Οι μαθητές χάνουν επίσης ένα μείον μετά από μια εναλλαγή γραμμών, δεδομένου ότι κάθε εναλλαγή αναστρέφει το πρόσημο της ορίζουσας.
• Μια άλλη παγίδα είναι η αντιμετώπιση μιας ορίζουσας σαν πράξη πίνακα: το det(A + B) δεν ισούται με det(A) + det(B), αν και το det(AB) ισούται πράγματι με det(A)·det(B).
• Τέλος, θυμηθείτε ότι οι ορίζουσες υπάρχουν μόνο για τετραγωνικούς πίνακες· ένας πίνακας 2×3 δεν έχει.

Επαληθεύστε κάθε ελάσσονα 2×2 αριθμητικά πριν τα συνδυάσετε.

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

• Η ορίζουσα του μοναδιαίου πίνακα είναι 1, και οποιοσδήποτε πίνακας με μια γραμμή ή στήλη από όλα μηδενικά έχει ορίζουσα 0.
• Δύο πανομοιότυπες γραμμές αναγκάζουν επίσης την ορίζουσα σε μηδέν επειδή οι γραμμές είναι γραμμικά εξαρτημένες.
• Ο ανασχηματισμός ενός πίνακα αφήνει την ορίζουσα του αμετάβλητη, επομένως det(Aᵀ) = det(A).
• Η ορίζουσα ενός γινομένου αναλύεται σε παράγοντες ως det(AB) = det(A)·det(B), γεγονός που συνεπάγεται ότι det(A⁻¹) = 1/det(A) όποτε υπάρχει ο αντίστροφος.
• Ο πολλαπλασιασμός ενός ολόκληρου πίνακα n×n επί ένα βαθμωτό μέγεθος k κλιμακώνει την ορίζουσα κατά kⁿ, όχι κατά k.

Η Khan Academy καλύπτει αποδείξεις για κάθε ιδιότητα.