Theorem、Proposition、Lemma和Corollary等的解释与区别

https://blog.csdn.net/mnshenyanping/article/details/77706920

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、Proposition、Lemma和Corollary等的解释与区别相关推荐

转 Theorem、Proposition、Lemma和Corollary等的解释与区别
Theorem:定理.是文章中重要的数学化的论述,一般有严格的数学证明. Proposition:可以翻译为命题,经过证明且interesting,但没有Theorem重要,比较常用. Lemma:一 ...
Theorem，Proposition, Lemma 和 Corollary是什么区别关系
文章中最重要的几个结论用 Prop 或 Thm. 其中有比较普遍意义的(可能被他人引用的)用Thm,比较特定.适用范围不大的用Prop. 用来推出这些 Thm 或 Prop 的引理用 Lemma. T ...
PHP: 关键字global 和超全局变量$GLOBALS的用法、解释、区别
$GLOBALS 是一个关联数组,每一个变量为一个元素,键名对应变量名,值对应变量的内容.$GLOBALS 之所以在全局范围内存在,是因为 $GLOBALS 是一个超全局变量. php语法中,很多人都 ...
VGA、QVGA、WVGA、HVGA名词解释及区别
好久没有更新博客了,还是先转一篇吧.现在是白天上班,晚上写论文啊,这篇文章是在写论文是查资料找到的,很不错,讲了手机屏幕的一些概念,一直没真正弄清这几个词的含义,这次OK了,下边是原文. VGA.QV ...
一文看懂 Theorem Theory Proposition Lemma Corollary Claim 的区别
Theorem:定理.是文章中重要的数学化的论述,一般有严格的数学证明. Theory:定理.相比于 Theorem,其往往不需要严格的数学证明.当我们想提出一个理论,而该理论无法抽象成一个完备的数学 ...
Differences between Theorem, Lemma and Corollary, etc.
Definition - a precise and unambiguous description of the meaning of a mathematical term. It charac ...
What is the difference between a theorem, a lemma, and a corollary?
Definition - a precise and unambiguous description of the meaning of a mathematical term. It charac ...
C语言中open与fopen的的解释和区别
一.open函数函数原型:int open(const char *path, int access, int mode); 参数解释: path:要打开的文件路径和名称. access:访问模式, ...
php中global什么意思,php中global和$GLOBALS[]的用法、解释、区别
php语法中,很多人都认为global和$GLOBALS[]只是写法上面的差别,其实不然根据官方的解释是 1.$GLOBALS['var']是外部的全局变量本身 2.global $var是外部$v ...

Theorem、Proposition、Lemma和Corollary等的解释与区别

Theorem、Proposition、Lemma和Corollary等的解释与区别相关推荐

最新文章

热门文章