[其他] 不知道可不可以問這個...

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