第一章:什么是证明
命题:命题是一个或真或假的语句(表述)。
谓词:谓词( predicate)相当于真假性取决于一个或多个变量值的命题。
逻辑推理
逻辑推理:逻辑推理( logical deduction ),或推理规则( inference rule ),是指基于已被证明过的命题来证明新的命题。
其他推理规则:
证明蕴含
方法1:
方法2:
证明当且仅当:
数学证明的优秀实践
**陈述你的计划。**优秀的证明开头部分通常有一句解释概括性的话。例如,“我们使用案例分析法”或者“我们采用反证法证明”
**保持线性流程。**有时候,证明就好比数学马赛克,各种独立推理胡乱堆砌。这样不好。论证的步骤应当以可理解的方式有序进行。
**证明是一篇论文,而不是计算。**刚开始很多学生都像求积分那样写证明,一长串的表达式,没有解释,让人十分难以理解。这很糟糕。优秀的证明往往更像是一篇带公式的论文。请使用完整的句子。
**避免过度使用符号。**你的读者可能擅于理解文字,而不太理解那些晦涩的数学符号。请尽量使用文字。
**修改、简化。**读者会感激你的。
**仔细地介绍符号。**有时候,引入变量、采用特殊符号,或者定义新术语,能够极大地简化证明。但需要慎重,因为读者要记住所有这些新知识。记住,请先定义这些新变量、术语或符号的含义,不要一上来就用啊!
**将长证明结构化。**长的框架通常可以分解成较小的过程构成的层级系统。长证明也是这样。如果证明过程需要用到一些说起来简单但证明起来不容易的事实,可以将它们抽出来作为初步的引理。此外,如果反复重复同样的论据,可以将这个论据作为一般性引理,然后反复引用即可。
**警惕“显然”。**如果证明需要用到熟悉或确实显而易见的事实,可以说这些事实是“显然”的,不必证明。但是请记住,你觉得显然的东西,对读者来说可能不是-—通常都不是———显然的。
最重要的是,不要使用“明显”或“显而易见”这样的字眼,去强迫读者接受你证明不了的东西。而且,在别人的证明中看到这些字眼都要引起注意。
**结束。**当我们论证了所有基本事实以后,不要立刻停止,不要让读者自己去得出“显然的”结论。而是要总结一下,解释为什么原命题成立。
第二章 良序原理
**良序原理:**非负整数集中的每个非空子集都有一个最小元素。
良序证明模板:
例子:
**良序集合:**如果一个集合的任意非空子集都有一个最小元素,我们称这个集合是良序的( well ordered )。根据良序定理可知,非负整数集合是良序的,其实还有很多集合也是良序的,比如每一个有限集,还比如集合rN,其中元素为rn,r为正实数,n ∈ N。