Μετάβαση στο περιεχόμενο

Στοιχειώδης πίνακας

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια

Στα μαθηματικά, ένας στοιχειώδης πίνακας[1][2] είναι ένας πίνακας που διαφέρει από τον πίνακα ταυτότητας κατά μία μόνο στοιχειώδη πράξη γραμμής. Οι στοιχειώδεις πίνακες δημιουργούν τη γενική γραμμική ομάδα GLn(F) όταν το F είναι ένα πεδίο. Ο αριστερός πολλαπλασιασμός (προπολλαπλασιασμός) με έναν στοιχειώδη πίνακα αντιπροσωπεύει στοιχειώδεις πράξεις γραμμής, ενώ ο δεξιός πολλαπλασιασμός (μεταπολλαπλασιασμός) αντιπροσωπεύει στοιχειώδεις πράξεις στήλης.

Οι στοιχειώδεις πράξεις γραμμής χρησιμοποιούνται στην Γκαουσιανή απαλοιφή για την αναγωγή μιας γραμμης Κλιμακωτής μορφής. Χρησιμοποιούνται επίσης στην απαλοιφή Γκάους-Ζόρνταν για την περαιτέρω αναγωγή του πίνακα σε μειωμένη κλιμακωτή μορφή.

Στοιχειώδεις πράξεις γραμμής

[Επεξεργασία | επεξεργασία κώδικα]

Υπάρχουν τρεις τύποι στοιχειωδών πινάκων, οι οποίοι αντιστοιχούν σε τρεις τύπους πράξεων γραμμής (αντίστοιχα, πράξεων στήλης)[3]:

Αλλαγή γραμμής
Μια γραμμή μέσα στον πίνακα μπορεί να αλλαχθεί με μια άλλη γραμμή.
Πολλαπλασιασμός σειρών
Κάθε στοιχείο σε μια σειρά μπορεί να πολλαπλασιαστεί με μια μη μηδενική σταθερά. Είναι επίσης γνωστός ως κλιμάκωση μιας γραμμής.
Προσθήκη σειράς
Μια γραμμή μπορεί να αντικατασταθεί από το άθροισμα αυτής της γραμμής και ενός πολλαπλάσιου μιας άλλης γραμμής.

Εάν E είναι ένας στοιχειώδης πίνακας, όπως περιγράφεται παρακάτω, για να εφαρμόσετε τη στοιχειώδη πράξη γραμμής σε έναν πίνακα A, πολλαπλασιάζετε τον A με τον στοιχειώδη πίνακα στα αριστερά, EA. Ο στοιχειώδης πίνακας για οποιαδήποτε πράξη γραμμής προκύπτει από την εκτέλεση της πράξης στον πίνακα ταυτότητας. Το γεγονός αυτό μπορεί να κατανοηθεί ως μια περίπτωση του λήμματος Γιονέντα που εφαρμόζεται στην κατηγορία των πινάκων.[4]

Μετασχηματισμοί εναλλαγής σειρών

[Επεξεργασία | επεξεργασία κώδικα]

Δείτε επίσης: Πίνακας μετάθεσης[5]

Ο πρώτος τύπος πράξης γραμμής σε έναν πίνακα A αλλάζει όλα τα στοιχεία του πίνακα στη γραμμή i με τα αντίστοιχα στοιχεία τους σε μια διαφορετική γραμμή j. Ο αντίστοιχος στοιχειώδης πίνακας προκύπτει από την ανταλλαγή της γραμμής i και της γραμμής j του ταυτοτικού πίνακα.

Έτσι, Di(m)A είναι ο πίνακας που παράγεται από τον A πολλαπλασιάζοντας τη γραμμή i επί m.

Με βάση τους συντελεστές, ο πίνακας Di(m) ορίζεται ως εξής :

  • Το αντίστροφο αυτού του πίνακα δίνεται από τη σχέση
  • Ο πίνακας και ο αντίστροφός του είναι διαγώνιοι πίνακες.
  • Επομένως, για έναν τετραγωνικό πίνακα A (του σωστού μεγέθους), έχουμε

Μετασχηματισμοί προσθήκης σειράς

[Επεξεργασία | επεξεργασία κώδικα]

Ο τελευταίος τύπος πράξης προσθήκης γραμμής σε έναν πίνακα A προσθέτει τη γραμμή j πολλαπλασιασμένη με ένα κλιμάκιο m στη γραμμή i. Ο αντίστοιχος στοιχειώδης πίνακας είναι ο πίνακας ταυτότητας αλλά με ένα m στη θέση (i, j).

Έτσι, ο Lij(m)A είναι ο πίνακας που παράγεται από τον A προσθέτοντας m φορές τη γραμμή j στη γραμμή i. Και ο A Lij(m) είναι ο πίνακας που παράγεται από τον A προσθέτοντας m φορές τη στήλη i στη στήλη j.

Από πλευράς συντελεστών, ο πίνακας Lij(m) ορίζεται από τη σχέση :

  • Αυτοί οι μετασχηματισμοί είναι ένα είδος διατμητικής απεικόνισης, επίσης γνωστές ως transvections.
  • Ο αντίστροφος αυτού του πίνακα δίνεται από τη σχέση
  • Ο πίνακας και ο αντίστροφός του είναι τριγωνικοί πίνακες.
  • Επομένως, για έναν τετραγωνικό πίνακα A (του σωστού μεγέθους) έχουμε
  • Οι μετασχηματισμοί προσθήκης σειράς ικανοποιούν τις σχέσεις Σταίνμπεργκ.

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]
  1. «2.8: Elementary Matrices». Mathematics LibreTexts (στα Αγγλικά). 27 Φεβρουαρίου 2022. Ανακτήθηκε στις 22 Ιουλίου 2024. 
  2. «Elementary Matrices - University of Manitoba» (PDF). Αρχειοθετήθηκε από το πρωτότυπο (PDF) στις 15 Απριλίου 2024. Ανακτήθηκε στις 22 Ιουλίου 2024. 
  3. Cairoli, Renzo (1 Ιανουαρίου 1991). Algèbre linéaire. EPFL Press. ISBN 978-2-88074-187-7. 
  4. Perrone (2024), σελίδες 119-120
  5. «1.7: Permutation Matrices». Mathematics LibreTexts (στα Αγγλικά). 4 Φεβρουαρίου 2022. Ανακτήθηκε στις 22 Ιουλίου 2024. 
  • Janko Bračič, Kolobar aritmetičnih funkcij (Ring of arithmetical functions), (Obzornik mat, fiz. 49 (2002) 4, pp. 97–108) (MSC (2000) 11A25)
  • Iwaniec and Kowalski, Analytic number theory, AMS (2004).