《数学分析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一 ...
随机推荐
- JAVA学习:异常
一.异常官方定义: 1.就是不正常.程序在运行时出现的不正常情况.其实就是程序中出现的问题.这个问题按照面向对象思想进行描述,并封装成了对象.因为问题的产生有产生的原因.有问题的名称.有问题的描述等多 ...
- 移动tempdb导致数据库服务不能启动
事情的起因是因为数据库的IO操作过大,于是新加了个硬盘,发现在执行写入操作的时候,服务器的压力依然是比较大的,于是想到了内存盘.内存盘是"魔方"系统优化提供的一个小工具,就是将内存 ...
- Mysql--选择适合的引擎,提高操作速度
在MySQL 5.1中,MySQL AB引入了新的插件式存储引擎体系结构,允许将存储引擎加载到正在运新的MySQL服务器中 一.数据引擎简介 在MySQL 5.1中,MySQL AB引入了新的插件 ...
- 读取xml并将节点保存到Excal
using NPOI.HPSF; using NPOI.HSSF.UserModel; using NPOI.SS.UserModel; using System; using System.Coll ...
- 多线程编程中使用pthread_create内存泄露问题
//tls5源代码: #include <stdio.h> #include <unistd.h> #include <string.h> #include &qu ...
- iOS AVCaptureDevice的一些动西
http://blog.sina.com.cn/s/blog_78a55c9f01011apc.html
- jQuery Easing 动画效果扩展
jQuery API提供了简单的动画效果如淡入淡出以及自定义动画效果,而今天我给大家分享的是一款jQuery动画效果扩展增强插件jquery.easing.js,使用该插件可以实现直线匀速运功.变加速 ...
- resin-pro-4.0.34 服務器在windows环境下的配置
resin-pro-4.0.34 服務器在windows环境下的配置(轉載请注明作者:icelong) 到caucho網站上http://www.caucho.com/download/下載resin ...
- jQuery动态操作表单
<html> <head> <title>jquery表格操作</title> <script language="javascript ...
- 子PID namespace中获取父namespace中pid的方法
在那篇< 使用独立PID namespace防止误杀进程>中的最后,我碰到了一个难题,那就是父PID namespace中的进程无法使用进入子PID namespace中通过echo $$ ...