A ∼ B <=> Es gibt S ∈ GLm(K) und T ∈ GLn(K) so, dass B = SAT.
reflexiv ? Es gibt S ∈ GLm(K) und T ∈ GLn(K) so, dass A = SAT
erfüllt für S = T = E (Einheitsmatrix)
symmetrisch ? A ∼ B => B ∼ A
A ∼ B => Es gibt S ∈ GLm(K) und T ∈ GLn(K) so, dass B = SAT.
=> Es gibt U ∈ GLm(K) und V ∈ GLn(K) so, dass A = UBV
erfüllt für U=S^(-1) und V=T^(-1) denn
B = SAT ==> S^(-1) * B * T^(-1) = A
transitiv ? zeigst du entsprechend.