证明A*B集合可数假设ABCD为集合,A包含于C,且B包含于D.如果C*D是可数的,证明A*B也是可数的

来源:学生作业帮助网 编辑:作业帮 时间:2024/08/13 10:39:53
证明A*B集合可数假设ABCD为集合,A包含于C,且B包含于D.如果C*D是可数的,证明A*B也是可数的
xRYNP T ~$W> 0[ CMp -XżZv-5gW;s/Yz*U./;E%1̉-8^pr{bTL{0ҋ;f;Ϻ DB?ۮbn:#7TQaOFp%ǐ j$i2Z3'j"_Sea柒4fWװsT eУTJ@@%MCp@.rQyRq,Ϳ+} @݋P?2X we)fGW[ GJ\5o]G0>5f\E){΋?%iu5={v%c+]dS1"\

证明A*B集合可数假设ABCD为集合,A包含于C,且B包含于D.如果C*D是可数的,证明A*B也是可数的
证明A*B集合可数
假设ABCD为集合,A包含于C,且B包含于D.如果C*D是可数的,证明A*B也是可数的

证明A*B集合可数假设ABCD为集合,A包含于C,且B包含于D.如果C*D是可数的,证明A*B也是可数的
证明:存在映射f:C->C*D
f(c)=(c,d0) (任取c∈C,一个固定的元素d0∈D)
显然f是一个单射
则C的势小于等于C*D的势.
所以C是最多可数集.
同理D是最多可数集.
A包含于C,且B包含于D
则A,B都是最多可数集
所以A*B是最多可数集
PS:我认为不能证明A*B是可数集,因为题目没有说A或B是无穷集合.所以A*B应该是最多可数集
PS2:大概你说的可数就是我说的最多可数罢(最多可数是可数无限或者有限)