I've been trying to show that Ker(K^T) is the same set as the orthogonal of Im(K) for SVD (Singular Value Decomposition) purposes. I did half of it as you can see in the image below, so can you help me? how do I finish it?
K is a matrix representing a linear transformation.