华东理工大学 2026年数学分析第0题
📝 题目
1．给出函数列一致收敛的定义．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/5
目标：明确函数列与极限函数的基本设定
设有一函数列 $\{f_n(x)\}$，其中每个 $f_n$ 定义在某个集合 $E \subseteq \mathbb{R}$（或更一般的度量空间）上，并设存在一个函数 $f: E \to \mathbb{R}$ 作为可能的极限函数。
公式：$f_n: E \to \mathbb{R},\quad n=1,2,3,\dots$
提示：注意定义域 $E$ 可以是任意集合，不一定是区间。
步骤 2/5
目标：回顾逐点收敛的定义以作对比
逐点收敛是指：对每一点 $x \in E$，数列 $\{f_n(x)\}$ 收敛于 $f(x)$。即对任意 $\varepsilon > 0$ 和任意 $x \in E$，存在 $N = N(\varepsilon, x)$，使得当 $n > N$ 时，$|f_n(x) - f(x)| < \varepsilon$。这里的 $N$ 依赖于 $x$。
公式：$\forall x \in E,\ \forall \varepsilon > 0,\ \exists N(\varepsilon,x) \in \mathbb{N},\ \forall n > N: |f_n(x)-f(x)|<\varepsilon$
提示：逐点收敛中不同点 $x$ 的收敛速度可能不同，$N$ 可以不同。
步骤 3/5
目标：给出一致收敛的严格定义
函数列 $\{f_n\}$ 在集合 $E$ 上一致收敛于 $f$ 是指：对任意给定的 $\varepsilon > 0$，存在一个与 $x$ 无关的自然数 $N = N(\varepsilon)$，使得当 $n > N$ 时，对所有 $x \in E$，都有 $|f_n(x) - f(x)| < \varepsilon$ 成立。
公式：$\forall \varepsilon > 0,\ \exists N(\varepsilon) \in \mathbb{N},\ \forall n > N,\ \forall x \in E: |f_n(x)-f(x)|<\varepsilon$
提示：关键区别：$N$ 不依赖于 $x$，必须对定义域内所有 $x$ 同时成立。
步骤 4/5
目标：给出一致收敛的等价形式（上确界条件）
一致收敛等价于：$\lim\limits_{n \to \infty} \sup\limits_{x \in E} |f_n(x) - f(x)| = 0$。这个条件更便于计算和判断。
公式：$\displaystyle \lim_{n \to \infty} \sup_{x \in E} |f_n(x) - f(x)| = 0$
提示：上确界条件常用于证明非一致收敛：只需验证上确界不趋于0。
步骤 5/5
目标：通过一个简单例子说明一致收敛与逐点收敛的区别
考虑 $f_n(x) = x^n$ 在 $E=[0,1]$ 上。逐点收敛于 $f(x)=\begin{cases}0,&0\le x<1\\1,&x=1\end{cases}$，但并非一致收敛，因为 $\sup_{x\in[0,1]}|x^n-f(x)|=1$ 不趋于0。
公式：$\sup_{x\in[0,1]}|x^n-f(x)| = 1 \not\to 0$
提示：这个例子说明：逐点收敛不一定蕴含一致收敛。
步骤 6/6
目标：总结定义
综上所述，函数列 $\{f_n\}$ 在集合 $E$ 上一致收敛到函数 $f$，是指：对任意 $\varepsilon > 0$，存在正整数 $N$，使得当 $n > N$ 时，对所有 $x \in E$，都有 $|f_n(x) - f(x)| < \varepsilon$。
公式：$$f_n\rightrightarrows f\ \text{on}\ E \iff \forall\varepsilon>0,\exists N,\forall n>N,\forall x\in E:|f_n(x)-f(x)|<\varepsilon$$
提示：这是数学分析中的标准定义，需牢记量词顺序。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。