Διαγώνια υπέρτερος πίνακας

Στα μαθηματικά, ένας τετραγωνικός πίνακας λέγεται ότι είναι **διαγώνια υπέρτερος** αν, για κάθε γραμμή του πίνακα, το μέγεθος της διαγώνιας καταχώρησης σε μια γραμμή είναι μεγαλύτερο ή ίσο με το άθροισμα των μεγεθών όλων των άλλων (εκτός διαγώνιων) καταχωρήσεων σε αυτή τη γραμμή. Πιο συγκεκριμένα, ο πίνακας  A  είναι διαγώνια υπέρτερος αν

:|a_{ii}| \geq \sum_{j\neq i} |a_{ij}| \ \ \forall \ i

όπου a_{ij} δηλώνει την καταχώριση στην ith γραμμή και jth στήλη.

Αυτός ο ορισμός χρησιμοποιεί μια αδύναμη ανισότητα, και γι' αυτό μερικές φορές αποκαλείται *αδύναμη διαγώνια υπεροχή*.  Εάν χρησιμοποιείται μια γνήσια ανισότητα (>), τότε ονομάζεται *γνήσια διαγώνια υπεροχή* .  Ο ανεπιφύλακτος όρος *διαγώνια υπεροχή * μπορεί να σημαίνει τόσο την γνήσια όσο και την ασθενή διαγώνια *υπεροχή* , ανάλογα με τα δεδομένα.

## Παραλλαγές
Ο ορισμός στην πρώτη παράγραφο αθροίζει τις καταχωρήσεις σε κάθε γραμμή.  Ως εκ τούτου, μερικές φορές ονομάζεται *διαγώνια υπεροχή γραμμή*.  Αν αλλάζουμε τον ορισμό ώστε να αθροίζει σε κάθε στήλη, αυτό ονομάζεται *διαγώνια υπεροχή στήλη*.

Κάθε γνήσιος διαγώνια υπέρτερος πίνακας είναι ένας τετριμμένος αδύναμος αλυσιδωτός διαγώνια υπέρτερος πίνακας. Οι ασθενώς αλυσιδωτά διαγώνια υπέρτεροι πίνακες είναι μη-ιδιάζοντες και περιλαμβάνουν την οικογένεια των *μη αναγωγικά διαγώνια υπερτερούντων* πινάκων. Πρόκειται για μη αναγώγιμους πίνακες που είναι αδύναμοι διαγώνια υπερτεροί, αλλά αυστηρά διαγώνια υπέρτεροι σε τουλάχιστον μία γραμμή.

## Παραδείγματα
Ο πίνακας

: A = \begin{bmatrix}
3 & -2 & 1\\
1 & 3 & 2\\
-1 & 2 & 4\end{bmatrix}


είναι *ασθενώς* διαγώνια υπέρτερος διότι
:|a_{11}| \ge |a_{12}| + |a_{13}| &nbsp; αφού  &nbsp; |+3| \ge |-2| + |+1|

:|a_{22}| \ge |a_{21}| + |a_{23}| &nbsp; αφού  &nbsp; |3| \ge |+1| + |+2|

:|a_{33}| \ge |a_{31}| + |a_{32}| &nbsp; αφού  &nbsp; |+4| \ge |-1| + |+2|.

Ο πίνακας 

: B = \begin{bmatrix}
-2 & 2 & 1\\
1 & 3 & 2\\
1 & -2 & 0\end{bmatrix}


δεν είναι *μη* διαγώνια υπέρτερος διότι

:|b_{11}|  &nbsp; αφού &nbsp; |-2| 

:|b_{22}| \ge |b_{21}| + |b_{23}| &nbsp; αφού &nbsp; |+3| \ge |+1| + |+2|

:|b_{33}|  &nbsp; αφού &nbsp; |+0| .

Δηλαδή, η πρώτη και η τρίτη σειρά αποτυγχάνουν να ικανοποιήσουν τη συνθήκη διαγώνιας υπεροχής.

Ο πίνακας

: C = \begin{bmatrix}
-4 & 2 & 1\\
1 & 6 & 2\\
1 & -2 & 5\end{bmatrix}


είναι *γνήσια* διαγώνια υπέρτερος επειδή

:|c_{11}| > |c_{12}| + |c_{13}| &nbsp; αφού &nbsp; |-4| > |+2| + |+1|

