公理集合论什么出现的?公理集合论有哪些内容
本文已影响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)原文有哪些内容?该如何理解?
狄仁杰搞垮武则天的惊人手段!李唐复辟的政治高手
古代离婚制度:唐朝讲究好聚好散 离婚相当自由
强汉盛唐孰弱孰强?唐朝和汉朝其实不能相提并论
搜神记第4集剧情 香药发现有听他人心声的异能
杨贵妃当时招人恨 可后为何获得越来越多同情
为什么会发生七国之乱?探索七国之乱的起因
揭秘:李鸿章穿黄马褂炫耀海外惹出的惊天绯闻
北周北齐邙山之战 兰陵王邙山之战一战成名
《武动乾坤》林动最后和谁在一起了?
李莲英是怎么当上太监的 李莲英又是怎么从慈禧身边上
宗预是什么人?刘备提拔的大将,可以抗击徐晃
历史上孙皇后是如何上位成功的?演绎路称霸后宫最正确
《爱的二八定律》阳华和秦施加速领证是李黛的功劳?
王羲之传:书圣竟然是因为气量小被活活气死的?
洪承畴劝夏完淳投降,名震江南的夏完淳是怎么说的?