|
|
首先，我们来确认一个基础事实，这一步不依赖任何额外条件。
第一步：在有理数域 \(\mathbf{Q}\) 上的解是唯一的对于任何满足 \(f(x+y)=f(x)+f(y)\) 的函数 \(f: \mathbf{R} \to \mathbf{R}\)，我们都可以证明其在有理数集 \(\mathbf{Q}\) 上的行为是线性的。设 \(c = f(1)\)。
- 证明 \(f(0)=0\): 令 \(x=y=0\), \(f(0)=f(0)+f(0)\), 所以 \(f(0)=0\).
- 证明对于整数 \(n \in \mathbf{Z}\)，有 \(f(n)=cn\):
- 对于正整数 \(n\)，通过归纳法，\(f(n) = f(1+...+1) = f(1)+...+f(1) = n f(1) = cn\).
- 对于负整数 \(n\)，我们先证明 \(f(-x)=-f(x)\)。\(0 = f(0) = f(x+(-x)) = f(x)+f(-x)\), 所以 \(f(-x)=-f(x)\)。因此，\(f(n) = -f(-n) = -(-n)f(1) = n f(1) = cn\).
- 证明对于有理数 \(q \in \mathbf{Q}\)，有 \(f(q)=cq\): 设 \(q = p/r\), 其中 \(p, r \in \mathbf{Z}\) 且 \(r \neq 0\). 我们有 \(f(r \cdot \frac{p}{r}) = f(p) = c \cdot p\). 同时， \(f(r \cdot \frac{p}{r}) = f(\frac{p}{r} + ... + \frac{p}{r}) = r \cdot f(\frac{p}{r})\). 所以，\(r \cdot f(\frac{p}{r}) = c \cdot p\), 这意味着 \(f(\frac{p}{r}) = \frac{p}{r} \cdot c\). 即 \(f(q) = cq\) 对所有 \(q \in \mathbf{Q}\) 成立。
结论：任何满足柯西函数方程的函数，在有理数上必定是线性的。问题在于如何将这个性质从 \(\mathbf{Q}\) 扩展到 \(\mathbf{R}\)。那些“病态”解在有理数上也表现为 \(f(q)=cq\)，但在无理数上则不然。
第二步：保证解在实数域 \(\mathbf{R}\) 上唯一的条件要将 \(f(x)=cx\) 从 \(\mathbf{Q}\) 推广到 \(\mathbf{R}\)，我们需要加入一些正则性（regularity）条件。以下任何一个条件都足以保证解是唯一的线性形式 \(f(x)=f(1) \cdot x\)。
1. 在任意一点连续 (Continuity at a single point)如果 \(f(x)\) 哪怕只在一个点 \(x_0\) 上是连续的，那么它必然是全域连续的，并且 \(f(x)=cx\)。
证明思路: a. 一点连续 \(\implies\) 处处连续: 假设 \(f\) 在 \(x_0\) 处连续，即 \(\lim_{h \to 0} f(x_0+h) = f(x_0)\)。 利用函数方程，\(\lim_{h \to 0} (f(x_0)+f(h)) = f(x_0)\)，这意味着 \(\lim_{h \to 0} f(h) = 0\)。 因为 \(f(0)=0\)，这说明 \(f\) 在 \(0\) 点是连续的。 现在对于任意一点 \(x\)，\(\lim_{h \to 0} f(x+h) = \lim_{h \to 0} (f(x)+f(h)) = f(x) + \lim_{h \to 0} f(h) = f(x)+0 = f(x)\)。 因此，\(f\) 在任意点 \(x\) 处都连续。
- 连续性 \(\implies\) 线性解: 对于任意实数 \(x \in \mathbf{R}\)，我们可以找到一个有理数序列 \(\{q_n\}\) 使得 \(\lim_{n \to \infty} q_n = x\)。 因为 \(f\) 是连续的，所以 \(f(x) = f(\lim_{n \to \infty} q_n) = \lim_{n \to \infty} f(q_n)\)。 我们已经知道对于有理数 \(q_n\)，\(f(q_n) = c q_n\)。 所以，\(f(x) = \lim_{n \to \infty} (c q_n) = c \cdot (\lim_{n \to \infty} q_n) = cx\)。 证毕。
2. 单调性 (Monotonicity)如果 \(f(x)\) 在 \(\mathbf{R}\) 上是单调的（无论是单调不减还是单调不增），则 \(f(x)=cx\)。
证明思路: 假设 \(f\) 是单调不减的（单调不增的证明类似）。 对于任意实数 \(x\)，我们可以在有理数中找到两个序列 \(\{q_n\}\) 和 \(\{r_n\}\)，使得 \(q_n \le x \le r_n\) 且 \(\lim_{n \to \infty} q_n = \lim_{n \to \infty} r_n = x\)。 因为 \(f\) 单调不减，所以 \(f(q_n) \le f(x) \le f(r_n)\)。 代入有理数上的线性形式：\(c q_n \le f(x) \le c r_n\)。 (这里我们假设 \(c=f(1)>0\)。如果 \(c<0\)，\(f\) 会是单调不增的，不等号方向会反过来，但结论不变)。 根据夹逼定理（Squeeze Theorem），当 \(n \to \infty\) 时，我们有： \(\lim_{n \to \infty} c q_n \le f(x) \le \lim_{n \to \infty} c r_n\) \(cx \le f(x) \le cx\) 因此，\(f(x) = cx\)。
3. 在一个区间上有界 (Boundedness on an interval)如果存在一个区间 \((a, b)\)，使得 \(f(x)\) 在这个区间上是有界的（即存在 \(M\)，使得 \(|f(x)| \le M\) 对所有 \(x \in (a, b)\)），则 \(f(x)=cx\)。
证明思路: 这个证明稍微复杂一点，但核心思想是证明有界性可以推出在 \(0\) 点的连续性，然后回到条件1。 a. 假设 \(f\) 在 \((-\delta, \delta)\) 上有界，即 \(|f(x)| \le M\) 对所有 \(x \in (-\delta, \delta)\)。 b. 对于任意小的 \(h\)，只要 \(h \to 0\)，我们可以选择一个足够大的整数 \(n\)，使得 \(nh\) 仍然在 \((-\delta, \delta)\) 区间内。例如，取 \(n = \lfloor \delta / (2|h|) \rfloor\)。当 \(h \to 0\) 时，\(n \to \infty\)。 c. 我们有 \(f(nh) = n f(h)\)。 d. 因为 \(nh \in (-\delta, \delta)\)，所以 \(|f(nh)| \le M\)。 e. 于是 \(|n f(h)| \le M\)，即 \(|f(h)| \le M/n\)。 f. 当 \(h \to 0\) 时，\(n \to \infty\)，所以 \(M/n \to 0\)。因此，\(\lim_{h \to 0} f(h) = 0\)。 g. 这证明了 \(f\) 在 \(0\) 点连续，根据条件1，可得 \(f(x)=cx\)。 (如果 \(f\) 在任意区间 \((a,b)\) 有界，可以构造一个新函数 \(g(x)=f(x+a)\)，它在 \((0, b-a)\) 有界，从而证明 \(g\) 是线性的，进而 \(f\) 也是线性的。)
4. 可微性 (Differentiability)如果 \(f(x)\) 可微，那么它必然是线性函数。这是一个比连续性更强的条件。 证明思路: 对 \(f(x+y)=f(x)+f(y)\) 两边对 \(x\) 求导（视 \(y\) 为常数）： \(f'(x+y) \cdot 1 = f'(x) + 0\) 所以 \(f'(x+y) = f'(x)\)。 由于这个等式对任意的 \(y\) 都成立，说明导函数 \(f'(x)\) 是一个常数。设 \(f'(x)=c\)。 对 \(f'(x)=c\) 积分，得到 \(f(x) = cx + D\)。 将 \(f(x) = cx + D\) 代回原方程： \(c(x+y)+D = (cx+D) + (cy+D)\) \(cx+cy+D = cx+cy+2D\) 这要求 \(D=0\)。所以 \(f(x)=cx\)。
第三步：病态解是如何产生的？如果没有上述任何一个条件，就会存在无限多个“病态”的非线性解。这些解的存在性依赖于选择公理 (Axiom of Choice)。
- Hamel 基: 我们可以将实数集 \(\mathbf{R}\) 看作是在有理数域 \(\mathbf{Q}\) 上的一个无限维向量空间。 根据选择公理，这个向量空间存在一组基，称为哈默尔基 (Hamel basis)，记为 \(\mathcal{B} = \{e_i\}_{i \in I}\)。 这意味着任何实数 \(x \in \mathbf{R}\) 都可以被唯一地表示为这组基中有限个元素的有理数线性组合： \(x = \sum_{j=1}^n q_j e_{i_j}\)，其中 \(q_j \in \mathbf{Q}\)，\(e_{i_j} \in \mathcal{B}\)。
- 构造病态解: 我们知道 \(f\) 必须满足 \(f(qx)=qf(x)\)（\(\mathbf{Q}\)-线性）。 我们可以任意定义 \(f\) 在基向量 \(e_i\) 上的值。例如，设 \(f(e_i) = y_i\)，其中 \(y_i\) 是任意指定的实数。 然后，我们将 \(f\) 扩展到整个 \(\mathbf{R}\) 上： 对于 \(x = \sum q_j e_{i_j}\)，定义 \(f(x) = \sum q_j f(e_{i_j}) = \sum q_j y_j\)。 这个构造出来的函数 \(f\) 满足 \(f(x+y)=f(x)+f(y)\)。
- 为什么会病态:
- 线性解 \(f(x)=cx\) 的情况：这对应于一个非常特殊的选择，即对所有的基向量 \(e_i\)，我们都定义 \(f(e_i) = c e_i\)。
- 非线性解的情况：只要我们不这样定义，就会得到非线性解。例如，从哈默尔基中选出两个基向量 \(e_1, e_2\)。我们可以定义 \(f(e_1) = 1\) 和 \(f(e_2) = \sqrt{2}\)，并对所有其他基向量 \(e_i\) 定义 \(f(e_i)=0\)。这样构造出的函数 \(f\) 满足柯西方程，但显然不是 \(f(x)=cx\) 的形式。
这些病态解具有非常奇怪的性质：
- 处处不连续。
- 在任何区间内都无界。
- 不是单调的。
- 它的图像 \(G = \{(x, f(x)) \mid x \in \mathbf{R}\}\) 在平面 \(\mathbf{R}^2\) 中是稠密的！这意味着你可以在平面的任何一个圆盘内都找到这个函数的图像上的一个点。
总结为了保证柯西函数方程 \(f(x+y)=f(x)+f(y)\) 的唯一解是 \(f(x)=f(1) \cdot x\)，你需要添加以下任何一个条件：
- \(f(x)\) 在某一点连续。
- \(f(x)\) 是单调函数。
- \(f(x)\) 在某个区间上有界。
- \(f(x)\) 是可微的。
- (更高级的) \(f(x)\) 是勒贝格可测 (Lebesgue measurable) 的。
缺少任何这类正则性条件，函数的行为就可能变得极其“病态”，其存在性由选择公理保证，并通过哈默尔基来构造。
|
|
hbghlyj
posted 2025-6-9 18:50
