Analyzing the Setup
The concept of Matrix Similarity is a fundamental pillar of Linear Algebra. It represents the idea that two matrices, while appearing distinct, represent the same linear transformation viewed from different coordinate systems.
To prove that similarity is an equivalence relation, we must demonstrate that it satisfies three specific properties: Reflexivity, Symmetry, and Transitivity.
Phase 1
The Reflexive Mirror
A relation R is reflexive if every element is related to itself. For a matrix A, we must determine if there exists a non-singular matrix P such that PAP−1=A.
Consider the Identity matrix I. Since I is non-singular ($|I| = 1
eq 0$) and I−1=I, we can write:
Because we have identified a valid P (where P=I), the condition ARA holds true. Thus, the relation is reflexive.
Phase 2
The Symmetry of Transformation
Next, we examine symmetry. If A is similar to B, we must prove that B is similar to A. We assume ARB, which implies there exists a non-singular matrix P such that:
To isolate A, we must apply matrix inverses carefully, noting that matrix multiplication is non-commutative. We pre-multiply by P−1 and post-multiply by P:
Let Q=P−1. Since P is non-singular, Q is also non-singular, and its inverse is P. Substituting this, we obtain A=QBQ−1, which confirms that BRA. The relation is symmetric.
Phase 3
The Transitive Chain
Finally, we address transitivity. If ARB and BRC, we must prove ARC. We are given:
Substituting the expression for B into the equation for C, we get:
Using the associative property of matrix multiplication, we group the terms:
Applying the reversal law of inverses, where (QP)−1=P−1Q−1, we define S=QP:
Since the product of two non-singular matrices is non-singular, S is a valid transformation matrix. Thus, ARC, proving the relation is transitive.
Conclusion
The Equivalence
We have rigorously demonstrated that the relation of matrix similarity is reflexive, symmetric, and transitive.
In the language of set theory, this confirms that similarity is an equivalence relation. This partitions the space of n×n matrices into equivalence classes, where all matrices within a class share identical fundamental properties, such as their eigenvalues and trace.