没有合适的资源?快使用搜索试试~ 我知道了~
温馨提示
学习计算机科学总共需要多少数学基础?宾夕法尼亚大学计算机和信息科学系教授Jean Gallier用一本1960页书的容量解决了所有的问题。该本书涵盖了计算机科学所需的线性代数、微分和最优化理论等基础知识,包含十分详尽的数学证明,以及这些知识在机器学习、机器人学、计算机视觉等领域的应用。
资源推荐
资源详情
资源评论
Algebra, Topology, Differential Calculus, and
Optimization Theory
For Computer Science and Machine Learning
Jean Gallier and Jocelyn Quaintance
Department of Computer and Information Science
University of Pennsylvania
Philadelphia, PA 19104, USA
e-mail: jean@cis.upenn.edu
c
Jean Gallier
July 29, 2019
2
Contents
Contents 3
1 Introduction 17
2 Groups, Rings, and Fields 19
2.1 Groups, Subgroups, Cosets . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2 Cyclic Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.3 Rings and Fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
I Linear Algebra 43
3 Vector Spaces, Bases, Linear Maps 45
3.1 Motivations: Linear Combinations, Linear Independence, Rank . . . . . . . 45
3.2 Vector Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.3 Indexed Families; the Sum Notation
P
i∈I
a
i
. . . . . . . . . . . . . . . . . . 60
3.4 Linear Independence, Subspaces . . . . . . . . . . . . . . . . . . . . . . . . 66
3.5 Bases of a Vector Space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
3.6 Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.7 Linear Maps . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
3.8 Quotient Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.9 Linear Forms and the Dual Space . . . . . . . . . . . . . . . . . . . . . . . . 94
3.10 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.11 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
4 Matrices and Linear Maps 107
4.1 Representation of Linear Maps by Matrices . . . . . . . . . . . . . . . . . . 107
4.2 Composition of Linear Maps and Matrix Multiplication . . . . . . . . . . . 112
4.3 Change of Basis Matrix . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
4.4 The Effect of a Change of Bases on Matrices . . . . . . . . . . . . . . . . . 120
4.5 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
4.6 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
5 Haar Bases, Haar Wavelets, Hadamard Matrices 131
3
4 CONTENTS
5.1 Introduction to Signal Compression Using Haar Wavelets . . . . . . . . . . 131
5.2 Haar Matrices, Scaling Properties of Haar Wavelets . . . . . . . . . . . . . . 133
5.3 Kronecker Product Construction of Haar Matrices . . . . . . . . . . . . . . 138
5.4 Multiresolution Signal Analysis with Haar Bases . . . . . . . . . . . . . . . 140
5.5 Haar Transform for Digital Images . . . . . . . . . . . . . . . . . . . . . . . 142
5.6 Hadamard Matrices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
5.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
5.8 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
6 Direct Sums 155
6.1 Sums, Direct Sums, Direct Products . . . . . . . . . . . . . . . . . . . . . . 155
6.2 The Rank-Nullity Theorem; Grassmann’s Relation . . . . . . . . . . . . . . 165
6.3 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 171
6.4 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
7 Determinants 181
7.1 Permutations, Signature of a Permutation . . . . . . . . . . . . . . . . . . . 181
7.2 Alternating Multilinear Maps . . . . . . . . . . . . . . . . . . . . . . . . . . 185
7.3 Definition of a Determinant . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
7.4 Inverse Matrices and Determinants . . . . . . . . . . . . . . . . . . . . . . . 197
7.5 Systems of Linear Equations and Determinants . . . . . . . . . . . . . . . . 200
7.6 Determinant of a Linear Map . . . . . . . . . . . . . . . . . . . . . . . . . . 203
7.7 The Cayley–Hamilton Theorem . . . . . . . . . . . . . . . . . . . . . . . . . 203
7.8 Permanents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
7.9 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 211
7.10 Further Readings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
7.11 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
8 Gaussian Elimination, LU, Cholesky, Echelon Form 219
8.1 Motivating Example: Curve Interpolation . . . . . . . . . . . . . . . . . . . 219
8.2 Gaussian Elimination . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
8.3 Elementary Matrices and Row Operations . . . . . . . . . . . . . . . . . . . 228
8.4 LU-Factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 231
8.5 P A = LU Factorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
8.6 Proof of Theorem 8.5 ~ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
8.7 Dealing with Roundoff Errors; Pivoting Strategies . . . . . . . . . . . . . . . 251
8.8 Gaussian Elimination of Tridiagonal Matrices . . . . . . . . . . . . . . . . . 252
8.9 SPD Matrices and the Cholesky Decomposition . . . . . . . . . . . . . . . . 254
8.10 Reduced Row Echelon Form . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
8.11 RREF, Free Variables, Homogeneous Systems . . . . . . . . . . . . . . . . . 269
8.12 Uniqueness of RREF . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
8.13 Solving Linear Systems Using RREF . . . . . . . . . . . . . . . . . . . . . . 274
8.14 Elementary Matrices and Columns Operations . . . . . . . . . . . . . . . . 281
CONTENTS 5
8.15 Transvections and Dilatations ~ . . . . . . . . . . . . . . . . . . . . . . . . 282
8.16 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
8.17 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
9 Vector Norms and Matrix Norms 301
9.1 Normed Vector Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 301
9.2 Matrix Norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
9.3 Subordinate Norms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 317
9.4 Inequalities Involving Subordinate Norms . . . . . . . . . . . . . . . . . . . 324
9.5 Condition Numbers of Matrices . . . . . . . . . . . . . . . . . . . . . . . . . 326
9.6 An Application of Norms: Inconsistent Linear Systems . . . . . . . . . . . . 335
9.7 Limits of Sequences and Series . . . . . . . . . . . . . . . . . . . . . . . . . 336
9.8 The Matrix Exponential . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 339
9.9 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 342
9.10 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344
10 Iterative Methods for Solving Linear Systems 351
10.1 Convergence of Sequences of Vectors and Matrices . . . . . . . . . . . . . . 351
10.2 Convergence of Iterative Methods . . . . . . . . . . . . . . . . . . . . . . . . 354
10.3 Methods of Jacobi, Gauss–Seidel, and Relaxation . . . . . . . . . . . . . . . 356
10.4 Convergence of the Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
10.5 Convergence Methods for Tridiagonal Matrices . . . . . . . . . . . . . . . . 367
10.6 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372
10.7 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373
11 The Dual Space and Duality 375
11.1 The Dual Space E
∗
and Linear Forms . . . . . . . . . . . . . . . . . . . . . 375
11.2 Pairing and Duality Between E and E
∗
. . . . . . . . . . . . . . . . . . . . 382
11.3 The Duality Theorem and Some Consequences . . . . . . . . . . . . . . . . 387
11.4 The Bidual and Canonical Pairings . . . . . . . . . . . . . . . . . . . . . . . 393
11.5 Hyperplanes and Linear Forms . . . . . . . . . . . . . . . . . . . . . . . . . 395
11.6 Transpose of a Linear Map and of a Matrix . . . . . . . . . . . . . . . . . . 396
11.7 Properties of the Double Transpose . . . . . . . . . . . . . . . . . . . . . . . 403
11.8 The Four Fundamental Subspaces . . . . . . . . . . . . . . . . . . . . . . . 405
11.9 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 408
11.10 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 409
12 Euclidean Spaces 413
12.1 Inner Products, Euclidean Spaces . . . . . . . . . . . . . . . . . . . . . . . . 413
12.2 Orthogonality and Duality in Euclidean Spaces . . . . . . . . . . . . . . . . 422
12.3 Adjoint of a Linear Map . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 429
12.4 Existence and Construction of Orthonormal Bases . . . . . . . . . . . . . . 432
12.5 Linear Isometries (Orthogonal Transformations) . . . . . . . . . . . . . . . . 439
剩余1959页未读,继续阅读
资源评论
- vanguardsmith2020-07-04一本巨著啊,这本书太牛了。感谢
凌云飞鸿
- 粉丝: 95
- 资源: 12
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- HTML5实现好看的游戏开发上市公司网站模板.zip
- HTML5实现好看的游戏公司官网网站模板.zip
- 国开-大数据技术导论-实验5 大数据可视化.doc
- 国开-大数据技术导论-实验4 大数据去重.doc
- 国开-大数据技术导论-实验3 网页数据获取.doc
- 国开-大数据技术导论-实验1 Linux操作系统部署.doc
- 冒泡排序,插入排序,选择排序
- (21688012)微信商城小程序
- (24517238)17 CDMA2000码分多址通信系统.zip
- (9993602)购物车小程序
- (172604420)STL常用容器1
- (173992034)完整word版-C语言程序设计(郑莉)课后习题答案.doc
- (174151238)EDFA的matlab建模,EDFA的matlab建模,EDFA的matlab建模,EDFA的matlab建模,EDFA的mat
- springboot2.x课程配套课件笔记springboot版PDF
- (174269454)C语言课程设计-考试报名管理系统
- (174517244)大一上学期C语言大作业.7z
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功