# Linear Algebra/Introduction to Similarity

 Linear Algebra ← Topic: Projective Geometry Introduction to Similarity Complex Vector Spaces →

While studying matrix equivalence, we have shown that for any homomorphism there are bases ${\displaystyle B}$ and ${\displaystyle D}$ such that the representation matrix has a block partial-identity form.

${\displaystyle {\rm {Rep}}_{B,D}(h)=\left({\begin{array}{c|c}{\textit {Identity}}&{\textit {Zero}}\\\hline {\textit {Zero}}&{\textit {Zero}}\end{array}}\right)}$

This representation describes the map as sending ${\displaystyle c_{1}{\vec {\beta }}_{1}+\dots +c_{n}{\vec {\beta }}_{n}}$ to ${\displaystyle c_{1}{\vec {\delta }}_{1}+\dots +c_{k}{\vec {\delta }}_{k}+{\vec {0}}+\dots +{\vec {0}}}$, where ${\displaystyle n}$ is the dimension of the domain and ${\displaystyle k}$ is the dimension of the range. So, under this representation the action of the map is easy to understand because most of the matrix entries are zero.

This chapter considers the special case where the domain and the codomain are equal, that is, where the homomorphism is a transformation. In this case we naturally ask to find a single basis ${\displaystyle B}$ so that ${\displaystyle {\rm {Rep}}_{B,B}(t)}$ is as simple as possible (we will take "simple" to mean that it has many zeroes). A matrix having the above block partial-identity form is not always possible here. But we will develop a form that comes close, a representation that is nearly diagonal.

 Linear Algebra ← Topic: Projective Geometry Introduction to Similarity Complex Vector Spaces →