ΚΕΦΑΛΑΙΟ ΚΕΦΑΛΑΙΟ :. ΕΙΣΑΓΩΓΗ Σε κάθε τετραγωνικό πίνακα ) τάξης n θα αντιστοιχίσουμε έναν πραγματικό ( ij αριθμό, τον οποίο θα ονομάσουμε ορίζουσα του πίνακα. Η ορίζουσα θα συμβολίζεται det ή Α ή n n Αρχικά η ορίζουσα εμφανίζεται στη μελέτη συστημάτων γραμμικών εξισώσεων, αλλά η χρησιμότητά της επεκτείνεται και σε πολλές άλλες εφαρμογές, όχι μόνο της Άλγεβρας, άλλα και άλλων κλάδων των Μαθηματικών, όπως η Μαθηματική Ανάλυση, η Αναλυτική Γεωμετρία κ.α. Θα ορίσουμε πρώτα τις ορίζουσες ης, ης και ης τάξης και στη συνέχεια τις ορίζουσες οποιασδήποτε τάξης. Αν θεωρήσουμε το σύστημα X B, όπως το περιγράψαμε στην παράγραφο., θα δούμε ότι οι παρακάτω προτάσεις είναι ισοδύναμες Ο πίνακας Α είναι αντιστρέψιμος det Το σύστημα ΑΧ Β έχει μοναδική λύση n n nn. ης ΚΑΙ ης ΤΑΞΗΣ Η περίπτωση ης τάξης είναι τετριμμένη. Αν () τότε det. Εάν ο Α είναι ένα πίνακας, με τότε η ορίζουσα det ορίζεται ως εξής: d d d Εφόσον τα στοιχεία του πίνακα ανήκουν στο R
ΚΕΦΑΛΑΙΟ ΠΑΡΑΔΕΙΓΜΑ Προφανώς det( ), det( 7) 7. Επίσης, 4 6 4 4 6 9 ( 6)( ) 8 8 9 Η επόμενη πρόταση συνδέει τον αντίστροφο ενός πίνακα με την ορίζουσά του. ΘΕΩΡΗΜΑ: Ένας τετραγωνικός πίνακας μόνο αν det. Τότε ο αντίστροφος του Α είναι d είναι αντιστρέψιμος, αν και d det Απόδειξη: Έστω ότι ο Α είναι αντιστρέψιμος με I d z w. Τότε z w z w dz dw z w dz dw (.) Διακρίνουμε δύο περιπτώσεις: d d Έστω ότι. Η τρίτη εξίσωση δίνει z και η πρώτη γίνεται ( ) z ή ισοδύναμα ( d ) z. Συνεπώς, det d. Έστω. Η τέταρτη εξίσωση δίνει d, η τρίτη z και η πρώτη. Άρα και πάλι det d d. Αντίστροφα, έστω ότι det. Τότε για τον πίνακα B διαπιστώνουμε ότι d B d d d d d d Ι
ΚΕΦΑΛΑΙΟ καθώς επίσης (με όμοιο τρόπο) και ότι B I. Άρα ο Α είναι αντιστρέψιμος. Από τα παραπάνω συμπεραίνουμε ότι ο αντίστροφος του Α είναι ο d det.. ΣΥΣΤΗΜΑ CRMER Θεωρούμε το γραμμικό σύστημα με δύο εξισώσεις και δύο αγνώστους: (.) Οι παρακάτω ορίζουσες θα μας φανούν χρήσιμες det,, (Προσέξτε ότι οι, λαμβάνονται από την αντικαθιστώντας την αντίστοιχη στήλη με τους σταθερούς όρους). Είναι,, Τώρα, αν θέσουμε, X, B το σύστημα γράφεται X B. Αν ο πίνακας Α είναι αντιστρέψιμος, πολλαπλασιάζουμε και τα δύο μέλη με αριστερά και έχουμε διαδοχικά από ( ( X ) ) X IX B X B B B δηλαδή το σύστημα έχει μοναδική λύση. Σύμφωνα με το θεώρημα της προηγούμενης παραγράφου είναι det και η λύση του συστήματος είναι
ΚΕΦΑΛΑΙΟ B det δηλαδή, Καταλήξαμε λοιπόν στο ακόλουθο ΘΕΩΡΗΜΑ: Όταν η ορίζουσα του συστήματος (.) είναι, το σύστημα έχει τη μοναδική λύση, Στην περίπτωση αυτή το σύστημα λέγεται σύστημα Crmer. Θα δούμε παρακάτω ότι ανάλογο αποτέλεσμα ισχύει για οποιοδήποτε σύστημα n n. ΠΑΡΑΔΕΙΓΜΑΤΑ ) Έστω το σύστημα 4 Επειδή και 6,, το σύστημα έχει 4 4 τη μοναδική λύση 6 4, 4 4 ) Να λυθεί το σύστημα ( λ ) 7( λ ) ( λ ) λ Είναι λ 7( λ ) ( λ )( λ ) 7( λ ) ( λ )( λ ) λ Διακρίνουμε περιπτώσεις Αν λ και λ, τότε και έχουμε σύστημα Crmer. 4
ΚΕΦΑΛΑΙΟ Έχουμε 7( λ ) ( λ ) 7λ( λ ) 7( λ )( λ) 7( λ )( λ ) λ λ λ ( λ ) λ λ λ ( λ 7)( λ ) λ και το σύστημα έχει τη μοναδική λύση 7, λ 7 λ Αν λ, το σύστημα γίνεται και προφανώς είναι αδύνατο. Αν λ, το σύστημα γίνεται 7 4 Οι δύο εξισώσεις είναι ισοδύναμες, οπότε παίρνουμε τις άπειρες λύσεις (, ) (, ), όπου R.4 ΟΡΙΖΟΥΣΑ ης ΤΑΞΗΣ Η ορίζουσα ης τάξης ορίζεται ως εξής Για να προλάβουμε οποιαδήποτε δυσάρεστη έκπληξη να πούμε ότι δεν χρειάζεται απομνημόνευση του τύπου αυτού διότι πρακτικά ο υπολογισμός γίνεται πιο εύκολα. Ειδικά για την ορίζουσα ης τάξης υπάρχει ένας πρακτικός κανόνας, γνωστός ως κανόνας του Srrus. Γράφουμε ξανά τις δύο πρώτες στήλες δίπλα στην ορίζουσα και υπολογίζουμε τα έξι γινόμενα του ορισμού σύμφωνα με το σχήμα
ΚΕΦΑΛΑΙΟ -- -- -- ΠΑΡΑΔΕΙΓΜΑ Θα υπολογίσουμε την ορίζουσα 4 Με τον κανόνα του Srrus έχουμε 4 4 4 6 4 Ή ορίζουσα τάξης μπορεί να υπολογιστεί και με τη βοήθεια της ορίζουσας τάξης. Συμβολίζουμε με την ορίζουσα τάξης που προκύπτει αν διαγράψουμε την i- ij γραμμή και την j-στήλη. Η ορίζουσα αυτή λέγεται ελάσσων ορίζουσα του στοιχείου. Τότε μπορούμε να διαπιστώσουμε ότι ij Αρκεί να κάνουμε τις πράξεις στο ο μέλος: ) ( ) ( ) ( 6
ΚΕΦΑΛΑΙΟ Ο υπολογισμός αυτός λέγεται ανάπτυγμα της ορίζουσας κατά τα στοιχεία της ης γραμμής. Το ίδιο αποτέλεσμα βρίσκουμε και με αναπτύγματα κατά της στοιχεία των άλλων γραμμών. Έτσι έχουμε. Τέλος, το ίδιο αποτέλεσμα βρίσκουμε και με αναπτύγματα κατά τα στοιχεία στηλών. Έτσι, ΠΑΡΑΔΕΙΓΜΑΤΑ ) Θα υπολογίσουμε πάλι την ορίζουσα 4 Με ανάπτυγμα της ορίζουσας κατά τα στοιχεία της ης γραμμής έχουμε 8 ( ) ( ) 4 4 όπως είχαμε βρει και στο προηγούμενο παράδειγμα. Συμφέρει ωστόσο να υπολογίσουμε την ορίζουσα με το ανάπτυγμα κατά τα στοιχεία της πρώτης στήλης διότι εκεί υπάρχει στοιχείο : 8 ( ) 4 4 ) Θα υπολογίσουμε την ορίζουσα 7 4 Συμφέρει να την υπολογίσουμε κατά τα στοιχεία της ης στήλης: (4 6) 4 7
ΚΕΦΑΛΑΙΟ ) Η ορίζουσα ενός άνω τριγωνικού πίνακα υπολογίζεται εύκολα. Πολλαπλασιάζουμε απλώς τα στοιχεία της κυρίας διαγωνίου. Πράγματι, Έτσι π.χ. d f e e 7 8 4 ( ) 4 4 Προφανώς το ίδιο ισχύει και για έναν κάτω τριγωνικό πίνακα.. ΙΔΙΟΤΗΤΕΣ ΟΡΙΖΟΥΣΩΝ Ο υπολογισμός μιας ορίζουσας μπορεί να γίνει ακόμη πιο εύκολος αν χρησιμοποιήσουμε κατάλληλα τις παρακάτω ιδιότητες των οριζουσών. det det T Δηλαδή η ορίζουσα δεν μεταβάλλεται αν οι γραμμές γίνουν στήλες. Αυτό είναι φανερό εφόσον το ανάπτυγμα μιας ορίζουσας είτε ως προς μια γραμμή είτε ως προς μια στήλη δίνει το ίδιο αποτέλεσμα.. Αν εναλλάξουμε δυο γραμμές (ή δυο στήλες), η ορίζουσα αλλάζει πρόσημο. Π.χ. Δείχνεται εύκολα με πράξεις. Αν δύο γραμμές (ή δυο στήλες) είναι ίδιες η ορίζουσα είναι. Πράγματι, εάν εναλλάξουμε τις ίδιες γραμμές (ή στήλες) παίρνουμε την ίδια ορίζουσα οπότε σύμφωνα με την προηγούμενη ιδιότητα det det det det 4. Αν πολλαπλασιάσουμε τα στοιχεία μιας γραμμής (ή μιας στήλης) με τον αριθμό λ, τότε η ορίζουσα πολλαπλασιάζεται με το λ. 8
ΚΕΦΑΛΑΙΟ Π.χ. λ λ λ λ λ λ λ λ ( ) Έτσι λοιπόν, κατά τον υπολογισμό μιας ορίζουσας, μπορούμε να βγάζουμε κοινό παράγοντα από μια γραμμή ή μια στήλη.. Αν μια γραμμή (ή μια στήλη) είναι πολλαπλάσιο μιας άλλης γραμμής (ή στήλης) τότε η ορίζουσα είναι. Προκύπτει από τον συνδυασμό των ιδιοτήτων και 4. Π.χ. λα λα λα λ α α α λ 6. Αν κάθε στοιχείο μιας γραμμής (ή στήλης) είναι άθροισμα δύο αριθμών τότε η ορίζουσα ανάγεται σε άθροισμα δύο οριζουσών ως εξής d d d d d d Δείχνεται εύκολα με πράξεις 7. Αν προσθέσουμε σε μια γραμμή (η μια στήλη) το πολλαπλάσιο μιας άλλης γραμμής (ή στήλης) η ορίζουσα παραμένει ίδια. Π.χ. λ λ λ λα λα λα Η ιδιότητα αυτή χρησιμοποιείται πολύ συχνά για να μηδενίζουμε στοιχεία σε μια γραμμή ή μια στήλη ώστε το αντίστοιχο ανάπτυγμα να γίνεται πιο απλό. Μπορούμε ακόμη να φέρουμε την ορίζουσα σε (άνω ή κάτω) τριγωνική μορφή ώστε να πάρουμε αμέσως το αποτέλεσμα, σύμφωνα με το Παράδειγμα της προηγούμενης παραγράφου. 9
ΚΕΦΑΛΑΙΟ ΠΑΡΑΔΕΙΓΜΑΤΑ ) 7 4. Αφαιρούμε την η στήλη από τις άλλες δύο (ιδιότητα 7) 7 4 και τώρα παίρνουμε το ανάπτυγμα κατά τα στοιχεία της ης γραμμής 8 6 ) 9 6 [κοινό παράγοντα από την η στήλη] [προσθέσαμε τη η στήλη στην η ] [δυο στήλες ίδιες] ) [προσθέσαμε η και η στήλη στην η ] ) ( [κοινό παράγοντα από την η στήλη] ) ( [αφαιρέσαμε η γραμμή από η & η ]
ΚΕΦΑΛΑΙΟ ( )( )( ) [άνω τριγωνική μορφή] ( )( ).6 ΑΝΤΙΣΤΡΟΦΟΣ ΠΙΝΑΚΑ Έστω ο πίνακας ης Συμβολίζουμε με ij την ελάσσονα ορίζουσα διαγράψουμε την i-γραμμή και την j-στήλη του πίνακα Α. τάξης που προκύπτει αν ΘΕΩΡΗΜΑ: Αν det, τότε ο πίνακας Α είναι αντιστρέψιμος και ο αντίστροφός του είναι ο πίνακας Απόδειξη: Έστω Τότε B B Στην κύρια διαγώνιο του γινομένου των δύο πινάκων θα πάρουμε αναπτύγματα της ορίζουσας. Σε κάθε άλλη θέση θα πάρουμε. Ουσιαστικά θα πάρουμε τα ίδια αναπτύγματα, όπου όμως θα έχει αντικατασταθεί μια γραμμή της με μια άλλη γραμμή: π.χ. το γινόμενο της ης γραμμής με τη η στήλη δίνει (πήραμε το ανάπτυγμα ως προς την η γραμμή). Προσέξτε ότι οι ελάσσονες ορίζουσες των στοιχείων μιας γραμμής μπαίνουν στην αντίστοιχη στήλη.
ΚΕΦΑΛΑΙΟ Άρα, B I Όμοια παίρνουμε και B I, οπότε προκύπτει το αποτέλεσμα. Σημείωση: Ισχύει και το αντίστροφο του θεωρήματος, οπότε ένας πίνακας είναι αντιστρέψιμος αν και μόνο αν η ορίζουσά του είναι διάφορη του. ΠΑΡΑΔΕΙΓΜΑ Στο κεφάλαιο (παράγραφος.9) υπολογίσαμε τον αντίστροφο του πίνακα και βρήκαμε 4 4 6 8 Θα υπολογίσουμε πάλι τον αντίστροφο με τη βοήθεια του προηγούμενου θεωρήματος. Βρίσκουμε πρώτα την ορίζουσα του πίνακα det 8 4 και στη συνέχεια τις ελάσσονες ορίζουσες Επομένως, 4 6 ( ) (4) (6) ( ) () () () ( ) 4 ( ) 6 όπως αναμέναμε.
ΚΕΦΑΛΑΙΟ Σημείωση: Όπως βλέπουμε, ο υπολογισμός με τον τρόπο αυτό είναι πιο επίπονος. Πρακτικά χρησιμοποιούμε τη μέθοδο του κεφαλαίου. Ωστόσο το αποτέλεσμα αυτής της παραγράφου έχει μεγάλη θεωρητική αξία..7 ΣΥΣΤΗΜΑ CRMER Έστω το σύστημα z z z Όπως στην περίπτωση του συστήματος (παράγραφος.), έτσι κι εδώ θέτουμε ενώ Τότε,,,, z ΘΕΩΡΗΜΑ: Όταν η ορίζουσα του συστήματος είναι, το σύστημα λέγεται σύστημα Crmer και έχει τη μοναδική λύση, z z Η απόδειξη είναι παρόμοια με αυτήν της παραγράφου.. Σημείωση: Ισχύει και το αντίστροφο του θεωρήματος, δηλαδή το σύστημα έχει μοναδική λύση αν και μόνο αν. Συνεπώς, όταν, το σύστημα είτε είναι αδύνατο είτε έχει άπειρες λύσεις. Στην περίπτωση αυτή το λύνουμε με κάποιον από τους γνωστούς τρόπους (με επαυξημένο πίνακα, με αντικατάσταση, κλπ) ΠΑΡΑΔΕΙΓΜΑ Στην παράγραφο.6 λύσαμε το σύστημα z 4z 4 z
ΚΕΦΑΛΑΙΟ και βρήκαμε (,, z) (,,). Εδώ θα το λύσουμε με τη μέθοδο των οριζουσών. Έχουμε 4-7 Πρόκειται λοιπόν για σύστημα Crmer. Έχουμε επίσης 4 4-4, 4 4 7, 4-7 z άρα, z z όπως αναμέναμε..8 ΟΡΙΖΟΥΣΑ ΤΑΞΗΣ n Στην παράγραφο.4 υπολογίσαμε την ορίζουσα ης τάξης με την βοήθεια οριζουσών ης τάξης, χρησιμοποιώντας αναπτύγματα ως προς κάποια γραμμή ή κάποια στήλη. Μπορούμε να επεκτείνουμε επαγωγικά τον ορισμό της ορίζουσας για τετραγωνικούς πίνακες οποιασδήποτε τάξης n. Ορίζουμε λοιπόν n n n n nn n ( ) n n 4
ΚΕΦΑΛΑΙΟ όπου με συμβολίζουμε την ελάσσονα ορίζουσα τάξης n- που προκύπτει αν διαγράψουμε την i-γραμμή και την j-στήλη. ij Αποδεικνύεται και πάλι ότι το ανάπτυγμα ως προς τα στοιχεία οποιασδήποτε γραμμής ή στήλης δίνει το ίδιο αποτέλεσμα. Τα πρόσημα στο αντίστοιχο ανάπτυγμα μπαίνουν εναλλάξ σύμφωνα με το σχήμα Οι ιδιότητες των οριζουσών που περιγράψαμε στην παράγραφο. ισχύουν και εδώ. Τέλος, τα αποτελέσματα των παραγράφων.6 και.7 επεκτείνονται και για τον αντίστροφο ενός πίνακα και για το σύστημα Crmer n n n n. ΠΑΡΑΔΕΙΓΜΑΤΑ ) 7 7 διότι η πρώτη και η τρίτη ορίζουσα έχουν από δύο ίδιες γραμμές ενώ η δεύτερη έχει δύο γραμμές ανάλογες. ) Να λυθεί η εξίσωση Έχουμε
ΚΕΦΑΛΑΙΟ ( ) ( ) ( ) ( ) ή 6