公理集合论什么出现的?公理集合论有哪些内容
本文已影响1.26W人
本文已影响1.26W人
公理集合论(axiomatic set theory)是数理逻辑的主要分支之一,是用公理化方法重建(朴素) 集合论的研究以及集合论的元数学和集合论的新的公理的研究。
19世纪70年代,德国数学家G.康托尔给出了一个比较完整的集合论,对无穷集合的序数和基数进行了研究。20世纪初,罗素悖论指出了康托尔集合论的矛盾。为了克服悖论,人们试图把集合论公理化,用公理对集合加以限制。
第一个常用的公理系统是E.F.F.策梅洛和A.A.弗伦克尔等提出的ZF系统。这个系统中只有一个非逻辑二元关系符号∈,非逻辑公理有:外延公理、空集公理、无序对公理、并集公理、幂集公理、无穷公理、分离公理模式、替换公理模式、正则公理。如果加上选择公理就构成ZFC系统。利用公理可以定义出空集、序对、关系、函数等集合,还可以给出序关系、良序关系、序数、基数,也可以给出自然数、整数、实数等概念。
通过元语言,也可公理系统中各公理之间的相容性和独立性,例如Cohen于1960年创立公理集合论中的力迫法,并用来证明ZFC与连续统假设CH独立。公理集合论发展很快,马丁公理、苏斯林假设等新公理新方法已被广泛使用,组合集合论、描述集合论、大基数、力迫法的研究也持续发展。
在公理集合论的研究中,大量的工作是关于集合论模型的,此外,还继续此前朴素集合论对无穷组合问题的研究即组合集合论的研究。其中的一些问题是来源于柯尼希树引理和 F. P.拉姆齐定理的推广。
另一分支则为描述集合论(亦称解析集合论),主要是研究划分层次以后的实数子集的结构性质问题。因而,这一部分与分析、实数理论和递归论的关系较为密切。
即使限于上述两个分支的研究,也有许多问题要用到ZF(或ZFC)以外的附加假设才能判定。这里,常用的附加假设有:可构成公理;各种大基数公理,以及与AC不协调的决定性公理等。
哥德尔在1938年提出了可构成公理,并在60年代末和70年代得到重视和发展。至于大基数的研究由来已久,但其作为附加公理亦是在60年代以后。几乎每一种大基数都是ω的某种性质向不可数基数的推广。可构成性、大基数和力迫法已成为公理化集合论的三大主流,同时它们又是三种研究工具。随着无穷博弈的诞生和博弈论在数学各分支的渗透,以及博弈论与逻辑的关系日益密切,决定性公理也愈受到重视。
熊十力有着哪些理论思想?他的主要学说是什么
高中数学公式集合
王好古的著作有哪些?都分别阐述了什么理论
普朗克因发现量子理论而获诺贝尔物理奖
丹尼尔·卡内曼研究了哪些领域?有着怎样的理论知识
比较优势理论是什么?比较优势理论的发展
丹尼尔·卡内曼有着怎样的学术研究?有着哪些理论观点
神灭论之争具体内容介绍,神灭论与神不灭论
李靖丰富了中国的军事思想,他提出哪些理论?
广义相对论的量子理论是什么 当前的进展如何
宋明理学简介 是儒、释、道三教长期争论和融合的果实
公理的公理集合论
徐旭生有着哪些著作理论?参与了哪些历史发掘
《长歌行》基于前八集的内容来论,还不足以套住观众
文化翻译理论 文化翻译理论有哪些
《人民检察官》第28集 论法理陈晨轻判杀父案
墨子·48章 公孟(3)原文有哪些内容?该如何理解?
刘完素有着哪些著作理论?对哪些病症有独到的见解
窦材有着哪些医学理论?他主张什么学说
经济学理论有哪些?理论经济学专业介绍
翻译理论有哪些
赵元任有着哪些研究理论?对中国有什么影响
朱震亨有过哪些医学著作?分别阐述了什么理论
黄肠题凑到底是什么 它的出现为何会成为盗墓贼的噩梦
朱琏:宋钦宗赵桓的皇后,为了捍卫尊严宁死不屈
红楼梦中贾敬是什么身份?他是个什么样的人?
姜子牙的黑历史:姜子牙杀掉天下知名的隐士
揭秘:古代第二战场,诸侯们的无间道?
以孝闻名的孔融,为何会被曹操以不孝满门抄斩?
三国第一猛将吕布:死得窝囊竟是因为貂蝉?
关羽会发动樊城之战真的是因为刘备的暗示吗?真相是什么
《嘲桃》的原文是什么?该如何理解呢?
儒家为何主张“刑不上大夫”?为什么要区别对
阴丽华一生有几个儿女?分别叫什么名字?
吕雉为何灭了娘家香火,断了自己血脉?
史上的纪晓岚:身材魁梧粗壮 每天吃肉数十斤
成语“后来居上”出自哪里?其中又有哪些典故
庞涓毙命的真正原因:庞涓并非死于围魏救赵之计