应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 基础数学 » 与集合的势有关的一个问题
111/2返回列表12下一页
查看: 1631  |  回复: 10
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

tigou

木虫 (正式写手)

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

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

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
0/0的意义是所有数的集合
1楼 2015-04-30 08:15:34
已阅   关注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 的主题更新
111/2返回列表12下一页
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[公派出国] 售SCI一区文章，我:8.O.551.O.5.4,科目全,可伽急 +3 wsYGJnURYvm6 2026-08-31 3/150 2026-09-01 01:52 by o3EMxHUAQDtS
[硕博家园] 售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急 +3 wsYGJnURYvm6 2026-08-31 3/150 2026-09-01 01:40 by o3EMxHUAQDtS
[公派出国] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 EZ67DG6CvcKL 2026-08-31 4/200 2026-09-01 01:30 by o3EMxHUAQDtS
[考研] 售SCI文章，我:8O.5.5.1O.54,科目全,可十急 +3 EZ67DG6CvcKL 2026-08-31 3/150 2026-08-31 22:12 by o3EMxHUAQDtS
[基金申请] 投票:  有多少人是今天查系统知道结果的？ +17 爱看书的可乐 2026-08-26 19/950 2026-08-31 21:30 by xiangy672
[基金申请] 哪位高人中了，把查询到的截图贴出来让我看看，让我长长见识 +6 yuleib84 2026-08-26 7/350 2026-08-31 19:46 by 鱼翔浅底1
[文学芳草园] 梦想 +5 myrtle 2026-08-26 5/250 2026-08-31 14:40 by hahaboy
[基金申请] 基金不中，共勉 +12 eulota 2026-08-26 12/600 2026-08-31 08:42 by ZJTJZ
[考博] 找导师 +6 yuanjiabao 2026-08-29 7/350 2026-08-30 14:40 by 生科新手
[基金申请] 麻烦专家们看看评委们的意见（F口面上） +6 gdd2018 2026-08-28 11/550 2026-08-30 08:58 by 超级无敌华子
[基金申请] 我就是申请一个面上项目而已，这评审意见是按照杰青的条件评的吧？ +6 gouxfjh 2026-08-28 11/550 2026-08-30 07:57 by gouxfjh
[基金申请] 国自然评审意见 +13 wangmingqi 2026-08-28 19/950 2026-08-29 10:22 by Poppy1104
[基金申请] 2026年叶企孙基金 +4 bud_bud 2026-08-27 7/350 2026-08-29 07:23 by foolishmani
[基金申请] 面上合作单位盖章 +5 ssyjh 2026-08-27 5/250 2026-08-27 20:50 by gdfollow
[基金申请] 为什么 国际(地区)合作与交流项目 没有放榜？ 10+3 majunge000 2026-08-26 11/550 2026-08-27 08:42 by 北京莱茵编辑
[基金申请] 我不理解！ +15 Edward_pc 2026-08-26 23/1150 2026-08-26 20:34 by zzuzxg
[基金申请] 为什么国自然不能直接公布 +4 bjdxyxy 2026-08-26 4/200 2026-08-26 13:12 by qingmu1201
[基金申请] 国际合作可查了，中了面上 (EPI+1)(金币+50) +18 Ldrop2023 2026-08-26 18/900 2026-08-26 11:15 by cmrandy
[基金申请] 牛来！米来！面来！ +8 beefly 2026-08-26 8/400 2026-08-26 08:37 by xuzhipiao
[基金申请] 某些机构，以效率低为荣，以效率低作为存在感 +9 yuleib84 2026-08-25 10/500 2026-08-25 17:14 by alexon
信息提示
关闭
请填处理意见
关闭