问答文章1 问答文章501 问答文章1001 问答文章1501 问答文章2001 问答文章2501 问答文章3001 问答文章3501 问答文章4001 问答文章4501 问答文章5001 问答文章5501 问答文章6001 问答文章6501 问答文章7001 问答文章7501 问答文章8001 问答文章8501 问答文章9001 问答文章9501

区分定理(Theorem)、引理(Lemma)、推论(Corollary)等概念

发布网友 发布时间:2022-11-07 02:48

我来回答

1个回答

热心网友 时间:2023-11-22 09:54

名词解释

Theorem:就是定理,比较重要的,简写是 Thm。

Lemma:小小的定理,通常是为了证明後面的定理,如果证明的篇幅很长时,可能会把证明拆成几个部分来叙述,虽然篇幅可能变多,但脉络却很清楚。

Corollary:推论。由定理立即可推知的结果。

Property:性质,结果虽然值得一记,却没定理来的深刻。

Proposition:有人翻译为「命题」, 有些作者喜欢用,大概也可以算是比较简单的定理的一种称呼。

Claim:证明时先叙述一个结果,再作证明。看的人比较轻松。

Note:通常只是一个注解。

Remark:涉及一些结论,比较起来 "Note" 比较像说明, "remark" 则常是非正式的定理。

首先、 定义 和 公理 是任何理论的基础,定*决了概念的范畴,公理使得理论能够被人的理性所接受。

其次、 定理 和 命题 就是在定义和公理的基础上通过理性的加工使得理论的再延伸,我认为它们的区别主要在于,定理的理论高度比命题高些,定理主要是描述各定义(范畴)间的逻辑关系,命题一般描述的是某种对应关系(非范畴性的)。而 推论 就是某一定理的附属品,是该定理的简单应用。

最后、 引理 就是在证明某一定理时所必须用到的其它定理。而在一般情况下,就像前面所提到的定理的证明是依赖于定义和公理的。

1.引理和定理应该是根据文章目的不同而区分的,同样的论点在这篇文章可以是引理,在那篇文章可以是定理。

2.如果为了说明一个问题进行论证,但是在论证前需要证明若干个小问题,那么这些若干个小问题的结论就是引理,而这个问题的论证将会需要引用到前面的引理,该问题的结论就是定理。

3.引理是为定理作准备的。文章中的定理才是需要说明的主要问题或者目的。

就如doppler 说的,

"Theorem" 本身是一个大 result

"Lemma" 是 prove “Theorem“ 之前用的一个 result

"Corollary" 是可以从 "Theorem" 里直接 dece/prove 出来的 result

" Proposition" 是一个还无法大到变成 "Theorem" 的一个 result (当作小 theorem 

 )

(1) 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.

(2) Theorem(定理)----a mathematical statement that is proved using rigorous mathemat-ical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results.

(3) 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).

(4) 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").

(5) Proposition(命题)-----a proved and often interesting result, but generally less important than a theorem.

(6) Conjecture(推测,猜想)----a statement that is unproved, but is believed to be true (Collatz conjecture, Goldbach conjecture, twin prime conjecture).

(7) Claim(断言)-----an assertion that is then proved. It is often used like an informal lemma.

(8) Axiom/Postulate------(公理/假定)a statement that is assumed to be true without proof. These are the basic building blocks from which all theorems are proved (Eu-clid's ve postulates, Zermelo-Frankel axioms, Peano axioms).

(9) Identity(恒等式)-----a mathematical expression giving the equality of two (often variable) quantities (trigonometric identities, Euler's identity).

(10) Paradox(悖论)----a statement that can be shown, using a given set of axioms and de nitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a awed 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).

http://blog.sina.com.cn/s/blog_a0e53bf70101jwv1.html
声明声明:本网页内容为用户发布,旨在传播知识,不代表本网认同其观点,若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。E-MAIL:11247931@qq.com
女生多大后可以不在长身高? 如何不用软件把手机投屏到电脑上手机屏幕怎样投放到电脑上 战时拒绝、故意延误军事订货罪既遂的处罚? 战时故意延误军事订货罪处罚标准 名师1+1导读方案:汤姆·索亚历险记目录 三星sm-g7200打开微信慢,无法正常收看,网速不慢。 笔记本电脑如何调亮屏幕亮度 大伙说说洗衣机要不要带烘干好 热烘干洗衣机怎么样 ef英语哪个好 引理和定理如何区分? 求mj45度角前倾 舞鞋原理 MJ的这个鞋子叫什么 很多人都说MJ的鞋上有道具才能做到45度,他鞋上究竟有什么?或许说是真的有没有? 9岁属什么生肖属相2021,属相年龄对照表2021 猫豹有什么用途? 为什么每次开机都要按F1 每次开机都要按F1的原因 澳洲国立大学费用贵吗 澳洲国立大学读研费用贵吗 澳洲国立大学自动化研究生一年学费,生活费有多少? 光腿神器是什么 微博加##是什么意思 江苏耀华医疗器械科技有限公司电话是多少? 江苏鑫迎康医疗器械有限公司电话是多少? 江苏脉动医疗器械科技有限公司电话是多少? 江苏创铭医疗器械有限公司电话是多少? 江苏康诺医疗器械股份有限公司电话是多少? 江苏省医疗器械检验所是事业单位吗 请问一下怎么把手机格式化 北京鼎盛意轩网络营销策划有限公司怎么样? “池子”指中信银行泄露其流水,上海银保监局:已介入调查 熟读圣经下载离线播放怎么操作 如图所示的六个透镜中,属于凸透镜的有___;属于凹透镜的有___. 最近电脑刚出现一个新问题,下载的软件大部分无法安装,提示“The installer you are trying to use is co 请把这封商务函翻译成中文20 May 2005 Kee & Co., Ltd 34 Regent Street London, UK Dear Mr. White: I app Appco Group Asian 中文名是什么 广西昨天疫情新增哪里的 渐江有疫情嘛 《呼兰河传》:12岁嫩媳被扒光,一场封建愚善和冷漠看客的狂欢 我看莫言《檀香刑》的魔幻现实主义文学特征 60岁以上老人乘机需要健康状况证明吗? 买飞机票后提示要求60岁以上的老人坐飞机需要开具医院健康证明吗?好麻烦啊 联想二合一笔记本miix5蓝屏 启动不了 联想miix510新电脑出现问题,开机后屏幕白边 联想g510出现蓝屏 上面显示电脑出现问题需要收集数据重启 关于联想Y510的开机蓝屏问题 联想IdeaPad Y510-UI开机蓝屏且无法进入其它模式 导航设置里全速USB和高速USB是什么意思,是不是汽车低速度了就识别不到U盘了? 暗算的同义词 枪组词和部首