Real matrix (source code)

= Real matrix
{title2=$M_{m,n}(\mathbb R)$}

A <real matrix> is a <matrix> whose entries are <real numbers>. The <vector space> of $m\times n$ <real matrices> is denoted $M_{m,n}(\mathbb R)$.