2025-06-01

1145: Complex Conjugate of Product of Complex Matrices Is Product of Complex Conjugates of Constituents

<The previous article in this series | The table of contents of this series | The next article in this series>

description/proof of that complex conjugate of product of complex matrices is product of complex conjugates of constituents

Topics


About: matrices space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a description and a proof of the proposition that the complex conjugate of the product of any complex matrices is the product of the complex conjugates of the constituents.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
M1: { the m×n complex matrices }
M2: { the n×o complex matrices }
//

Statements:
M1M2=M1 M2
//


2: Proof


Whole Strategy: Step 1: let M1=(M1lj) and M2=(M2ml); Step 2: see the components of M1M2; Step 3: see the components of M1 M2, and conclude the proposition.

Step 1:

Let M1=(M1lj) and M2=(M2ml).

Step 2:

(M1M2)mj=M1ljM2ml.

M1M2mj=M1ljM2ml=M1lj M2ml, because the conjugate of the product of any complex numbers is the product of the conjugates of the constituents.

Step 3:

(M1 M2)mj=M1ljM2ml, =M1M2mj, by the result of Step 2.


References


<The previous article in this series | The table of contents of this series | The next article in this series>