Matrices

Definition 39 (Matrix)

A matrix, \(A\) over a field \(K\) is a rectangular, \(n \times m\), array of scalars, which is usually represented in the form

\[\begin{split}A = \begin{pmatrix} a_{11} & a_{12} & \cdots & a_{1n} \\ a_{21} & a_{22} & \cdots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \cdots & a_{mn} \end{pmatrix}\end{split}\]

Both the operations of addition and multiplication are defined for matrices.

Definition 40 (Main diagonal)

The main diagonal of a matrix are the entries \(a_{ij}\) where \(j=i\).

Definition 41 (Square Matrix)

A matrix is called a square matrix if it is of shape \((n \times n)\).

Definition 42 (Upper and Lower Triangular Matrices)

If a square matrix has only zeros below every entry in the main diagonal it is an upper triangular matrix. If the matrix has only zeros above every entry in the main diagonal it is lower triangular.

Definition 43 (Diagonal Matrix)

A matrix is called diagonal if all of the entries lying off the main diagonal are zero. A diagonal matrix may also be written as

\[\operatorname{diag}(a_{11}, a_{22}, \cdots, a_{nn})\]

It should be noted that a diagonal matrix is both upper and lower triangular.

Definition 44 (Matrix cofactors)

The cofactors, \(A^{ij}\) of an \(n \times n\) matrix \(A\) is the \((n-1) \times (n-1)\) matrix containing the elements of \(A\) excluding those in the \(i^{\rm th}\) row and the \(j^{\rm th}\) column.

Definition 45 (Cofactor Matrix)

A cofactor matrix is a matrix whose elements are all cofactors, and has the form

\[\begin{split}C = \begin{pmatrix} C_{11} & C_{12} & \cdots & C_{1n} \\ C_{21} & C_{22} & \cdots & C_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ C_{n1} & C_{n2} & \cdots & C_{nn} \end{pmatrix}\end{split}\]

Matrix Operations

Definition 46 (Matrix transpose)

The transpose of a square matrix \(A\) is defined

\[\qty[\trans{A}]_{ij} = \qty[A]_{ji}\]

that is, the transpose of a matrix is the original matrix reflected about its main diagonal.

Definition 47 (Matrix Trace)

The trace of a square matrix, \(A\) is the sum of the elements in its main diagonal, ie.

\[\trace(A) = \sum^n_{i=1} a_{ii}\]

where \(a_{ij}\) are the elements of \(A\).

Definition 48 (Complex Conjugate)

The complex conjugate, \(\conj(A)\) of a matrix \(A\) over \(\mathbb{C}\) is the matrix in which every element is the complex conjugate of the corresponding element of \(A\).

\[\qty[\conj(A)]_{ij} = \qty( \qty[A]_{ij} )^{*}\]

Definition 49 (Hermitian Conjugate)

The hermitian conjugate, \(A^{\dagger}\) of a matrix \(A\) is the matrix

\[A^{\dagger} = \conj(\trans{A}) = \trans{\conj(A)}\]

Definition 50 (Matrix Determinant)

Let \(A\) be a square matrix, and \(a_{i,j}\) be the elements of \(A\), then, the determinant of the matrix, denoted \(\det(A)\) or \(|A|\), is defined

\[\det(A) = \sum_{i_1, i_2, \dots, i_n = 1}^n \epsilon_{i_1 \cdots i_n} a_{1,i_1} \cdots a_{n,i_n}\]

[Properties of the Determinant] For \(n \times n\) matrices, \(A,B\), a triangular matrix, \(D\), and scalar \(c\),

Property 2 (Determinant of the Identity Matrix)

\(\det(I_n) = 1\)

Property 3 (Determinant of a Transposed Matrix)

\(\det(A^{\rm T}) = \det(A)\)

Property 4 (Determinant of the Inverse of a Matrix)

\(\det(A^{-1}) = \det^{-1}(A)\)

Property 5 (Determinant of the Product of Matrices)

\(\det(AB) = \det(A) \det(B)\)

Property 6 (Determinant of the Scalar Product of a Matrix)

\(\det{cA} = c^n \det{A}\)

Property 7 (Determinant of a Triangular Matrix)

\(\det{D} = \prod_{i=1}^n d_{i,i}\) (for \(d_{i,j} \in D\))

Observation 2 (Determinant of a triangular matrix)

The determinant of any triangular matrix is the product of the entries on its main diagonal.

Let \(E(\Theta)\) be an elementary matrix for an elementary row operation \(\Theta\), and \(B = E(\Theta)A\) for matrices \(A\) and \(B\). Then,

\[\begin{split}\det(B) = \begin{cases} - \det(A) & \text{ if } \Theta \text{ is } R_i \leftrightarrow R_j \\ \lambda \det(A) & \text{ if } \Theta \text { is } R_i \to R_j \\ + \det(A) & \text{ if } \Theta \text{ is } R_i \to R_i + \lambda R_j \end{cases}\end{split}\]

Definition 51 (Invertible Matrix)

An \(n \times n\) matrix \(A\) is called invertible if there exists an \(n \times n\) matrix \(B\) such that

\[AB = BA = I\]

with \(I\) the identity matrix.

There are a number of techniques for identifying the inverse of a matrix, one of which is Cramer’s rule, and the other is Eigenvalue decomposition.

Definition 52 (Adjugate Matrix)

The adjugate matrix is the transpose of the cofactor matrix.

Definition 53 (Cramer’s Rule)

Cramer’s rule is a process for inverting a square matrix. Let \(A\) be a square matrix, with \(\det(A) \neq 0\). Then

\[A^{-1} = \frac{1}{|A|} \trans{C}\]

where \(\trans{C}\) is the adjugate matrix of \(A\). This process is highly inefficient for large matrices.

Atlas of Special Matrices

Definition 54 (Identity Matrix)

The matrix \(I\) is called the identity matrix and has the form

\[\operatorname{diag}(1,1,\dots, 1)\]

[Symmetric Matrix] A matrix \(A\) over \(\mathbb{R}\) is a symmetric matrix if \(A^{\rm T} = A\).

[Eigenvectors and Eigenvectors of Symmetric Matrices] Let \(A\) be a real, \(n \times n\) symmetric matrix. The eigenvalues are all real, and each has a corresponding real unit eigenvector. Further, any eigenvectors corresponding to distinct eigenvalues are orthogonal.

[Hermitian Matrix] A matrix \(A\) over \(\mathbb{C}\) is a hermitian matrix if \(A^\dagger = A\).

[Orthogonal Matrix] A matrix \(Q\) over \(\mathbb{R}\) is called Orthogonal if \(Q^{\rm T} = Q^{-1}\).

[Inverse of an orthogonal matrix] An orthogonal matrix \(P\) is invertible, and \(P^{-1} = \trans{P}\).

[Unitary Matrix] A matrix \(U\) over \(\mathbb{C}\) is called Unitary if the Hermitian conjugate of \(U\), \(U^{\dagger} = U^{-1}\).

[Markov Matrix] A markov matrix is a square matrix in which every element is non-negative, and in ehich all of the entries in each column sum to 1.

Every Markov matrix defines a difference equation

\[X_{n+1} = M X_n\]

for Markov matrix \(M\), and non-negative columns \(X_n\).

© Copyright 2020-2022, Daniel Williams.
Created using Sphinx 4.5.0.