数学吧 关注:870,113贴子:8,666,856
  • 5回复贴,共1

求证一个关于等势的定理

只看楼主收藏回复

若A∩B = ∅且A与B等势(即A~B),则称A与B等势不交。
若A与B等势不交且C与D等势不交且AUB~CUD
求证A~C


IP属地:江西来自Android客户端1楼2023-05-07 01:23回复
    d


    IP属地:江西来自Android客户端2楼2023-05-07 14:35
    收起回复
      存在AUB到CUD的双射g,以及D到C的双射h,做A到C的映射f
      f(x)=g(x),若g(x)∈C
      f(x)=h(g(x)),若g(x)∈D,
      再验证f是单射,假设存在x1≠x2∈A使得g(x1)=h(g(x2)),若存在y∈D\g(B)使得h(y)=g(x1),则有y=g(x1)=g(x2),得到x1=x2,矛盾。则存在y∈D∩g(B),使得h(y)=g(x1),于是y=g(x2),可得A与B交非空,矛盾。类似可证存在C到A的单射,于是A~C


      IP属地:江苏来自Android客户端3楼2023-05-07 17:30
      收起回复