→ ricestone :系理好像就是引理吧？ 07/23 23:31
→ ricestone :通常就是直接用定理證明，不過也要看你證明是寫給誰 07/23 23:32
推 jacky7987 :之前好想有一篇是在講這個 07/23 23:38
→ jacky7987 :直接從Definition可以推得的是Proposition(性質) 07/23 23:38
→ jacky7987 :通常證明一個定理(theorem)要有很多引理(lemma) 07/23 23:39
→ jacky7987 :定理通常是有許多假設之下可以得到得結論 07/23 23:39
→ jacky7987 :引理是在定理裡面有幾步驟的證明比較繁瑣而獨立出來 07/23 23:39
→ jacky7987 :大部分定理的證明就是證明你的定理滿足引理的條件 07/23 23:40
→ jacky7987 :由引理幫助你推導出你要的結果 07/23 23:40
推 jacky7987 :至於大部分有名的定理可以用吧 = = 07/23 23:46
推 chy1010 :系理是不是 Corollary @@ 07/24 02:16
→ chy1010 :同一個系列的結果 這樣.... :d 07/24 02:16
→ snoopy0907 :謝謝 不過引理跟係裡應該還是不同吧 自己都搞糊塗了 07/24 06:29
→ snoopy0907 :目前想法是引理也算一種定理 而系理是定理的結論 07/24 06:32