首页 >
模型论
✍ dations ◷ 2025-04-26 13:56:53 #模型论
模型论(英语:Model theory)一般是指数学中集合论的论述角度对数学概念表现(representation)的研究,或者说是对于作为数学系统基础的“模型”的研究。粗略地说,该学科假定有一些既存的数学“对象”,然后研究:当这些对象之间的一些运算或者一些关系乃至一组公理被给定时,可以相应证明出什么,以及如何证明。比如实数理论中一个模型论概念的例子是:我们从一个任意集合开始,作为集合元素的每个个体都是一个实数,其间有一些关系和(或)函数,例如{ ×, +, −, ., 0, 1 }。若我们在该语言中问"∃ y (y × y = 1 + 1)"这样一个问题,显然该陈述对实数而言成立 - 确实存在这样的一个实数y,即所谓2的平方根;对于有理数,该陈述却并不成立。一个类似的命题,"∃ y (y × y = 0 − 1)",在实数中不成立,却在复数中成立,因为i × i = 0 − 1。模型论研究什么是在给定的数学系统中可证的,以及这些系统相互间的关系。它特别注重研究当我们试图通过加入新公理和新语言构造时会发生什么。现在模型论(及其方法)已经广泛地应用于其它数学分支甚至理论计算机与工程计算中。例如Hrushovski用模型论方法证明了代数几何中的Mordell-Lang猜想。结构被形式的定义于某个语言L的上下文中,它由常量符号的集合,关系符号的集合,和函数符号的集合组成。在语言L上的结构,或L-结构,由如下东西组成:函数或关系的价有时也叫做元数(术语"一元"、"二元"和"n-元"中的那个元)。在语言L中的理论,或L-理论,被定义为L中的句子的集合。如果句子的集合闭合于通常的推理规则之下,则被称为闭合理论。例如,在某个特定L-结构下为真的所有句子的集合是一个闭合L-理论。L-理论T的模型由在其中T的所有句子都为真的一个L-结构组出,它通常用T-模式的方式定义。理论被称为可满足的,如果它有模型。例如,偏序的语言有一个二元关系≥。因而偏序的语言的结构就是带有≥所指示的二元关系的一个集合,它是偏序的理论的模型,如果此外它还满足偏序的公理。哥德尔完备性定理表明理论有一个模型当且仅当它是一致的,也就是说没有矛盾可以被该理论所证明。这是模型论的中心,因为它使得我们能够通过检视模型回答关于理论的问题,反之亦然。不要把完全性定理和完备理论的概念混淆。一个完备的理论是包含每个句子或其否命题的理论。重要的是,一个完备的协调理论可以通过扩展一个协调的理论得到。紧致性定理说一组语句S是可满足的(即有一个模型)当且仅当S的每一个有限子集可满足。在证明理论的范围内类似的定义是下显而易见的,因为每个证明都只能有有限量的证明前提。在模型论的范畴内这个证明就更困难了。目前已知的有两个证明方法,一个是库尔特·哥德尔提出的(通过证明论),另一个是阿纳托利·伊万诺维奇·马尔采夫提出的(这个更直接,并允许我们限制最后模型的基数)。模型论一般与一阶逻辑有关。许多模型论的重要结果(例如哥德尔完备性定理和紧致性定理)在二阶逻辑或其它可选的理论中不成立。在一阶逻辑中对于一个可数的语言,任何理论都有可数的模型。这在勒文海姆-斯科伦定理中有表达,它说对于任何可数的语言中的任何有一个无限模型都有一个可数的初等子模型。莫雷(Morley)证明了著名的范畴定理。即对于可数语言的任何可数完备理论,如果它在某个不可数基数上是范畴的,则它在所有不可基数上都是范畴的。这个定理极大的刺激了模型论的发展,产生了后来的所谓稳定性理论(stable theory)。近来模型论更加着重于对于其它数学分支,尤其是代数和代数几何的应用。
相关
- 拟菌病毒Acanthamoeba polyphaga mimivirus拟菌病毒是一个包括Acanthamoeba polyphaga mimivirus(APMV)的一个属,或许是与演化史相关的巨型病毒。通常所说的“拟菌病毒”就指APMV。在口
- 固氮固氮作用(英语:Nitrogen fixation),简称固氮,指将空气中游离态的氮(氮气)转化为含氮化合物(如硝酸盐、氨、二氧化氮)的过程。可分为自然固氮以及人工固氮两种。自然固氮(Natural nitro
- 孢子丝菌病孢子丝菌病是一种因为受到申克氏孢子丝菌(Sporothrix schenckii)感染,引起皮肤产生病变,也可能发生在肺、关节、骨骼,甚至脑,但是较为罕见。申克氏胞子丝菌存在于土壤中,干草堆、
- 软骨软骨(cartilage)是脊椎动物特有的胚胎性骨骼,一种无血管组织,略带弹性的坚韧组织,在机体内起支持和保护作用。由于软骨没有血液供应,在基质中含有大量的第二型胶原和葡萄糖胺聚合
- 哈德逊湾哈德森湾(英语:Hudson Bay,或称哈德逊湾)位于加拿大东北部巴芬岛与拉布拉多半岛西侧的大型海湾,面积122.6万平方千米。平均水深257米。北部时常会有北极熊出现。主要港口有丘吉尔
- 布鲁塞尔– 欧盟(灰色及浅绿色)– 比利时(灰色)布鲁塞尔(法语:Bruxelles;荷兰语:Brussel)是比利时的首都和最大的城市,也是欧洲联盟的主要行政机构所在地。布鲁塞尔市位于布鲁塞尔-首都大区
- 希伯来语希伯来语(עִבְרִית ‘Ivrit,读音:),中文也称希伯来文,属于亚非语系闪米特语族,为古代犹太民族(以色列民族或希伯来民族)一直到现代人民的民族语言、也是基督教和犹太教的宗
- 几内亚蠕虫Gordius medinensis Linnaeus, 1758麦地那龙线虫(学名:Dracunculus medinensis),又称几内亚龙线虫,是一种可寄生于人体内的寄生虫,属于线虫的龙线虫属(英语:Dracunculus_(nematode)),
- 标靶治疗人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学靶向治疗或靶向分子治疗(英语:Targeted
- 壕护城河,亦作城壕或城濠,是古时由人工挖凿,环绕整座城、宫城、寺院等主要建筑的河,具有防御作用,可防止敌人或动物入侵。世界各国在古代已有开凿护城河。在中国大陆北京的紫禁城、