陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「245B, Notes 8: A quick review of point set topology」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

To progress further in our study of function spaces, 下面会 need to develop the standard theory of metric spaces , and of the closely related theory of topological spaces (i.e. point-set topology ). I will be assuming that students in my class will already have encountered these concepts in an undergraduate topology or real analysis course, but for sake of completeness I will briefly review the basics of both spaces here.

In many spaces, one wants a notion of when two points in the space are “near” or “far”. A particularly quantitative and intuitive way to formalise this notion is via the concept of a metric space.

已知结果和反例

Definition 1. (Metric spaces) A metric space is a set X, together with a distance function which obeys the following properties:

Example 1. Every normed vector space is a metric space, with distance function .

证明或构造的主线

Example 2. Any subset Y of a metric space is also a metric space , where is the restriction of d to . We call the metric space a subspace of the metric space .

Example 3. Given two metric spaces and , we can define the product space to be the Cartesian product with the product metric

阅读时建议盯住的点

(One can also pick slightly different metrics here, such as , but this metric only differs from (1) by a factor of two, and so they are equivalent (see Example 5 below).

Example 4. Any set X can be turned into a metric space by using the discrete metric , defined by setting when and otherwise.

值得单独记下的条目

• (Non-degeneracy) For any , we have , with equality if and only if x=y.
• (Symmetry) For any , we have .
• (Triangle inequality) For any , we have .
• A sequence of points in X is said to converge to a limit if one has as . In this case, we say that in the metric d as , and that in the metric space X. (It is easy to see that any sequence of points in a metric space has at most one limit.)
• Show that a sequence of points in X converges to a limit if and only if every open neighbourhood of x (i.e. an open set containing x) contains for all sufficiently large n.
• Show that a point x is an adherent point of a set E if and only if every open neighbourhood of x intersects E.
• Show that a set E is closed if and only if its complement is open.
• Show that the closure of a set E is the intersection of all the closed sets containing E.

阅读和落地时建议先做的 5 件事

1. 用自己的语言重写定义和结论，不看原文能不能说清对象是什么。
2. 找一个最小反例或边界情形，确认假设少一条会怎样。
3. 把证明拆成可独立检验的引理，每步只保留一个新想法。
4. 若涉及计算或形式化，先写可复现的小例子，再谈一般情形。
5. 记下尚未解决的缺口：缺估计、缺构造，还是缺正确的范畴。

和智能体、形式化工具怎么接

龙虾PRO做 OpenClaw 落地时，数学笔记最有用的部分往往是「可检验的步骤」：定义、反例、引理边界。智能体适合帮忙展开计算和检索，不适合代替你决定哪条假设能扔。

本文侧重全链路风控方法论。落地时请用自身业务单据做回放验证，不要把示例阈值直接当生产策略。 相关：风控体检 · 方案资源