Theorem、Proposition、Lemma和Corollary等的解释与区别
2017-08-30 10:31
253 查看
Theorem:定理。是文章中重要的数学化的论述,一般有严格的数学证明。
Proposition:可以翻译为命题,经过证明且interesting,但没有Theorem重要,比较常用。
Lemma:一种比较小的定理,通常lemma的提出是为了来逐步辅助证明Theorem,有时候可以将Theorem拆分成多个小的Lemma来逐步证明,以使得证明的思路更加清晰。很少情况下Lemma会以其自身的形式存在。
Corollary:推论,由Theorem推出来的结论,通常我们会直接说this is a corollary of Theorem A。
Property:性质,结果值得一记,但是没有Theorem深刻。
Claim:陈述,先论述然后会在后面进行论证,可以看作非正式的lemma。
Note:就是注解。
Remark:涉及到一些结论,相对而言,Note像是说明,而Remark则是非正式的定理。
Conjecture:猜测。一个未经证明的论述,但是被认为是真。
Axiom/Postulate:公理。不需要证明的论述,是所有其他Theorem的基础。
Proposition:可以翻译为命题,经过证明且interesting,但没有Theorem重要,比较常用。
Lemma:一种比较小的定理,通常lemma的提出是为了来逐步辅助证明Theorem,有时候可以将Theorem拆分成多个小的Lemma来逐步证明,以使得证明的思路更加清晰。很少情况下Lemma会以其自身的形式存在。
Corollary:推论,由Theorem推出来的结论,通常我们会直接说this is a corollary of Theorem A。
Property:性质,结果值得一记,但是没有Theorem深刻。
Claim:陈述,先论述然后会在后面进行论证,可以看作非正式的lemma。
Note:就是注解。
Remark:涉及到一些结论,相对而言,Note像是说明,而Remark则是非正式的定理。
Conjecture:猜测。一个未经证明的论述,但是被认为是真。
Axiom/Postulate:公理。不需要证明的论述,是所有其他Theorem的基础。
相关文章推荐
- 区分定理(Theorem)、引理(Lemma)、推论(Corollary)等概念
- Differences between Theorem, Lemma and Corollary, etc.
- 论文中的定理(Theorem)、引理(Lemma)、推论(Corollary)
- What is the difference between a theorem, a lemma, and a corollary?
- VC、PE和天使投资的解释与区别?
- 伪知识之通俗易懂得解释强类型语言和弱类型语言的区别持续更新:【内向即废物--沈吟秋】
- 最精确的解释:cdecl与stdcall的区别
- 解释语言和编译语言的区别
- 解释return和exit()的区别
- C++的一大误区——深入解释直接初始化与复制初始化的区别
- Java中abstract和interface的区别(精辟的解释)
- 数组、arraylist和list的区别和泛型的解释
- SAD和SATD的区别与几个名词解释
- strcpy/memcpy/memset/区别解释
- 趣图:形象解释 undefined 和 null 之间的区别
- 解释Ext的apply和override的区别
- C++的一大误区——深入解释直接初始化与复制初始化的区别
- JavaScript 里有哪些数据类型,解释清楚 null 和 undefined,解释清楚原始数据类型和引用数据类型。比如讲一下 1 和 Number(1)的区别
- C++的一大误区——深入解释直接初始化与复制初始化的区别
- 请解释以下keywords的区别: assign vs weak, __block vs __weak