康托尔是德国一名伟大的数学家,康托尔创立了集合论。下面是我带来的关于康托尔的集合论论文的内容,欢迎阅读参考!
康托尔的集合论论文篇1:《基于集合论思想的人性》
摘要:作为人类,我们有必要去了解自己,这样才能更加地进步。人性是从根本上决定并解释着人类行为的那些人类天性。本文利用集合论的思想对此进行了一些讨论。
关键词:人性;理性;社会性;自然性;集合论思想
一、引言
在长期以来的生活中,人类的大脑会在无意识的作用下储存某些事物的信息,由于并没有通过大脑严谨的思考,所以这些信息大部分是外在的,只是事物表面的一些形态特征而已。这些信息并非零散的分布,之间没有联系。而是之间存在着一定的关联,虽然结构不严谨,可能其中会有错误。但是有时候却可以起到一定的作用。但是我们不能仅依靠这样的意识形态,因为我们有自我意识,需要不断完善,不断进步。依靠这样的意识是不可能看到事物的本质的。
有时候你问某个人为什么,他可能会答道:“凭直觉”。我并不否认直觉所带来的“便利”,但这种“便利”是给自己不去思考事物本质的借口。直觉也是一种意识形态,但是这种意识是在潜意识之下的,这样意识的形成也是要通过长时间的作用。大脑可以自己不断地调整,不断地完善,但是这个过程相当缓慢。要进步可不能依靠这样的思想。
现在我想说的是,我们必须减少对这些意识的依赖。因为这些意识都不是通过严谨的思考之后得到的产物,所以用这样的意识去做出一些反应是很容易出错的。这也会阻碍我们对真实世界的探索。我们应该挖掘出这样的意识,分析其中的思想结构,将不好的思想去掉,并且把有缺陷的思想不断加强和完善。这样一来,我们就会更加理性。人就具有这样的性质——理性。因此人类才能进步,文明才能发展。
二、理论分析
假设A={a1,a2,…,an},B={b1,b2,…,bm}。若A?奂B,则说明A中的n个元素均可以在B中找到,且m>n。反之,说明中的个元素均可以在A中找到,且n>m。若A=B,则说明中的所有元素与B中的所有元素相同,且n=m。如果某一个元素可以在集合A中找到,那么记作a∈A。
结合以上思想,对人与动物进行分析,动物={青蛙,鱼,狗,猫,人,……},可以看出人是属于动物的,即人动物。并且将这样的集合叫做普通集合,以区分下面所叙述的性质集合。既然青蛙,鱼,狗,猫,人等都属于动物,那么也就是说它们具有共同的性质,比如:没有细胞壁,必须利用现成的有机物获得能量,无叶绿体,能自由移动等。但是人除了这些共同性质之外,还有其他的性质。也就是说,从性质集合上看,动物的性质集合包含于人的性质集合中的。即动物的所有性质,人类均有。我们将性质集合中的元素命名为“属差”,而将普通集合命名为“种”,普通集合中的元素命名为“属”。
如果B的性质集合包含于A的性质集合,那么A和B就具有相同的属差,并且B的所有属差均是A中的属差。属差越多,则性质集合的表述范围就越小,即越受限制。那么B显然比A的表述范围大。说明B可以述说A,即A是B,其中A就是主词,而B就是宾词,则B的所有属差是A的属差。
那么按照上面所说,动物可以表述人,即人是动物。“人”的属差比“动物”的要多,也就是限制的条件要多一些。
有些存在于主体中的事物,其定义是不能用来表述一个主体的。例如:对于白人来说,“白”就依存于身体这个主体,并被用来表述身体这个主体,也就是说身体可以被说成是白的,但是要注意,“白”的定义却不能被用来表述身体。
属和种的属差都可适用于第一实体,种的属差适用于属,所以属和种决定了实体的性质。例如:“人”和“动物”的属差都可适用于个别的人,可以说人是动物,个别的人是人,个别的人是动物。也可以这样想:对“动物”的定义肯定也适用于对“人”的定义,因为“人”是属于“动物”的。所谓的“第一实体”,比如“个别的人”、“个别的老虎”等,是真实存在的个体,并不依存于其他个体。[1]
属差的定义也能适用于属和个体,并且还可以用来表述属和个体。例如:“有脚的”、“有手的”的定义也可以适用于“人”和个别的人。并且还可以说“人”和个别的人是“有手的”。既然属差的定义可以适用于个体,那么属差也就可以决定了个体的性质。而且这些性质都可以用属差表述其个体。
分析到这里,我们应该感觉到有点思路了。也就是我们现在要找到这样的属差,然后根据这些属差的定义来表述个体。
但是还有一个前提,那就是个别的人是不是实体呢?因为刚才我们得到一个结论:属和种决定了实体的性质。也就是这些分析都是以实体作为前提的。所以我们要知道个别的人是不是实体。其实我们从实体最原始,最根本的定义出发,个别的人的确属于实体,因为是真实存在的,并且不依存于其他主体。
三、结果分析
1.人具有理性:有一篇关于鱼“自杀”的报道。我就在想鱼如何“自杀”的呢?自杀就说明鱼有自我意识,能够自己选择死亡。但科学上表明自然界(这里并不指整个宇宙)中除人类外,其他动物都只有直接意识,而没有自我意识。难道科学不客观?其实并非这样,只不过是媒体的故意渲染而已。鱼只是因为环境的改变而做出本能的反应,这样的本能就是直接意识,鱼并没有思考这样做会不会导致死亡,只是出于本能。那么人与其他动物相比,不同之处就在于人有理性。
比如一只老虎饿了,看到食物就会扑上去吃。但是人饿了却不会看到食物就扑上去,而要想想这能不能吃。这就是与其他动物的不同之处。也就是说“理性”是“人”的一个属差。
2.人具有社会性:人处在社会之中,与其他个体之间进行沟通,交流信息。进行物质的分享、分割和交换。社会是互动的,不可能是个别的个体所支撑。也就说明我们身处社会,只有聚集起来才能共同完成分享、分割和交换。有人说自己很孤独,其实这并不是真正的孤独,也不可能存在真正的孤独。因为人不可能摆脱社会性而存在。可能有人会对刚才我说的“不会有真正的孤独”有意见,他们会说:“既然没有孤独,那么创造这个词不就没意义吗?”孤独只不过是人们的感受,感受并不能反应事物的真实规律。所以我在之前也说过,我们必须放弃一些错误的思想。这样才不会被感觉和表面现象所蒙蔽。
在人类社会这个庞大的群体性活动中,无论是什么简单的活动,都不可避免要与其他个体进行信息传达。这样人类才能发展和繁衍下去。这样说来,动物也应当存在社会性。这显然是肯定的。一些动物也是具有这样的性质的,例如:蚂蚁,蜜蜂等。可见“社会性”也是“人”的一个属差。
3.人具有自然性:人类是自然界中的一员,就不可能不具有自然性。人类的组织结构、生理结构和自然界交往过程所产生的一些基本特征都表现出人的自然性。人类不可能脱离自然性而独立存在。而其他生物也一样具有这样的性质。所以“自然性”也是“人”的一个属差。
四、结束语
我们作为人类,有必要去了解自己,这样才能更加地进步。通过集合论的思想来分析人性,是本文的亮点。除了三个性质外,还存在着其他的性质。在这里由于自己的智慧有限,没有给出更多的性质,但是本文重点是在于提供一个可行的分析 方法 。通过数学的逻辑,会使得分析变得更加严谨和系统化。这是本文做出的大胆尝试。
参考文献:
[1]亚里士多德.亚里士多德全集(第一卷)[M].苗力田,译.北京:中国人民大学出版社,1990.
康托尔的集合论论文篇2:《集合论与第三次数学危机》
数学的产生和发展,始终与人类社会的生产和生活有着密不可分的联系。在新教材中,任何一个新概念的引入,都特别强调它的现实背景、数学理论发展背景或数学发展的历史背景,只有这样才能让学生感到知识发展水到渠成。所以特别希望在教学中能不时渗透数学史的相关知识,充分发挥和利用数学史的 教育 价值,使学生通过了解数学史,而更加全面更加深刻地理解数学、感悟数学。
一、集合论的诞生
一般认为,集合论诞生于1873年底。1873年11月29日,康托尔(G.Gsntor,1845-1918)在给戴德金(Julius Wilhelm Richard Dedekind,1831—1916)的信中提问“正整数集合与实数集合之间能否一一对应起来?”这是一个导致集合论产生的大问题。几天后,康托尔用反证法证明了此问题的否定性结果,“实数是不可数集”,并将这一结果以标题为《关于全体实代数数集合的一个性质》的论文发表在德国《克莱尔数学杂志》上,这是“关于无穷集合论的第一篇革命性论文”,在其系列论文中,他首次定义了集合、无穷集合、导集、序数、集合运算等,康托尔的这篇 文章 标志着集合论的诞生。
二、集合论成为现代数学大厦的基础
康托尔的集合论是数学史上最具革命性和创造性的理论,他处理了数学上最棘手的对象——无穷集合,让无数因“无穷”而困扰许久的数学家们在这种神奇的数学世界找回了自己的精神家园。它的概念和方法渗透到了代数、拓扑和分析等许多数学分支,甚至渗透到物理学等其他自然学科,为这些学科提供了奠基的方法。几乎可以说,没有集合论的观点,很难对现代数学获得一个深刻的理解。
集合论诞生的前后20年里,经历千辛万苦,但最终获得了世界的承认,到了20世纪初,集合论已经得到数学家们的普遍赞同,大家一致认为,一切数学成果都可以建立在集合论的基础之上了,简言之,借助集合论的概念,便可以建立起整个数学大厦,就连集合论诞生之初强烈反对的著名数学家庞加莱(Jules Henri Poincaré,1854-1912)也兴高采烈地在1900年的第二次国际数学家大会上宣布:“借助集合论概念,我们可以建造整个数学大厦。今天,我们可以说绝对的严格性已经达到了。”然而,好景不长,一个震惊数学界的消息传出,集合论是有漏洞的!如果是这样,则意味着数学大厦的基础出现了漏洞,对数学界来说,这将是多么可怕啊!
三、罗素(Bertrand Russell,1872-1970)悖论导致第三次数学危机
1903年,英国数学家罗素在《数学原理》一书上给出一个悖论,很清楚地表现出集合论的矛盾,从而动摇了整个数学的基础,导致了数学危机的产生,史称“第三次数学危机”。
罗素构造了一个所有不属于自身(即不包含自身作为元素)的集合R,现在问R是否属于R?如果R属于R,则R满足R的定义,因此R不属于自身,即R不属于R。另一方面,如果R不属于R,则R不满足R的定义,因此R应属于自身,即R属于R,这样,不论任何情况都存在矛盾,这就是有名的罗素悖论(也称理发师悖论)。
罗素悖论不仅动摇了整个数学大厦的基础,也波及到了逻辑领域,德国的著名逻辑学家弗里兹在他的关于集合的基础理论完稿而即将付印时,收到了罗素关于这一悖论的信,他立刻发现,自己忙了很久得出的一系列结果却被这条悖论搅得一团糟,他只能在自己著作的末尾写道:“一个科学家所碰到的最倒霉的事,莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了。”这样,罗素悖论就影响到了一向被认为极为严谨的两门学科——数学和逻辑学。
四、消除悖论,化解危机
罗素悖论的存在,明确地表示集合论的某些地方是有毛病的,由于20世纪的数学是建立在集合论上的,因此,许多数学家开始致力于消除矛盾,化解危机。数学家纷纷提出自己的解决方案,希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。
在20世纪初,大概有两种方法。一种是1908年由数学家策梅洛(Zermelo,Ernst Friedrich Ferdinand,1871~1953)提出的公理化集合论,把原来直观的集合概念建立在严格的公理基础上,对集合加以充分的限制以消除所知道的矛盾,从而避免悖论的出现,这就是集合论发展的第二阶段:公理化集合。
解铃还须系铃人,在此之前,危机的制造者罗素在他的著作中提出了层次的理论以解决这个矛盾,又称分支类型化。不过这个层次理论十分复杂,而策梅洛则把这个方法加以简化,提出了“决定性公理(外延公理)、初等集合公理、分离公理组、幂集合公理、并集合公理、选择公理和无穷公理”,通过引进这七条公理限制排除了一些不适当的集合,从而消除了罗素悖论产生的条件。后来,策梅洛的公理系统又经其他人,特别是弗兰克尔(A.A.Fraenkel)和斯科伦(T.Skolem)的修正和补充,成为现代标准的“策梅洛——弗兰克尔公理系统(简称ZF系统)”,这样,数学又回到严谨和无矛盾的领域,而且更促使一门新的数学分支——《基础数学》迅速发展。
五、危机的启示
从康托尔集合论的提出至今,时间已经过去了一百多年,数学又发生了巨大的变化,而这一切都与康托尔的开拓性工作密不可分,也和数学家们的艰辛努力密不可分。从危机的产生到解决,我们可以看到,数学的发展跟提出问题和面对困难是离不开的,期间要经历无数的挫折和失败,但是只要坚持,终会走向成功。
矛盾的消除,危机的化解,往往给数学带来新的内容,新的变化,甚至革命性的变革,这也反映出矛盾斗争是事物发展的历史性动力的基本原理。正如数学家克莱因(FelixChristianKlein1849-1925)在《数学——确定性丧失》中说:“与未来的数学相关的不确定性和可疑,将取代过去的确定性和自满,虽然这次悖论已经找到解释,危机也已化解,但是更多的还是未知,因为只要仔细分析,矛盾又将会被认识更为深刻的研究者发现,这种发现不应该被认为是‘危机’,而应该感到,下一个突破的机会来到了。”
参考文献:
1.《普通高中课程标准实验教科书——数学必修1》教师教学用,人民教育出版社
2.胡作玄,《第三次数学危机》
康托尔的集合论论文篇3:《模糊集合论视角下的隐喻》
【摘 要】本文从模糊集合论的角度出发,研究隐喻解读过程中的逻辑真值问题,揭示出隐喻的模糊性是固有的,客观的,对人类认识世界以及进行文学创作具有重要作用。
【关键词】模糊集合论;隐喻;文学创作
模糊性是自然语言的本质特征之一,客观事物自身范畴的模糊性、人类认知的局限性以及不同的话语语境均会导致模糊语言的形成。模糊集合论从诞生伊始,便开始了与诸多学科的交叉研究,与语言学的结合使得我们在语义研究方面有了新的视角。隐喻作为一种特殊的语义现象,其解读过程显现出模糊语言的特点。隐喻的模糊性反映出人类的潜逻辑规律,是客观的,隐性的,它不仅是人类心理范畴化的结果,也是人类模糊思维的产物,所以模糊集合论为我们研究解析隐喻开辟了新的窗口[1]。
1965年,美国控制论专家札德受语言模糊性的启发在《信息与控制》杂志上发表了论文《模糊集合》,最早提出了“模糊集合论”的概念。传统的集合论强调,任何一个集合的成员要么属于它(隶属度为1),要么不属于它(隶属度为0),只有两种真值情况[2]。但是如果对自然界中的诸多对象进行分类,我们经常会找不到能够精确判定其身份的依据。所以, 札德在论文《模糊集合》中对模糊集的定义为: 设X是由点构成的一个区间, 区间内的类属性元素用x表示, 即X ={x}。在区间X中,模糊集A由具有构成该集合元素属性的隶属函数fA(x)表示。该函数与区间[ 0, 1 ]内的任一实数相关联,此对应值表示x所具有的构成A的资格程度。如果区间内设置两个临界点, 即0 <β <α < 1, 那么我们就会获得一种三值逻辑: 如果fA(x) ≥α, 则x属于A;如果fA(x) ≤β, 则x不属于A; 如果隶属函数fA(x) 所表示的值位于α和β之间,则x具有一种相对于A的中间状态。模糊集合论之所以适用于语言研究,是因为语言范畴实际上就是某一个论域中的模糊集合。某一范畴中所有成员共有的典型属性构成此范畴的核心部分,它相当于集合的定义,这部分是明确的,清晰的;相比较而言,范畴的边缘却是模糊的,很难对其进行明确地界定,此部分相当于集合的外延,也就是构成该集合的所有元素。传统集合论实际上是二值逻辑,一个命题,即一个表达明确意义的陈述句,其真值只能是真(记作“1”),或者是假(记作“0”),没有第三种可能性。例如“汤姆是名学生”这个命题,只允许取值“1”或“0”。但是,如果我们将这个 句子 中的“学生”加个修饰词,变成“好学生”,问题就出现了。因为“好”是个模糊概念,其内涵容易辨认,外延却不明确。对于这样的命题,如果用传统的集合论就很难判断其真值。基于二值逻辑的缺陷,札德提出了“隶属度”的概念。即对于像“好”、“坏”这样的模糊概念的集合,规定其成员对该集合的隶属程度,可以取闭区间[0,1]内的任何实数值。模糊逻辑本质上是一种多值逻辑,这使得模糊集合论在研究隐喻时具有特别重要的价值。
模糊集合论为隐喻真值的合法性提供了依据。隐喻的理解有赖于对两组不同范畴的特征的识别,如果我们要把“A is B”视为隐喻,而非字面意思,那我们就需要确定A和B的所指。句法,语义以及语境都可以帮助我们确定其含义,但是最终还是意义的解读决定对相似属性和不同属性筛选的结果 [3]。要想理解隐喻所指双方语义属性的比较过程,我们可以求助于模糊集合论的概念。通过模糊不同集合的界限,隐喻所指某一集合的属性可以部分的与其他集合的属性相结合,进而克服精确定义所带来的阻碍。从语言的表层结构来看, 隐喻的本体集合与喻体集合是不相容的。如果我们运用模糊逻辑的开放性原理, 就可以对这两个不同集合中的属性进行对比区分, 找到相互类似的属性以及不具有可比性的属性。
以莎士比亚名句“Juliet is the sun.”(朱丽叶是太阳)为例: “太阳”是无生命语义标记的子集, “朱丽叶”是有生命语义标记的子集。由于这个隐喻指出了太阳对于人类的重要性与朱丽叶对于罗密欧的重要性之间的相似性,相关元素属性的隶属函数是一个小于1的值,使得此隐喻带有较强的启示力和暗示性。一般来讲,根据逻辑真值,可以把隐喻分为epiphor(表征性隐喻)与diaphor(暗示性隐喻)。威尔赖特( P. Wheelwright)在1962年出版的《隐喻和现实》(Metaphor and reality)中指出epiphor 的基本功能在于表达(express), 而diaphor的主要作用是暗示(suggest) [4]。隐喻所指的并置会引起语义集合的矛盾,所以有些学者把隐喻视为不合语法逻辑的实体。但是如果我们通过模糊集合论中三值逻辑来解读隐喻,我们就可以证明它的用法是正当的,合法的。根据扎德的标准, 0 <β <α < 1, 一种三值逻辑的可能性是成立的。如果我们再加入一个中间值γ,区间将变为0 <β <γ<α < 1, 这样三值逻辑就可以扩充为四值逻辑, 其真值分别为: Truth( fA (x) ≥α) 、Falsity( fA (x) ≤β) 、Diaphor (β < fA (x) <γ) 以及Epiphor (γ≤fA (x) <α) 。如果α的值趋近于1而β的值趋近于0, 并且中间区间的集合不包含任何 其它 元素, 那么这就是一个传统的二值逻辑。如果隶属函数值介于β到γ的区间,就会产生暗示性隐喻;如果隶属函数值介于γ到α的区间,就会产生表征性隐喻。隶属函数会发生变化,因为很多隐喻由于不断的重复使用,固定了所指之间的关系,暗示性隐喻也就会变成表征性隐喻,如果太过普遍,则会变成死隐喻。由此可见,模糊集合论很好的解释了隐喻解读过程中本体集合与喻体集合的冲突,使得双方在合理的范围内找到交集,而这个交集内的元素属性很可能不是唯一的,这就造成了隐喻解读的多样性与模糊性[5]。
隐喻的本质是模糊了本体集合和喻体集合之间的界限,从而来寻找两个集合的契合点。由于模糊集合论设定了三个区间边界α、β和γ, 并且0 <β <γ <α < 1,这种四值逻辑不仅有助于消除隐喻所指不同集合之间所存在的矛盾,而且揭示出隐喻的模糊性实际是固有的,客观存在的。隐喻的模糊性主要是指其解读对语境的依赖性。无论从隐喻的编码,还是解码过程来看,不同的人,不同的时期,不同的场合,同一隐喻可以被赋予不同的含义。正是隐喻的这种模糊性开启了人类的想象空间,文学作品中好的隐喻总是余音绕梁,让人回味无穷。我们的生活离不开隐喻,而在隐喻所创造的模糊世界里,我们非但没有因为模糊而影响生活,反而借用隐喻的模糊性我们能够更好地认识世界,改造世界。
【参考文献】
[1]Earl R. MacCORMAC, METAPHORS AND FUZZY SET[J].Fuzzy sets and systems. 1982(7).
[2]L.A.Zadeh.Fuzzy Set. Information and Control.1965(8).
[3]安军.隐喻的逻辑特征[J].哲学研究,2007(2).
[4]苏联波.隐喻的模糊化认知机制研究[J].成都大学学报(社科版),2011(5).
[5]束定芳.论隐喻的基本类型及句法和语义特征[J].外国语,2000(1).
猜你喜欢:
1. 高中数学论文题目大全
2. 关于数学文化的论文范文
3. 数学与哲学的论文
4. 人工智能逻辑推理论文
5. 数学学术论文范文大全
6. 数学论文离散数学
通常情况下 用带或不带下标的大写英文字母表示集合: A,B, C, · · · , A1,B1, C1, · · · 用带或不带下标的小写英文字母表示元素: a, b, c, · · · , a1, b1, c1, · · ·
若 a 是集合 A 中的元素,则称 a属于A,记为 a ∈ A 若 a 不是集合 A 中的元素,则称 a不属于A,记为 a ∈/ A
列出集合中的全部元素或者仅列出一部分元素,其余用省略号 (· · ·) 表示。
通过刻画集合中元素所具备的某种性质或特性来表示一个集合。 P = {x|P(x)}
文氏图是利用平面上的点来做成对集合的图解方法。一般使用平面上的方形或圆 形表示一个集合,而使用平面上的一个小圆点来表示集合的元素。
集合 A 中的元素个数称为集合的基数(base number),记为 |A| 若一个集合的基数是有限的,称该集合为有限集(finite set) 若一个集合的基数是无限的,称该集合为无限集(infinite set)
不含任何元素的集合叫做空集(empty set),记作 ∅. 空集可以符号化为 ∅ = {x|x ̸= x}. 空集是绝对唯一的。
针对一个具体范围,我们考虑的 所有对象的集合叫做全集(universal set) ,记作 U 或 E.在文氏图一般使用方形表示全集。 全集是相对唯一的
集合中的元素是无序的 。{1, 2, 3, 4} 与 {2, 3, 1, 4} 相同。 集合中的元素是不同的 。{1, 2, 2, 3, 4, 3, 4, 2} 与 {1, 2, 3, 4} 相同。
外延性原理 两个集合 A 和 B 相等,当且仅当它们的元素完全相同,记为 A = B, 否则 A 和 B不相等,记为A ̸= B.
设 A,B 是任意两个集合,
由子集定义可有 ∅ ⊆ A A ⊆ A
设 A, B 为任意两个集合,则 A = B ⇔ A ⊆ B 并且 B ⊆ A
子集个数 真子集个数
设 A 为任意集合,把 A 的所有不同子集构成的集合叫做 A 的幂集(power set), 记作 P(A),即,P(A) = {x|x ⊆ A}
设 A, B 是两个集合,则集合 A 与 B 的并集定义为: A ∪ B = {x|x ∈ A 或 x ∈ B}
设 A, B 是两个集合,则集合 A 与 B 的交集定义为: A ∩ B = {x|x ∈ A 并且 x ∈ B}
设 U 是全集,则集合 A 的补集定义为: A = {x|x ∈/ A}
设 A, B 是两个集合,则集合 A 与 B 的差集定义为: A − B = {x|x ∈ A 并且 x ∈/ B}
设 A, B 是两个集合,则集合 A 与 B 的对称差集定义为: A ⊕ B = {x|(x ∈ A 并且 x ∈/ B)或者(x ∈/A 并且 x ∈ B)}
对于两个有限集合而言,比较二者的大小只需要看集合的基数,但对于无限集合 却没有这么简单。如何比较无限集合的“大小”呢?这里需要采用一种通过判断 两个无限集合之间是否存在一种一一对应的关系来解决这个问题。
从有限到无限,不仅仅是简单数量上的变化 (量变),而引起了本质的改变 (质变)。
搜集是英文的collection,它指的是一个笼统的集合,是一个笼统的collection,比如:集合S中的若干个子集的集合,就是一个搜集,也就是常说的S上的子集族或S上的集合族,当然这本身也是个集合。
主要是对概念理解不深刻。
可数集也称至多可列集,包括两种集合,即有限集和可列集(可列集就是与自然数集等势的集合)
所以第一个问题显然了。
第二个问题问得就不对了,你说的“B是可数集”这里吧可数集和可列集等同了。“A和B的笛卡尔积集是无限集”,这里无限集也是不正确的,无限集分为可数无限集和不可数无限集,“无限”只是相对“有限”而言,可数集不一定是无限集,但是可数集中的可列集是无限集,不可数集一定是无限集。
设A是有限集,B是可数集,那么A和B的笛卡尔积集有以下几种情况:
1、如果B是可数集里的有限集,那么A和B的笛卡尔积集还是有限集,且有|A×B|=|A|×|B|,|*|表示集合的势(基数)
2、如果B是可数集里的可列集,那么A和B的笛卡尔积集是可列集,且有|A×B|=|B|=|N|=Aleph0(阿列夫零,希伯来文),此时说A和B的笛卡尔积集是无限集是正确的。
全体聪明的人,可以构成集合
当然,如果较真聪明如何界定的标准,那就没办法构成集合了。
某教室的桌椅,不能构成集合,因为桌子和椅子不是同一种事物。
有限集的全体,可以构成集合。