Monday, May 5, 2008

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

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

名詞解釋

Theorem:就是定理,比較重要的,簡寫是 Thm。

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

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

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

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

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

Note:通常只是一個註解。

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

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

0 comments: