理解σ-代数要知道,幂集是σ-代数概念的逻辑起点,也是σ-代数的一种特例。幂集一定是σ-代数,但σ-代数不一定是幂集合。σ-代数是对幂集概念的一个推广,保留的幂集的一些特征,但适用更多的可能。
σ-代数可以理解为:
将原始集合中的元素按照某一确定的方式进行不重复的分组,-------------------1
以分组后形成的子集作为新的集合的元素,-------------------2
再求这个新的集合的幂集,-------------------3
然后再把这个幂级中的每个非空元素替换为这个元素中的所有元素的并集,---------4
就是对应原始集合的这种分组方式的一个σ-代数。(此描述等价于σ-代数三条件,但更符合直观和本质需要)
比如:原始集合X={a,b,c,d}的一个划分A为,a / bc / d的分组的形式-------------------1
形成新的集合Y={{a},{b,c},{d}}-------------------2
Y的幂级为P={{},{{a}},{{b,c}},{{d}},{{a},{b,c}} ,{{b,c},{d}}, {{a},{d}},{{a},{b,c},{d}} }------3
把P中的每个非空元素替换为这个元素中的所有元素的并集,S={{},{a},{b,c},{d},{a,b,c} ,{b,c,d}, {a,d},{a,b,c,d}}------------------------4
则S为X关于A的一个σ-代数。
数学的定义理解应该着眼于本质,比如σ-代数的本质就是一种对集合的团块化重新分组再求幂级的操作,定义的本质也应该符合这种操作。至于σ-代数三条件则是其简略的充要条件,只是一种求得的性质。我们的划分操作操作是为了拿来用的,归纳出三条件是为了拿来验证推广的。
繁多而明确的操作是实质,简短而抽象的概念是表象。
写到这里我想起了python之禅,陷入了沉思。
如果有人说这是“程序化思维”和“科学思维”之间的区别,我觉得我表示坚决的反对,很显然这里的“程序化思维”是拿来学的也是拿来用的,而您所谓“科学思维”恐怕是拿来阻止别人自学的思维,而并非真正的“科学思维”。