:|c_{22}| > |c_{21}| + |c_{23}| &nbsp; αφού &nbsp; |+6| > |+1| + |+2|

:|c_{33}| > |c_{31}| + |c_{32}| &nbsp; αφού &nbsp; |+5| > |+1| + |-2|.

## Εφαρμογές και ιδιότητες

Τα ακόλουθα αποτελέσματα μπορούν να αποδειχθούν τετριμμένα από το θεώρημα κύκλου του Γκερσγκόριν. Το ίδιο το θεώρημα κύκλου του Γκερσγκόριν έχει μια πολύ σύντομη απόδειξη.

Ένας γνήσιος διαγώνια υπέρτερος πίνακας (ή ένας μη αναγωγικά διαγώνια υπέρτερος πίνακας) είναι Αντιστρέψιμος.

Ένας Ερμιτιανός διαγώνιος υπέρτερος πίνακας  A  με πραγματικές μη αρνητικές διαγώνιες καταχωρήσεις είναι θετικά ημιτελής. Αυτό προκύπτει από τις ιδιοτιμές που είναι πραγματικές και από το θεώρημα κύκλου του Γκερσγκόριν. Εάν η απαίτηση συμμετρίας εξαλειφθεί, ένας τέτοιος πίνακας δεν είναι απαραίτητα θετικά ημιτελής. Παραδείγµατος χάριν, ας θεωρήσουµε

: \begin{pmatrix}-2&2&1\end{pmatrix}\begin{pmatrix}
1&1&0\\
1&1&0\\
1&0&1\end{pmatrix}\begin{pmatrix}-2\\2\\1\end{pmatrix}

Ωστόσο, τα πραγματικά μέρη των ιδιοτιμών του παραμένουν μη αρνητικά σύμφωνα με το θεώρημα κύκλου του Γκερσγκόριν.

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

Για έναν αυστηρά διαγώνια υπέρτερο πίνακα με στήλες δεν είναι απαραίτητη η (μερική) περιστροφή κατά την εκτέλεση της απαλοιφής Γκάους (παραγοντοποίηση LU).

Οι μέθοδοι Γιακόμπι και Γκάους - Σάιντελ για την επίλυση ενός γραμμικού συστήματος συγκλίνουν εάν ο πίνακας είναι αυστηρά (ή μη αναγωγικά) διαγώνιος.

Πολλοί πίνακες που εμφανίζονται στις μεθόδους πεπερασμένων στοιχείων είναι διαγώνια υπέρτεροι.

Μια μικρή παραλλαγή της ιδέας της διαγώνιας υπεροχής χρησιμοποιείται για να αποδειχθεί ότι η σύζευξη σε διαγράμματα χωρίς βρόχους στην άλγεβρα Τεμπέρλεϊ - Λιμπ είναι μη εκφυλισμένη. Για έναν πίνακα με πολυωνυμικές καταχωρήσεις, ένας λογικός ορισμός της διαγώνιας υπεροχής είναι εάν η υψηλότερη δύναμη του q που εμφανίζεται σε κάθε γραμμή εμφανίζεται μόνο στη διαγώνιο. (Οι αξιολογήσεις ενός τέτοιου πίνακα σε μεγάλες τιμές του q είναι διαγώνια κυρίαρχες με την παραπάνω έννοια).

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

* 
* 
* 
*
*
* 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.
*O. C. Zienkiewicz, R. L. Taylor, J. Z. Zhu : *[https://books.google.com/books?id=YocoaH8lnx8C The Finite Element Method: Its Basis and Fundamentals]*, Butterworth-Heinemann (2005).
*N. Ottosen, H. Petersson: *Introduction to the Finite Element Method, * Prentice-Hall (1992). 
*Susanne C. Brenner, L. Ridgway Scott: *The Mathematical Theory of Finite Element Methods*, Springer-Verlag New York, ISBN 978-0-387-75933-3 (2008).
*Zohdi, T. I. (2018) A finite element primer for beginners-extended version including sample tests and projects. Second Edition https://link.springer.com/book/10.1007/978-3-319-70428-9
*
*

## Δείτε επίσης

* 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 ...
* Matrix Algebra: Exercises and Solutions.
* Matrix Diagonal Stability in Systems and Computation.
* Numerical Methods in Matrix Computations ....
* Lectures on the Combinatorics of Free Probability, Τόμος 13

## Παραπομπές

*
*
*

 

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