Hatcher代数拓扑教材 - 数学

在上帖中我分享了Tammo Tom Dieck代数拓扑教材，并对比了Tammo Tom Dieck与Hatcher的教材有啥区别。现在我将Hatcher的代数拓扑教材分享出来，给有需要的人。

Hatcher的教材相比于Tom Dieck的，图文并茂，有更精美丰富的插图，能让读者更加直观的理解。这适合入门代数拓扑的小白，或者是喜欢几何直观的人。

如果您要查看本帖隐藏附件请回复

添加评论

评论区

GarrettFeng

16 days ago

感谢

踩

zhousMath

11 days ago

非常感谢，分享愉快

踩

annabanana

15 days ago

非常感谢

踩

弦圈热门内容

弦圈如何发布新帖子？

首先进入任意一个圈子然后点击粉红的“发帖子”按钮然后进入发帖子页面，将标题和内容填好，注意“标题”和“内容”都是必填的，而封面并不是必须的。接着点击右下角的蓝色“发帖”按钮，即可完成发帖。

宛如来自空无的召唤——数学大师格罗腾迪克的生平（上）

作者简介：艾林‧杰克逊（Allyn Jackson）曾任美国数学学会会讯（Notices of the AMS）的副主编与总主笔，加州大学柏克莱分校数学硕士。她觉得能结合数学和写作两个非常不同的领域，面对各种数学课题和数学人物，收获很大。译者简介：翁秉仁为台湾大学数学系副教授。本文原文发表在 2004 年的 Notices of the AMS 51卷第 9 期，以下译文刊登在《数理人文》创刊号（2013 年 12 月）。媒体或机构如需转载，请联系《数理人文》杂志（微信号：math_hmat）。重点摘要格罗腾迪克是二十世纪的数学大师，为代数几何开启全新的面貌，数学影响仍方兴未艾。格罗腾迪克早年多舛，与父母颠沛流离。他的数学背景贫乏，一切出于自学，但天资奇高，在苦学深思与师友攻错下，终于成为一代宗师。格罗腾迪克以韦伊猜想为目标，从范畴论观点所铸造的新工具，连结了离散的数论世界与连续的拓扑世界，启迪了多位菲尔兹奖得主的工作。如果不把科学看成权力和宰制的工具，而是我们物种在时间长河进行的知识探险。每门科学好比和声一样，依时更迭，或广袤，或丰盈。就像顺着世世代代于焉展露的乐曲，所有主题的精致对 ...

如何构建一个比复数域$\mathbb{C}$还要大的域？

本文我们探讨这个问题：是否存在一种扩张复数域$\mathbb{C}$的方法，使得$\mathbb{C} \subset\mathbb{C}[a]$？或者$\mathbb{C}$是所有域扩张的终点？下面围绕这个问题，我们将提供两种扩张复数域$\mathbb{C}$的方法。方法1：$\mathbb{C}$的笛卡儿积$$P = {\Bbb C}\times{\Bbb C}\times\cdots$$并不是一个域，因为它有零因子：$$(0,1,0,1,\cdots)(1,0,1,0\cdots)=(0,0,0,0,\cdots)。$$但是将零因子商掉，就能得到一个域。令$\mathcal U$为$\Bbb N$上的一个nonprincipal ultrafilter。我们定义$$(a_1,a_2,\cdots)\sim(b_1,b_2,\cdots)$$当$$\{n\in\Bbb N\,\vert\, a_n=b_n\}\in\mathcal U。$$然后商$F = P/\sim$就是一个严格比$\mathbb{C}$大的域，我们称这个域为超积（英语：ultraproduct）。并且嵌入映射$ ...

弦圈如何在百科中创建新词条？

首先进入任意一个圈子然后点击左侧栏中的“圈子百科”进入到百科页面后，点击“创建词条”进入“创建词条“页面后，根据提示，填好各项即可。注意，其中”词条名称“、”词条描述“为必填项，”防歧义解释“、”详细内容“、”国际化“、”词条照片“为选填项。必填项填好后，点击下方紫色”创建“按钮，即可创建词条。最后创建词条后的页面如下：

如果两个对象的余极限同构，那么这两个对象同构？

令$A,B$为特征$p$的交换环。令$\phi_{A}:A\rightarrow A,\phi_{B}:B\rightarrow B$为Frobenius态射，即$p$次方映射。如果我们有 ${\rm{colim}}_{n\in\mathbb{N}}A\cong {\rm{colim}}_{n\in\mathbb{N}}B$，其中transition映射为Frobenius态射，那么我们可以得出$A\cong B$吗？答案：不能。回顾一下，一个$\mathbb{F}_p$-代数$R$是完美的，如果它的Frobenius映射$\varphi : R \ni r \mapsto r^p \in R$是一个同构。Frobenius态射的次方的余极限${\rm{colim}}_{n\in\mathbb{N}}R$是$\mathbb{F}_p$-代数$R$的完美化，并且它这样命名是因为它是完美$\mathbb{F}_p$-代数到$\mathbb{F}_p$-代数的包含映射的左伴随。这使得完美$\mathbb{F}_p$-代数构成了一个$\mathbb{F}_p$-代数的反射子范畴，这意味着在完美 ...

