Vektorisierung (Mathematik)

Die Vektorisierung bezeichnet in der linearen Algebra und in der Matrix-Theorie die Transformation einer Matrix oder eines Tensors in einen Vektor. Die Anordnung der Elemente im Vektor erfolgt spaltenweise. Der dazugehörige lineare Operator wird mit $\mathrm{vec}$ notiert und ist auf dem Raum der endlichdimensionalen Matrizen definiert.

Als anschauliches Beispiel:

$X=\left(\begin{array}{cc}{a}_1& b_1\\ a_2& b_2\end{array}\right)⟹\mathrm{vec}(X)=\left(\begin{array}{c}{a}_1\\ a_2\\ b_1\\ b_2\end{array}\right).$

Die Notation $\mathrm{vec}(X)$ steht für Vorlage:EnS $X$ und wird auch mit $\mathrm{vec}X$ notiert. Zwei weitere Vektorisierungs-Operatoren sind $\mathrm{vech}$ und $\mathrm{vecp}$, deren Notation für Vorlage:EnS und Vorlage:EnS steht. Der erste Operator liefert einen Vektor mit den Elementen des oberen Dreiecks. Der zweite Operator liefert einen Vektor mit allen eindeutig unterschiedlichen Variablen einer sogenannten gemusterten Matrix, so dass im resultierenden Vektor keine Abhängigkeit zwischen den Variablen besteht. Die Literatur ist nicht immer konsistent in deren Notation.

Die Permutationsmatrix, welche $\mathrm{vec}(X)$ in $\mathrm{vec}(X^{\mathrm{T}})$ transformiert, nennt man Kommutationsmatrix.

Definition

Sei $X$ eine $m\times n$-Matrix mit endlicher Dimension und seien $x_i,i=1,\dots ,n$ die Spalten von $X$, das heißt $x_i={\left(\begin{array}{cccc}{x}_{1i}& x_{2i}& \dots & x_{mi}\end{array}\right)}^{\mathrm{T}}$.

Die Vektorisierung $\mathrm{Vec}(X)$ ist der $mn\times 1$-Vektor

$\mathrm{Vec}(X)=\left(\begin{array}{c}{x}_1\\ x_2\\ ⋮\\ x_n\end{array}\right)=\left(\begin{array}{c}{x}_{11}\\ x_{21}\\ ⋮\\ x_{mn}\end{array}\right).$

Vektorisierung von Tensoren

Die Vektorisierung lässt sich auch direkt auf Tensoren übertragen. Für einen Tensor $A\in {𝕂}^{I_1\times I_2\times \cdots \times I_N}$ bedeutet dies, dass das Element $a_{i_1,i_2,\dots ,i_N}$ an die Position

$q=i_1+\sum _{n=2}^N((i_n-1)\prod _{k=1}^{n-1}{I}_k)$

des Vektors $\mathrm{vec}(A)\in {𝕂}^{I_1{I}_2\cdots I_N\times 1}$ kommt.

Eigenschaften

Seien $A(p\times m)$, $X(m\times n)$, $B(n\times q)$, $C(q\times m)$, $D(q\times n)$ und $E(m\times m)$ fünf Matrizen, deren Dimension dahinter steht, dann gilt

• $\mathrm{vec}(AXB)=(B^{\mathrm{T}}\otimes A)\mathrm{vec}(X)$,
• $\mathrm{tr}(CXB)=(\mathrm{vec}(C^{\mathrm{T}}){)}^{\mathrm{T}}(I_q\otimes X)\mathrm{vec}(B)$,
• $\mathrm{tr}(D{X}^{\mathrm{T}}EXB)=(\mathrm{vec}(X){)}^{\mathrm{T}}(D^{\mathrm{T}}{B}^{\mathrm{T}}\otimes E)\mathrm{vec}(X)=(\mathrm{vec}(X){)}^{\mathrm{T}}(BD\otimes E^{\prime })\mathrm{vec}(X).$

$\otimes$ ist das Kronecker-Produkt.

