Πίνακας M

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

 Χαρακτηρισμοί 
Ένας πίνακας Μ ορίζεται συνήθως ως εξής:

Ορισμός: Έστω  ένας πραγματικός πίνακας Z . Δηλαδή,  όπου  για όλα τα . Τότε ο πίνακας A είναι επίσης ένας πίνακας M αν μπορεί να εκφραστεί στη μορφή , όπου , για όλα τα , όπου  είναι τουλάχιστον τόσο μεγάλο όσο το μέγιστο των modulus των ιδιοτιμών του , και  είναι ένας ταυτοτικός πίνακας.

Για τη μη-ιδιάζουσα ιδιότητα του , σύμφωνα με το θεώρημα Περόν-Φρομπένιους, πρέπει να ισχύει ότι . Επίσης, για έναν μη-ιδιάζων πίνακα M, τα διαγώνια στοιχεία  του A πρέπει να είναι θετικά. Εδώ θα χαρακτηρίσουμε περαιτέρω μόνο την κλάση των μη-ιδιαζόντων πινάκων M.

Υπάρχουν πολλές προτάσεις που είναι ισοδύναμες με αυτόν τον ορισμό των μη-ιδιαζόντων πινάκων M, και οποιαδήποτε από αυτές τις προτάσεις μπορεί να χρησιμεύσει ως αρχικός ορισμός ενός μη-ιδιαζόντων M πίνακα ..  Παραδείγματος χάριν, ο Πλέμμονς απαριθμεί 40 τέτοιες ισοδυναμίες.. Αυτοί οι χαρακτηρισμοί έχουν κατηγοριοποιηθεί από τον Πλέμμονς από την άποψη των σχέσεών τους με τις ιδιότητες των: (1) θετικότητα των κύριων ελάσσονων, (2) αντίστροφη θετικότητα και διασπάσεις, (3) σταθερότητα, και (4) ημιθετικότητα και διαγώνια κυριαρχία. Είναι λογικό να κατηγοριοποιούμε τις ιδιότητες με αυτόν τον τρόπο επειδή οι δηλώσεις εντός μιας συγκεκριμένης ομάδας σχετίζονται μεταξύ τους ακόμη και όταν ο πίνακας  είναι ένας αυθαίρετος πίνακας και όχι απαραίτητα ένας πίνακας Ζ. Εδώ αναφέρουμε μερικούς χαρακτηρισμούς από κάθε κατηγορία.

Ισοδυναμίες
Παρακάτω, το  δηλώνει τη στοιχειομετρική τάξη (όχι τη συνήθη θετική ημιορισμένη τάξη σε πίνακες). Δηλαδή, για οποιουσδήποτε πραγματικούς πίνακες A, B μεγέθους , γράφουμε  if  for all .

Έστω A ένας {{math|1=n × n}} πραγματικός πίνακας Z, τότε οι ακόλουθες προτάσεις είναι ισοδύναμες με το ότι ο A είναι ένας μη-ιδιάζων πίνακας M:

