Coninvolution: A Powerful Property of Nonsingular Matrices

  • Thread starter Thread starter BrainHurts
  • Start date Start date
  • Tags Tags
    Matrix
BrainHurts
Messages
100
Reaction score
0
It's very difficult for me to find any simple literature to explain this idea.

J\inMn(ℂ) is a coninvolutory (or a "coninvolution") if A-1=\overline{A}
I'm looking to prove this lemma:

Let A be an element of Mn(ℂ) and A is nonsingular, then \bar{A}-1A is coninvolutory.

I see that the identity matrix is a coninvolution. Does anyone have another example?
 
Physics news on Phys.org
It is unclear what you are asking for. Are you asking
1) How to prove your lemma,
2) for examples of coinvolutory matrices, or
3) for general litterature on coinvolutory matrices?

The lemma is fairly straightforward to prove by calculating \left(\left(\overline{A}\right)^{-1}A\right)^{-1} and showing that it is equal to \overline{\left(\overline{A}\right)^{-1}A} using identities like
(AB)^{-1}=B^{-1}A^{-1} \qquad \overline{AB} = \overline{A}\,\overline{B}
If you are having trouble proving it, then tell us where you get stuck.

If you need examples of coinvolutory matrices, then just pick some nonsingular matrix A and calculate \left(\overline{A}\right)^{-1}A as the lemma suggests. Alternatively if you write A = B + i C for real matrices B and C, then you can show that A is coinvolutory precisely if A^2 + B^2 = I and AB=BA. In particular if A is a real matrix, then it is coinvolutory if and only if it is involutory (i.e. iff A^2=I).

If you want to read more about coinvolutory matrices, then I can't help you as I have never heard of the term and a quick google search does not reveal much.
 
I was asking for help on all three and your post really helped a lot! I'll try to be more clear in the the near future. Thank so much!
 
rasmhop said:
If you need examples of coinvolutory matrices, then just pick some nonsingular matrix A and calculate \left(\overline{A}\right)^{-1}A as the lemma suggests. Alternatively if you write A = B + i C for real matrices B and C, then you can show that A is coinvolutory precisely if A^2 + B^2 = I and AB=BA. In particular if A is a real matrix, then it is coinvolutory if and only if it is involutory (i.e. iff A^2=I).

Do you mean B^2 +C^2 = I and BC=CB?
 
BrainHurts said:
Do you mean B^2 +C^2 = I and BC=CB?

Yes.
 

Similar threads

Replies
9
Views
2K
Replies
1
Views
3K
Replies
1
Views
1K
Replies
2
Views
2K
Replies
3
Views
501
Replies
4
Views
2K
Back
Top