集合的划分就是字面意思,假如我们手里有3张牌,一张红桃3,一张黑方片2,一张红方片A。把它们分堆就有这么几种分法:第一种,3张牌都在一堆,第二种,红桃3和黑方片2在一堆,红方片A在另一堆,第三种,红桃3和红方片A在一堆,黑方片2在另一堆,第四种,红桃3在一堆,黑方片2和红方片A在一堆,第五种,每张牌各在一堆。以上这3种不同的分堆方式,就是对这3张牌组成的这个集合的三种不同的划分方式。
对于第一种分法和第五种分法,没什么好说的,我们来看一下中间三种分法,对于第二种,我们注意到对红桃3和黑方片2这一堆,牌面上都是数字,也就是说对于是数字还是字母这个属性,它俩是相同的,我们就说对于红桃3和黑方片2这两个元素构成的子集合,集合中的元素关于“牌面上是数字”这个关系是等价的;对于第三种,我们注意到对红桃3和红方片A这一堆,两张牌颜色相同,也就是说这两张牌对于颜色这个属性是一致的,我们就说对于红桃3和红方片A这两个元素构成的子集合,集合中的元素关于“牌的颜色”这个关系是等价的;同样对于第四种分法,我们看黑方片2和黑方片A这堆,可以注意到对于牌上出现的形状这个属性,它俩是一致的,我们就说,对于黑方片2和红方片A这两个元素构成的子集合,集合中的元素关于“牌上出现的形状”这个关系是等价的。这就是离散数学中的等价关系。
弄懂这个后我们不妨来看一下这个问题,假如我们来给地球上的人分分类,可以分成男人和女人、成年人和儿童、中国人和外国人,我们来试着分分看,会有什么神奇的事情发生呢?
贝尔不等式
贝尔不等式
我们发现有这样一个规律存在,就是:所有小男孩+所有外国成年人>=所有男性外国人。这是伟大的贝尔不等式的一种很巧妙的科普化描述。