Does this kind of square matrix exist?

  • Context: High School 
  • Thread starter Thread starter Trollfaz
  • Start date Start date
  • Tags Tags
    Matrix Square
Click For Summary

Discussion Overview

The discussion revolves around the properties of square matrices that satisfy the equation A^2 = A, exploring whether other values for A exist beyond the identity matrix (I) and the zero matrix (0). The scope includes theoretical considerations and examples related to linear algebra and matrix theory.

Discussion Character

  • Exploratory
  • Technical explanation
  • Homework-related

Main Points Raised

  • Some participants propose that A can be the identity matrix (I) or the zero matrix (0) based on the manipulation of the equation A^2 - A = 0.
  • Others argue that there are many more matrices that satisfy the equation, specifically mentioning that any non-invertible matrix A will satisfy the condition.
  • A specific example of a projection operator is provided, illustrating a matrix that maps vectors to a lower-dimensional space.
  • One participant notes that the ring of matrices is not an integral domain, indicating that the product of two matrices can be zero without either being zero.
  • It is mentioned that there exists a family of idempotent matrices, even in two dimensions.

Areas of Agreement / Disagreement

Participants generally agree that A can take on multiple values beyond just I and 0, but there is no consensus on the full characterization of such matrices or the implications of the properties discussed.

Contextual Notes

The discussion includes assumptions about matrix properties and does not resolve the implications of the non-integral domain nature of matrices or the specific conditions under which certain matrices satisfy the equation.

Trollfaz
Messages
144
Reaction score
16
I had a homework question that gives A as an arbitrary matrix. Then the question states that A^2=A
Now I manipulate the equation to give this
A^2-A=0. -->A(A-I)= 0
So A can be I or 0
Are there any other values A can take?
 
  • Like
Likes   Reactions: anuttarasammyak
Physics news on Phys.org
For an example
A=\begin{bmatrix}1&0&0\\0&1&0\\0&0&0\end{bmatrix}
satisfies the relation. It is I for some dimension, 0 for others. In general it is named as projection operator.
 
Last edited:
  • Like
Likes   Reactions: mathwonk, jasonRF and PeroK
Trollfaz said:
I had a homework question that gives A as an arbitrary matrix. Then the question states that A^2=A
Now I manipulate the equation to give this
A^2-A=0. -->A(A-I)= 0
So A can be I or 0
Are there any other values A can take?
Yes, lots more. Since ##A^2 - A = 0## (i.e., the zero matrix), then ##|A^2 - A| = |0|## or ##|A||A - I| = |0|##.
The last equation is satisfied for any square matrix A whose determinant is zero, or any square matrix for which ##|A - I| = 0##. Any non-invertible matrix A will satisfy ##|A| = 0##, and similar for ##A - I##.
anuttarasammyak said:
It is I for some dimension, 0 for others. In general it is named as projection operator.
This is a somewhat confusing way to say that your example maps a vector <x, y, z> to <x, y, 0>.
 
Trollfaz said:
I had a homework question that gives A as an arbitrary matrix. Then the question states that A^2=A
Now I manipulate the equation to give this
A^2-A=0. -->A(A-I)= 0
So A can be I or 0
Are there any other values A can take?
Notice the ring of matrices is not an integral domain, i. e., ##AB=0 ## does not imply either A or B is zero. And notice there is always a solution to ##A^n=I##: Rotation by an angle ##2 \mathbb \pi/n ##
 
Last edited by a moderator:
These are called idempotent matrices. Even in dimension ##2##, there is a whole family of examples.
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 33 ·
2
Replies
33
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
2
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K