Matrix

From AoPSWiki

Revision as of 04:52, 21 March 2009 by Jam (Talk | contribs)

(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)

A matrix over a field $F$ is a function from $A\times B$ to $F$ , where $A$ and $B$ are the sets $A=\{1,2,\ldots,m\}$ and $B=\{1,2,\ldots,n\}$ . A matrix is usually represented as a rectangular array of scalars from the field, such that each column belongs to the vector space $F^m$ , where $m$ is the number of rows. If a matrix $A$ has $m$ rows and $n$ columns, its order is said to be $m \times n$ , and it is written as $A_{m \times n}$ .

The element in the $i^{th}$ row and $j^{th}$ column of $A$ is written as $(A)_{ij}$ . It is more often written as $a_{ij}$ , in which case $A$ can be written as $[a_{ij}]$ .

Determinant

If $A_{m\times n}$ is a matrix over $F$ with $m=n$ , a Determinant assigns $A_{m\times n}$ to a member of $F$ and is denoted by $|A|$ or $\begin{vmatrix} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots &amp...$

It is defined recursively.

$\begin{vmatrix} a_{11} & a_{12} \\ a_{21} & a_{22} \end{vmatrix}\dot{=}a_{11} a_{22} - a_{21} a_{12}$ $\begin{vmatrix} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots &amp...$ where $A'_{cd}$ is the matrix $A$ with the $c^{th}$ row and $d^{th}$ column removed.

Transposes

Let $A$ be $[a_{ij}]$ . Then $[a_{ji}]$ is said to be the transpose of $A$ , written as $A^T$ or simply $A'$ . If A is over the complex field, replacing each element of $A^T$ by its complex conjugate gives us the conjugate transpose $A^*$ of $A$ . In other words, $A^*=[\bar {a_{ji}}]$

$A$ is said to be symmetric if and only if $A=A^T$ . $A$ is said to be hermitian if and only if $A=A^*$ . $A$ is said to be skew symmetric if and only if $A=-A^T$ . $A$ is said to be skew hermitian if and only if $A=-A^*$ .

Matrix Product

If $A$ is of order $m_1 \times n$ and $B$ is of order $n \times m_2$ , $C_{m_1 \times m_2}$ is said to be $AB$ if and only if $(C)_{ij}=\sum ^n _{k=1} (A)_{ik} (B)_{kj}$

Vector spaces associated with a matrix

As already stated before, the columns of $A$ form a subset of $F^m$ . The subspace of $F^m$ generated by these columns is said to be the column space of $A$ , written as $C(A)$ . Similarly, the transposes of the rows form a subset of the vector space $F^n$ . The subspace of $F^n$ generated by these is known as the row space of $A$ , written as $R(A)$ .

$y \in C(A)$ implies $\exists x$ such that $y_{m \times 1} = A_{m \times n} x_{n \times 1}$

The set $\{x:A_{m \times n}x_{n \times 1} = \phi\}$ forms a subspace of $F^n$ , known as the null space $N(A)$ of $A$ .

Rank and nullity

The dimension of $C(A)$ is known as the column rank of $A$ . The dimension of $R(A)$ is known as the row rank of $A$ . These two ranks are found to be equal, and the common value is known as the rank $r(A)$ of $A$ .