文章
评论
关注
粉丝
私信列表所有往来私信
财富管理余额、积分管理
任务中心每日任务
小黑屋关进小黑屋的人
我的设置编辑个人资料
进入后台管理
Étudiante en mathématiques, féministe.
概览
发布的
订单
邀请码
收藏
设置
啊这，那知乎是可以找到的，外网就更不用说了。集合的大小（即cardinality）这种概念几乎可以在任何涉及集合论的书中看到，而ordinal也是经典（但稍微深入）的集合论内容。
我所知道的aleph 0是指自然数的cardinality，不知这里给出的只是记号上的不同？ 另外，任何有限维的Euclid空间，（以下，因为反斜杠打不出来所以用/代替）以及无穷维空间/mathbb{R}^/mathbb{N}的cardinality均是2^{/aleph_0}(=/aleph)（它与/aleph_1没有关系，后者是指大于/aleph_0的最小cardinality，可以说极其难描述，这里又涉及到连续统假设，但这个假设在ZFC公理体系无法证明）。 此外，不太清楚这里指的/omega是什么。。。我在集合论中只见过/omega作为ordinal出现过，而它在von Neumann ordinal的定义下就是指自然数集/mathbb{N}（含0），也许这里指的是/Omega? 但楼主（我猜应该这么叫把）说的“不可描述”又是指什么呢。。。是指选择公理那一套吗。。。 但是最后一句话我是真看不懂，绝对的无穷到底是啥东西，走出集合了开始考虑更大的东西了（众所周知根据Russell悖论之类“绝对”“最大”这样的词不会轻易出现在集合论中）？还是说走出数学开始哲学了？
刚才才看到楼主写道后面部分是属于翻译与解读，那我猜大概上面说的这些是楼主的一部分的理解错误？
呃呃想不到竟然在百合网站打了这么多数学相关的字。。。（爬走）
嗷可以显示，backslash不行。。。
一点点typo: Hausdorff, Banach.
另外悄咪咪打个广告，对数学有兴趣的同学们可以来香蕉空间(https://www.bananaspace.org/)玩～（slash显示不出来不过应该没关系）
上下积分可以用overline{}和underline{}
震惊，这里可以搞数学吗（ 那我是不是可以接着写个Lebesgue积分的note（雾）
今日签到
连续签到
之前
未认证
啊这，那知乎是可以找到的，外网就更不用说了。集合的大小（即cardinality）这种概念几乎可以在任何涉及集合论的书中看到，而ordinal也是经典（但稍微深入）的集合论内容。
我所知道的aleph 0是指自然数的cardinality，不知这里给出的只是记号上的不同？
另外，任何有限维的Euclid空间，（以下，因为反斜杠打不出来所以用/代替）以及无穷维空间/mathbb{R}^/mathbb{N}的cardinality均是2^{/aleph_0}(=/aleph)（它与/aleph_1没有关系，后者是指大于/aleph_0的最小cardinality，可以说极其难描述，这里又涉及到连续统假设，但这个假设在ZFC公理体系无法证明）。
此外，不太清楚这里指的/omega是什么。。。我在集合论中只见过/omega作为ordinal出现过，而它在von Neumann ordinal的定义下就是指自然数集/mathbb{N}（含0），也许这里指的是/Omega?
但楼主（我猜应该这么叫把）说的“不可描述”又是指什么呢。。。是指选择公理那一套吗。。。
但是最后一句话我是真看不懂，绝对的无穷到底是啥东西，走出集合了开始考虑更大的东西了（众所周知根据Russell悖论之类“绝对”“最大”这样的词不会轻易出现在集合论中）？还是说走出数学开始哲学了？
刚才才看到楼主写道后面部分是属于翻译与解读，那我猜大概上面说的这些是楼主的一部分的理解错误？
呃呃想不到竟然在百合网站打了这么多数学相关的字。。。（爬走）
嗷可以显示，backslash不行。。。
一点点typo: Hausdorff, Banach.
另外悄咪咪打个广告，对数学有兴趣的同学们可以来香蕉空间(https://www.bananaspace.org/)玩～（slash显示不出来不过应该没关系）
上下积分可以用overline{}和underline{}
震惊，这里可以搞数学吗（
那我是不是可以接着写个Lebesgue积分的note（雾）