http://imgur.com/k5BLVZK
不知道为什么知道ker(T)={0}之后，还没有证明onto，就可以说T可逆？

A:行独立,列生成,具左反,rank(A)=n,nonsingular ,ker(A)={0},A^HA可逆笔记某处有（？ 所以ker(T)={0}<==>T:nonsingular

因为这里T是算子 都在V中作用 只要函数定义域跟对应域维度相同 1-1等价于onto 第四章h内容