>> 皮亚诺(Peano)公理

定义自然数

公理2.1   0是一个自然数.

公理2.2   若n是自然数, 则n++也是自然数.

公理2.3   0不是任何自然数的后继, 即对于每个自然数n , 都有n++ ≠ 0.

公理2.4   不同的自然数必有不同的后继者; 也就是说, 若n, m是自然数且n≠m, 则n++ ≠ m++. 等价地说, 若n++ = m++, 则必有n = m.

公理2.5(数学归纳原理)   设P(n)是关于自然数的一个性质, 假设P(0)是真的 , 并假设只要P(n)是真的, 则P(n++)也是真的. 那么对于每个自然数n,  P(n)都是真的.

 

//单个自然数有限, 自然数的集合无限.

 

 

 

>> 自然数的运算

1. 增长(++)

2. 加法

定义2.2.1(自然数的加法)    设m是自然数. 为使m加上0, 我们定义0+m:=m. 现归纳的假定已定义好如何使m加上n. 那么把m加上n++则定义为(n++)+m := (n+m)++.

定义

0+m = m

(n++)+m = (n+m)++

 

推论

m+0 = m

①0+0 = 0

②假设n+0 = n

∵ (n++)+0 = (n+0)++ = n++

∴ 假设成立.

n+(m++) = (n+m)++

①0+(m++) = m++

②假设 n+(m++) = (n+m)++

∵(n++)+(m++) = ( n+(m++) )++ = (n+m)++ ++ = ( (n++)+m )++

∴假设成立.

n++ = n+1

n+1 = n+(0++) = (n+0)++ = n++

交换律: 对于任何自然数n, m, n+m = m+n.

①0+m = m+0

②假设 n+m = m+n

∵(n++)+m = (n+m)++ = n+(m++)

∴假设成立.

结合律: 对于任何自然数a, b, c,  (a+b)+c = a+(b+c)

①(a+0)+c = a+c = a+(0+c)

②假设 (a+b)+c = a+(b+c)

∵( a+(b++) )+c = ( (a+b)++ )+c = ( (a+b)+c )++ = ( a+(b+c) )++ = a+(b+c)++ = a+( (b++)+c )

∴假设成立.

消去律: 设a, b, c为自然数, 且a+b = a+c, 则b = c.

①0+b = 0+c  → b = c

②假设a+b = a+c → b = c

∵ 设 (a++)+b = (a++)+c

(a+b)++ = (a+c)++   →  a+b = a+c(公理2.4)  →  b = c

∴假设成立.

定义2.2.7: 一个自然数叫做正的, 当且仅当它不等于0.

 

推论

1. 若a是正数, b是自然数. 则a+b是正数.

①a+0是正数

②假设a+b是正数

  ∵a+(b++) = (a+b)++ ≠ 0

∴假设成立.

2. 若a, b是自然数, 且a+b = 0. 则a = 0, b = 0.

(反证): 假设a≠0, 则a是正数. 由推论1, a+b是正数. 与a+b=0矛盾.

∴a=0, b=0(同理).

3.设a是正数, 则存在一个自然数b, 使b++ = a.

①0++ = 1

②假设b++ = a

∵a++ = (b++)++ = (b++)+1 ≠ 0

∴假设成立.

未完待续......

