势 (数学)

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

势 (数学)

势 (数学) 势，也称浓度（）在数学里是指如果存在着从集合A到集合B的双射，那么集合A与集合B等势，记为A~B。一个有限集的元素个数是一个自然数，势标志着该集合的大小。对于有限集，势为其元素的数量。比较无穷集里元素的多寡之方法，可在集合论里用集合的等势和某集合的势比另一个集合大这两个概念来达到目的。集合比较. 设formula_1和formula_2为集合。称它们等势，指的是存在"formula_1"到"formula_2"一个双射formula_5，即"formula_1"中的元素可以与"formula_2"中的元素一一对应起来。例子：集合formula_8与formula_9苹果,马,园丁formula_10等势，这是因为「formula_11苹果, formula_12马, formula_13园丁」是两个集合之间的一一对应。不过在这个例子中, 不用等势的概念也知道它们的元素不多不少, 是3个。对于无穷集可举一个例子如下：正偶数集合formula_14和自然数集合formula_15等势，这是因为由公式formula_16所决定的函数formula_17是一个由formula_18到formula_19的双射。等势的概念只能说明两个（有限或无限）集合的元素是否「一样多」的问题。那么以下说明集合"formula_1"的元素是否比集合"formula_2"「多」的问题。称「集合"formula_1"的势"不小于"集合"formula_2"的势」，若存在一个由"formula_2"到"formula_1"的单射。称「集合"formula_1"的势"大于"集合"formula_2"的势」，若"formula_1"的势不小于"formula_2"的势，但"formula_1"和"formula_2"不等势。也就是说，存在一由"formula_2"到"formula_1"的单射，但它们之间不存在一一对应。例如，实数集合formula_34的势严格大于自然数集合formula_18的势，因为内含映射formula_36是单射的，且可证明不存在一由formula_18到formula_34的双射函数。可数与不可数集合. 假设选择公理成立，三分法就会成立于所有的势中，所以可以有以下的定义。基数. 注意，到目前为止，我们只是从函数的角度去定义势的概念：我们没有把一个集合的势真正地定义为一具体的对象。以下将略述此一处理方法。等势可被视为在所有集合的类上的等价关系。一集合"formula_1"在此关系下的等价类包含所有和"formula_1"等势的集合。然后，接下来可以有两种定义「一集合的势」的处理方式。但这样得出的等价类事实上是真类而不是集合，因此一般不采用这种定义。最一般的选择是冯·诺伊曼基数指派。它通常被取为公理集合论中基数的定义。集合formula_42的势通常标记为formula_43。其幂集的势则通常标记为formula_44。假定选择公理，无限集合的势可标记为 formula_45（对每一个序数formula_46，formula_47是第一个大于formula_48的势）。自然数集的势标记为formula_49，而实数集的势则被标记为formula_50。可以证明formula_51。（请看对角论证法）。连续统假设断言不存在介于实数集的势和自然数集的势之间的基数，亦即formula_52。例子和其他性质. 证明：假设存在此一集合formula_56。然后设formula_57为formula_56的幂集，formula_73，然而formula_74（请看康托尔定理），导出矛盾。

陈景容

中国人民解放军海军

深圳证券交易所

二阶堂进

大嘴乌鸦

马坝人遗址

王世杰 (1891年)

杜尚别

南京大学物理学院

锺云号驱逐舰

汉江 (韩国)

雷内·马格利特