Theorem,Proposition, Lemma 和 Corollary是什么 区别关系

Posted 软件工程小施同学

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Theorem,Proposition, Lemma 和 Corollary是什么 区别关系相关的知识,希望对你有一定的参考价值。

文章中最重要的几个结论用 Prop 或 Thm. 其中有比较普遍意义的(可能被他人引用的)用Thm,比较特定、适用范围不大的用Prop。

用来推出这些 Thm 或 Prop 的引理用 Lemma.

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的基础。



作者:politer
链接:https://www.zhihu.com/question/54918673/answer/287840131
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

写论文的时候,使用 Proposition, Lemma 或 Theorem 有什么区别? - 知乎

以上是关于Theorem,Proposition, Lemma 和 Corollary是什么 区别关系的主要内容,如果未能解决你的问题,请参考以下文章

数学英文表达!拜托咯!

美国高中

三角形的边,英语怎么说?

三角形的边,英语怎么说?

BizDevOps?—?the true value proposition of workflow engines

Life Is A Funny Proposition After All