作者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