高等代数，第四版，第三章P158，T23

数学兴趣大讲堂

---

模型论

数学上，模型论(英语：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-结构，由如下东西组成：

一个全集或底层集合A，它包含所有感兴趣的对象（"论域"），

给L的每个常量符号一个在A中元素，

给L的每个n价函数符号一个从An到A的函数，和

给L的每个n价关系符号一个在A上的n-元关系（换句话说，An的一个子集）。

函数或关系的价有时也叫做元数（术语"一元"、"二元"和"n-元"中的那个元）。

在语言L中的理论，或L-理论，被定义为L中的句子的集合。如果句子的集合闭合于通常的推理规则之下，则被称为闭合理论。例如，在某个特定L-结构下为真的所有句子的集合是一个闭合L-理论。

L-理论T的模型由在其中T的所有句子都为真的一个L-结构组出，它通常用T-模式的方式定义。

理论被称为可满足的，如果它有模型。

例如，偏序的语言有一个二元关系≥。因而偏序的语言的结构就是带有≥所指示的二元关系的一个集合，它是偏序的理论的模型，如果此外它还满足偏序的公理。

定理 

哥德尔完备性定理表明理论有一个模型当且仅当它是一致的，也就是说没有矛盾可以被该理论所证明。这是模型论的中心，因为它使得我们能够通过检视模型回答关于理论的问题，反之亦然。不要把完全性定理和完备理论的概念混淆。一个完备的理论是包含每个句子或其否命题的理论。重要的是，一个完备的协调理论可以通过扩展一个协调的理论得到。

紧致性定理说一组语句S是可满足的（即有一个模型）当且仅当S的每一个有限子集可满足。在证明理论的范围内类似的定义是下显而易见的，因为每个证明都只能有有限量的证明前提。在模型论的范畴内这个证明就更困难了。目前已知的有两个证明方法，一个是库尔特·哥德尔提出的（通过证明论），另一个是阿纳托利·伊万诺维奇·马尔采夫提出的（这个更直接，并允许我们限制最后模型的基数）。

模型论一般与一阶逻辑有关。许多模型论的重要结果（例如哥德尔完备性定理和紧致性定理）在二阶逻辑或其它可选的理论中不成立。在一阶逻辑中对于一个可数的语言，任何理论都有可数的模型。这在勒文海姆-斯科伦定理中有表达，它说对于任何可数的语言中的任何有一个无限模型都有一个可数的初等子模型。

莫雷（Morley）证明了著名的范畴定理。即对于可数语言的任何可数完备理论，如果它在某个不可数基数上是范畴的，则它在所有不可基数上都是范畴的。这个定理极大的刺激了模型论的发展，产生了后来的所谓稳定性理论（stable theory）。

近来模型论更加着重于对于其它数学分支，尤其是代数和代数几何的应用。

精选推荐

01
02	数学各学科：全套高清图的获取方式
03

■ END ■

第一章A组答案：  1  |   2  |   3  |   4  |   5  |   6  |   7  |   8  |   9  |  10  |  11  |  12  |  13  |  14  |  15  |  16  |  17  |  18  |  19  |  20  |  21  |  22  |  23  |  24  |  25  |  26  |  27 |  28  |  29  |  30  |  31  |  32

第二章A组答案：1  |  2  |  3  |  4  |  5  |  6  |  7  |  8  |  9  |  10  |  11  |  12  |  13  |  14  |   15  |  16  |  17  |  18  |  19  |  20  

课后习题视频系列：  第四章A组  |  第五章A组   

高代资料系列：高代各章知识框架全解  |  数学各学科分支图解  |  高代资料书推荐  |  Eisenstein判别法的深入分析  |  整除中难题分析 |  整数的带余除法定理  |  最大公因式证明题  |  什么是高等代数

数学学科排名： 2018数学学科排名  |  2019数学学科排名  

英语：四六必过宝典 

数学兴趣：用数学公式怎样表白  |  研究生丛书（GTM） |  公式转化为LaTex代码  |  如何注册arXiv  |  MathSciNet 使用指南  |  惊呆！数学公式推导出圣诞节

数分：实数系六大定理互证(一)  |  实数系六大定理互证(二)   |   实数系六大定理互证(三)

考研系列

中南大学高代真题及答案：2012年 | 2013年 | 2014年

未经允许，禁止转载

钟哥数学博士团队介绍：      团队是由国内数学“一流学科”博士组成，接受了国内顶尖教授导师的培养，数学专业知识扎实、素质过硬，博士团队有着丰富的数学（高代、数分等）基础课程的教学经验，以及数学资料的研发与制作经验。   
    高代学习QQ交流群：945166269. 加入高代数分交流微信群请加助手微信：zhongyuemingmit

让我知道你在看