※ 引述《ss455032 (ss455032)》之铭言：
: 想请问一下
: a)为什么w1包含于w2可以说w2任取一个元素在w1
: 在画线的那边。
: W2不是比较大的集合吗。
: https://i.imgur.com/5gfM4RF.jpg
: https://i.imgur.com/RB5ZkEC.jpg
你误会他的意思
如果W_2里面的所有向量都满足一个性质(#)
则因为假设W_1包含于W_2的前提
W_1内的元素也必然满足性质(#)
证明要表达的意思就是这样
他应该不要用同样一个符号
比较不会产生误解