Πίνακας M

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

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

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

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

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

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

Έστω *A* ένας  πραγματικός πίνακας Z, τότε οι ακόλουθες προτάσεις είναι ισοδύναμες με το ότι ο *A* είναι ένας μη-ιδιάζων πίνακας M:

*Θετικότητα των κύριων ελασσόνων*
* Όλοι οι κύριοι ελάσσονες του *A* είναι θετικοί. Δηλαδή, η ορίζουσα κάθε υποπίνακα του *Α* που προκύπτει από τη διαγραφή ενός συνόλου, ενδεχομένως κενού, αντίστοιχων γραμμών και στηλών του *Α* είναι θετική.
*  είναι μη ιδιάζων για κάθε μη αρνητικό διαγώνιο πίνακα *D*.
* Κάθε πραγματική ιδιοτιμή του *A* είναι θετική.
* Όλες οι κύριες κύριες ελάσσονες του *A* είναι θετικές.
* Υπάρχουν κατώτερος και ανώτερος τριγωνικός πίνακας *L* και *U* αντίστοιχα, με θετικές διαγωνίους, έτσι ώστε .

* Αντίστροφη θετικότητα και διάσπαση*
* *Α* είναι αντίστροφα θετικό. Δηλαδή, το  υπάρχει και το .
* *Α* είναι μονοτονικός. Δηλαδή,  συνεπάγεται .
* *Α* έχει *συγκλίνουσα κανονική διάσπαση*. Δηλαδή, το *Α* έχει μια παράσταση , όπου  με  συγκλίνουσα. Δηλαδή,.
* Υπάρχουν αντίστροφα θετικοί πίνακες  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&nbsp;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
* 
* 
* 
* 

 

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