Κανόνας του Κράμερ

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

Ο κανόνας παίρνει το όνομα του από τον Ελβετό μαθηματικό Γκαμπριέλ Κράμερ (1704-1752), ο οποίος διατύπωσε αυτόν τον κανόνα το 1750 στo βιβλίο του . Εντούτοις, ο κανόνας αυτός είχε εκδοθεί πρωτύτερα το 1748 από τον Κόλιν Μακλόριν στο βιβλίο του Treatise of Algebra και πιστεύεται ότι ο Μακλόριν γνώριζε για τη μέθοδο αυτή από το 1729.

Περιγραφή
Το σύστημα n εξισώσεων με n αγνώστους, γενικής μορφής :

αναπαρίσταται με τη βοήθεια του πολλαπλασιασμού πινάκων ως εξής:

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

Το θεώρημα δηλώνει τότε ότι το σύστημα έχει μοναδική λύση αν και μόνο αν ο πίνακας  είναι αντιστρέψιμος (δηλαδή, με μη μηδενική ορίζουσα), και αυτή η λύση δίνεται τότε από :

όπου  είναι ο τετραγωνικός πίνακας που σχηματίζεται με την αντικατάσταση της k-οστής στήλης του  με το διάνυσμα στήλης
.

Ένα τετραγωνικό σύστημα (δηλαδή με τόσες εξισώσεις όσοι και οι άγνωστοι) ονομάζεται Κράμερ αν η ορίζουσα του πίνακα του είναι διάφορη του μηδενός.

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

Για περισσότερες λεπτομέρειες, δες το θεώρημα Rouché–Capelli.

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

 Παραδείγματα 
μικρογραφία|819x819px|Γεωμετρική ερμηνεία του κανόνα του Κράμερ. Τα εμβαδά του δεύτερου και του τρίτου παραλληλογράμμου είναι ίσα, ενώ το εμβαδόν του δεύτερου είναι  φορές το εμβαδόν του πρώτου. Ο κανόνας προκύπτει από αυτή την ισότητα.
 Σύστημα τάξης 2 
Αν , Το σύστημα

έχει μοναδική λύση :

Ενδεικτικό παράδειγμα:

 Σύστημα τάξης 3 

Ας υποθέσουμε ότι :

Το σύστημα έχει μοναδική λύση εάν και μόνο εάν  :

Ή απλούστερα :

Περίπτωση μηδενικής ορίζουσας
Για να μην έχει λύση το σύστημα, "αρκεί"
.

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

Στην περίπτωση

μπορούμε να έχουμε είτε έναν άπειρο αριθμό λύσεων, είτε καμία απολύτως:

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

 Παραπομπές 

 Εξωτερικοί σύνδεσμοι 
 MIT Linear Algebra Lecture on Cramer’s Rule at Google Video, from MIT OpenCourseWare

Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Πίνακες (μαθηματικά)
Κατηγορία:Ορίζουσες