Θετικότητα των κύριων ελασσόνων
 Όλοι οι κύριοι ελάσσονες του A είναι θετικοί. Δηλαδή, η ορίζουσα κάθε υποπίνακα του Α που προκύπτει από τη διαγραφή ενός συνόλου, ενδεχομένως κενού, αντίστοιχων γραμμών και στηλών του Α είναι θετική.
 {{math|1=A''' + D}} είναι μη ιδιάζων για κάθε μη αρνητικό διαγώνιο πίνακα D.
 Κάθε πραγματική ιδιοτιμή του A είναι θετική.
 Όλες οι κύριες κύριες ελάσσονες του A είναι θετικές.
 Υπάρχουν κατώτερος και ανώτερος τριγωνικός πίνακας L και U αντίστοιχα, με θετικές διαγωνίους, έτσι ώστε {{math|1=A = LU}}. Αντίστροφη θετικότητα και διάσπαση Α είναι αντίστροφα θετικό. Δηλαδή, το  υπάρχει και το .
 Α είναι μονοτονικός. Δηλαδή,  συνεπάγεται .
 Α έχει συγκλίνουσα κανονική διάσπαση. Δηλαδή, το Α έχει μια παράσταση , όπου  με  συγκλίνουσα. Δηλαδή,.
 Υπάρχουν αντίστροφα θετικοί πίνακες  and  με .
 Κάθε κανονική διάσπαση του Α είναι συγκλίνουσα.Σταθερότητα Υπάρχει θετικός διαγώνιος πίνακας D τέτοιος ώστε  να είναι θετικά ορισμένος.
 Ο Α είναι θετικά σταθερός. Δηλαδή, το πραγματικό μέρος κάθε ιδιοτιμής του Α είναι θετικό.
 Υπάρχει συμμετρικός θετικά ορισμένος πίνακας W τέτοιος ώστε  να είναι θετικά ορισμένος.
 Ο  είναι μη ιδιάζων και ο  είναι συγκλίνων.
 Ο  είναι μη ιδιάζων, και για , υπάρχει ένας θετικά ορισμένος συμμετρικός πίνακας W τέτοιος ώστε  να είναι θετικά ορισμένος.Ημιθετικότητα και διαγώνια κυριαρχία Α είναι ημι-θετικό. Δηλαδή, υπάρχει  with .
 Υπάρχει  with .
 Υπάρχει θετικός διαγώνιος πίνακας D τέτοιος ώστε ο  να έχει όλα τα θετικά αθροίσματα γραμμών.
 Ο Α έχει όλα τα θετικά διαγώνια στοιχεία, και υπάρχει θετικός διαγώνιος πίνακας D τέτοιος ώστε ο  να είναι αυστηρά διαγώνια κυρίαρχος.
 Ο Α έχει όλα τα θετικά διαγώνια στοιχεία, και υπάρχει θετικός διαγώνιος πίνακας D τέτοιος ώστε ο  να είναι αυστηρά διαγώνια κυρίαρχος.

Εφαρμογές
Οι κύριες συνεισφορές στη θεωρία των πινάκων Μ προήλθαν κυρίως από μαθηματικούς και οικονομολόγους. Οι πίνακες Μ χρησιμοποιούνται στα μαθηματικά για την καθιέρωση ορίων στις ιδιοτιμές και για την καθιέρωση κριτηρίων σύγκλισης για επαναληπτικές μεθόδους επίλυσης μεγάλων αραιών συστημάτων γραμμικών εξισώσεων. Οι πίνακες Μ προκύπτουν φυσικά σε ορισμένες διακριτοποιήσεις διαφορικών τελεστών, όπως ο Λαπλασιάν, και ως τέτοιοι μελετώνται καλά στην επιστημονική πληροφορική. Οι πίνακες Μ εμφανίζονται επίσης στη μελέτη λύσεων γραμμικών προβλημάτων συμπληρωματικότητας. Γραμμικά προβλήματα συμπληρωματικότητας εμφανίζονται στον γραμμικό και τετραγωνικό προγραμματισμό, στην υπολογιστική μηχανική και στο πρόβλημα της εύρεσης σημείου ισορροπίας ενός παιγνίου bimatrix. Τέλος, οι πίνακες Μ εμφανίζονται στη μελέτη πεπερασμένων αλυσίδων Μαρκόφ στον τομέα της θεωρίας πιθανοτήτων και της επιχειρησιακής έρευνας, όπως η θεωρία ουρών αναμονής. Εν τω μεταξύ, οι οικονομολόγοι μελέτησαν τους πίνακες Μ σε σχέση με την ακαθάριστη υποκαταστασιμότητα, τη σταθερότητα μιας γενικής ισορροπίας και την ανάλυση εισροών-εκροών του Λεοντίφ σε οικονομικά συστήματα. Η συνθήκη θετικότητας όλων των κύριων ελάσσονων είναι επίσης γνωστή ως συνθήκη Χόκινς - Σιμόν στην οικονομική βιβλιογραφία. Στη μηχανική, οι πίνακες Μ εμφανίζονται επίσης στα προβλήματα ευστάθειας Λιαπούνοφ και ελέγχου ανατροφοδότησης στη θεωρία ελέγχου και σχετίζονται με τους πίνακες Χούρβιτς. Στην υπολογιστική βιολογία, οι πίνακες Μ εμφανίζονται στη μελέτη της δυναμικής των πληθυσμών.

Δημοσιεύσεις 





 Diodorus Siculus, Bibliotheca Historica. Vol. 1–2. Immanel Bekker. Ludwig Dindorf. Friedrich Vogel. in aedibus B. G. Teubneri. Leipzig. 1888–1890. Greek text available at the Perseus Digital Library.
 Gaius Julius Hyginus, Fabulae from The Myths of Hyginus translated and edited by Mary Grant. University of Kansas Publications in Humanistic Studies. Online version at the Topos Text Project.
 Olav Kallenberg; Probabilistic Symmetries and Invariance Principles''. Springer -Verlag, New York (2005). 510 pp. ISBN 0-387-25115-4


Δείτε επίσης

 Field Arithmetic
 Πραγματικό προβολικό επίπεδο
 Πραγματικός αριθμός 
 Αντιερμιτιανός πίνακας
 Μέγιστος κοινός διαιρέτης
 Υπολογιστική βιολογία
 Ελάσσων (γραμμική άλγεβρα)
 Προβολή (γραμμική άλγεβρα)
 Διανυσματικός χώρος
 Παραμετρικές εξισώσεις
 Πολλαπλασιασμός πινάκων
 Θεωρία πιθανοτήτων
 Ανάλυση πίνακα σε ιδιάζουσες τιμές
 Αντιστρέψιμος πίνακας
 High performance algorithms for reduction to condensed (Hessenberg, tridiagonal, bidiagonal) form

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

English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
Matrix calculator
 Matrix Analysis
 Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
 Exercises of Matrices and Linear Algebra
 Fourier Transforms: Approach to Scientific Principles
 Euclidean Distance Matrices and Their Applications in Rigidity Theory.
 Physics and Combinatorics 2000: Proceedings of the Nagoya 2000 International ...
 Nonnegative Matrices in the Mathematical Sciences.
 The Theory of Matrices: With Applications
 Handbook on Semidefinite, Conic and Polynomial Optimization
 Lectures on the Combinatorics of Free Probability, Τόμος 13

Παραπομπές

  Online







Κατηγορία:Αριθμητική γραμμική άλγεβρα
Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Θεωρήματα της γραμμικής άλγεβρας
Κατηγορία:Πίνακες (μαθηματικά)
Κατηγορία:Θεωρία πινάκων
Κατηγορία:Μετρική γεωμετρία