| 查看: 1171 | 回复: 3 | ||||
[交流]
What is the difference between a theorem, a lemma, and a corollary? 已有3人参与
|
|
转自 ： http://liveness.diandian.com/post/2012-05-24/20208946 Definition — a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true. Theorem — a mathematical statement that is proved using rigorous mathematical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results. Lemma — a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own ( Zorn’s lemma, Urysohn’s lemma, Burnside’s lemma, Sperner’s lemma). Corollary — a result in which the (usually short) proof relies heavily on a given theorem (we often say that “this is a corollary of Theorem A”). Proposition — a proved and often interesting result, but generally less important than a theorem. Conjecture — a statement that is unproved, but is believed to be true ( Collatz conjecture, Goldbach conjecture, twin prime conjecture). Claim — an assertion that is then proved. It is often used like an informal lemma. Axiom/Postulate — a statement that is assumed to be true without proof. These are the basic building blocks from which all theorems are proved ( Euclid’s five postulates, Zermelo-Fraenkel axioms, Peano axioms). Identity — a mathematical expression giving the equality of two (often variable) quantities ( trigonometric identities, Euler’s identity). Paradox — a statement that can be shown, using a given set of axioms and definitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a flawed theory (Russell’s paradox). The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules ( Banach-Tarski paradox, Alabama paradox, Gabriel’s horn). 定义（Definition）、定理（Theorem）、命题（Proposition）和引理（Lemma）相互关系与区别 定义和公理是任何理论的基础，定义解决了概念的范畴，公理使得理论能够被人的理性所接受。 定理和命题就是在定义和公理的基础上通过理性的加工使得理论的再延伸，我认为它们的区别主要在于，定理的理论高度比命题高些，定理主要是描述各定义（范畴）间的逻辑关系，命题一般描述的是某种对应关系（非范畴性的）。而推论就是某一定理的附属品，是该定理的简单应用。 引理就是在证明某一定理（或命题）时所用到（或计算得到）的其它定理（或结果）。 在实际论文过程中应用较多的是定义、引理和命题。一般的情况是先（计算）推导出一些重要的引理，然后依据一些引理及其他得到一些命题。引理更多是确定的性解或重要结果，命题更多的是一些描述性的结论 |
回复此楼» 收录本帖的淘帖专辑推荐
 论文写作投稿与排版 |
» 猜你喜欢
极限拉扯，如何抉择
已经有10人回复
-
入职后第一次管课题组的专利缴费，对账才发现官费比别人多掏了一倍
已经有6人回复
-
OpenAI又攻克数学难题了，离AI做有机合成还有多远？
已经有8人回复
-
课题组会帮你通过考核么？
已经有6人回复
-
售一区SCI文章T0P，我:8O.551.O54,科目全,可十急
已经有9人回复
-
售SCI一区文章，我:8O5.5.1.O5.4,科目全,可伽急
已经有10人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有8人回复
-
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急
已经有9人回复
-
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急
已经有7人回复
-
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急
已经有10人回复
     |
2楼2013-12-25 16:22:32
3楼2013-12-27 17:02:28
starbridge
金虫 (正式写手)
- 应助: 7 (幼儿园)
- 金币: 4678.6
- 红花: 4
- 帖子: 715
- 在线: 249.3小时
- 虫号: 1142327
- 注册: 2010-11-09
- 性别: GG
- 专业: 应用数学方法
4楼2013-12-27 23:41:17
