Linear algebra MOC

Matrix algebra

A matrix algebra involves rectangular arrays with entries from some Field 𝕂, and the following operations

  1. Matrix addition — Two matrices of the same number of rows and columns are added piecewise, so for 𝐶 =𝐴 +𝐵, the resulting matrix is obtained by 𝑐𝑖𝑗=𝑎𝑖𝑗+𝑏𝑖𝑗
  2. Matrix multiplication — If 𝐴 =(𝑎𝑖𝑗) is 𝑚 ×𝑝 and 𝐵 =(𝑎𝑖𝑗) is 𝑝 ×𝑛, then the matrix product 𝐴𝐵 exists and is obtained from
𝑐𝑖𝑗=𝑘=𝑝𝑘=1𝑎𝑖𝑘𝑏𝑘𝑘

Which more intuitively involves taking the dot product of each row of 𝐴 with each column of 𝐵, and arranging them in a matrix such that the row position matches 𝐴 and the column position matches 𝐵. 3. Matrix transposition — Every matrix 𝐴 of size 𝑚 ×𝑛 has a transpose 𝐴𝖳 of size 𝑛 ×𝑚, such that if 𝐴𝖳 =(𝑐𝑖𝑗)

𝑐𝑗𝑖=𝑎𝑖𝑗

The matrix transpose is closely related to Duality. For example, covectors are the transpose of vectors. 4. Scalar multiplication — Every entry of matrix 𝐴 =(𝑎𝑖𝑗) is multiplied by the scalar 𝛼, i.e. if 𝛼𝐴 =(𝑐𝑖𝑗)

𝑐𝑖𝑗=𝛼𝑎𝑖𝑗

Note a matrix of size 𝑚 ×𝑛 has 𝑚 rows and 𝑛 columns. Matrix multiplication algebra as a category.

Properties

From the definitions of the operations above, it follows that1

  1. 𝐴 +𝐵 =𝐵 +𝐴 (matrix addition is associative)
  2. (𝐴 +𝐵) +𝐶 =𝐴 +(𝐵 +𝐶) (matrix addition is associative)
  3. 𝛼(𝐴 +𝐵) =𝛼𝐴 +𝛼𝐵 (scalar multiplication is distributive over matrix addition)
  4. (𝛼 +𝛽)𝐴 =𝛼𝐴 +𝛽𝐴 (scalar multiplication is distributive over scalar addition)
  5. (𝛼𝛽)𝐴 =𝛼(𝛽𝐴) (scalar multiplication is associative)
  6. 𝐴(𝐵𝐶) =(𝐴𝐵)𝐶 (matrix multiplication is associative)
  7. (𝛼𝐴)𝐵 =𝛼(𝐴𝐵) and 𝐴(𝛼𝐵) =𝛼(𝐴𝐵) (scalar multiplication is commutative)
  8. 𝐴(𝐵 +𝐶) =𝐴𝐵 +𝐴𝐶 (matrix multiplication is left-distributive over addition)
  9. (𝐴 +𝐵)𝐶 =𝐴𝐶 +𝐵𝐶 (matrix multiplication is right-distributive over addition)
  10. (𝐴𝖳)𝖳 (transposition is an involution)
  11. (𝐴 +𝐵)𝖳 =𝐴𝖳 +𝐵𝖳 (transposition is distributive over addition)
  12. (𝐴𝐵)𝖳 =𝐵𝖳𝐴𝖳 (transposition is anti-distributive over square matrix multiplication)

Notable differences between matrix algebra and the real numbers are


#state/tidy | #SemBr

Footnotes

  1. 2022. MATH1012: Mathematical theory and methods, pp. 52n.