在学习b站陈纪修陈老数学分析课程P2中,对于证明“空集是任何集合的子集”,陈老是这么说的(大概):假设∀x∈∅,则x∈S;因为∅无任何元素,所以x∈∅不成立,因此空集是S的子集。
听的时候很懵然⊙_⊙:这啥啊???后来查阅了一番,理解了一下,整理了一会,大致明白了。
①弹幕里的反证法(与陈老说的应该不一样):若∅⊄S,则∃x∈∅且x∉S;因为∅不存在任何元素,故∅中不存在S集合中之外的元素,所以假设不成立,即∅⊂S。
最开始对上述反证法的证明过程的感觉是奇怪,就是感觉哪里不对劲。因为,(如果我们不知道∅是否属于S),若∅⊂S,则∀x∈∅且x∈S,因为∅不存在任何元素,所以无法证明(之所以是无法证明而非错误,是因为∀x∈∅是假命题,而x∈S不知道是真是假(注)),不过,反证法就是适用于证真不易,证伪容易的问题。
②关于陈老的证明方法,我私以为是这样的:
首先,我们要先理解一些前置知识(如下图,将就着看吧🤣):
回归原题,若∅⊂S,则∀x∈∅且x∈S成立,因为∅中无任何元素,所以∀x∈∅为假命题,此时x∈S无论真假,∀x∈∅→x∈S均为真命题,因此可推出∅∈S。
到这里,再回头看反证法的注,就可以证真了。