作者futurewei (winer)
看板trans_math
标题Re: [问题] Lemma & Theorem
时间Fri Oct 7 23:08:29 2005
※ 引述《PttFund (金光党招募会员中)》之铭言:
: 标题: Re: [问题] Lemma & Theorem
: 时间: Fri Oct 7 03:19:46 2005
:
: ※ 引述《victor0410 (永恒的转眼)》之铭言:
: : ※ 引述《ganlinliu (Ai Nonohara)》之铭言:
: : : 作者: ganlinliu (Ai Nonohara) 看板: Math
: : : 标题: Lemma & Theorem
: : : 时间: Thu Oct 6 11:53:08 2005
: : : 请问引理是什麽阿
: : : 又引理跟定理有什麽不同呢
: : 简而言之就是:
: : Theorem:可以利用数学式及基本公设(postulation)或公理(axiom)
: : 去证明或推导的result称之.
: : Lemma:一般中文翻成"辅助定理"即由Theorem所证明或推导的result.
: : Summary:
: : Postulation Corollary
: : { --->Theorem--->{
: : Axiom Lemma
: ︿︿︿︿︿︿︿︿︿︿︿有点小意见 @@a
:
: 正常来说先有 Lemma 的,
: 也就是引理, 引理的目的是为了引出 Definition, 下一个 Lemma,
Definition就Definition吧!?还有被引出的吗@@a
: Proposition, 或者是 Theorem.
:
: Lemma 通常是比较小的 Theorem, 不过有些 Lemma 看起来并不小,
: 例如: Riemann-Lebesgue Lemma, 或许有人觉得这真的是 Lemma @@a
:
: Theorem 就是比较重要的定理, 我又废话了,
: 例如: Atiyah-Singer Index Theorem, 这够大了吧.
: 通常 Theorem 证明并不短, 需要依赖几个简单的事实,
: 有的作者会把他写成 Lemma/Proposition/Theorem, 摆在 Theorem 前头.
:
: 从 Theorem 可以轻松推得的结果称为 Corollary (推论),
: 例如: Gauss-Bonnet Theorem 可以称为 Atiyah-Singer Index Theorem 的
: Corollary.
:
: Proposition 跟 Theorem 很像.
: 感觉好像在玩文字游戏XD(对不起~我来乱的)
: --
:
※ 发信站: 批踢踢实业坊(ptt.cc)
: ◆ From: 140.112.218.142
: 推 Tuberculosis:推 10/07 08:25
: 推 victor0410:感谢P大的指教~ 10/07 09:09
: → victor0410:关於上两篇我d掉的文章~我承认我个性比较冲一点~但也请 10/07 09:11
: → victor0410:h大留意自己推文的口气~我个人看了不是很舒服才会发表 10/07 09:14
: → victor0410:那篇文章~如有po文失当~还请诸位板大多多见谅~谢谢 10/07 09:16
: → victor0410:虽然我对P大所说的有个地方还是有点小小意见~但我不想 10/07 09:18
: → victor0410:多说了~只希望原po~g大能对於他所问的问题有多一分了解 10/07 09:19
: 推 victor0410:毕竟P大说明的还不错M(. .)M 10/07 09:27
: 推 Tuberculosis:自己错了,就要接受指教。 10/07 17:58
: 推 hhhtsai:p大说的没错 10/07 18:14
T大跟h大是一夥的吗(我没恶意~只是感觉好像在一搭一唱@@)
之前问过v大一些问题~感觉人还不错~只是不知道为什麽会跟h大
发生什麽事QQ
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.57.78.60
1F:推 Tuberculosis:我看不惯一个人错还能说话这麽大声。 10/07 23:19
2F:推 hhhtsai:我只能说每个人都有他们的看法...觉得对就对吧 10/07 23:28
3F:推 futurewei:我看不出v大哪里说话大声耶@@a还是只是T看v大不顺眼QQ 10/09 02:12