\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Real Matrix Space
Matrix Trace
Real Inner Product Norms
Needed by:
Monotonic Functions of Real Matrices
Links:
Sheet PDF
Graph PDF

Matrix Scalar Product

Why

We have seen that the matrices are a vector space. Are they an inner product space?

Definition

The matrix scalar product of $A \in \R ^{n \times k}$ and $B \in \R ^{n \times k}$ is the following product

\[ \sum_{i = 1}^{n} \sum_{j = 1}^{k} a_{ij}b_{ij}. \]

Using the matrix trace, we can denote this as $\tr A^\top B$. Some authors call this the Euclidean matrix scalar product, matrix inner product or Frobenius inner product.

The matrix scalar product is an inner product.

For example, symmetry of the product is a consequence of the fact that a square matrix and its transpose have identical traces. Commutativity of the trace yields $\tr \transpose{A} B = \tr B\transpose{A}$, where the LHS is the scalar product of $\transpose{B}$ and $\transpose{A}$. In other words, transposition “preserves” the matrix scalar product.

With this inner product, $\R ^{n \times k}$ is a Euclidean vector space (see Inner procuts) of dimension $nk$. For the case of $k = 1$, we recover a model1 for the usual space $\R ^n$.

Notation

We commonly denote the matrix inner product by $\langle A, B \rangle$.

Induced norm

The matrix inner product induces a norm in the usual way. This norm is sometimes called the matrix-vector norm (or Frobenius norm) and is often denoted for a matrix $A \in \R ^{m \times n}$ by $\norm{A}_F$.


  1. Future editions will define this term. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view