基本群如何用一个空间的环路结构区分不同拓扑形状？
How does the fundamental group distinguish different topological shapes via their loops?
基本群 $\pi_1(X)$ 由基于某点的闭道路在同伦意义下的等价类构成，群运算为路径拼接。圆 $S^1$ 的基本群是 $\mathbb Z$（绕圈数），而球面的基本群平凡，这正说明圆与球面在拓扑上不可同胚。
The fundamental group $\pi_1(X)$ consists of homotopy classes of loops based at a point, with group operation given by concatenation. The circle $S^1$ has $\pi_1\cong\mathbb Z$ (winding number), while the sphere has the trivial group, showing circle and sphere are not homeomorphic.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《代数拓扑学》
American Mathematical Society (AMS), Algebraic Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#基本群 #环路 #同伦类
拓扑学中「同伦」概念如何刻画两条路径的连续可变性？
How does the notion of homotopy in topology capture the continuous deformability of two paths?
两条映射 $f,g:X\to Y$ 同伦，若存在连续映射 $H:X\times[0,1]\to Y$ 使 $H(x,0)=f(x)$、$H(x,1)=g(x)$，即一路径可在不「断裂」的情况下连续变形为另一路径。同伦是拓扑不变量研究的基本等价关系。
Two maps $f,g:X\to Y$ are homotopic if there is a continuous $H:X\times[0,1]\to Y$ with $H(x,0)=f(x)$ and $H(x,1)=g(x)$, so one deforms continuously into the other without breaking. Homotopy is a basic equivalence relation in studying topological invariants.
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《代数拓扑学》
American Mathematical Society (AMS), Algebraic Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#同伦 #连续形变 #拓扑不变量
Heine-Borel 定理给出了欧氏空间中紧集的什么等价刻画？
What equivalent characterization of compact sets in Euclidean space does the Heine-Borel theorem give?
在 $\mathbb R^n$ 中，一个子集是紧的当且仅当它是闭且有界的。紧性保证任意开覆盖都有有限子覆盖，由此推出连续函数在紧集上必取到最大值与最小值（极值定理）。
In $\mathbb R^n$, a subset is compact iff it is closed and bounded. Compactness guarantees that every open cover has a finite subcover, from which follows that continuous functions attain their max and min on compact sets (extreme value theorem).
难度 专业 · 适合 高中(15-18)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《点集拓扑学》
American Mathematical Society (AMS), Point Set Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#紧性 #Heine-Borel #闭有界
拓扑学中「连通空间」的直观含义是什么？
What is the intuitive meaning of a connected space in topology?
一个拓扑空间是连通的，当且仅当它不能表示为两个非空、互不相交的开集的并。直观上，连通空间是「一整块」，无法被分割成两个分离的开部分。实数轴 $\mathbb R$ 是连通的，而 $\{0\}\cup\{1\}$ 不连通。
A topological space is connected iff it cannot be written as the union of two nonempty disjoint open sets. Intuitively a connected space is all in one piece, with no separation into two open parts. The real line $\mathbb R$ is connected, while $\{0\}\cup\{1\}$ is not.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《点集拓扑学》
American Mathematical Society (AMS), Point Set Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#连通性 #开集 #拓扑空间
为什么在优化问题中紧性常被用来保证解的存在性？
Why is compactness often used to guarantee existence of solutions in optimization?
因为定义在紧集上的连续实值函数必有最大值和最小值（极值定理）。把可行域取为紧集，即可保证目标函数在该域上达到极值，从而优化问题至少存在一个最优解。
A continuous real-valued function on a compact set attains both a maximum and a minimum (extreme value theorem). Taking the feasible region to be compact thus guarantees the objective reaches an extremum, so an optimal solution exists.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《点集拓扑学》
American Mathematical Society (AMS), Point Set Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#紧性 #极值定理 #优化
拓扑学中「同胚」意味着两个空间具有怎样的等价关系？
What equivalence does homeomorphism mean between two topological spaces?
若存在连续的双射且其逆也连续，则两空间同胚，可视作「拓扑上相同」：它们共享所有拓扑性质（连通性、紧性、分离性等）。例如咖啡杯与甜甜圈表面同胚，都同胚于环面。
A homeomorphism is a continuous bijection with continuous inverse; two spaces related this way are topologically the same and share all topological properties (connectedness, compactness, separation). For example a coffee mug and a doughnut surface are homeomorphic, both to a torus.
难度 进阶 · 适合 大众
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《点集拓扑学》
American Mathematical Society (AMS), Point Set Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#同胚 #连续双射 #拓扑等价
什么是拓扑空间的连通分支？
What is a connected component of a topological space?
连通分支是空间中极大的连通子集：任意两点若能被一条完全落在空间内的连通子集连接，则属于同一连通分支。每个空间都可唯一分解为互不相交连通分支的并，例如有理数集 $\mathbb Q$ 的每个点都是孤立的连通分支。
A connected component is a maximal connected subset: two points belong to the same component if they are joined by a connected subset lying in the space. Every space decomposes uniquely into disjoint components; e.g. in $\mathbb Q$ each point is its own component.
难度 进阶 · 适合 初中(12-15)
CC BY 4.0 · 已核验 · Verified 2026-10-04
来源 · Source
美国数学会(AMS)《点集拓扑学》
American Mathematical Society (AMS), Point Set Topology
独立核验依据 · Independent verification: 核验依据 1 ISBN 9780131816299 (2000)
#连通分支 #极大连通 #分解