Διανυσματοποίηση (μαθηματικά)

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

$\mathrm{vec}(A)=[a_{1,1},\dots ,a_{m,1},a_{1,2},\dots ,a_{m,2},\dots ,a_{1,n},\dots ,a_{m,n}{]}^{\mathrm{T}}$

Εδώ, $a_{i,j}$ αντιπροσωπεύει το στοιχείο στην i-th γραμμή και j-th στήλη του A, και ο δείκτης ${}^{\mathrm{T}}$ υποδηλώνει την αναστροφή. Η διανυσματοποίηση εκφράζει, μέσω των συντεταγμένων, τον ισομορφισμό ${𝐑}^{m\times n}:={𝐑}^m\otimes {𝐑}^n\cong {𝐑}^{mn}$ μεταξύ αυτών (δηλαδή των πινάκων και των διανυσμάτων) ως διανυσματικούς χώρους.

Παραδείγματος χάριν, για τον πίνακα 2×2 $A=\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$, η διανυσματοποίηση είναι $\mathrm{vec}(A)=\left[\begin{array}{c}a\\ c\\ b\\ d\end{array}\right]$.

Βίντεο απεικόνισης της διανυσματικής πρόσθεσης

Η σύνδεση μεταξύ της διανυσματοποίησης του A και της διανυσματοποίησης της αντιμετάθεσής του δίνεται από τον πίνακα αντιμετάθεσης.

Συμβατότητα με γινόμενα Κρόνεκερ

Η διανυσματοποίηση χρησιμοποιείται συχνά μαζί με το γινόμενο Κρόνεκερ για να εκφράσει τον πολλαπλασιασμό πινάκων ως γραμμικό μετασχηματισμό σε πίνακες. Συγκεκριμένα,

$\mathrm{vec}(ABC)=(C^{\mathrm{T}}\otimes A)\mathrm{vec}(B)$

για τους πίνακες A, B, και C των διαστάσεων k×l, l×m, και m×n. Παραδείγματος χάριν, αν ${\mathrm{ad}}_A(X)=AX-XA$ (ο προσκείμενος ενδομορφισμός της άλγεβρας Λι Πρότυπο:Nowrap όλων των n×n πινάκων με μιγαδικές καταχωρήσεις), τότε $\mathrm{vec}({\mathrm{ad}}_A(X))=(I_n\otimes A-A^{\mathrm{T}}\otimes I_n)\text{vec}(X)$, όπου $I_n$ είναι ο n×n πίνακας ταυτότητας.

Υπάρχουν δύο άλλες χρήσιμες διατυπώσεις:

$\begin{array}{cc}\mathrm{vec}(ABC)& =(I_n\otimes AB)\mathrm{vec}(C)=(C^{\mathrm{T}}{B}^{\mathrm{T}}\otimes I_k)\mathrm{vec}(A)\\ \mathrm{vec}(AB)& =(I_m\otimes A)\mathrm{vec}(B)=(B^{\mathrm{T}}\otimes I_k)\mathrm{vec}(A)\end{array}$

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

Συμβατότητα με γινόμενο Χανταμάρντ

Η διανυσματοποίηση είναι ένας ομομορφισμός άλγεβρας από το χώρο των πινάκων Πρότυπο:Nowrap με το γινόμενο Χανταμάρντ (entrywise) στο Cⁿ² με το γινόμενο Χανταμάρντ:

$\mathrm{vec}(A\circ B)=\mathrm{vec}(A)\circ \mathrm{vec}(B).$

Συμβατότητα με εσωτερικά γινόμενα

Η διανυσματοποίηση είναι ένας μοναδιαίος μετασχηματισμός από τον χώρο των πινάκων n×n με το εσωτερικό γινόμενο Φρομπένιους (ή Χίλμπερτ - Σμιντ) στον Cⁿ²:

$\mathrm{tr}(A^{†}B)=\mathrm{vec}(A{)}^{†}\mathrm{vec}(B),$

Συμβατότητα με εσωτερικά γινόμενα όπου ο δείκτης ^† δηλώνει τη συζυγή αναστροφή.

Διανυσματοποίηση ως γραμμικό άθροισμα

Η διανυσματοποίηση του πίνακα μπορεί να γραφτεί ως γραμμικό άθροισμα. Έστω X ένας Πρότυπο:Nowrap πίνακας που θέλουμε να διανυσματοποιήσουμε, και έστω e_i το i-th κανονικό διάνυσμα βάσης για τον n-διάστατο χώρο, δηλαδή ${𝐞}_i={[0,\dots ,0,1,0,\dots ,0]}^{\mathrm{T}}$. Έστω B_i ένας σύνθετος πίνακας Πρότυπο:Nowrap που ορίζεται ως εξής:

${𝐁}_i=\left[\begin{array}{c}\mathrm{𝟎}\\ ⋮\\ \mathrm{𝟎}\\ {𝐈}_m\\ \mathrm{𝟎}\\ ⋮\\ \mathrm{𝟎}\end{array}\right]={𝐞}_i\otimes {𝐈}_m$

Ο Bi αποτελείται από n σύνθετους πίνακες μεγέθους Πρότυπο:Nowrap, στοιβαγμένους κατά στήλες, και όλοι αυτοί οι πίνακες είναι όλοι μηδενικοί εκτός από τον i-th, ο οποίος είναι ένας Πρότυπο:Nowrap πίνακας ταυτότητας I_m.

