MHB Is This Matrix Idempotent?

  • Thread starter Thread starter mathmari
  • Start date Start date
  • Tags Tags
    Matrix
mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

We have that a matrix $A$ is idempotent if it holds that $A^2=A$.

We suppose that $X$ is a $m\times n$-matrix and that $(X^TX)^{-1}$ exists.

I want to show that $A=I_m-X(X^TX)^{-1}X^T$ is idempotent. I have done the following:

$$A^2 =A\cdot A=(I_m-X(X^TX)^{-1}X^T)\cdot (I_m-X(X^TX)^{-1}X^T) \\ =I_m(I_m-X(X^TX)^{-1}X^T)-X(X^TX)^{-1}X^T(I_m-X(X^TX)^{-1}X^T) \\ =I_mI_m-I_mX(X^TX)^{-1}X^T-X(X^TX)^{-1}X^TI_m+(X(X^TX)^{-1}X^T)(X(X^TX)^{-1}X^T) \\ =I_m-X(X^TX)^{-1}X^T-X(X^TX)^{-1}X^T+X(X^TX)^{-1}(X^TX)(X^TX)^{-1}X^T \\ =I_m-2X(X^TX)^{-1}X^T+XI_n(X^TX)^{-1}X^T \\ =I_m-2X(X^TX)^{-1}X^T+X(X^TX)^{-1}X^T \\ =I_m-X(X^TX)^{-1}X^T =A$$

Is this correct? (Wondering)

Is the step from the $3$th to the $4$th line correct? Or doesn't it hold that $(X(X^TX)^{-1}X^T)(X(X^TX)^{-1}X^T)=X(X^TX)^{-1}(X^TX)(X^TX)^{-1}X^T$ ? (Wondering)
 
Physics news on Phys.org
mathmari said:
Hey! :o

We have that a matrix $A$ is idempotent if it holds that $A^2=A$.

We suppose that $X$ is a $m\times n$-matrix and that $(X^TX)^{-1}$ exists.

I want to show that $A=I_m-X(X^TX)^{-1}X^T$ is idempotent. I have done the following:

$$A^2 =A\cdot A=(I_m-X(X^TX)^{-1}X^T)\cdot (I_m-X(X^TX)^{-1}X^T) \\ =I_m(I_m-X(X^TX)^{-1}X^T)-X(X^TX)^{-1}X^T(I_m-X(X^TX)^{-1}X^T) \\ =I_mI_m-I_mX(X^TX)^{-1}X^T-X(X^TX)^{-1}X^TI_m+(X(X^TX)^{-1}X^T)(X(X^TX)^{-1}X^T) \\ =I_m-X(X^TX)^{-1}X^T-X(X^TX)^{-1}X^T+X(X^TX)^{-1}(X^TX)(X^TX)^{-1}X^T \\ =I_m-2X(X^TX)^{-1}X^T+XI_n(X^TX)^{-1}X^T \\ =I_m-2X(X^TX)^{-1}X^T+X(X^TX)^{-1}X^T \\ =I_m-X(X^TX)^{-1}X^T =A$$

Is this correct? (Wondering)

Is the step from the $3$th to the $4$th line correct? Or doesn't it hold that $(X(X^TX)^{-1}X^T)(X(X^TX)^{-1}X^T)=X(X^TX)^{-1}(X^TX)(X^TX)^{-1}X^T$ ? (Wondering)
Your solution is correct. The associative property of multiplication $A(BC) = (AB)C$ extends to any choice of bracketing in longer expressions. For example $(AB)((CD)E) = A((BC)(DE)).$ The proof of this "general associative law" is messy but not particularly hard or interesting, and consists essentially of using induction to show that any bracketing gives the same result as the standard bracketing where the operations are performed in sequence from left to right, like $(((AB)C)D)E$.
 
Opalg said:
Your solution is correct. The associative property of multiplication $A(BC) = (AB)C$ extends to any choice of bracketing in longer expressions. For example $(AB)((CD)E) = A((BC)(DE)).$ The proof of this "general associative law" is messy but not particularly hard or interesting, and consists essentially of using induction to show that any bracketing gives the same result as the standard bracketing where the operations are performed in sequence from left to right, like $(((AB)C)D)E$.

Ah ok... Thanks a lot! (Happy)
 
Thread 'Derivation of equations of stress tensor transformation'
Hello ! I derived equations of stress tensor 2D transformation. Some details: I have plane ABCD in two cases (see top on the pic) and I know tensor components for case 1 only. Only plane ABCD rotate in two cases (top of the picture) but not coordinate system. Coordinate system rotates only on the bottom of picture. I want to obtain expression that connects tensor for case 1 and tensor for case 2. My attempt: Are these equations correct? Is there more easier expression for stress tensor...
Back
Top