Ⅰ 《普林斯顿数学指引》读书笔记——I.3 一些基本的数学定义（上）
对于数的现代视角是，最好不要把数当作独立个体，而应视为一个更大的整体的一部分，这个整体称之为数系。数系最突出的特点是，可以在其上完成算术运算，包括加、减、乘、除、开方。这种关于数的视角是富有成果的，它是通向抽象代数的跳板。
注：中文版将“indivially”译为“孤立地”不太准确，另外“view”翻译成“视角”要比“观点”更自然。
当然，“1, 2, 3, 4 ……”这样的描述，并不算是正式的定义，但它的确提出了下面这个我们视为理所当然的对自然数的描述：
(i) 给定一个自然数n，后面必然跟着一个自然数n+1，称为n的后继者；
(ii) 一个从1开始，且随后每一个数是前一个数的后继者的数列，会正好包含每个自然数各一次，且不再包含其他东西。
这个描述被浓缩为 佩亚诺公理 。
所有整数——正负整数与零——的集合，常记作Z（德文表示数的单词“Zahlen,”的第一个字母），在这个属性里，减法总是可能的：即如果m和n都是整数，那么m-n也是。
按：上文提到，如果只需要计数，那整数就够了，需要有理数的其中一个理由是测量的需要，包括长度、重量、温度和速度等。
一个为有理数的更为理论化的合理性论证，是它们组成了一个除法总是可能的数系（除了除以零），这个事实，以及一些算术运算的基本性质，意味着Q是一个域。
注：这里把“justification”译作“合理性论证”，其实也可以更简单地译为“依据”。因为这里作者其实是想要为引入没那么自然的数系寻找依据，解释其必要性和合理性。
由于实数与（逐次逼近的）极限过程紧密地联系着，对实数系真正的领会就依赖于对数学分析的理解。
注：中文版将“successive approximations”译为“逐步逼近”，但其对应的数学术语的常见译法是“逐次逼近”，其英文解释“A method for estimating the value of an unknown quantity by repeated comparison to a sequence of known quantities”里的关键词也是“repeated”而非“graally”，因此此处不应用“逐步”。
按：这里下一小节讨论了复数，但没有什么特别的洞见，所以没有摘录。要真正理解复数，需要理解 Geometric Algebra ，回头会单独整理笔记。
按：这节简要介绍了群、域、向量空间和环。
如果S是任意的数学结构，S的对称就是一个由S到其自身的、能保持这个结构的函数。例如，当S是一个几何图形时，则应该得到保持的数学结构（之一），就是其上任意两点的距离。
与几何的情况进行类比，并把任意可以保持结构的函数都当作某种对称，这样做是富有成果的。由于其极度的通用性，对称是一个在数学里无处不在的概念；而且只要哪里有了对称出现，像群这样的概念就会如影随形。
虽然好几个数域都是群，但只把他们看成群，就忽略了其代数结构很大的一部分。尤其是群里面只有一个二元运算，标准的数域却有两个，即加法和乘法（由它们还可以得到其他附加的运算，比如减法和除法）。
在定义数学结构的时候，有一个很一般的原理：如果一个数学定义，可以分成几个部分，则除非这些部分可以相互作用，否则这个定义就没有什么意思（仅仅相当于分成的几个部分对应的原来就定义过的数学结构而已）。域的加法和乘法，就是这样的两个部分，而迄今为止提到的所有性质，并未把它们以某种方式联系起来。然而，最后的一个性质，即分配律，做到了这一点，从而给了域独有的特性。
除了Q、R、C之外，还有一个引人注目的基础域，即Fp。它是整数对素数p取模组成的集合，其中的加法、减法，也被定义为对p取模，详见 模算术 。
有一个重要的过程与域有关，这个过程称之为域的扩张，它使我们能够从原来的域构造出新的域来。其基本的思想就是从一个域F开始，找一个在F中没有根的多项式P，然后把一个新的元素附加到F上，约定这个元素就是P的根。这样的过程，会产生一个扩张的域，它会包含，所有可以用这个根与F中的元素通过加法和乘法产生出来所有“数”。
评：这段话从抽象的角度，描述了带来整个复数域的i（定义为x^2+1这个多项式的根）的诞生过程。
引入域的另外一个重要依据是，它们可以用来构成向量空间。
向量空间就是一个线性组合的概念在其中有意义的数学结构。
关于标量还有最后一个说明。之前，标量被定义为构造向量的线性组合时所用的实数。其实，我们用标量所做的计算，尤其是在解联立方程时，在更广泛的语境下也可以做。真正重要的是，（用于计算的“数”）必须属于一个域，所以Q、R、C都可以用作标量的系统，更一般的域也是可以的。如果一个向量空间V的标量来自域F，我们就说V是域F上的向量空间，这个推广重要而且有用，可见 代数数 。
粗略的说，环一种具备域的几乎所有，但不是所有性质的代数结构。尤其是，对乘法运算的要求就没那么严格，最重要的放松之处是不要求环中的非零元具有乘法逆，而且有时乘法甚至不被要求是可交换的。
有了例子，回答一些基本的问题变得容易不少。如果我们有了一个关于某个给定类型的结构的一般命题，而又想知道它是否正确，这时，如果能够用诸多个案来检验这个命题，会很有帮助。如果这个命题通过了所有的检验，就有了有利于这个命题的证据。如果运气好，我们也许还能看出这个命题为什么是正确的。另外，也可能发现这个命题对于你进行检验的每一个例子都是对的，但是都仅仅是因为所用例子本身的特别之处，这个时候我们就会知道，在寻找反例时需要怎样避免这些特别之处。如果确实找到了一个反例，那么这个一般的命题当然不成立了，然而有可能这个命题在经过某些修改以后，依然成立并且有用。在这种情况下，反例就会帮助我们找到适当的修改。
虽然 Q(i)包含在C中，但它在某些很重要的角度上是一个更有意思的域。为什么会这样子呢？人们肯定以为如果把一个对象的绝大部分都拿走了，它不可能变得更有意思。然而进一步想象一下，就会发现这确实是可能的：例如所有素数的集合会拥有某种特别迷人的、而不可能为所有正整数的集合所具备的特性。
……而且在，许多类似于Q(i)的域中，我们可以问哪些多项式方程有解。这在后来被证明是一个非常深刻而且重要的问题，但在更大的域C中，这样的问题根本就不会出现（因为 代数的基本定理 告诉我们，每一个多项式方程在C内都有解）。
我们现在要用一种乍一看非常奇怪的方法，来把Q[x]（具有有理数系数的多项式的集合）变成一个域，方法就是，认为
等价于零多项式。换句话说，一旦一个多项式里面有X^3的话，我们就可以把它换成x+1，并且认为这样得出的新多项式等价于原来的多项式。
所有不等价于零的多项式，都在这个广义的意义下具有乘法逆。
我们只是简单地规定将两个等价的多项式视为相等，并把得到的数学结构记为Q[x]/(x^3 - x - 1)，这个结构结果被证明是一个域，而且还是个重要的域，因为它是包含Q且拥有多项式x^3 - x - 1的根的最小的域。
按：上面这里其实就是对有理数的约分的含义做了推广。
我们定义只要 ad = bc 那么 ab 和 cd 这两个表达式就等价，并且我们将等价的表达式看作在标记同一个数。注意这些表达式可能的确不一样，但我们将其视为对同一个对象的标记。如果我们这样做，在我们定义函数和二元运算的时候就要十分小心。
一般而言，最起码要验证，如果输入的是等价的对象，（函数或二元运算）输出的也应该是等价的对象。
这里为什么我们使用了“商”这个词？商通常是指当用某个数去分割（divide，在英语里，既有除的意思，也有分割的意思）另外一个数时所得到的东西。为了理解这个比喻，我们考虑21除以3，我们可以认为，这是把21个对象分成了3个对象一组，然后问一共可以分得多少个组。
按：上文将R^2平面上的点(x, y)和（x+1，y）定义成等价并看成相同，就会得到柱面（cylinder ），然后又进一步将(x, y)和(x, y+1)定义成等价并看成相同，就会得到 环面（torus） 。
我们会发现，这个柱面自己卷了起来，如果往上走了一段为1的距离，就会回到出发点。但这就是一个环面：一个被折叠成自己的柱面（然而，这不是定义环面唯一的方法，例如还可以把它定义为两个圆周的乘积）。
现代几何中的许多重要的对象，都是用商来定义的。经常有这样的情况，一个对象很大，但同时等价关系又很宽松，也就是一个对象，很容易就与另外一个对象等价了，在这个情况下，真正不同的对象的数目可能很小。
通常是从一个大的令人绝望而又极为复杂的对象出发，但将绝大部份的乱七八糟的部分都分出来除掉了（divides out），结果得到的商结构足够简单，而且能够处理，与此同时，依旧能传递重要的信息。 基本群 、拓扑空间的 同调群 与 上同调群 都是好例子， 模空间 甚至是一个更好的例子。
一个保持结构的函数就称为一个同态（homomorphism）。
两个结构之间的同构（isomorphism ）就是这样的一种同态：同态f : X → Y的逆g : Y → X也是一个同态。
一个同构就是同时也是双射的同态。也就是说，f是X和Y之间的一一对应，并且保持了结构。
虽然很基础，但还是将[I.2 §2.2]中涉及双射的段落摘录如下：
对于一个函数f : A → B，如果只要当 f(x)和f(x')不同的时候，x和x'总不相同，我们就总是可以消除函数的效果（使f(x)变回x），这时，f被称之为一个单射（injection）。
评：单射就是（B中的元素）只要被映射过来，就是（从A）唯一地（即“单”）映射过来（即“射”）。
另一方面，只要B中的每一个元素y都等于A中某个元素x的f(x)，我们就总能找到一个能被f消除效果的函数g，这时f被称为一个满射（surjection）。
评：满射就是（B中的元素）每个（即“满”）都能（从A）映射过来（即“射”）。
一个既是单射又是满射的函数f，就是一个双射（bijection）。双射正是那些有逆的函数。
评：满射解决的是“有”的问题，单射解决的是“只有”的问题，所以双射就是“有且只有”，所以B中每个元素都能找到映射的来源，而且来源还唯一，这时映射的这个唯一来源，就是逆。所以“双射”里的“双”字更多是“成双成对”的意思，更好的译法或许是“对射”。费了这些口舌，就是想解释清楚这些译法都是什么意思，当年学的时候，挺烦这些不好记的中文译名的。英文术语里，in-前缀代表“进入、里内”，sur-前缀代表“在…..之上” ，其实也不是太好理解。
一般地说，两个代数结构X和Y间若有同构的函数关系，就说X同构于Y。同构中的iso和morphic分别源自希腊单词“相同”和“形状”。粗略地说，同构这个词的意思就是“在所有本质的方面都相同”。算作本质的正是代数结果，而绝对不属于本质的，就是具有这种结构的对象自身的本性。
X的自同构是，一个能够保持结构的、到X自身的函数。两个自同构的复合显然还是一个自同构，于是代数结构X的所有自同构可以形成一个群。虽然作为个体的自同构并不那么有趣，自同构的群，却很有意思。这类群往往蕴含了我们关于一个结构真正想知道的信息，这些信息往往过于复杂，无法直接分析。
f把每一个有理数都变成自身，那f(√ 2)会是多少呢？从 f(√ 2)f (√ 2) = f(√ 2 · √ 2) = f(2) = 2可知f(√ 2)是√ 2或− √ 2。究竟是哪一个？其实，两种选择都是可能的：一个自同构是平凡的：f(a + b √ 2) = a + b √ 2；另外一个更为有趣：f(a + b √ 2) = a − b √ 2。这个观察说明了，两个平方根并没有代数上的区别。
与部分域扩张相关联的自同构群被称为 伽罗瓦群 ，而且是对五次方程的不可解性而言不可或缺的成分。同时它也是代数数论相当大一部分内容，详见 代数数 。
注：中文版有一段英文电子版中没有的、关于同态关系中的核（kernel）的讨论：核是X中所有使得f(x)为Y中的恒等元的那些x的集合，是X的有趣的子结构；环同态的核必然是一个理想[III.81]。
。
像这样的定义可能难以接受，因为它们涉及到三个层次的复杂性。在底层有两个实数，可以表示为x和y。中间一层有一些函数，如f、u和Tf，它们都是将实数（或实数对）映射为实数。最顶层是另外一个函数T，但它所转换映射的对象本身就是函数：它将一个函数f变成另外一个函数Tf。这个例子说明了如下思维方式的重要性：将函数看作单一和基础的东西而非一个转换的过程。（参见[I.2 §2.2]中对此的讨论）另外一个有助于理清这个定义的点是：二元函数u(x,y)的角色与矩阵a_ij极其类似。（矩阵a_ij自己也可以被看作两个整数变量i和j的函数）
关于无限空间之间的线性映射，可以参考 算子代数 和 线性算子
在许多情况下，线性映射的本征向量与本征值，包含了关于这个线性映射我们所有需要了解的信息，而且是以非常方便的形式。线性映射出现在很多情境中，这些情境中出现的问题往往正是关于本征向量和本征值的问题。
指数函数 e^x 的导数是其自身。换句话说，如果f(x)=e^x，那么f'(x)=f(x)。这样微分运算就可以被看作一种线性映射。如果f '(x) = f(x)，那么这个映射使函数f保持不变，这说明f是一个具备本征值1的本征向量。更一般的，如果g(x) = e^(λx)，那么g'(x) = λ e^(λx) = λg(x)，这样g就是微分映射的一个本征向量，其本征值为λ。许多线性微分方程可以被视为在求用微分运算定义的线性映射的本征向量。
Ⅱ 跪求《普林斯顿数学指南》pdf中文版！
数学名着译丛（科学版），大小：1.32GB
115网盘礼包码：5lba91edkime
http://115.com/lb/5lba91edkime
注意：经过检索， 115，至少本圈中关于《数学名着译丛》的书很不全。我收集的这套丛书应该是最全的。
更多请看：
金融·物理·数学 之 混沌集结版 http://q.115.com/t-139513-1218812.html
【书单】
数学名着译丛（科学版）
|-- 数学名着译丛-代数几何引论(第2版)-[荷]B.L.范德瓦尔登-李培廉＆李乔(译)-科学出版社-2008.djvu (4.49MB)
|-- 数学名着译丛-数学与猜想(第1卷)-数学中的归纳和类比-[美]G.波利亚-科学出版社-1984.pdf (10.33MB)
|-- 数学名着译丛-数学与猜想(第2卷)-合情推理模式-[美]G.波利亚-科学出版社-1985.pdf (7.83MB)
|-- 数学名着译丛-数论中未解决的问题-[加拿大]R.K.盖伊-科学出版社.pdf (20.15MB)
|-- 数学名着译丛-一般拓扑学-[美]J.L.凯莱-科学出版社-1982.pdf (5.75MB)
|-- 数学名着译丛-代数几何-[美]R·哈茨霍恩-冯克勤＆刘木兰＆胥鸣伟(译)-科学出版社-1994.pdf (19.93MB)
|-- 数学名着译丛-代数几何引论(第2版)-[荷]B.L.范德瓦尔登-李培廉＆李乔(译)-科学出版社-2008.pdf (8.12MB)
|-- 数学名着译丛-代数学Ⅰ-[荷]B.L.范德瓦尔登-丁石孙＆曾肯成(译)-科学出版社-1963.pdf (5.56MB)
|-- 数学名着译丛-代数学Ⅱ-[荷]B.L.范德瓦尔登-丁石孙＆曾肯成(译)-科学出版社-1976.pdf (10.25MB)
|-- 数学名着译丛-代数拓扑基础-[美]J.R.曼克勒斯-谢孔彬(译)-科学出版社-2006.pdf (30.12MB)
|-- 数学名着译丛-代数数理论讲义-[德]E.赫克-王元(译)-科学出版社-2005.pdf (6.14MB)
|-- 数学名着译丛-代数特征值问题-[英]J.H.威尔金森-石钟慈＆邓健新(译)-科学出版社-2001.pdf (7.79MB)
|-- 数学名着译丛-元数学导论(上册)-[美]S.C.克林-莫绍揆(译)-科学出版社-1985.djvu (3.5MB)
|-- 数学名着译丛-元数学导论(上册)-[美]S.C.克林-莫绍揆(译)-科学出版社-1985.pdf (4.11MB)
|-- 数学名着译丛-元数学导论(下册)-[美]S.C.克林-莫绍揆(译)-科学出版社-1985.djvu (12.15MB)
|-- 数学名着译丛-元数学导论(下册)-[美]S.C.克林-莫绍揆(译)-科学出版社-1985.pdf (14.06MB)
|-- 数学名着译丛-博大精深的素数-[加]P.里本伯姆-孙淑玲＆冯克勤(译)-科学出版社-2007.pdf (29.16MB)
|-- 数学名着译丛-常微分方程-[俄]V.I.阿诺尔德-沈家骐＆周宝熙(译)-科学出版社-2001.pdf (4.99MB)
|-- 数学名着译丛-微分流形与李群基础-[美]弗兰克·W·瓦内尔-科学出版社-2008.pdf (37.59MB)
|-- 数学名着译丛-微积分和数学分析引论(第1卷.第1分册)-[美]R.柯朗-科学出版社-1979.pdf (7.2MB)
|-- 数学名着译丛-微积分和数学分析引论(第1卷.第2分册)-[美]R.柯朗-科学出版社-1979.pdf (12.66MB)
|-- 数学名着译丛-微积分和数学分析引论(第2卷.三分册合集)-[美]R.柯朗-科学出版社-1985＆1989＆1989.pdf (17.3MB)
|-- 数学名着译丛-拓扑空间论-[日]儿玉之宏-科学出版社-2001.pdf (11.66MB)
|-- 数学名着译丛-控制论(或关于在动物和机器中控制和通讯的科学)(第2版)-[美]N.维纳-科学出版社.pdf (7.05MB)
|-- 数学名着译丛-数学概观-[瑞典]戈丁-科学出版社-2001.pdf (7.32MB)
|-- 数学名着译丛-数学物理方法I-[德]R•柯朗＆D•希尔伯特-科学出版社-2011.pdf (60.83MB)
|-- 数学名着译丛-数学物理方法II-[德]R•柯朗＆D•希尔伯特-科学出版社-1977.pdf (23.42MB)
|-- 数学名着译丛-数学的发现—对解题的理解,研究和讲授(全二卷)-[美]G.波利亚-刘景麟＆邹清莲(译)-科学出版社-1981.pdf (16.55MB)
|-- 数学名着译丛-数学：它的内容、方法和意义(第1卷)-[俄]A.D.亚历山大洛夫-科学出版社.pdf (7.37MB)
|-- 数学名着译丛-数学：它的内容、方法和意义(第2卷)-[俄]A.D.亚历山大洛夫-科学出版社.pdf (10.54MB)
|-- 数学名着译丛-数学：它的内容、方法和意义(第3卷)-[俄]A.D.亚历山大洛夫-科学出版社.pdf (8.07MB)
|-- 数学名着译丛-流形上的分析-[美]J.R.曼克勒斯-科学出版社-2012.pdf (19.32MB)
|-- 数学名着译丛-环与模范畴-[美]F.W.安德森-王尧＆任艳丽(译)-科学出版社-2008.pdf (17.93MB)
|-- 数学名着译丛-普林斯顿数学指南（第3卷）-[英]T·高尔斯-齐民友(译)-科学出版社-2014.pdf (299.59MB)
|-- 数学名着译丛-普林斯顿数学指南（第1卷）-[英]T·高尔斯-齐民友(译)-科学出版社-2014.pdf (268.13MB)
|-- 数学名着译丛-普林斯顿数学指南（第2卷）-[英]T·高尔斯-齐民友(译)-科学出版社-2014.pdf (311.59MB)
`-- 数学名着译丛-普林斯顿数学指南（配套英文原版）-[英]T·高尔斯-普林斯顿大学出版-2008.pdf (7.59MB)
【说明】
也许其中某些书在本圈出现过，但我相信大家更喜欢精细整理过的丛书系列。我发布过的丛书，每本书都经过仔细检查，并将书籍信息体现在文件名中。至于丛书中缺少的书（已出版的，但我未拥有的），可能会用空白TXT文件体现，也可能会在一个TXT文件中列出缺少的书。
我在本圈发布过的所有丛书，我都曾在 微盘（这个混蛋叫混沌） 和 网络云（我就叫混沌） 发布过。 当然，所有的书籍都是无名网友共享的，我只是整理和转换后收集在一起的。
另，本人坚持不设任何访问权限
Ⅲ 普林斯顿数学指南和柯朗数学物理方法哪个好读
柯朗数学物理方法。
1、讲解清晰。普林斯顿数学指南内容较为晦涩难懂，适合有一定基础的学生阅读观看，柯朗数学物理方法从表面逐渐深入，能够带着学生从浅入深地学习公式，讲解清晰，便于阅读。
2、章节少。该指南面向的群体偏向高层次人才，涉及学科内容相比柯朗数学物理方法会多很多，第二本书内容偏少，更容易读者进行阅读。
Ⅳ 求《普林斯顿数学指南》(第一卷)(第二卷)(第三卷)中文版PDF！感谢！
普。林。斯。顿。数学。指南。中文版。链接:
Ⅳ 普林斯顿数学指南适合什么人读
普林斯顿数学指南适合于高等院校本科生、研究生、教师和研究人员学习和参考。虽然主要是为了数学专业的师生写的，但是，具有大学数学基础知识，更重要的是对数学有兴趣的读者，都可以从本书得到很大的收获。