求离散数学高手,等价类的问题
求离散数学高手,等价类的问题
日期:2011-10-30 03:55:22 人气:1
记 s∈P(A) 在P(A)/R 中的等价类为 sR.
设 s0 = 空集,s(i) = {1,2, ..,i}, i = 1,2,...,4. 则 P(A)/R = {s(i)R| i = 0, 1, ...,4}.
证明:注意到: |s(i)|=i, i=0,1,...,4.
1. 任意给 t∈P(A), 0<=|t|<=4, 所以:tR=s(|t|)R
于是, {s(i)R| i = 0, 1, ...,4} 包含P(A)/R中的所有元素。
2. 任意给 0<=i,