The set of m by n matrices is a vector space.

Created almost 9 years ago, updated about 8 hours ago

Theorem: The set \(M_{m \times n}(\mathbb{F})\) of all \(m \times n\) matrices with entries in \(\mathbb{F}\) is a vector space over \(\mathbb{F}\).

  • Addition: \((A + B)_{ij} = A_{ij} + B_{ij}\) (entrywise)
  • Scalar multiplication: \((cA)_{ij} = c \cdot A_{ij}\)

Zero vector: The zero matrix (all entries are 0).

Dimension: \(\dim(M_{m \times n}) = mn\).

Standard basis: The matrices \(E_{ij}\) with a 1 in position \((i,j)\) and 0 elsewhere. There are \(mn\) such matrices.

Example: \(M_{2 \times 2}(\mathbb{R})\) has dimension 4 with basis:
\[\begin{pmatrix} 1 & 0 \ 0 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 1 \ 0 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 0 \ 1 & 0 \end{pmatrix}, \begin{pmatrix} 0 & 0 \ 0 & 1 \end{pmatrix}\]

Like how this is organised?

Build your own knowledge tree on knowen.md: notes, decisions and tasks in one connected markdown graph, shared with your team and your AI agents.