在集合论中对无穷有不同的定义。德国数学家康托尔提出,对应于不同无穷集合的元素的个数(基数),有不同的“无穷”。

这里比较不同的无穷的“大小”的时候唯一的办法就是通过是否可以建立“一一对应关系”来判断,而抛弃了欧几里得“整体大于部分”的看法。例如整数集和自然数集由于可以建立一一对应的关系,它们就具有相同的无穷基数。

自然数集是具有最小基数的无穷集,它的基数用希伯来字母阿列夫右下角标来表示。

可以证明,任何一个集合的幂集(所有子集所形成的集合)的比原集合大,如果原来的基数是a,则幂集的基数记为 (2的a次方)。这称为康托尔定理。

对于两个无穷集合,可以以能否建立它们之间的双射,作为比较其大小的标准。

确切地讲,我们用基数的概念来描述集合,对于有限集合而言,可以认为它的基数就是元素的个数,但对无穷集而言,基数只能以下面的方式理解(当然也可以据此把无穷集合的基数说成是它元素的个数,但这个个数已经不是日常用语中的意思)。

如果集合A与集合B之间存在双射(一一对应),就认为它们的基数一样大;如果A与B的某个子集有双射,就认为A的基数不比B更大,也就是A到B有单射,B到A有满射;当A的基数不比B更大,且A、B基数不一样大时,就认为A比B基数小。

在ZFC集合论的框架下,任何集合都是良序的,从而两个集的基数总是大于、小于、等于中的一种,不会出现无法比较的情况。但若不包括选择公理,只有良序集的基数才能比较。

例如,可数集合,如自然数集,整数集乃至有理数集对应的基数被定义为“阿列夫零”。比可数集合“大”的称之为不可数集合,如实数集,其基数与自然数的幂集相同,为二的阿列夫零次方,被定义为“阿列夫壹”。

由于一个无穷集合的幂集总是具有比它本身更高的基数,所以通过构造一系列的幂集,可以证明无穷的基数的个数是无穷的。然而有趣的是,无穷基数的个数比任何基数都多,从而它是一个比任何无穷大都要大的“无穷大”,它不能对应于一个基数,否则会产生康托尔悖论的一种形式。

1.设函数f(x)在x0的某一去心邻域内有定义(或|x|大于某一正数时有定义)。如果对于任意给定的正数M(无论它多么大),总存在正数δ(或正数X),只要x适合不等式0<|x-x0|<δ(或|x|>X,即x趋于无穷),对应的函数值f(x)总满足不等式|f(x)|>M,则称函数f(x)为当x→x0(或x→∞)时的无穷大。

在自变量的同一变化过程中,无穷大与无穷小具有倒数关系,即当x→a时f(x)为无穷大,则1/f(x)为无穷小;反之,f(x)为无穷小,且f(x)在a的某一去心邻域内恒不为0时,1/f(x)才为无穷大。

相关查询: 集合论 数学家
最新查询:记载下来 Post-Grunge 一毛不拔 总面积 临床超声心动图学 离心式 口口声声 继电器 柬埔寨语 检察院 富兰克林 老醋拌海蜇头 金牌家丁 陕西省行政督察专员公署 全年雨量 针对性 穆罕默德·阿尔·沙尔霍布 月牙形 学术领域 昌黎县教育局 成反比 毛线绣 戏曲家 土木工程师 转校生 持宠生骄 应采灵 水火不容 伽利略 归心似箭 大量生产 良辰美景 孙宏安 germination r-i-lang Liebheer 克雷数学研究所 sbs卷材 去伪存真 negative 红豆肉粽 吸引住 Printing 库区乡 Urochordata 红军团 泾县琴溪镇马鞍村 biggest 赛斯书 贵港市 汉密尔顿 办公厅 卡洛斯五世皇帝头盔 瑶族饮食 青海广播电视台 论功行赏 剖腹产 stdlib.h 奥维耶多 可露莉 午夜微风 可销售 斯韦特兰娜·梅德韦杰娃 Muskrat 还本付息 官夫人 Hospitals 马豆糕 从头到尾 五氟化铌 关系法 伺机而动 独占权 他们的 王慧娴 经济人 中间型荸荠 世界银行 杏仁茶 无穷大
友情链接: 知道 电影 百科 好搜 问答 微信 值得买 巨便宜 天天特价 洛阳汽车脚垫 女装 女鞋 母婴 内衣 零食 美妆 汽车 油价 郑州 北京 上海 广州 深圳 杭州 南京 苏州 武汉 天津 重庆 成都 大连 宁波 济南 西安 石家庄 沈阳 南阳 临沂 邯郸 保定 温州 东莞 洛阳 周口 青岛 徐州 赣州 菏泽 泉州 长春 唐山 商丘 南通 盐城 驻马店 佛山 衡阳 沧州 福州 昆明 无锡 南昌 黄冈 遵义
© 2025 haodianxin 百科 豫ICP备14030218号-3 消耗时间:0.057秒 内存2.83MB