公理集合论什么出现的?公理集合论有哪些内容
本文已影响1.3W人
本文已影响1.3W人
公理集合论(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)原文有哪些内容?该如何理解?
赵元任有着哪些研究理论?对中国有什么影响
丹尼尔·卡内曼有着怎样的学术研究?有着哪些理论观点
经济学理论有哪些?理论经济学专业介绍
文化翻译理论 文化翻译理论有哪些
比较优势理论是什么?比较优势理论的发展
窦材有着哪些医学理论?他主张什么学说
传统古乐泉州南音简介 泉州南音的价值是什么?
温宪公主是什么出身?康熙皇帝最喜欢的女儿,在20岁不幸离
古代妃子如何红杏出墙的话 皇帝又是怎么处置的
白时的一生是什么样的?中早年经历了什么?
地府之中的十大阴帅是这些人,分别都有着什么样的职责呢
泷川一益:被严重低估得日本战国大名
战国初期,魏国为什么人才济济?
汉朝正值壮年的霍去病是怎么死的?真的是病死的吗?
古人想出家有多难呢?要走哪些程序?
《清代名人轶事》科名类·卷一中有哪些人物?
朱执信的思想观点和作品有哪些 关于他的评价及相关纪
揭秘:从哪个朝代开始中国人从此丧失了血性?
在秦可卿重病的过程中,为何一日换四五遍衣裳?
曹仁:被低估的曹魏名将,周瑜关羽之劲敌
她是朝鲜历史上著名的皇后,竟然还把寺庙改成青楼