TheoremBase

Products of Real Matrices with Zero Matrices, Negatives and Differences

Matrix products and matrix-vector products vanish when a factor is zero, commute with negation, and distribute over differences.

Statement

In the setting of Euclidean Space and Real Matrices: Standing Notation, let p,q,r∈Np,q,r\in\mathbb{N}, let A,A′∈Mp×q(R)A,A'\in\mathcal{M}_{p\times q}(\mathbb{R}) and B,B′∈Mq×r(R)B,B'\in\mathcal{M}_{q\times r}(\mathbb{R}), and let x,y∈Rqx,y\in\mathbb{R}^{q}.

A0q×r=0p×rA0_{q\times r}=0_{p\times r} and 0r×pA=0r×q0_{r\times p}A=0_{r\times q}; A0=0A0=0, where 00 on the left is the origin of Rq\mathbb{R}^{q} and on the right the origin of Rp\mathbb{R}^{p}; and 0p×qx=00_{p\times q}x=0, the origin of Rp\mathbb{R}^{p}.

(−A)B=−(AB)=A(−B)(-A)B=-(AB)=A(-B) and (−A)x=−(Ax)=A(−x)(-A)x=-(Ax)=A(-x).

A(B−B′)=AB−AB′A(B-B')=AB-AB', (A−A′)B=AB−A′B(A-A')B=AB-A'B, A(x−y)=Ax−AyA(x-y)=Ax-Ay and (A−A′)x=Ax−A′x(A-A')x=Ax-A'x.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…