什么是数学-柯郎和罗宾 读书笔记

序言

斯图尔特：这本书反击了“数学是从定义和公理中推导出来的一组结论，而这些定义和命题除了不矛盾外，可以由数学家随意创造”的思想，希望把真实的意义放回数学中，与物质现实非常不同的那种意义，是指“数学上不加定义的对象之间的相关关系以及它们所遵循的运算法则”。书中提到的术语虽然也许会过时，但是它的思想是至今有效的。
数学的基本要素：逻辑和直观、分析和构作、一般性和个别性；发展趋势从应用科学到理论科学；数学的发展：巴比伦人的初等代数->希腊（真正的起点）->欧多克斯的几何连续统理论（连续、运动以及无限大难题）；
数学的发展和数学与哲学

第一章 自然数

数是近代科学的基础，所有数学命题最终都应归结为关于自然数。数是一种抽象，不依赖于对象的任何特殊性质。
一、整数的计算
1、算术是正整数之间加法和乘法运算的规律，包括交换、结合和分配律；
利用加法可以定义不等关系，减法、负整数、整数0
2、整数的表示：位置记法（进制表示法）：选择了固定的进制，便可以利用加法表和乘法表表示计算规则
二、数系的无限性 数学归纳法
1、数系的无限性通过数学归纳法证明；
2、数学归纳法：两个步骤；只能证明创造性的成分；适合正确的假设
三、数论
欧几里得、费马、欧拉、高斯等；
数论中经常研究一类数而不是单个数
1、素数 vs 合数
（1）素数有无穷多个：反证法
（2）素因子分解的唯一性：反证法
（3）素数的分布：“爱拉陀塞姆筛法” ；
（4）素数的产生：F(n)=2^(2 n)^+1(n<5) ; F(n)=n² -n +41(n<41)
很难找到一个可以表示所有素数的代数表达式
（5）素数平均分布----素数定理：τ(n)/n ~ 1/(ln n) ，n越大越相近（高斯猜想）
（6）哥德巴赫猜想：任何一个偶数（除2外）都能表示为两个素数的和；（每一个正整数能表示成不超过300000个素数之和->4个）
（7）素数经常以p和p+2的形式成对出现（未证明）
2、同余
（1）费马定理：a^p-1=1(mod p) 其中p为不整除a的素数
（2）二次剩余：a^(p-1)/2=1或-1（mod p）p同上；前者为二次剩余，后者为二次非剩余；两者个数均为(p-1)/2；
（3）勒让德发现（高斯所谓的“二次互反定律”）：已知两个不同的素数p和q，如果(p-1)/2 * (q-1)/2为偶数，则q为p的二次剩余当且仅当p是q的二次剩余；如果(p-1)/2 * (q-1)/2 为奇数，则q为p的二次剩余当且仅当p为q的二次非剩余；
3、毕达哥拉斯数和费马大定理：
（1）毕达哥拉斯三元数：a²+b²=c² 的整数解（a,b,c）,a=v²-u²,b=2uv,c=u²+v²,当v>u，且没有公因子，为不同的奇数时产生所有的素毕达哥拉斯三元数
（2）费马大定理：aⁿ+bⁿ=cⁿ，当n>2时，没有自然数解（未被证明）
4、欧几里得辗转相除法：
（1）=> 最大公因子
（2）p|ab可以得到p|a或p|b=>算术基本定理
（3）欧拉函数φ：φ§=p-1;φ(n=p1^a1p2^a2…pn^an)=n(1-1/p1)…(1-1/pn)
欧拉定理（费马定理推论）：a^φ(n)=1 (mod n) ,其中n与a互素
（4）连分数：利用辗转相除法可以将任意有理数表示为连分数
丢番都方程：具有若干个未知数的整系数代数方程，要求解为整数；常见的形式为ax+by=c，只需c为(a,b)的倍数即可；

第二章 数学中的数系

一、将自然数扩展有理数、无理数以及复数
1、有理数：
自然数 --（实际应用以及加乘法逆运算）–>分数（有理数）
有理数的几何表示，绝对值，
2、无理数：
（1） 不可公度线段 => 无理数
数的连续统（实数系）：有理数+无理数，即全体无限小数（只针对十分位，不具有一般性）
（2）极限：趋向于 ： 趋向于 ；无穷等比级数；
（3）有理数和循环小数：循环小数可以利用无穷等比级数证明为有理数
（4）无理数和区间套：对于一个有理端点区间套，在数轴上恰有一个点包含在所有这些区间中；（更一般的定义）
（5）戴特金分割（无理数的另一种定义）：将有理数分为A,B两个集合，满足A中任意元素都小于B中任意元素；有三种情况：（<a,=>a）,(<=a,>a),(<,>),第三种分割定义了一个无理数
3、解析几何概述：
由于数的连续统，可以将几何与数联系起来，从引入“直角坐标系”开始；直线方程、曲线方程；
4、无限的数学分析（主要贡献者：康托）：
（1）无限（∞）不能像普通数那样放入实数系统；借助“等势”的概念（“一一对应”的两个集合）了解无限集，定义无限的“算术”；一个无限集可以与其真子集“等势”；
（2）有理数的可数性和连续统的不可数性（康托）；
（3）无限集分为可数无限性和不可数无限性；；而实数连续统和任何可数集不等势，即并不是无限集都是等势的；
（4）“相同”基数：是指两个集合等势；对于有限集合的基数就是元素的个数，即自然数；
5、复数（解二次方程引入）
几何解释：将复数x+yi用在平面直角坐标系中，也可以表示为ρ(cosφ+isinφ)；
证明了棣莫弗所发现的公式：（cosφ+isinφ）ⁿ=cosnφ+isinnφ
从而发现n次单位根有不同的n个值，分别为ai=cos360i/n+isin360i/n
6、代数基本定理：每一个n次多项式可以恰好分解为n个因式的乘积；（高斯定理：n次多项式方程至少有一个解 是前提）
7、代数数：是任意次的整系数方程的根；是有理数的自然推广；全体代数数是可数的，所以并不是每个实数都是代数数；
超越数：非代数数的实数；
8、柳维尔定理：无理代数数可以用大分母分数的有理数以很高的精确度来逼近的数；设有理数列p1/q1,p2/q2,…, 使pr/qr->z，则有|z-p/q|>1/qⁿ⁺¹

由于实际需要而引入新的数域或者扩大数域的起初，都是在找到几何意义后才广泛被接受

二、集合代数（关于集的运算）

第三章 几何作图 数域的代数

一、不可能性的证明和代数
1、基本几何作图
（1）域的构作和开平方根
将几何问题转换为代数语言；解析几何的原理就是在引进实数连续的基础上，用实数刻画几何对象的量的特征；
可以利用三角形内的“中位线”来讲有理代数过程用几何作图实现；
若干个数可以经过运算后仍然属于这个集合，称为域；