1.数 1
1.1 计数 2
1.1.1 自然数 2
1.1.1.1 自然数的构造 2
1.1.1.2 算术 3
1.1.2 整数 4
1.1.2.1 零和负整数的性质 5
1.1.3 有理数 6
1.1.4 序 6
1.1.4.1 使N,Z和Q有序 7
1.1.5 从一到无穷大 8
1.1.5.1 无穷集的比较 8
1.1.6 无穷算术 8
1.1.7 超越∞ 11
1.2 实数 13
1.2.1 怎样产生无理数 15
1.2.1.1 实数的代数描述 16
1.2.2 有多少个实数 17
1.2.3 代数数和超越数 18
1.2.3.1 超越数的例子 20
1.2.4 连续统假设和更大的无穷大 20
1.3 复数及其高维同伴 22
1.3.1 复数i的发现 22
1.3.2 复平面 23
1.3.2.1 复数在几何中的应用 24
1.3.3 棣莫弗定理 25
1.3.4 多项式和代数基本定理 26
1.3.4.1 多项式方程的求解 26
1.3.5 还有其他的数吗 28
1.3.5.1 四元数 29
1.3.5.2 凯莱数 31
1.4 素数 31
1.4.1 计算机、算法和数学 32
1.4.2 素数的性质 33
1.4.3 素数有多少个 34
1.4.3.1 素数的分布 35
1.4.4 欧几里得算法 35
1.4.4.1 欧几里得算法的速度 36
1.4.4.2 连分数 37
1.4.5 贝祖引理和算术基本定理 39
1.5 模整数 40
1.5.1 模为素数的算术 41
1.5.1.1 一个关于素数的公式 42
1.5.1.2 费马小定理 43
1.5.2 RSA密码 43
1.5.2.1 建立RSA体制 44
1.5.2.2 一种RSA密码体制 46
2.分析 49
2.1 无穷极限 50
2.1.1 三个例子 50
2.1.1.1 阿基里斯和乌龟 50
2.1.1.2 连续复合利率 51
2.1.1.3 方程的迭代解法 53
2.1.2 极限的数学描述 55
2.1.2.1 收敛的一般准则 58
2.1.3 极限应用于无穷和 58
2.1.3.1 一个例子:几何级数 59
2.2 无穷和的收敛与发散 59
2.2.1 调和级数 60
2.2.2 收敛判别法 60
2.2.2.1 比较判别法 61
2.2.2.2 交错级数判别法 62
2.2.2.3 绝对收敛 62
2.2.2.4 比率判别法 63
2.2.3 幂级数及其收敛半径 64
2.2.3.1 确定收敛半径 65
2.2.4 无穷级数的重新排列 66
2.3 实函数 67
2.3.1 实值函数的极限 67
2.3.2 连续函数 69
2.3.3 微分 71
2.3.3.1 例子 73
2.3.3.2 微分中值定理 75
2.3.3.3 洛必达法则 77
2.3.4 面积与积分 78
2.3.5 微积分基本定理 79
2.4 对数函数和指数函数以及e 81
2.4.1 Inx的定义 81
2.4.2 expx的定义 84
2.4.3 欧拉数e 85
2.4.3.1 e的无理性 87
2.5 幂级数 88
2.5.1 泰勒级数 90
2.5.1.1 作为警示的例子 92
2.5.1.2 实函数的复扩张 92
2.6 π与分析学观点下的三角学 93
2.6.1 角度与扇形面积 94
2.6.1.1 π的一个级数展开式 95
2.6.2 正切、正弦和余弦 97
2.6.2.1 用幂级数定义sinx和cosx 98
2.6.3 傅里叶级数 99
2.7 复函数 102
2.7.1 指数函数和三角函数 102
2.7.2 复函数的几个基本性质 103
2.7.3 对数函数及多值函数 103
2.7.4 复数幂 105
3.代数 107
3.1 线性性 108
3.1.1 线性方程 108
3.1.1.1 线性方程组 109
3.1.2 向量空间 111
3.1.2.1 直线、平面和其他向量空间 112
3.1.2.2 向量空间的子空间和交 113
3.1.2.3 向量的物理学例子 114
3.1.2.4 有多少个向量空间 115
3.1.2.5 向量的进一步例子 118
3.1.3 将向量空间投入应用:线性映射和矩阵 119
3.1.3.1 再探联立线性方程组 119
3.1.3.2 矩阵代数的性质 120
3.1.4 解线性方程组 121
3.1.4.1 齐次方程 121
3.1.4.2 线性微分算子 121
3.1.4.3 非齐次线性方程 122
3.1.4.4 求方阵的逆阵 122
3.1.4.5 行列式 124
3.1.4.6 行列式的性质 124
3.1.4.7 方阵的求逆阵公式 125
3.2 最优化 125
3.2.1 线性约束 125
3.2.2 单纯形法 126
3.2.2.1 一个例子 129
3.2.2.2 食谱问题 131
3.2.2.3 运输问题 131
3.2.2.4 博弈 132
3.3 距离、长度和角度 132
3.3.1 纯量积 133
3.3.1.1 标准几何与欧氏纯量积 133
3.3.1.2 多项式和纯量积 135
3.3.2 一般纯量积 137
3.3.2.1 柯西-施瓦茨不等式 137
3.3.2.2 长度和距离的一般性质 138
3.3.2.3 不是由纯量积导出的长度 139
3.4 几何与代数 140
3.4.1 二维空间中的二次型 141
3.4.2 三维空间中的二次曲面 142
3.4.3 特征向量和特征值 143
3.4.3.1 求特征向量和特征值 144
3.4.3.2 实对称矩阵的特殊性质 144
3.4.3.3 再探二次型 146
3.4.3.4 例子再探 146
3.4.4 等距变换 148
3.4.4.1 平移 151
3.4.4.2 行列式、体积和等距变换 151
3.5 对称 153
3.5.1 对称群 154
3.5.1.1 群公理 155
3.5.1.2 再说四元数 155
3.5.1.3 模为p的整数乘法 156
3.5.2 对称中的对称——子群 157
3.5.2.1 有限群的特殊性质 158
3.5.3 群作用 160
3.5.4 二维和三维的墙纸 162
3.5.4.1 点阵上的墙纸 163
3.5.4.2 贴墙纸 165
3.5.4.3 对晶体学的应用 166
4.微积分与微分方程 169
4.1 微积分的起因和内容 169
4.1.1 加速度、速度和位置 169
4.1.1.1 积分 170
4.1.2 多亏牛顿 172
4.1.2.1 一种单摆 172
4.1.2.2 从单摆到复摆 173
4.1.2.3 基于牛顿定律的微积分的发展 174
4.2 线性常微分方程 175
4.2.1 线性常微分方程的全解 175
4.2.2 非齐次方程 176
4.2.3 解齐次线性方程 177
4.2.3.1 常系数方程 177
4.2.4 幂级数解法 178
4.2.4.1 贝塞尔函数 180
4.2.4.2 一般的级数求解法 181
4.3 偏微分方程 181
4.3.1 偏导数的定义 182
4.3.2 弦振动方程 182
4.3.2.1 波动解释 184
4.3.2.2 分离变量法 185
4.3.2.3 初始条件和边界条件 185
4.3.2.4 弦乐器 186
4.3.3 扩散方程 187
4.3.3.1 太阳能加热 189
4.3.4 从实数看复导数 190
4.3.4.1 拉普拉斯方程 191
4.4 微积分与几何相遇 192
4.4.1 切向量与法向量 192
4.4.2 梯度、散度和旋度 195
4.4.3 面积分与体积分 196
4.4.3.1 高斯积分 198
4.4.3.2 散度的几何解释 199
4.4.3.3 旋度的几何解释 201
4.4.3.4 重访傅里叶 201
4.4.3.5 散度定理的应用 201
4.4.4 拉普拉斯方程和泊松方程 203
4.4.4.1 解拉普拉斯方程 203
4.4.4.2 泊松方程 204
4.4.4.3 边界条件与解的唯一性 204
4.5 非线性性 205
4.5.1 关于流体运动的纳维-斯托克斯方程 205
4.5.2 微分方程的扰动 207
4.5.2.1 弹道学 208
4.5.2.2 单摆并不简单 210
4.6 定性方法:不求出解的解法 213
4.6.1 解微分方程意味着什么 214
4.6.2 相空间与轨道 215
4.6.3 画出相空间轨道图 216
4.6.3.1 一阶非线性微分方程 216
4.6.3.2 二阶非线性微分方程 216
4.6.3.3 披着虎皮的简谐运动 217
4.6.3.4 非线性方程的例子 218
4.6.4 不动点附近的一般流型 221
4.6.5 例子:猎食方程 221
4.6.6 相互竞争的食草动物 223
5.概率 227
5.1 概率论的基本概念 227
5.1.0.1 生日相同问题 228
5.1.1 两个作为警示的例子 230
5.1.1.1 比赛中止问题 230
5.1.1.2 门和山羊的问题 231
5.2 严格的概率论 232
5.2.1 容斥公式 233
5.2.1.1 外套问题 234
5.2.2 条件概率 235
5.2.2.1 贝叶斯统计学家 236
5.2.3 全概率定律和贝叶斯公式 237
5.2.3.1 药物检测的可靠性 238
5.3 样本空间上的函数:随机变量 239
5.3.1 二项分布 240
5.3.2 二项分布的泊松近似 242
5.3.2.1 噪声数据中的误差分布 243
5.3.3 泊松分布 243
5.3.3.1 泊松分布的解释 245
5.3.4 连续型随机变量 245
5.3.4.1 正态分布 246
5.3.4.2 均匀分布 248
5.3.4.3 伽马随机变量 249
5.3.5 概率在素数中的一个应用 250
5.3.6 平均化与期望 251
5.3.6.1 在二项分布和泊松分布的试验中我们应该期望得到什么 252
5.3.6.2 在正态分布的试验中我们应该期望得到什么 253
5.3.6.3 收集问题 254
5.3.6.4 柯西分布 254
5.3.7 离散程度与方差 255
5.3.7.1 期望和方差的一种动力学解释 256
5.4 极限定理 256
5.4.1 切比雪夫不等式 257
5.4.1.1 切比雪夫不等式给出了最好界限 257
5.4.1.2 将对平均值的偏差标准化 258
5.4.1.3 标准化随机变量 259
5.4.2 大数律 259
5.4.2.1 蒙特卡罗积分法 260
5.4.3 中心极限定理和正态分布 262
5.4.3.1 中心极限定理 262
6.理论物理 265
6.1 牛顿的世界 266
6.1.1 行星的绕日运动 267
6.1.1.1 变换运动方程 267
6.1.1.2 问题的解 268
6.1.1.3 牛顿的反引力 271
6.1.2 证明能量守恒 271
6.1.3 其他类型的力导致行星灾难 273
6.1.4 地球、太阳和月亮? 275
6.2 光、电、磁 276
6.2.1 静电 277
6.2.1.1 关于一个磁体的方程 277
6.2.2 电流与磁性 279
6.2.3 关于电磁波的麦克斯韦方程 279
6.2.3.1 真空中电磁波方程的解 280
6.3 相对论与宇宙的几何 281
6.3.1 狭义相对论 283
6.3.1.1 长度收缩与时间延缓 286
6.3.1.2 作为一种时空旋转的洛伦兹变换 287
6.3.1.3 作为时空对称群的洛伦兹变换 289
6.3.1.4 相对论性动量 290
6.3.2 广义相对论和引力 292
6.3.2.1 施瓦氏黑洞 293
6.4 量子力学 294
6.4.1 量子化 295
6.4.1.1 波粒二象性 295
6.4.2 量子力学的数学系统 297
6.4.2.1 基本方程 297
6.4.3 量子力学的基本设置 300
6.4.3.1 陷进一维盒子的粒子 301
6.4.3.2 动量本征态 303
6.4.3.3 推广到三维空间 304
6.4.4 海森伯的不确定性原理 304
6.4.4.1 不确定性在起作用 306
6.4.5 接下来是什么 307
附录A 给读者的练习 309
A.1 数 309
A.2 分析 317
A.3 代数 326
A.4 微积分与微分方程 337
A.5 概率 349
A.6 理论物理 360
附录B 阅读进阶 370
附录C 基本数学知识 374
C.1 集合 374
C.1.1 符号 374
C.1.2 集合的运算 374
C.2 逻辑和证明 375
C.2.1 证明的形式 375
C.3 函数 376
C.3.1 复合函数 376
C.3.2 阶乘 376
C.3.3 幂、指数和二项式定理 376
C.3.4 指数、e和自然对数 377
C.3.5 三角函数 377
C.3.6 双曲函数 377
C.4 向量和矩阵 378
C.4.1 向量的运算 378
C.4.2 极坐标 379
C.4.3 矩阵 379
C.5 微积分 380
C.5.1 微分 380
C.5.2 积分 381
C.5.3 位置、速度和加速度 381
C.5.4 简谐运动 381
附录D 字母与符号 382
D.1 希腊字母表 382
D.2 数学符号 382
译者后记 385