陶哲轩博客写数学问题时，通常先把对象定义清楚，再给直觉、反例和证明轮廓。把「Distinguished Lecture Series I: Charles Fefferman, “Interpolation of functions on R^n”」改写成可阅读的中文笔记，重点是：问题在问什么、已知到哪一步、下一步最容易走偏在哪。原站广告、分享条和导航已去掉。

问题在问什么

The first Distinguished Lecture Series at UCLA of this academic year is being given this week by my good friend and fellow Medalist Charlie Fefferman , who also happens to be my “older brother” (we were both students of Elias Stein ). The theme of Charlie’s lectures is “Interpolation of functions on “, in the spirit of the classical Whitney extension theorem , except that now one is considering much more quantitative and computational extension problems (in particular, viewin

The general topic of extracting quantitative bounds from classical qualitative theorems is a subject that I am personally very fond of, and Charlie gave a wonderfully accessible presentation of the main results, though the actual details of the proofs were left to the next two lectures.

已知结果和反例

As usual, all errors and omissions here are my responsibility, and are not due to Charlie.

The original extension question addressed by Whitney (with further work by many others including Glaeser, Brudnyi-Shvartsman, Zobin, Bierstone-Milman-Pawlucki, Fefferman, and Brudnyi-Brudnyi) is the following. Suppose one is given a subset E of a given Euclidean space , and suppose one also given a function , as well as a regularity m (which is a non-negative integer). Is it then possible to extend f to a globally defined function (thus for all ), which lies in the regularity

证明或构造的主线

The case m=0 of this problem is answered by the Tietze extension theorem . For higher m, the problem is partially answered by the Whitney extension theorem (of which more will be said in subsequent talks).

Charlie’s talk is concerned with more “finitary” or “quantitative” versions of the above problem. Now E is a finite subset of , with cardinality |E|=N (say), so that is now simply a list of N real numbers. (One should think of n and m as being fixed and relatively small, but N as being extremely large.) As remarked above, it is now very easy to extend f to an m-times continuously differentiable function , and one can even make F boundedly continuously differentiable, thus the

阅读时建议盯住的点

is finite. However, one can now ask some quantitative questions, which 下面会 first state in a rather informal fashion:

Such questions are of relevance in computer science problems such as machine learning , in which an unknown smooth function is “learned” by sampling its values at a finite number of points , but where the observed values f(x) at x can differ from the true value F(x) by some experimental error (and in some small number of cases, f(x) may be completely incorrect). The problem is then how to interpolate F from this noisy (and occasionally completely wrong) data. Such problems ar

值得单独记下的条目

• One can reduce further to the case when E is compact, because if the values of a continuous function is specified on a set E, this uniquely specifies F on the closure .
• Given the data n, m, E, f, what is the best possible value of ? Can this value (or some approximation to this value) be “computed” efficiently?
• Given the data n, m, E, f, can one “compute” an extension F of f whose norm is close to optimal?
• Can the extension operation be chosen to be linear?
• How does one answer Q1, Q2, Q3 if we allow the use of approximate extensions , in which F(x) is only required to be close to f(x) for , rather than equal to f(x), with some error tolerance which may depend on x?
• How does one answer Q1, Q2, Q3 if we also are allowed to discard a few elements of E (so that F(x) is now only required to be equal or close to f(x) outside of a small exceptional set)?

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

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

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

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

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