定理

维基百科,自由的百科全书
跳转至: 导航搜索
Confusion grey.svg
提示:本条目的主题不是科學定律

定理英语:Theorem)是經過受邏輯限制的證明為真的陈述。一般來說,在數學中,只有重要或有趣的陳述才叫定理。證明定理是數學的中心活動。一个定理陈述一个给定类的所有(全称)元素一种不变的关系,这些元素可以是无穷多,它们在任何时刻都无区别地成立,而没有一个例外。(例如:某些,某些,就不能算是定理)。

猜想是相信為真但未被證明的數學敘述,或者叫做命题,當它經過證明後便是定理。猜想是定理的來源,但並非唯一來源。一個從其他定理引伸出來的數學敘述可以不經過成為猜想的過程,成為定理。

如上所述,定理需要某些邏輯框架,繼而形成一套公理公理系統)。同時,一個推理的過程,容許從公理中引出新定理和其他之前發現的定理。

命題邏輯,所有已證明的敘述都稱為定理。

各種數學敘述(按重要性來排列)[编辑]

  1. 引理(又稱輔助定理補理)-某個定理的證明的一部分的敘述。它並非主要的結果。引理的證明有時還比定理長,例如舒尔引理
  2. 推论-一個從定理隨之而即時出現的敘述。若命題B可以很快、簡單地推導出命題A,命題A為命題B的推论。
  3. 命題
  4. 定理
  5. 數學原理

結構[编辑]

定理一般都有许多條件。然後有結論——一個在條件下成立的數學敘述。通常寫作「若條件,則結論」。用符號邏輯來寫就是條件→結論。而當中的證明不視為定理的成分。

逆定理[编辑]

若存在某敘述為,其逆敘述就是。逆敘述成立的情況是,否則通常都是倒果為因,不合常理。若果敘述是定理,其成立的逆敘述就是逆定理

  • 若某敘述和其逆敘述都為真,條件必要且充足。
  • 若某敘述為真,其逆敘述為假,條件充足。
  • 若某敘述為假,其逆敘述為真,條件必要。

逻辑中的定理[编辑]

逻辑语言中的定理表示的是一个公式集合,并且该公式集合中的每一个公式都代表着知识的一个片段,由此我们可以给定理一个更准确的表达(这里所说的定理指的是在一阶逻辑中的定理,通常来说任意一个命题集合往往不一定是定理)。定理在逻辑中的定义︰

一个定理是一个含有由建立于语言集合上的命题(-命題)组成的非空集合

这个定理(或这个命题集合)我们记作,这些建立于语言集合上的命题必须符合如下属性:

对所有在中的命题,如果,那么

比如一个永真命题集合是一个定理,这个永真命题集合被包含在所有建立在语言集合上的定理中。此外,我们说一个定理是另外一个定理扩展(extension),前提是该定理包含定理


有一个命题集合,我们將一个包含的集合记作,那麽 。显而易见,所以是一个定理。比如我们有一个集合有三个基于语言上的命题,其中是常数符号,是函数符号。三个命题如下:

那么如果有,則的定理。当然,如果是两个命题集合且满足,那么


我们说一个定理完整的(Complete),当且仅当对于和一样构建在同样语言集合上的所有命题,要么,要么

注意:这个概念不能和定理完备性(Completude)混淆,完备性是证明在定理中的永真命题是递推可枚举的(recursivement enumerable),但是不能说它一定是完整的。

不是所有的定理是完整的。比如一个空集合的定理是所有真命题集合,但是不是完整的。假如有命題,对于来说,它既不是永真命题,也不是永假命题,它是一个可满足式的命题,也就是说。因此,所以我们说不是完整的。 一个定理称作是稳健的(Consistante),当且仅当。我们说对所有的解释(Interpretation)是一个定理,并且既是稳健的又是完整的。

命题集合的可计算性问题(Calculabilite)[编辑]

我们可以通过可计算性(Calculabilite)这一概念来解释命题集合的满足性问题,也就是说是对于命题集合在可决定性问题上(Decidabilite)是否存在一个肯定的测试结果,还是一个否定的测试结果。我们知道当我们用任何一种计算机语言编写程序编译成功并执行中,在计算机上执行的目标代码是以二进制表示的一串的组合(比如)。如果转化成十进制表示的话,这个二进制组合就对应一个实数,更进一步,对于一个任一公式(公式是一个算法),我们通过计算机编程实现公式的算法,根据上面的描述,该程序必定有一个唯一的实数与之对应,也就是说是一个代表由公式所对应的实数(这个函数是单射的),那么我就可以简单的通过一个一一对应(Bijection)的函数对应于某一个一阶逻辑的公式集合印射到到自然数集合中,那么我们假设公式集合中有个公式,是一个自然数,对于公式集合中的每一个公式,我们假设,它们对应的自然数,通过这样的方式我们把逻辑和计算机可计算性问题相联系,也就是说如果要证明一阶逻辑公式的可满足性问题转化成计算机可计算性的问题加以证明,如果在计算机可决定性问题的证明中,证明它是一个可决定的问题,既它是一个肯定测试,那么对于对应的逻辑公式来说,该公式必定是可满足的。

  • 定理1︰一个没有量词(Quantificateur)的有限命题集合的可满足性问题(Satisfaisabilite)是可以决定的(Decidable)。
证明:假设命题集合中的每个元素由以下组成:
一个以语言集合构建的项集合(-Term),我们记作项集合,根据项的组成语法规则,T肯定是有有限个数的项,并且每个项是由语言集合中的符号有限组成。如果为空集(即空项集合),那么我们在SAT命题的情况下,就认为是可决定的(Decidable)。如果是可满足的,假设存在一个解释(或模型)的解释域是,假设存在另外一个解释域,满足以下条件
我们在上定义另一个解释(或模型),定义如下:

//如果……(under construction)

  • 定理2一阶逻辑命题的永真性(Validite)是可以通过一个肯定测试(Test Positif)来知道的。
    • 证明:
  • 定理3所有公理化(Axiomatisable)的定理T是可递推枚举的(Recursivement Enumerable)。
    • 证明:
  • 定理4所有公理化的完整的(Complete)定理T是可递推的。
    • 证明:
  • 定理5所有可递推枚举的定理T是公理化的。
    • 证明:

参考文献[编辑]

参见[编辑]