代数笔记-第四章 线性算子

4.1 维数公式

刚看完这一节有个疑问，imT中w是否可以等于0，如果可以，那岂不是dimV=dim(kerT)+dim(imT)-1?
有这个疑问是因为没有理解dim，0不会改变dim

4.2 线性变换的矩阵

命题4.2.13的证明很容易看懂，但是后面ab的互推怎么也看不懂，看了10来遍了，感觉也不影响理解后面内容，放弃了，可能是对这种数学语言不太熟悉吧。
然后2017.1.14下午在公司看，感觉这块说的不是很好：
b->a
只考虑到A’有形式(4.2.11)，事实上应该是任意A’吧
a->b
这个证明在上面已经证明了

定理4.2.14的证明是由于