-
定义(Definition): 对于一个数学概念精准明确的描述;通过给出一个单词的所有真实的性质来赋予这个单词意义。
-
公理/假定(Axiom/postulate): 不证自明的声明;它是所有定理(Theorem)证明的基石。
-
定理(Theorem):经过严格的数学推导的声明;在数学论文中,通常指最重要的结果。
-
引理(Lemma):为了帮助证明某一个定理(Theorem)的小定理;偶尔也能单独存在。
-
推论(Corollary):由已有的定理(Theorem)证明出来的结果;经常说某定理(Theorem)的推论。
-
Proposition(命题):得到证明的一些结论;通常不如定理(Theorem)重要。
1-6的关系:
定义和公理:任何理论的基础。定义决定了概念的范畴,公理使得理论能够被人的理性所接受。
定理和命题:是在定义和公理的基础上通过理性的加工使得理论的再延伸。定理主要描述各定义(范畴)间的逻辑关系,命题描述的是某种对应关系(非范畴性质)。定理的理论高度比命题高一些。
推论和引理:推论就是某一定理的附属品,属于某一定理的应用。引理是在证明某一个定理的时候必须用到的其它的定理。
标签:推论,公理,定义,定理,Theorem,引理 来源: https://blog.csdn.net/qq_38800089/article/details/115058898
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。