Matrizes \(m\times n\)

\(\Mat{m}{n}\), as matrizes \(m\times n\), com soma e produto por escalar entrada a entrada, formam um espaço vetorial. A verificação dos axiomas se reduz, entrada a entrada, a propriedades dos números reais.