Mathematics — Linear Algebra · nonsingular-matrices-bases
Problem
Theorem UMCOB says that unitary matrices are characterized as those matrices that ``carry'' orthonormal bases to orthonormal bases. This problem asks you to prove a similar result: nonsingular matrices are characterized as those matrices that ``carry'' bases to bases.
More precisely, suppose that A is a square matrix of size n and B={x1,x2,x3,…,xn} is a basis of Cn. Prove that A is nonsingular if and only if C={Ax1,Ax2,Ax3,…,Axn} is a basis of Cn. (See also Exercise PD.T33, Exercise MR.T20.)