定理(Theorem)、命題(Proposition)、輔助定理(Lemma)、引申定理(Corollary)、假設(Assumption)...

文章转自：

http://hicammie.blogspot.hk/2008/05/theorempropositionlemmacorollaryassumpt.html

谢谢Cammie Xiaotu的整理

 

名詞定義：
定理(Theorem)、命題(Proposition)、輔助定理(Lemma)、引申定理(Corollary)、假設(Assumption)

名詞解釋

Theorem：就是定理，比較重要的，簡寫是 Thm。

Lemma：小小的定理，通常是為了證明後面的定理，如果證明的篇幅很長時，可能會把證明拆成幾個部分來敘述，雖然篇幅可能變多，但脈絡卻很清楚。

Corollary：推論。由定理立即可推知的結果。

Property：性質，結果雖然值得一記，卻沒定理來的深刻。

Proposition：有人翻譯為「命題」， 有些作者喜歡用，大概也可以算是比較簡單的定理的一種稱呼。

Claim：證明時先敘述一個結果，再作證明。看的人比較輕鬆。

Note：通常只是一個註解。

Remark：涉及一些結論，比較起來 "Note" 比較像說明， "remark" 則常是非正式的定理。

至於「定義」可以想成是一個若且唯若的定理

 

 

转载于:https://www.cnblogs.com/cleverxy/articles/3291661.html