In this subsection, we collect properties of matrix multiplication and its interaction with the zero matrix (DefinitionZM), the identity matrix (DefinitionIM), matrix addition (DefinitionMA), scalar matrix multiplication (DefinitionMSM), the inner product (DefinitionIP), conjugation (TheoremMMCC), and the transpose (DefinitionTM). Whew! Here we go. These are great proofs to practice with, so try to concoct the proofs before reading them, theyll get progressively more complicated as we go.

Proof Well prove (1) and leave (2) to you. Entry-by-entry, for 1 ≤ i ≤ m, 1 ≤ j ≤ p,

\eqalignno{ {\left [A{O}_{n}\right ]}_{ij} & ={ \mathop{∑ }}_{k=1}^{n}{\left [A\right ]}_{ ik}{\left [{O}_{n}\right ]}_{kj} & &\text{@(a href="#theorem.EMP")Theorem EMP@(/a)} & & & & \cr & ={ \mathop{∑ }}_{k=1}^{n}{\left [A\right ]}_{ ik}0 & &\text{@(a href="fcla-jsmath-latestli30.html#definition.ZM")Definition ZM@(/a)} & & & & \cr & ={ \mathop{∑ }}_{k=1}^{n}0 & & & & \cr & = 0 & &\text{@(a href="fcla-jsmath-latestli69.html#property.ZCN")Property ZCN@(/a)} & & & & \cr & ={ \left [{O}_{m}\right ]}_{ij} & &\text{@(a href="fcla-jsmath-latestli30.html#definition.ZM")Definition ZM@(/a)} & & & & }

So by the definition of matrix equality (DefinitionME), the matrices A{O}_{n} and {O}_{m} are equal. ■

Subsection PMM: Properties of Matrix Multiplication

In this subsection, we collect properties of matrix multiplication and its\r\ninteraction with the zero matrix (DefinitionZM), the identity matrix\r\n(DefinitionIM), matrix addition (DefinitionMA), scalar matrix multiplication\r\n(DefinitionMSM), the inner product (DefinitionIP), conjugation\r\n(TheoremMMCC), and the transpose (DefinitionTM). Whew! Here we\r\ngo. These are great proofs to practice with, so try to concoct the proofs\r\nbefore reading them, theyll get progressively more complicated as we\r\n \r\n\r\n \r\ngo.\r\n

Proof Well prove (1) and leave (2) to you. Entry-by-entry, for\r\n1 ≤ i ≤ m,\r\n1 ≤ j ≤ p,\r\n

\\eqalignno{\r\n {\\left [A{O}_{n}\\right ]}_{ij} & ={ \\mathop{∑\r\n }}_{k=1}^{n}{\\left [A\\right ]}_{\r\nik}{\\left [{O}_{n}\\right ]}_{kj} & &\\text{@(a \r\nhref=\"#theorem.EMP\")Theorem EMP@(/a)} & & & &\r\n \\cr \r\n & ={ \\mathop{∑\r\n }}_{k=1}^{n}{\\left [A\\right ]}_{\r\nik}0 & &\\text{@(a \r\nhref=\"fcla-jsmath-latestli30.html#definition.ZM\")Definition ZM@(/a)} & & & &\r\n \\cr \r\n & ={ \\mathop{∑\r\n }}_{k=1}^{n}0 & & & &\r\n \\cr \r\n & = 0 & &\\text{@(a \r\nhref=\"fcla-jsmath-latestli69.html#property.ZCN\")Property ZCN@(/a)} & & & &\r\n \\cr \r\n & ={ \\left [{O}_{m}\\right ]}_{ij} & &\\text{@(a \r\nhref=\"fcla-jsmath-latestli30.html#definition.ZM\")Definition ZM@(/a)} & & & &\r\n }

So by the definition of matrix equality (DefinitionME), the matrices\r\nA{O}_{n} and\r\n{O}_{m} are\r\nequal. ■\r\n