有两题看不懂，想麻烦大家帮忙
https://drive.google.com/file/d/0B0UqLwwkqNcoemRUTVVzVkFqTWc/view
7.17 第二行推导看得懂，但是不懂第一行为什么可以 ∀x∈ker(T) 这样令
7.18 不懂为何T 1-1 就是onto
谢谢大家

7.17第一行应该只是表示所有在ker(T)的向量都会满足T(x)=0

了解了 谢谢