《数学分析Analysis》の 学习笔记
>> 皮亚诺(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》の 学习笔记的更多相关文章
- 学习笔记之Data analysis
Data analysis - Wikipedia https://en.wikipedia.org/wiki/Data_analysis Data analysis is a process of ...
- [ML学习笔记] 回归分析(Regression Analysis)
[ML学习笔记] 回归分析(Regression Analysis) 回归分析:在一系列已知自变量与因变量之间相关关系的基础上,建立变量之间的回归方程,把回归方程作为算法模型,实现对新自变量得出因变量 ...
- Solr学习笔记之2、集成IK中文分词器
Solr学习笔记之2.集成IK中文分词器 一.下载IK中文分词器 IK中文分词器 此文IK版本:IK Analyer 2012-FF hotfix 1 完整分发包 二.在Solr中集成IK中文分词器 ...
- Deep Learning(深度学习)学习笔记整理系列之(六)
Deep Learning(深度学习)学习笔记整理系列 zouxy09@qq.com http://blog.csdn.net/zouxy09 作者:Zouxy version 1.0 2013-04 ...
- VSTO学习笔记(十四)Excel数据透视表与PowerPivot
原文:VSTO学习笔记(十四)Excel数据透视表与PowerPivot 近期公司内部在做一种通用查询报表,方便人力资源分析.统计数据.由于之前公司系统中有一个类似的查询使用Excel数据透视表完成的 ...
- ArcGIS API for JavaScript 4.2学习笔记[0] AJS4.2概述、新特性、未来产品线计划与AJS笔记目录
放着好好的成熟的AJS 3.19不学,为什么要去碰乳臭未干的AJS 4.2? 4.2全线基础学习请点击[直达] 4.3及更高版本的补充学习请关注我的博客. ArcGIS API for JavaScr ...
- NumPy学习笔记 三 股票价格
NumPy学习笔记 三 股票价格 <NumPy学习笔记>系列将记录学习NumPy过程中的动手笔记,前期的参考书是<Python数据分析基础教程 NumPy学习指南>第二版.&l ...
- NumPy学习笔记 二
NumPy学习笔记 二 <NumPy学习笔记>系列将记录学习NumPy过程中的动手笔记,前期的参考书是<Python数据分析基础教程 NumPy学习指南>第二版.<数学分 ...
- NumPy学习笔记 一
NumPy学习笔记 一 <NumPy学习笔记>系列将记录学习NumPy过程中的动手笔记,前期的参考书是<Python数据分析基础教程 NumPy学习指南>第二版.<数学分 ...
- cips2016+学习笔记︱简述常见的语言表示模型(词嵌入、句表示、篇章表示)
在cips2016出来之前,笔者也总结过种类繁多,类似词向量的内容,自然语言处理︱简述四大类文本分析中的"词向量"(文本词特征提取)事实证明,笔者当时所写的基本跟CIPS2016一 ...
随机推荐
- 根据Eclipse SVN changelog使用ANT自动打增量包
1.获取changeLog 用eclipseSVN的插件功能查看history. 将日志文件导出到本地文件svn_change.log,格式如下 r63 | xiaodaoshi | 2014-08- ...
- IOS UI 第四篇:基本UI
ViewController 应用 再第一个XIB页面创建另一个XIB页面,并且通过按钮调用它 - (IBAction)GoSecond:(id)sender { secondVie ...
- C++ const关键字用法详解
1const char*, char const*, char*const的区别问题几乎是C++面试中每次都会有的题目. 事实上这个概念谁都有只是三种声明方式非常相似很容易记混. Bjarne在他的T ...
- 手机APP下单支付序列图
今天安装了Visio,学习了下如何使用,画了一下公司现在项目的下单支付序列图,话就不多说了,直接上图,处女作,欢迎指正!
- 自承载Web API
自承载Web API 前言 阅读本文之前,您也可以到Asp.Net Web API 2 系列导航进行查看 http://www.cnblogs.com/aehyok/p/3446289.html As ...
- 对类sizeof的时候
sizeof一个类的时候,都什么会被计算?静态成员会被计算进来么?如果这是一个子类,它的父类成员会被计算么? #include<stdio.h> #include<string.h& ...
- Linux下搭建Nginx+MySQL+PHP
在CentOS6.3下实践通过. 1.关闭防火墙 [root@CentOS ~]# chkconfig iptables off 2.关闭selinux vi /etc/sysconfig/selin ...
- Prolog学习:基本概念 and Asp.net与Dojo交互:仪器仪表实现
Asp.net与Dojo交互:仪器仪表实现 项目中需要用到仪器仪表的界面来显示实时的采集信息值,于是便遍地寻找,参考了fusionchart和anychart之后,发现都是收费的,破解的又没有这些功能 ...
- IOS学习之路五(SpriteKit 开发飞机大战小游戏一)
参考SpriteKit 创建游戏的教程今天自己动手做了一下,现在记录一下自己怎么做的,今天之做了第一步,一共有三个部分. 第一步,项目搭建. 项目所用图片资源:点击打开链接 1.在Xcode打开之后, ...
- 编译linux内核时出错
在编译linux内核的时候使用make menuconfig 可能出现下面的错误 *** Unable to find the ncurses libraries or the*** required ...