趣味数学题05 | 三角形求角度数问题

请问下图中$y+x=?$解：$$\begin{align}&\because a=90^\circ-40^\circ=50^\circ \\ &\therefore y=180^\circ-a=130^\circ \\ &\because b=90^\circ-a=40^\circ \\ &\therefore x=180^\circ-b=140^\circ \\ &\therefore y+x=270^\circ \end{align}$$

骨头汤和豆腐哪个更补钙？

动物骨头中的钙很难溶解到汤里，喝骨头汤补钙效果甚微。但每100克豆腐约含有78毫克的钙，钙含量相对更高。当膳食中钙摄入不足时，可选择纯度高、杂质少、来自天然矿物的碳酸钙补充剂，碳酸钙钙含量高，易被人体吸收，与镁锰锌铜等多种营养素协同作用，促进钙吸收，补钙效果翻倍。同时每天补充10微克维牛素D，巩固钙吸收。

Latex如何写二重积分、三重积分、四重积分、n重积分、闭合积分

1. 不定积分\int f(x)dx$$\int f(x)dx$$2. 二重积分\iint f(x,y)d\sigma$$\iint f(x,y)d\sigma$$3. 三重积分\iiint f(x,y,z)dV$$\iiint f(x,y,z)dV$$4. 四重积分\iiiint f(x_{1},x_{2},x_{3},x_{4})dx_{I}$$\iiiint f(x_{1},x_{2},x_{3},x_{4})dx_{I}$$5. n重积分\underbrace{\idotsint}_{n}f(x_{1},x_{2}, \cdot\cdot\cdot, x_{n})dx_{I}$$\underbrace{\idotsint}_{n}f(x_{1},x_{2}, \cdot\cdot\cdot, x_{n})dx_{I}$$下面指令使用前，需要先调用\usepackage{esint}宏包。6. 闭合曲线积分\oint\limits_{C} f(x)dx$$\oint\limits_{C} f(x)dx$$7. 闭合曲面积分\oiint f(x,y)dxdy \varoiint ...

10.25弦圈内容更新计划

最近这段时间，我会持续更新数学圈的百科词条，并且会同时更新中英文版，好歹能中英对照一下。顺便会将原本的一些英文词条翻译成中文，让更多人能读得懂优质的英文内容。然后我还会继续翻译一些MathStackExchange的提问和回答。除了比较烧脑的内容，我还打算更新一下趣味数学题，虽然这些题目大多数实在太简单，但主要是为了娱乐和放松头脑，要劳逸结合嘛😆。接着我还会继续更新一下帮助中心，将弦圈的一些细节和功能解释清楚。如果你有什么想看的感兴趣的内容，欢迎在下面评论！😇

Latex如何输入花体字母？

本文主要介绍在latex中如何输入下图中的花体字母首先使用\usepackage{mathrsfs}宏包，接着使用\mathscr{A}命令即可输出花体字母。输出结果如下：$$\mathscr{A}\mathscr{B}\mathscr{C}\mathscr{D}$$

基变换映射$U\times_{X}X\rightarrow U\times_{Y}Y$

我的提问：令$X,Y$是概形。令$X\rightarrow Y,X\rightarrow X, Y\rightarrow Y$为概形态射。为什么态射$U\times_{X}X\rightarrow U\times_{Y}Y$是$X\rightarrow X\times_{Y}Y$通过$U\times_{Y}Y\rightarrow Y$的基变换。这是我尝试的图，其中三角形是交换的。但是我发现$(U\times_{Y}Y)\times_{Y}(X\times_{Y}Y)=U\times_{Y}X\times_{Y}Y=U\times_{Y}X$，即我无法得到想要的$U\times_{X}X$。我这是犯了什么错误？这是问题的上下文，来自朱歆文的论文Affine Grassmannians and the geometric Satake in mixed characteristic (arXiv link)：引理 A.2. 对任何代数空间的平展态射$X\to Y$，由$\sigma_X$导出的相对Frobenius态射$X\to X\times_{Y,\sigma_Y}Y$是一个同构。证 ...

LaTeX如何打出长竖线？

在Latex中输出长竖线有以下几种指令：1. \big\frac{df}{dx}\big|_{x = x_0}输出结果如下：$$\frac{df}{dx}\big|_{x = x_0}$$2. \Big\frac{df}{dx}\Big|_{x = x_0}输出结果如下：$$\frac{df}{dx}\Big|_{x = x_0}$$3. \bigg\frac{df}{dx}\bigg|_{x = x_0}输出结果如下：$$\frac{df}{dx}\bigg|_{x = x_0}$$4. \Bigg\frac{df}{dx}\Bigg|_{x = x_0}输出结果如下：$$\frac{df}{dx}\Bigg|_{x = x_0}$$5. \left+\right\left.\dfrac{dy}{dx}\right|_{x=0}输出结果如下：$$\left.\dfrac{dy}{dx}\right|_{x=0}$$