这张图是《Real Analysis – Part 23》的开场页，也算 实分析 学习路上的一个关键转折点。它真正想完成的一次“升级”是：
以前研究的是一个个实数排成的数列；现在开始研究一个个函数排成的“函数列”。
为了进入函数列，图片先快速复习了三个基础概念：函数、连续性、函数有界性，最后才引出函数序列。下面按图片从上到下拆开讲。
一、先明确：这里研究什么样的函数？
图片最上方写着：
$$f: I \to \mathbb{R} \quad (I \subseteq \mathbb{R})$$
意思是：输入来自实数轴上的集合 $I$，输出是一个实数。数学上最重要的是：其中 $I$ 是实数轴上的某个集合。
例如可以是：
$$I = [0,1]$$
也可以是：
$$I = (0,+\infty)$$
甚至可以是不连续的集合：
$$I = \{1,2,3\}$$
所以右上角的小图画的就是把数轴上的一个输入送到另一个实数输出，本质上就是实数输入到实数输出。
二、函数可以想象成“机器”
例如：
$$f(x)=x^2$$
那么：
$$f(0)=0,\quad f(1)=1,\quad f(3)=9$$
可以把它想象成一台机器：输入一个 $x$，吐出一个 $f(x)$。
但这一页后面要研究的并不只是“一台机器”，而是：
很多台机器组成的序列。
三、图片中间：为什么突然提到连续函数？
图片写着：
Later: continuous functions
意思是：后面会专门研究连续函数。
图中蓝色曲线表示连续函数，绿色曲线画了一个断点。它旁边的一句话非常重要：
small errors on x-axis ↦ small errors on y-axis
也就是：$x$ 轴上的小误差，映射为 $y$ 轴上的小误差。这正是“连续”的直觉。
四、连续到底是什么意思？
假设我们站在某个点 $x_0$。如果把输入稍微改一点：
$$x = x_0 + \delta$$
当 $\delta$ 很小时，如果：
$$|f(x_0+\delta)-f(x_0)|$$
也很小，那么函数在这里就是连续的。
例如 $f(x)=x^2$ 在 $x_0=1$ 附近：稍微移动到 $x=1.001$，则 $f(x)\approx 1.002$。输入只变了一点点，输出也只变了一点点。所以它是连续的。
五、图片中的绿色曲线为什么“不连续”？
仔细看图片中间。在红色竖线所标的位置 $x_0$，绿色曲线出现两个点：上面一个是空心点，下面一个是实心点。
也就是说，当我们沿着绿色曲线从左边靠近 $x_0$ 时，函数值越来越接近上面的空心点；但是函数真正定义的值 $f(x_0)$ 却是下面那个实心点。
于是：
$$\lim_{x \to x_0^-} f(x) \ne f(x_0)$$
函数在这里发生了“跳跃”，这就是典型的不连续。
从直觉来说，极其微小的输入变化 $\Delta x$，却可能造成明显的输出变化 $\Delta y$。所以违反了“小输入误差 $\Rightarrow$ 小输出误差”的规律。
六、这页真正的新概念之一：有界函数
图片接着给出定义：函数 $f: I \to \mathbb{R}$ 称为 bounded function（有界函数），如果：
$$\{f(x) \mid x \in I\} = \operatorname{Ran}(f) = f[I]$$
是 $\mathbb{R}$ 中的有界集合。
这句话第一次看起来有些抽象，其实意思非常简单：
函数所有可能的输出值，不能无限往上跑，也不能无限往下跑。
七、什么叫“输出值集合”？
图片写成：
$$\{f(x) \mid x \in I\}$$
也写成：
$$\operatorname{Ran}(f)$$
或者：
$$f[I]$$
这三个写法基本是在表达同一个概念：函数所有可能的输出值组成的集合。
例如 $f(x)=x^2$，定义域 $I=[-1,1]$。那么值域是 $[0,1]$，最小是 $0$，最大是 $1$。所以 $|f(x)| \le 1$，于是它显然是有界的。
八、图中的“两条横线”是什么意思？
图片中有一条上界线和一条下界线，蓝色函数曲线始终夹在它们之间。这就是有界函数最直观的图像：
存在某个常数 $M>0$，使得对所有 $x \in I$ 都有：
$$|f(x)| \le M$$
于是整个函数都被关在 $-M \le f(x) \le M$ 这个水平带子里。
九、为什么图片又写成 $\sup_{x \in I} |f(x)| < \infty$？
这是有界性的标准数学写法。
先看 $|f(x)|$：绝对值会把正负方向统一起来。例如 $x=-3$ 时 $|x|=3$；如果 $f(x)=-1$，那么 $|f(x)|=1$。于是 $|f(x)|$ 表示函数值距离 $0$ 有多远。
再看 $\sup_{x \in I}$，意思是：在所有 $x \in I$ 中，看看 $|f(x)|$ 最多能逼近多大。
如果这个数字仍然有限：
$$\sup_{x \in I} |f(x)| < \infty$$
那么函数就是有界的。因此 “$f$ 有界” 等价于 “$\sup_{x \in I} |f(x)| < \infty$”。这就是本页最值得记住的有界函数公式。
十、一个最简单的有界函数
例如：
$$f(x)=\sin x$$
因为永远都有：
$$-1 \le \sin x \le 1$$
所以：
$$|f(x)| \le 1$$
因此：
$$\sup_{x \in \mathbb{R}} |\sin x| = 1 < \infty$$
所以 $\sin x$ 在整个实数轴上都是有界函数。
十一、什么叫无界函数？
例如：
$$f(x)=x^2$$
当 $x=1$ 时，$f(1)=1$；当 $x=10$ 时，$f(10)=100$；当 $x=100$ 时，$f(100)=10000$。无论给一个多大的 $M$，总能找到一个足够大的 $x$，使得 $f(x)>M$。
所以不存在一个固定的水平带能够把整个图像夹住。因此 $x^2$ 在 $\mathbb{R}$ 上无界。
十二、特别重要：有界性取决于“定义域”
考虑同一个函数：
$$f(x)=x^2$$
如果定义域是 $I=\mathbb{R}$，它无界。
但如果定义域改成：
$$I=[0,1]$$
那么 $|f(x)| \le 1$，所以它又变成有界函数。
因此判断函数是否有界，不能只看公式，还必须看定义域。这是实分析中特别容易忽略的一点。
十三、现在来到这页最重要的部分：函数序列
图片最下面标题是：
Sequence of functions
也就是：函数序列。
普通数列我们熟悉：
$$(a_1, a_2, a_3, \dots)$$
例如 $a_n = \frac{1}{n}$，每一项都是一个数。
现在，把每一个“数”换成一个“函数”：
$$(f_1, f_2, f_3, \dots)$$
这就是函数序列，通常也写成：
$$(f_n)_{n \in \mathbb{N}}$$
十四、每个 $f_n$ 本身都是一个函数
图片右下写着：
$$f_1: I \to \mathbb{R}$$
$$f_2: I \to \mathbb{R}$$
$$f_3: I \to \mathbb{R}$$
也就是说，每一个 $f_n$ 都是一个函数，都满足 $f_n: I \to \mathbb{R}$。
这就是函数列和普通数列最大的区别。普通数列的每一项是数字；函数列的每一项是一条完整的曲线。
十五、图片中的彩色曲线在表达什么？
最下面画了许多彩色函数：蓝色代表 $f_1$，红色代表 $f_2$，青色代表 $f_3$，绿色代表 $f_4$，等等。
因此可以想象成：
$$f_1, f_2, f_3, f_4, \dots$$
所以“函数序列”就是“一串曲线”。
十六、红色竖线 $\bar{x}$ 是整页最关键的一刀
图片选定了一个固定点：
$$\bar{x} \in I$$
然后画一条竖线。这条竖线分别穿过 $f_1, f_2, f_3, f_4, \dots$，于是我们可以读取每条曲线在这个相同 $\bar{x}$ 位置的高度：
$$f_1(\bar{x}),\ f_2(\bar{x}),\ f_3(\bar{x}),\ f_4(\bar{x}), \dots$$
注意神奇的事情出现了：原来 $(f_1, f_2, f_3, \dots)$ 是一串函数；但是一旦固定 $\bar{x}$，它们就变成一串普通实数：
$$(f_1(\bar{x}), f_2(\bar{x}), f_3(\bar{x}), \dots)$$
这就是图片下面写的：
For any fixed $\bar{x}$,
we get an ordinary sequence of real numbers.
即：对任意固定点 $\bar{x}$，我们得到一个普通的实数数列。这是后面学习“函数列收敛”的核心思想。
十七、用一个简单例子马上理解
考虑：
$$f_n(x)=x^n$$
于是：
$$f_1(x)=x,\quad f_2(x)=x^2,\quad f_3(x)=x^3,\quad \dots$$
这是一串函数。
现在固定 $x=\frac{1}{2}$。那么函数列在这个位置就变成：
$$f_1\!\left(\frac{1}{2}\right)=\frac{1}{2},\quad f_2\!\left(\frac{1}{2}\right)=\frac{1}{4},\quad f_3\!\left(\frac{1}{2}\right)=\frac{1}{8},\quad \dots$$
于是得到普通数列：
$$\frac{1}{2},\ \frac{1}{4},\ \frac{1}{8},\ \dots$$
显然：
$$\lim_{n \to \infty} f_n\!\left(\frac{1}{2}\right)=0$$
所以在 $x=\frac{1}{2}$ 这个固定位置上，该函数列对应的数列收敛到 $0$。
十八、再固定另一个位置会怎么样？
还是：
$$f_n(x)=x^n$$
如果固定 $x=0$，那么 $f_n(0)=0^n=0$，得到：
$$0, 0, 0, \dots$$
所以：
$$\lim_{n \to \infty} f_n(0)=0$$
于是很有意思：对于 $0 < x < 1$，通常有 $\lim_{n\to\infty} x^n=0$；但是在 $x=1$ 处，$f_n(1)=1$，数列为 $1, 1, 1, \dots$，极限是 $1$。
因此这个函数列最后会指向一个新的函数：
$$g(x)= \begin{cases} 0, & 0 \le x < 1, \\ 1, & x = 1. \end{cases}$$
这已经在悄悄引出后面的重要概念：逐点收敛。也就是：每固定一个 $x$，分别观察数列 $f_n(x)$ 是否收敛。
十九、为什么“固定 $x$”这么重要？
普通数列只有一个方向：$n \to \infty$。但是函数列同时有两个变量：
$$f_n(x)$$
这里 $n$ 表示“第几个函数”，而 $x$ 表示“这个函数内部的输入位置”。
所以你可以把函数列想成一个二维表。固定一个 $\bar{x}$，相当于竖着取一列，于是就又回到了我们熟悉的数列理论。这正是为什么作者先学完“数列和级数”，然后才进入函数序列。
二十、这页其实是在搭一座桥
前面的实分析主要研究：
$$(a_n)_{n \in \mathbb{N}}$$
也就是数列。现在变成：
$$(f_n)_{n \in \mathbb{N}}$$
也就是函数列。
关键技巧就是：固定一个 $\bar{x}$。于是 $f_n$ 立刻变成 $f_n(\bar{x})$，也就是普通数列。所以前面学过的大量知识——数列极限、收敛性、Cauchy 列等——现在都可以重新拿出来研究函数序列。
二十一、这张图最值得记住的逻辑链
把整页压缩成一条线，就是：
$$f: I \to \mathbb{R} \quad \longrightarrow \quad \text{有界函数} \quad \longrightarrow \quad (f_1, f_2, f_3, \dots) \quad \longrightarrow \quad \text{固定 } x \quad \longrightarrow \quad (f_1(x), f_2(x), f_3(x), \dots)$$
先研究普通函数；接着定义有界函数；然后考虑一串函数；对于每个固定的 $x$，得到普通实数数列。于是就可以讨论这个数列的收敛性。这正是接下来“函数序列收敛”理论的入口。
最核心的三个记忆点
第一：$f: I \to \mathbb{R}$ 表示实变量实值函数。
第二：有界函数直观上就是函数值可以被 $-M$ 和 $M$ 两条水平线夹住，等价于 $\sup_{x \in I} |f(x)| < \infty$。
第三，也是本页最重要的思想：
一串函数，在固定某个横坐标之后，就变成了一串普通数字。
这一步看似简单，却是后面理解 逐点收敛、一致收敛、函数列极限与连续性之间关系 的出发点。
发表于 6 天前
|
查看: 7|
回复: 0