Kommutationsmatrix

Sei $X$ eine $m\times n$-Matrix, dann ist die Kommutationsmatrix $K_{(mn)}$ die Permutationsmatrix der Dimension $mn\times mn$, welche folgende Gleichung

$K_{(mn)}\mathrm{vec}(X)=\mathrm{vec}(X^{\mathrm{T}})$

erfüllt.

Sie kann wie folgt konstruiert werden:

$K_{(mn)}=\sum _{i=1}^m\sum _{j=1}^n(H_{ij}\otimes H_{ij}^{\mathrm{T}})$

wobei die $H_{ij}$ Matrizen der Dimension $m\times n$ sind, die eine $1$ an der Stelle $(i,j)$ besitzen und Null an den restlichen Stellen

$H_{ij}(s,t)=\{\begin{array}{cc}1& \text{falls }s=i,t=j\\ 0& \text{sonst}\end{array},$

was dem Produkt der Einheitsvektoren $e_i\in {ℝ}^m$ und $e_j\in {ℝ}^n$

$H_{ij}=e_i{e}_j^{\mathrm{T}}$

entspricht.

Es gilt

$K_{(mn)}=K_{(nm)}^{\mathrm{T}}=K_{(nm)}^{-1}.$

Verwandte Operatoren

Die Literatur ist nicht immer konsistent bezüglich der Notation von $\mathrm{vecp}$ und $\mathrm{vech}$, so definieren manche Autoren $\mathrm{vecp}$ als den Operator $\mathrm{vech}$ und umgekehrt. Auch die Anordnung der Elemente kann sich von Autor zu Autor unterscheiden. Wir folgen Henderson und Searle.

Der vech-Operator

Sei $X$ eine symmetrische Matrix der Dimension $n\times n$, dann ist $\mathrm{vech}(X)$ der $\frac{1}{2}n(n+1)$-dimensionale Vektor, bestehend aus der Diagonalen von $X$ und den Elementen darüber. Die Anordnung erfolgt wieder spaltenweise.

Konkret bedeutet das für

$X=\left(\begin{array}{cccc}{x}_{11}& x_{12}& \cdots & x_{1n}\\ x_{21}& x_{22}& \cdots & x_{2n}\\ ⋮& ⋮& ⋮& ⋮\\ x_{n1}& x_{n2}& \cdots & x_{nn}\end{array}\right)$,

dass

$\mathrm{vech}(X)={\left(\begin{array}{cccccccc}{x}_{11}& x_{12}& x_{22}& x_{13}& x_{23}& x_{33}& \cdots & x_{nn}\end{array}\right)}^{\mathrm{T}}.$

Da die Matrix symmetrisch ist, kann man für die Definition auch die Diagonale mit den Elementen darunter nehmen. Die Anordnung der Elemente wird bei einer spaltenweise Anordnung dann aber anders sein.

Der vecp-Operator

Wir nennen eine Matrix eine gemusterte Matrix (Vorlage:EnS), wenn eine oder beide Bedingungen zutreffen:

1. Manche Elemente sind konstant (d. h. sie sind keine Variablen).
2. Manche Elemente sind Funktionen von anderen Elementen.

Sei $X$ eine gemusterte Matrix, dann ist $\mathrm{vecp}(X)$ der Vektor bestehend aus allen eindeutigen unterschiedlichen Variablen.

Damit ist gemeint, dass keine Abhängigkeiten unter diesen Variablen gelten soll und jede Variable deshalb auch nur einmal vorkommen kann. Der resultierende Vektor ist dann musterfrei.

Beispiele:

Sei

$X=\left(\begin{array}{ccc}1& (ab{)}^2& b\\ a& 0& dc\\ b^3& ce& bd\end{array}\right),$

dann ist

$\mathrm{vecp}(X)={\left(\begin{array}{ccccc}a& b& c& d& e\end{array}\right)}^{\mathrm{T}}$

Literatur

• Vorlage:Literatur
• Vorlage:Literatur