《数学分析Analysis》の 学习笔记的更多相关文章

  1. 学习笔记之Data analysis

    Data analysis - Wikipedia https://en.wikipedia.org/wiki/Data_analysis Data analysis is a process of ...

  2. [ML学习笔记] 回归分析(Regression Analysis)

    [ML学习笔记] 回归分析(Regression Analysis) 回归分析:在一系列已知自变量与因变量之间相关关系的基础上,建立变量之间的回归方程,把回归方程作为算法模型,实现对新自变量得出因变量 ...

  3. Solr学习笔记之2、集成IK中文分词器

    Solr学习笔记之2.集成IK中文分词器 一.下载IK中文分词器 IK中文分词器 此文IK版本:IK Analyer 2012-FF hotfix 1 完整分发包 二.在Solr中集成IK中文分词器 ...

  4. Deep Learning(深度学习)学习笔记整理系列之(六)

    Deep Learning(深度学习)学习笔记整理系列 zouxy09@qq.com http://blog.csdn.net/zouxy09 作者:Zouxy version 1.0 2013-04 ...

  5. VSTO学习笔记(十四)Excel数据透视表与PowerPivot

    原文:VSTO学习笔记(十四)Excel数据透视表与PowerPivot 近期公司内部在做一种通用查询报表,方便人力资源分析.统计数据.由于之前公司系统中有一个类似的查询使用Excel数据透视表完成的 ...

  6. ArcGIS API for JavaScript 4.2学习笔记[0] AJS4.2概述、新特性、未来产品线计划与AJS笔记目录

    放着好好的成熟的AJS 3.19不学,为什么要去碰乳臭未干的AJS 4.2? 4.2全线基础学习请点击[直达] 4.3及更高版本的补充学习请关注我的博客. ArcGIS API for JavaScr ...

  7. NumPy学习笔记 三 股票价格

    NumPy学习笔记 三 股票价格 <NumPy学习笔记>系列将记录学习NumPy过程中的动手笔记,前期的参考书是<Python数据分析基础教程 NumPy学习指南>第二版.&l ...

  8. NumPy学习笔记 二

    NumPy学习笔记 二 <NumPy学习笔记>系列将记录学习NumPy过程中的动手笔记,前期的参考书是<Python数据分析基础教程 NumPy学习指南>第二版.<数学分 ...

  9. NumPy学习笔记 一

    NumPy学习笔记 一 <NumPy学习笔记>系列将记录学习NumPy过程中的动手笔记,前期的参考书是<Python数据分析基础教程 NumPy学习指南>第二版.<数学分 ...

  10. cips2016+学习笔记︱简述常见的语言表示模型(词嵌入、句表示、篇章表示)

    在cips2016出来之前,笔者也总结过种类繁多,类似词向量的内容,自然语言处理︱简述四大类文本分析中的"词向量"(文本词特征提取)事实证明,笔者当时所写的基本跟CIPS2016一 ...

随机推荐

  1. JAVA学习:异常

    一.异常官方定义: 1.就是不正常.程序在运行时出现的不正常情况.其实就是程序中出现的问题.这个问题按照面向对象思想进行描述,并封装成了对象.因为问题的产生有产生的原因.有问题的名称.有问题的描述等多 ...

  2. 移动tempdb导致数据库服务不能启动

    事情的起因是因为数据库的IO操作过大,于是新加了个硬盘,发现在执行写入操作的时候,服务器的压力依然是比较大的,于是想到了内存盘.内存盘是"魔方"系统优化提供的一个小工具,就是将内存 ...

  3. Mysql--选择适合的引擎,提高操作速度

    在MySQL 5.1中,MySQL AB引入了新的插件式存储引擎体系结构,允许将存储引擎加载到正在运新的MySQL服务器中   一.数据引擎简介 在MySQL 5.1中,MySQL AB引入了新的插件 ...

  4. 读取xml并将节点保存到Excal

    using NPOI.HPSF; using NPOI.HSSF.UserModel; using NPOI.SS.UserModel; using System; using System.Coll ...

  5. 多线程编程中使用pthread_create内存泄露问题

    //tls5源代码: #include <stdio.h> #include <unistd.h> #include <string.h> #include &qu ...

  6. iOS AVCaptureDevice的一些动西

    http://blog.sina.com.cn/s/blog_78a55c9f01011apc.html

  7. jQuery Easing 动画效果扩展

    jQuery API提供了简单的动画效果如淡入淡出以及自定义动画效果,而今天我给大家分享的是一款jQuery动画效果扩展增强插件jquery.easing.js,使用该插件可以实现直线匀速运功.变加速 ...

  8. resin-pro-4.0.34 服務器在windows环境下的配置

    resin-pro-4.0.34 服務器在windows环境下的配置(轉載请注明作者:icelong) 到caucho網站上http://www.caucho.com/download/下載resin ...

  9. jQuery动态操作表单

    <html> <head> <title>jquery表格操作</title> <script language="javascript ...

  10. 子PID namespace中获取父namespace中pid的方法

    在那篇< 使用独立PID namespace防止误杀进程>中的最后,我碰到了一个难题,那就是父PID namespace中的进程无法使用进入子PID namespace中通过echo $$ ...