Παραγωγικός πίνακας

Στη γραμμική άλγεβρα, ένας τετραγωνικός μη αρνητικός πίνακας  A  τάξης  n  λέγεται **παραγωγικός**, ή **πίνακας Λεόντιεφ**, αν υπάρχει ένας  n \times 1  μη αρνητικός πίνακας στήλης  P  τέτοιος ώστε  P-AP  να είναι ένας θετικός πίνακας.

## Ιστορία

Η έννοια της παραγωγικής μήτρας αναπτύχθηκε από τον οικονομολόγο Βασίλι Λεόντιεφ (βραβείο Νόμπελ Οικονομικών Επιστημών το 1973) προκειμένου να μοντελοποιήσει και να αναλύσει τις σχέσεις μεταξύ των διαφόρων τομέων μιας οικονομίας Οι δεσμοί αλληλεξάρτησης μεταξύ των τελευταίων μπορούν να εξεταστούν από το υπόδειγμα εισροών-εκροών με εμπειρικά δεδομένα.

## Ορισμός

Ο πίνακας A\in\mathrm{M}_{n,n}(\R) είναι παραγωγικός αν και μόνο αν  A \geqslant 0  και  \exists P \in\mathrm{M}_{n,1}(\R), P>0 όπως P-AP>0.

Εδώ \mathrm{M}_{r,c}(\R) δηλώνει το σύνολο πινάκων ''r''×''c''' των πραγματικών αριθμών, ενώ  >0 και \geqslant 0 δηλώνουν έναν θετικό και έναν μη αρνητικό πίνακα, αντίστοιχα.

### Χαρακτηρισμός
**Θεώρημα**
Ένας μη αρνητικός πίνακας A\in\mathrm{M}_{n,n}(\R) είναι παραγωγικός αν και μόνο αν I_n - A είναι αντιστρέψιμος με μη αρνητικό αντίστροφο, όπου I_n συμβολίζει τον ταυτοτικό πίνακα.n \times n

**Απόδειξη**
"Αν" :
:Έστω I_n-A να είναι αντιστρέψιμος με μη αρνητικό αντίστροφο,
:Let U \in\mathrm{M}_{n,1}(\R) ένας αυθαίρετος πίνακας στηλών με U>0.
:Then the matrix P = (I_n - A)^{-1}U είναι μη αρνητικός, δεδομένου ότι είναι το γινόμενο δύο μη αρνητικών πινάκων.
:Επιπλέον, P - AP = (I_n - A) P = (I_n - A) (I_n - A)^{-1} U = U > 0.
:Επομένως A είναι παραγωγικό.
"Μόνο εάν" :
:Έστω A παραγωγικός, έστω P > 0 έτσι ώστε V = P - AP > 0.
:Η απόδειξη προχωρά με *reductio ad absurdum* δηλαδή *[[Εις άτοπον απαγωγή]]*.
:Πρώτον, ας υποθέσουμε για αντίφαση ότι I_n - A είναι Αντιστρέψιμος πίνακας.
::Ο ενδομορφισμός που σχετίζεται κανονικά με το I_n - A δεν μπορεί να είναι ένας-προς-ένα λόγω ιδιομορφίας του πίνακα.
::Συνεπώς, υπάρχει κάποιος μη μηδενικός πίνακας στηλών Z\in\mathrm{M}_{n,1}(\R) τέτοιος ώστε (I_n - A) Z = 0.
::Ο πίνακας -Z έχει τις ίδιες ιδιότητες με τον Z, επομένως μπορούμε να επιλέξουμε τον Z ως στοιχείο του πυρήνα με τουλάχιστον μία θετική είσοδο.
::Έτσι, κάποιος μη μηδενικός πίνακας στήλης Z\in\mathrm{M}_{n,1}(\R) υπάρχει τέτοιος ώστε (I_n - A) Z = 0.
::Ο πίνακας -Z έχει τις ίδιες ιδιότητες με τον Z, επομένως μπορούμε να επιλέξουμε τον Z ως στοιχείο του πυρήνας με τουλάχιστον μία θετική είσοδο.
::Ως εκ τούτου c = \sup_{i \in [|1,n|]}\frac{z_i}{p_i} είναι μη αρνητικό και επιτυγχάνεται με τουλάχιστον μία τιμή k \in [|1,n|].
::Από τον ορισμό του V και του Z, μπορούμε να συμπεράνουμε ότι:
:::cv_k = c (p_k - \sum_{i=1}^n a_{ki}p_i) = cp_k -  \sum_{i=1}^n a_{ki}cp_i
:::cp_k = z_k = \sum_{i=1}^n a_{ki}z_i, με τη χρήση ότι Z = AZ από την κατασκευή.
::Κατά συνέπεια  cv_k = \sum_{i=1}^n a_{ki} (z_i - cp_i) \leq\ 0, χρησιμοποιώντας αυτό z_i \leq cp_i σύμφωνα με τον ορισμό του c.
::Αυτό έρχεται σε αντίθεση με τα c > 0 και v_k > 0, επομένως το I_n - A είναι αναγκαστικά αντιστρέψιμο.
:Δεύτερον, ας υποθέσουμε για αντίφαση ότι η I_n - A είναι αντιστρέψιμος αλλά με τουλάχιστον μία αρνητική εγγραφή στο αντίστροφό του.
::Επομένως \exists X \in\mathrm{M}_{n,1}(\R), X  \geqslant 0 έτσι ώστε να υπάρχει τουλάχιστον μία αρνητική εγγραφή στο Y = (I_n - A)^{-1} X.
::Τότε c = \sup_{i \in [|1,n|]}-\frac{y_i}{p_i} είναι θετικός και επιτυγχάνεται με τουλάχιστον μία τιμή k \in [|1,n|].
::Από τον ορισμό του V και του X, μπορούμε να συμπεράνουμε ότι:
:::cv_k = c (p_k - \sum_{i=1}^n a_{ki}p_i) = -y_k  -\sum_{i=1}^n a_{ki}cp_i
:::x_k = y_k - \sum_{i=1}^n a_{ki}y_i, με τη χρήση ότι X = (I_n-A)Y από την κατασκευή
:::cv_k + x_k = - \sum_{i=1}^n a_{ki} (cp_i + y_i) \geqslant 0 χρησιμοποιώντας ότι -y_i \leqslant cp_i από τον ορισμό του c.
::Επομένως x_k \leq - cv_k , γεγονός που αντιφάσκει με το X \geqslant 0.
::Συνεπώς, το (I_n - A)^{-1} είναι αναγκαστικά μη αρνητικός.

### Μετατόπιση
**Πρόταση**
Η μεταφορά ενός παραγωγικού πίνακα είναι παραγωγική.

**Απόδειξη**
:Έστω A\in\mathrm{M}_{n,n}(\R) ένας παραγωγικός πίνακας.
:Τότε ο (I_n - A)^{-1} υπάρχει και είναι μη αρνητικός.
:Ωστόσο (I_n - A^T)^{-1} = ((I_n - A)^T)^{-1} = ((I_n - A)^{-1})^T
:Επομένως, ο (I_n - A^T) είναι αντιστρέψιμος με μη αρνητικό αντίστροφο.
:Συνεπώς, ο A^T είναι παραγωγικός.

## Εφαρμογή

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

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

* 
* 
* 
* 
* 
* 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.
* 
* 
* 

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

* 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 ...
* Applied General Equilibrium: An Introduction.
* Productivity Theory for Industrial Engineering.
* Sustainable Design and Manufacturing: Proceedings of the 8th International ....
* Lectures on the Combinatorics of Free Probability, Τόμος 13

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


* 
* 

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