作者snoopy0907 (超強氣)
看板Math
標題[其他] 不知道可不可以問這個...
時間Sat Jul 23 23:29:33 2011
不好意思 小弟底子不好
最近才開始喜歡上數學
自己遇到了一個小問題
不知道要去哪裡問比較好
能否請替小弟解惑一下呢?
問題是 甚麼是系理啊?
一直看到定義 公理 定理 系理之類的
但是一直不知道系理是蝦米東西
還有如果一般遇到證明問題
可以直接套定理或是系理用嗎?
因為每本書可能有的有這個定理 有的卻沒有
那我這樣還可以直接用定理證明嗎?
還是說每次都要從定義開始推敲呢?
一直搞不太懂這個問題 不知道有沒有人能解答一下?
謝謝~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 58.115.134.99
1F：→ ricestone :系理好像就是引理吧？ 07/23 23:31
2F：→ ricestone :通常就是直接用定理證明，不過也要看你證明是寫給誰 07/23 23:32
3F：推 jacky7987 :之前好想有一篇是在講這個 07/23 23:38
4F：→ jacky7987 :直接從Definition可以推得的是Proposition(性質) 07/23 23:38
5F：→ jacky7987 :通常證明一個定理(theorem)要有很多引理(lemma) 07/23 23:39
6F：→ jacky7987 :定理通常是有許多假設之下可以得到得結論 07/23 23:39
7F：→ jacky7987 :引理是在定理裡面有幾步驟的證明比較繁瑣而獨立出來 07/23 23:39
8F：→ jacky7987 :大部分定理的證明就是證明你的定理滿足引理的條件 07/23 23:40
9F：→ jacky7987 :由引理幫助你推導出你要的結果 07/23 23:40
10F：推 jacky7987 :至於大部分有名的定理可以用吧 = = 07/23 23:46
11F：推 chy1010 :系理是不是 Corollary @@ 07/24 02:16
12F：→ chy1010 :同一個系列的結果 這樣.... :d 07/24 02:16
13F：→ snoopy0907 :謝謝 不過引理跟係裡應該還是不同吧 自己都搞糊塗了 07/24 06:29
14F：→ snoopy0907 :目前想法是引理也算一種定理 而系理是定理的結論 07/24 06:32