空集是任何集合的真子集,这句话对吗
空集是比较烦人的东西,按照定义,空集就是没有元素的集合,却到处都有他的影子。自己啥都没有,还无处不在,够烦人的。集合论里有一个早就熟知的论断:空集是任何集合的子集。
1、今天就来挖掘这句话里面包含的含义。
2、说明一点,个人相对于”命题“一词而言,更倾心于”论断“一词。
3、这里的”论断“一词就是中学数学里的”命题“一词。
4、 我当初理解这个论断,是借助于集合运算的一个性质: A∩∅=∅………………………………① 因为在B不是空集的时候,若A∩B=B,则B是A的子集,所以以此类推空集是任何集合的子集,而要证明①式,只需要利用交集的定义即可,由此就变得顺其自然。
5、不过若我们考虑子集的定义,发现这里面还是有东西可挖的。
6、 B是A的子集,当且仅当若x∈B,则x∈A。
7、(顺便说说,没办法在网页上直接输入包含符号真的很麻烦) 现在我们用来审视”空集是任何集合的子集”这句话: ∅是A的子集↔若x∈∅,则x∈A。
8、 要让左边成立,必须让右边是个真论断,那么右边是对还是错?有些人说这对,有的人说是错。
9、我们要看到,右边是一个“若p则q”形式的论断,而这里的p是一个假论断,也就是其条件本身就是假的,自然我们就无法断定q的真假,不过我们可以根据逆否论断的观点来看这个问题: 若x∈∅,则x∈A↔若x∉A,则x∉∅ 我们知道,右边论断的真假性与左边论断的真假性是一致的。
10、而右边正确不?显然,不管是在什么情况下,x∉∅总是成立的,由此断定论断“若x∉A,则x∉∅”是一个真论断,那么“若x∈∅,则x∈A”也是一个真论断,从而“∅是A的子集”也是一个真论断。
11、 就像上面的例子一样,考虑论断r:“若p则q”,如果假设p本身就是假,则论断r一定为真。
12、当假设在任何情况下也不成立,这样的论断我们就称之为”虚真论断“。
13、我们可以用逆否论断的观点来证明: 若p则q↔若非q则非p。
14、 由于p为假,所以非p一定为真,也就是为真,由逆否论断与原论断真假性一致的性质,得出论断”若p则q,其中p为假“为真论断。
15、 所以,我们的”空集是任何集合的子集“这句话,其实就是”虚真论断“的一个案例。
16、 由虚真论断的观点,可以得到更加有趣的东西。
17、我们知道,两个空集的交集与并集是空集,那么你是否想过这个问题?现在考虑一个比空集还要空的问题:两个根本就不存在的集合的交集与并集是什么呢?说起来还有点绕口,这就是我们数学上的”集族“概念,不要觉得这个多高深,所谓集族,就是当一个集合的元素也是集合的时候,这个集合就称之为集族,明天我们就介绍这个很有意思的问题。
-
屈指可数的意思
屈指可数的意思是扳着手指头就可以数清楚,形容数目很少。出自唐·韩愈《忆昨行和张十一》诗:“自期殒命在春序,屈指数日怜婴孩。”宋·欧阳修《集古录跋尾·唐安公美政颂》:“今文儒之盛,其屈指可数者,无三四人。非皆不能,盖忽不为尔。”其近义词是寥寥无几、寥寥可数...
-
黄鹤楼送孟浩然之广陵的意思
意思是老朋友告别了黄鹤楼向东而去,在这柳絮如烟、繁花似锦的三月去往扬州远游。旧友的孤船帆影渐消失于水天相连之处,只看见滚滚长江水朝着邈远的天际奔流而去。《黄鹤楼送孟浩然之广陵》是唐代大诗人李白创作的一首送别诗。这首诗表现的是一种充满诗意的离别,对...
-
授课型硕士可以读博吗
授课型硕士研究生可以读博士研究生。就读授课型硕士的同学,在入学时就可以早早开始做规划,物色目标导师并与之进行沟通,相较于远程申请的同学,可以说具有近水楼台先得月的优势。授课型硕士这一类的硕士学位,学习方式以上课、小论文等形式为主,个人研究为辅的。授课型...
-
点缀的近义词
点缀的近义词装点、衬托、修饰、粉饰、装点、装饰、打扮等等。点缀的反义词抹黑、损毁、丑化、遍布、弥漫、单调、朴素等等。点缀是一个汉语词语,读音为diǎnzhuì,意思是衬托,装饰;应景儿,凑数儿;指衬托、装饰的东西,出自《世说新语·言语》。点缀造句广阔的绿茵草地...