1 / 4 应用计算机数学05DIT (本试卷满分70 分, 任选 14 题, 每题 5 分)1.设 A,B,C 都是集合 , 若 ABAC 且 ABBC , 试证 B=C
证: 证法 1 对xB , 则若 xA, 则()xAB
由于 ABAC , 故()xAC , 即 xC ;若 xA , 则()xAB , 由于 ABAC, 故 xAC
又 xA , 只能有xC
因此,xB , 总有 xC , 故 BC
同理可证 , CB
证法 2 ()()()()BBABBACBABC()()()()CABCCABCACC2.设 A、B是集合 , 证明 : ()()A BBABBB证:当 B时, 显然 ()()A BBABB , 得证
假 设 B, 则 必 存 在 xB , 使 得()xABB但()xABB , 故()()ABBABB 与题设矛盾
所以假设不成立 , 故 B
3.下列命题是否成立
(1) ()()ABCAB C (2)()()AB CABC (3)()()ABCABB解:(1), (2)都不成立
反例如下:(1),{1}AC, 则 (){1};()ABCCABC
(2){1},,{1}ABC, 则(){1};()ABCABC
设 A,B,C 是任意三个集合 , 则()()()AB CABAC证:( ,)()x yAB C, 有 xA且()yB C , 即 xA 且 yB但 x C
于是xAB, 但 x A C , 从而有 ( , )() ()x yABAC , 故()AB C()AB( A)C , 反之设 ( , )() ()x yABAC , 有 xAB , yAC , 于是有: xA且 xB2 / 4 但x C,从而xA且()xBC即( ,)()x yAB C,于是()()ABACABC