Τότε η διανυσματική έκδοση του X μπορεί να εκφραστεί ως εξής:

$\mathrm{vec}(𝐗)=\sum _{i=1}^n{𝐁}_i𝐗{𝐞}_i$

Ο πολλαπλασιασμός του X με e_i εξάγει την i-th στήλη, ενώ ο πολλαπλασιασμός με B_i την τοποθετεί στην επιθυμητή θέση στο τελικό διάνυσμα.

Εναλλακτικά, το γραμμικό άθροισμα μπορεί να εκφραστεί χρησιμοποιώντας το γινόμενο Κρόνεκερ:

$\mathrm{vec}(𝐗)=\sum _{i=1}^n{𝐞}_i\otimes 𝐗{𝐞}_i$

Ημι-διανυσματοποίηση

Για έναν συμμετρικό πίνακα A, το διάνυσμα vec(A) περιέχει περισσότερες πληροφορίες από όσες είναι απολύτως απαραίτητες, αφού ο πίνακας καθορίζεται πλήρως από τη συμμετρία μαζί με το κάτω τριγωνικό τμήμα, δηλαδή τις Πρότυπο:Nowrap καταχωρήσεις πάνω και κάτω από την κύρια διαγώνιο. Για τέτοιους πίνακες, η ημι-διανυσματοποίηση είναι μερικές φορές πιο χρήσιμη από τη διανυσματοποίηση. Η ημι-διανυσματοποίηση, vech(A'), ενός συμμετρικού Πρότυπο:Nowrap πίνακα A είναι το Πρότυπο:Nowrap διάνυσμα στήλης που προκύπτει από τη διανυσματοποίηση μόνο του κάτω τριγωνικού τμήματος του A:

$\mathrm{vech}(A)=[A_{1,1},\dots ,A_{n,1},A_{2,2},\dots ,A_{n,2},\dots ,A_{n-1,n-1},A_{n,n-1},A_{n,n}{]}^{\mathrm{T}}.$

Παραδείγματος χάριν, για τον πίνακα 2×2 matrix $A=\left[\begin{array}{cc}a& b\\ b& d\end{array}\right]$, η ημι-διανυσματοποίηση είναι $\mathrm{vech}(A)=\left[\begin{array}{c}a\\ b\\ d\end{array}\right]$.

Υπάρχουν μοναδικοί πίνακες που μετατρέπουν τη ημι-διανυσματοποίηση ενός πίνακα στη διανυσματοποίησή του και αντίστροφα και ονομάζονται, αντίστοιχα, πίνακας διπλασιασμού και πίνακας απαλοιφής.

Γλώσσα προγραμματισμού

Οι γλώσσες προγραμματισμού που υλοποιούν πίνακες μπορεί να έχουν εύκολα μέσα για διανυσματοποίηση. Στο Matlab/GNU Octave ένας πίνακας A μπορεί να διανυσματοποιηθεί με τη μέθοδο A(:). Το GNU Octave επιτρέπει επίσης τη διανυσματοποίηση και την ημι-διανυσματοποίηση με vec(A) και vech(A) αντίστοιχα. Η Julia διαθέτει επίσης τη συνάρτηση vec(A). Στην Python οι πίνακες NumPy υλοποιούν τη μέθοδο flatten, ενώ στην R το επιθυμητό αποτέλεσμα μπορεί να επιτευχθεί μέσω των συναρτήσεων c() ή as.vector(). Στην R, η συνάρτηση vec() του πακέτου 'ks' επιτρέπει τη διανυσματοποίηση και η συνάρτηση vech() που υλοποιείται και στα δύο πακέτα 'ks' και 'sn' επιτρέπει τη ημι-διανυσματοποίηση.

Εφαρμογές

Η διανυσματοποίηση χρησιμοποιείται στον υπολογισμό πινάκων και στις εφαρμογές του για τον καθορισμό π.χ. των ροπών τυχαίων διανυσμάτων και πινάκων, της ασυμπτωτικής, καθώς και των Ιακωβιανών και Εσσιανών πινάκων. Χρησιμοποιείται επίσης στην τοπική ευαισθησία και τη στατιστική διάγνωση.

Δείτε επίσης

• Field Arithmetic
• Πραγματικό προβολικό επίπεδο
• Εσωτερικό γινόμενο
• Φυσικός αριθμός
• Πίνακας (μαθηματικά)
• Τριγωνικός πίνακας
• Διάνυσμα
• Ισομορφισμός
• Ταυτοτικός πίνακας

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

• English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
• Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
• Matrix Analysis
• Complex-Valued Matrix Derivatives: With Applications in Signal Processing ...
• The Concise Oxford Dictionary of Mathematics
• The Statistics and Calculus with Python Workshop: A comprehensive ..
• Relational Mathematics
• Generalized Vectorization, Cross-Products, and Matrix Calculus

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

• Πρότυπο:Cite journal
• Πρότυπο:Cite book
• Πρότυπο:Citation
• Πρότυπο:Citation
• Πρότυπο:Cite book
• Πρότυπο:Cite book
• Πρότυπο:Citation
• Πρότυπο:Cite book

Παραπομπές

• 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).