关于~空集是任何集合的子集的证明的疑问

问题描述:

关于~空集是任何集合的子集的证明的疑问
空集是任何集合的子集,那个反证法的证明我看过了,但我认为这不能证明空集是任何集合的子集,因为只要声称了x属于空集便可推出矛盾,无论那个x是否属于集合A,这样一来完全可以用那个反正法的思路说空集不是任何集合的子集(假设空集是A的子集,则存在x属于空集且属于A,这与空集没有任何集合矛盾)这种证明在我看来如出一辙却是想到的结论
1个回答 分类:数学 2014-10-27

问题解答:

我来补答
这个观念对初学者是很难接受.根据子集的定义,如果A中的元素同时又是B中的元素,那么A是B的子集.它的逆否命题是如果A不是B的子集,那么A中有一个元素不是B中的元素.现在的问题是空集没有元素,所以对于这个逆否命题,我们变化一下表达的方式 “如果A不是B的子集,那么一定有一个元素属于A但不属于B” 将A换成空集,则的确找不到这样的元素,所以他的你否命题成立.
你的第二个观点的错误在于证明一个集合是另一个集合的子集,不需要用这样的反证法.举个例子,如果摇色子比谁小,那么一个人得色盅里有4个色子,另一个人的色盅里没有色子,那么后者怎么摇都会赢
 
 
展开全文阅读
剩余:2000