我们记 ∣A∣|A|∣A∣ 为有限集 ∣A∣|A|∣A∣ 的元素个数,对可数集合 A,BA,BA,B,定义 A+B={u+v∣u∈A,v∈B}A+B=\{u+v|u\in A,v\in B\}A+B={u+v∣u∈A,v∈B}.
证明:对于任意可数集合 A,B,CA,B,CA,B,C,有 ∣A+B+C∣2≤∣A+B∣∣B+C∣∣C+A∣|A+B+C|^2\leq |A+B||B+C||C+A|∣A+B+C∣2≤∣A+B∣∣B+C∣∣C+A∣.
为什么有没有解答的习题(恼)。