Study of diagonalization and self-adjoint transformations in linear algebra based on the Spectral Theorem for finite-dimensional spaces