什么是非退化线性代换?