24小时热门版块排行榜    

查看: 1646  |  回复: 10

tigou

木虫 (正式写手)

[求助] 与集合的势有关的一个问题 已有2人参与

命题: 设P(A)和P(B)分别是非空集A和B的幂集,则|A|=|B|是|P(A)|=|P(B)|的充要条件。
    请问,是否有文献曾经提到过这个命题?命题是否成立?谢谢
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐,对您同样有帮助:

0/0的意义是所有数的集合
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

Xiaoer_Di

木虫 (小有名气)

【答案】应助回帖

感谢参与,应助指数 +1
好像没有什么书说过这个命题。
命题是成立的,因为假如|A|=n,那么|P(A)|=2^n,指数函数是单调的,所以|A|=|B|是|P(A)|=|P(B)|的充要条件。

[ 发自手机版 http://muchong.com/3g ]
2楼2015-04-30 08:30:45
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

Xiaoer_Di

木虫 (小有名气)

引用回帖:
2楼: Originally posted by Xiaoer_Di at 2015-04-30 08:30:45
好像没有什么书说过这个命题。
命题是成立的,因为假如|A|=n,那么|P(A)|=2^n,指数函数是单调的,所以|A|=|B|是|P(A)|=|P(B)|的充要条件。

可以查查实变里面有没有相关命题

[ 发自手机版 http://muchong.com/3g ]
3楼2015-04-30 08:31:30
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

Edstrayer

版主 (著名写手)

方寸斗室小天地正气迷漫大世界

注意到
对于有限集显然有:


对于A,B是可数集结论也成立,
对于A,B是不可数集或更大基数的集合,则应用公理集合论的知识也是成立的。
青葱岁月圣诞夜,浪漫歌舞迎新年。
4楼2015-04-30 08:37:29
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
4楼: Originally posted by Edstrayer at 2015-04-30 08:37:29
注意到\mid P(A)\mid=2^{\mid A\mid}
对于有限集显然有:
\mid A\mid=\mid B\mid\Leftrightarrow\mid P(A)\mid=\mid P(B)\mid
对于A,B是可数集结论也成立,
对于A,B是不可数集或更大基数的集合,则应用公理集 ...

谢谢,能否给出文献名称。另,您的公式怎么打出来的?
0/0的意义是所有数的集合
5楼2015-04-30 08:50:01
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
2楼: Originally posted by Xiaoer_Di at 2015-04-30 08:30:45
好像没有什么书说过这个命题。
命题是成立的,因为假如|A|=n,那么|P(A)|=2^n,指数函数是单调的,所以|A|=|B|是|P(A)|=|P(B)|的充要条件。

您的推导只适用有限集
0/0的意义是所有数的集合
6楼2015-04-30 08:55:57
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

Nonsmooth

银虫 (著名写手)

【答案】应助回帖

感谢参与,应助指数 +1
左到右构造一一映射就行了。反方向用反证法。
学术无国界。
7楼2015-04-30 08:59:59
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
7楼: Originally posted by Nonsmooth at 2015-04-30 08:59:59
左到右构造一一映射就行了。反方向用反证法。

能否具体说明下反证法的思路。谢谢
0/0的意义是所有数的集合
8楼2015-04-30 09:07:08
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

hank612

至尊木虫 (著名写手)

你这个问题就是广义连续统假说的一部分

http://en.wikipedia.org/wiki/Continuum_hypothesis
中的“The generalized continuum hypothesis“一节

所以不要指望一般的书里可以证明或者否证 这个命题, 这是无数神级数学家的卓越成果
Godel, Cohen,Sierpinski,Cantor,Hilbert ...
We_must_know. We_will_know.
9楼2015-04-30 12:43:34
已阅   关注TA 给TA发消息 送TA红花 TA的回帖

tigou

木虫 (正式写手)

引用回帖:
9楼: Originally posted by hank612 at 2015-04-30 12:43:34
你这个问题就是广义连续统假说的一部分

http://en.wikipedia.org/wiki/Continuum_hypothesis
中的“The generalized continuum hypothesis“一节

所以不要指望一般的书里可以证明或者否证 这个命题, 这是无 ...

看到您提供的链接。把一个命题说成是另一个命题的一部分,不符合数学规范。目测可以这么说,广义连续统假设成立是本命题成立的充分条件,但不是必要条件。也许深入的研究可以证明,本命题与广义连续统假设等价。谢谢您的回复,怎么支付赏金
0/0的意义是所有数的集合
10楼2015-04-30 19:40:39
已阅   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 tigou 的主题更新
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[硕博家园] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +3 23jxep3nCNZb 2026-09-14 3/150 2026-09-15 01:21 by mibUvS8DDCwf
[硕博家园] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 6F5UbRU2I5hL 2026-09-14 3/150 2026-09-15 00:25 by mibUvS8DDCwf
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +3 6F5UbRU2I5hL 2026-09-14 3/150 2026-09-15 00:21 by mibUvS8DDCwf
[考博] 售SCI一区T0P文章,我:8O.55.1.O.5.4,科目齐全,可+急 +4 s3fFTmArrBt6 2026-09-14 5/250 2026-09-14 23:57 by vZfe6xYu34yj
[硕博家园] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +3 s3fFTmArrBt6 2026-09-14 3/150 2026-09-14 23:45 by vZfe6xYu34yj
[硕博家园] 售SCI一区文章,我:8O5.5.1.O5.4,科目全,可伽急 +3 s3fFTmArrBt6 2026-09-13 5/250 2026-09-14 22:45 by vZfe6xYu34yj
[公派出国] 售SCI-T0P文章,我:8O.5.5.1.O.54,科目齐全,可+急 +3 LwdutQ8HoqWP 2026-09-13 6/300 2026-09-14 22:37 by vZfe6xYu34yj
[考研] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +5 LwdutQ8HoqWP 2026-09-13 5/250 2026-09-14 22:25 by vZfe6xYu34yj
[硕博家园] 售一区SCI文章T0P,我:8O.551.O54,科目全,可十急 +3 LwdutQ8HoqWP 2026-09-13 3/150 2026-09-14 22:24 by vZfe6xYu34yj
[博后之家] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 3n8v2C8RimXI 2026-09-13 5/250 2026-09-14 22:12 by vZfe6xYu34yj
[博后之家] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +4 QUjhNVAcOSff 2026-09-13 4/200 2026-09-14 21:37 by vZfe6xYu34yj
[考博] 售SCI文章,我:8O5.5.1.O.54,科目齐全,可+急 +5 QUjhNVAcOSff 2026-09-13 5/250 2026-09-14 21:36 by vZfe6xYu34yj
[博后之家] 售SCI一区T0P文章,我:8O.55.1.O.54,科目全,可伽急 +4 QUjhNVAcOSff 2026-09-13 5/250 2026-09-14 21:24 by vZfe6xYu34yj
[公派出国] 售SCI一区T0P文章,我:8.O55.1.O.54,科目全,可十急 +5 QUjhNVAcOSff 2026-09-13 7/350 2026-09-14 21:21 by vZfe6xYu34yj
[考博] 上海工程技术大学激光智能制造课题组招收博士研究生 +4 两三岁ss 2026-09-14 4/200 2026-09-14 20:29 by 班主任的同桌
[教师之家] 售SCI一区文章,我:8.O.55.1.O.54,科目齐全,可伽急 +3 LwdutQ8HoqWP 2026-09-13 4/200 2026-09-14 16:13 by Aj1rhIDL5ixY
[找工作] 售SCI一区T0P文章,我:8.O.55.1.O.5.4,科目全,可+急 +5 QUjhNVAcOSff 2026-09-13 6/300 2026-09-14 15:21 by Aj1rhIDL5ixY
[基金申请] 求教各位大神:2026教育部人文社科青年基金项目何时公示呀? +5 云宴山人 2026-09-10 7/350 2026-09-14 12:11 by ecnu2013
[考博] 27秋季材料博士申请求助 10+3 Cahal1 2026-09-11 4/200 2026-09-14 08:50 by 北京莱茵编辑
[教师之家] 浙江师范大学是怎么坑我的 +10 recruit123 2026-09-09 15/750 2026-09-13 10:45 by seaskyy
信息提示
请填处理意见