设 A 是一个含有 n 个元素的集合,A1,A2,⋯,An 是 A 的互不相同的 n 个子集.证明:在 A 中存在一个元素 a,使得 A1−{a},A2−{a},⋯,An−{a} 仍是互不相同的集合,其中 Ai−{a}={x∈Ai∣x≠a}.
解析 用反证法.假设命题不成立,则对任何 a∈A,A1−{a},A2−{a},⋯,An−{a} 中必有两个集合相同.我们构造一个图 G,其顶点标记为 A1,A2,⋯,An,且 Ai 与 Aj,1⩽1⩽i≠j⩽n 连一条(标记为 a),如果 Ai−{a}=Aj−{a}.我们将图 G 中具有相同标号的边只保留一条(多余的去掉),则我们得到一个图 G′,它含有 n 个点,n 条边,且每条边的标号不同,易见 G′ 含有一个圈,记为C=Ai1Ai2⋯AirAi1,r⩾3.
一方面,Ai1 到 Ai2,再到 Ai3,⋯,Air,最后回到 Ai1 增减的元素是互不相同的,另一方面,从 Ai1 出发增减元素后返回到 Ai1 却是一个相同的集合,矛盾.因此原命题得证.