首页 >
定理
✍ dations ◷ 2025-07-29 22:33:20 #定理
定理(英语:Theorem)是经过受逻辑限制的证明为真的陈述。一般来说,在数学中,只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有(全称)元素一种不变的关系,这些元素可以是无穷多,它们在任何时刻都无区别地成立,而没有一个例外。(例如:某些
a
{displaystyle a}
是
x
{displaystyle x}
,某些
a
{displaystyle a}
是
y
{displaystyle y}
,就不能算是定理)。猜想是相信为真但未被证明的数学叙述,或者叫做命题,当它经过证明后便是定理。猜想是定理的来源,但并非唯一来源。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程,成为定理。如上所述,定理需要某些逻辑框架,继而形成一套公理(公理系统)。同时,一个推理的过程,容许从公理中引出新定理和其他之前发现的定理。在命题逻辑,所有已证明的叙述都称为定理。定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件,则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。若存在某叙述为
A
→
B
{displaystyle Arightarrow B}
,其逆叙述就是
B
→
A
{displaystyle Brightarrow A}
。逆叙述成立的情况是
A
↔
B
{displaystyle Aleftrightarrow B}
,否则通常都是倒果为因,不合常理。若果叙述是定理,其成立的逆叙述就是逆定理。逻辑语言中的定理表示的是一个公式集合,并且该公式集合中的每一个公式都代表着知识的一个片段,由此我们可以给定理一个更准确的表达(这里所说的定理指的是在一阶逻辑中的定理,通常来说任意一个命题集合往往不一定是定理)。定理在逻辑中的定义︰这个定理(或这个命题集合)我们记作
T
{displaystyle T}
,这些建立于语言集合
L
{displaystyle L}
上的命题必须符合如下属性:比如一个永真命题集合是一个定理,这个永真命题集合被包含在所有建立在语言集合
L
{displaystyle L}
上的定理中。此外,我们说一个定理是另外一个定理
T
{displaystyle T}
的扩展(extension),前提是该定理包含定理
T
{displaystyle T}
。有一个命题集合
A
{displaystyle A}
,我们将一个包含
A
{displaystyle A}
的集合记作
Th
(
A
)
{displaystyle {mbox{Th}}(A)}
,那么
Th
(
A
)
=
{
φ
|
A
⊨
φ
}
{displaystyle {mbox{Th}}(A)={ varphi | AvDash varphi }}
。显而易见
A
⊨
Th
(
A
)
{displaystyle AvDash {mbox{Th}}(A)}
,所以
Th
(
A
)
{displaystyle {mbox{Th}}(A)}
是一个定理。比如我们有一个集合
G
{displaystyle G}
,
G
{displaystyle G}
有三个基于语言
L
{displaystyle L}
上的命题,其中
L
=
{
e
,
f
}
{displaystyle L={e,f}}
,
e
{displaystyle e}
是常数符号,
f
{displaystyle f}
是函数符号。三个命题如下:那么如果有
Th
(
G
)
=
{
φ
|
G
⊨
φ
}
{displaystyle {mbox{Th}}(G)={ varphi | GvDash varphi }}
,则
Th
(
G
)
{displaystyle {mbox{Th}}(G)}
是
G
{displaystyle G}
的定理。当然,如果
A
{displaystyle A}
和
B
{displaystyle B}
是两个命题集合且满足
A
⊆
B
{displaystyle Asubseteq B}
,那么
Th
(
A
)
⊆
Th
(
B
)
{displaystyle {mbox{Th}}(A)subseteq {mbox{Th}}(B)}
。我们说一个定理
T
{displaystyle T}
是完整的(Complete),当且仅当对于和
T
{displaystyle T}
一样构建在同样语言集合上的所有命题
φ
{displaystyle varphi }
,要么
φ
∈
T
{displaystyle varphi in T}
,要么
¬
φ
∈
T
{displaystyle lnot varphi in T}
。不是所有的定理是完整的。比如
Th
(
Φ
)
{displaystyle {mbox{Th}}(Phi )}
一个空集合
{
Φ
}
{displaystyle {Phi }}
的定理是所有真命题集合,但是
Th
(
Φ
)
{displaystyle {mbox{Th}}(Phi )}
不是完整的。假如有命题
Ψ
=
∃
x
∃
y
(
x
≠
y
)
{displaystyle Psi =exists xexists y(xneq y)}
,对于
Ψ
{displaystyle Psi }
来说,它既不是永真命题,也不是永假命题,它是一个可满足式的命题,也就是说
Th
(
Φ
)
⊭
Ψ
{displaystyle {mbox{Th}}(Phi )nvDash Psi }
且
Th
(
Φ
)
⊭
¬
Ψ
{displaystyle {mbox{Th}}(Phi )nvDash lnot Psi }
。因此
Ψ
∉
Th
(
Φ
)
{displaystyle Psi notin {mbox{Th}}(Phi )}
,所以我们说
Th
(
Φ
)
{displaystyle {mbox{Th}}(Phi )}
不是完整的。
一个定理
T
{displaystyle T}
称作是稳健的(Consistante),当且仅当
∀
φ
∈
T
,
¬
φ
∉
T
{displaystyle forall varphi in T, lnot varphi notin T}
。我们说对所有的解释(Interpretation)
I
{displaystyle I}
,
Th
(
I
)
{displaystyle {mbox{Th}}(I)}
是一个定理,并且
Th
(
I
)
{displaystyle {mbox{Th}}(I)}
既是稳健的又是完整的。
相关
- 万古霉素万古霉素(Vancomycin,INN)是一种糖肽类抗生素,用来治疗许多细菌感染的抗细菌药抗生素。治疗皮肤感染、败血症、心内膜炎、骨关节感染以及因耐甲氧西林金黄色葡萄球菌(MRSA)引起的
- 氨基酸氨基酸是生物学上重要的有机化合物,由氨基(-NH2)和羧基(-COOH)的官能团,以及连到每一个氨基酸的侧链组成。氨基酸是构成蛋白质的基本单位,赋予蛋白质特定的分子结构形态,使其分子具
- 卟啉卟啉(英语:Porphyrin)是一类由四个吡咯类亚基的α-碳原子通过次甲基桥(=CH-)互联而形成的大分子杂环化合物。其母体化合物为卟吩(porphin,C20H14N4),有取代基的卟吩即称为卟啉。卟啉
- 设计保障安全设计保障安全(Safety by design)是一个概念及运动,鼓励营建管理者及产品设计者在设计开发阶段就将健康及安全风险纳入设计考量。此概念支持品质、程序及成本的观点,安全性在设计
- 雅加达雅加达(印尼语、爪哇语:Jakarta),全称雅加达特别首都地域(印尼语:Daerah Khusus Ibukota Jakarta;爪哇语:Laladan Mligi Kitha Krajan Jakarta),是印度尼西亚首都(英语:Capital of Indon
- 神经外科人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学神经外科,也常称作脑外科,是外科的一个
- 手工业手工业,是指通过手工劳动,并使用简单的工具进行工业性生产活动的产业。在近代的工业革命之前,大多数的工业生产都属于手工业。工业革命带来的生产机械化和工厂制度,使得传统手工
- 响尾蛇亚种响尾蛇属于响尾蛇属(学名Crotalus)及侏儒响尾蛇属(学名Sistrurus),是一种有毒的蛇。它们都属于蝮亚科这类有毒蛇的分类之下。现存已知约有50种响尾蛇及多个亚种。顾名思义它
- 止咳药止咳药是指治疗咳嗽的药品,通常为片状(亦有含化的)、溶液和混悬液。部分止咳水含有可待因或麻黄碱,过量服用会使人产生欣快感,故被滥用者称为摇头水),泛指用于止咳的所有药水,包括医
- 国务大臣政治主题国务大臣(日语:国務大臣/こくむだいじん kokumudaijin ?)是日本内阁成员的正式称呼,简称“大臣”,一般也称之为“阁僚”或“阁员”,相当于共和制内阁的部长,如外务大臣、