南京师范大学 2012年数学分析第0题
📝 题目
九、设二元函数 $\displaystyle f(x, y)$ 在正方形区域 $\displaystyle [0,1] \times[0,1]$ 上连续，记 $\displaystyle I=[0,1]$ 。（15 分）．
（1）．试比较 $\displaystyle \inf _{y \in I} \sup _{x \in I} f(x, y)$ 与 $\displaystyle \sup _{x \in I} \inf _{y \in I} f(x, y)$ 的大小并证明之；
$$
\begin{aligned}
& \frac{4 y^{2}-x^{2}-8 x y}{\left(x^{2}+x y^{2}\right)^{2}} \\
& =0 .
\end{aligned}
$$
（2）给出并证明使等式 $\displaystyle \inf _{y \in I} \sup _{x \in I} f(x, y)=\sup _{x \in I} \inf _{y \in I} f(x, y)$ 成立的充分条件；（你认为最好的）
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/6
目标：理解两个表达式的含义
定义 $A = \inf_{y \in I} \sup_{x \in I} f(x,y)$，$B = \sup_{x \in I} \inf_{y \in I} f(x,y)$，其中 $I=[0,1]$，$f$ 在 $[0,1]\times[0,1]$ 上连续。
公式：A = \inf_{y\in I}\sup_{x\in I}f(x,y),\quad B = \sup_{x\in I}\inf_{y\in I}f(x,y)
提示：注意先对哪个变量取极值，顺序不同结果不同。
步骤 2/6
目标：建立基本不等式
对任意固定的 $x_0\in I$ 和 $y_0\in I$，由下确界和上确界的定义有：
$$\inf_{y\in I} f(x_0,y) \le f(x_0,y_0) \le \sup_{x\in I} f(x,y_0)$$
公式：\inf_y f(x_0,y) \le f(x_0,y_0) \le \sup_x f(x,y_0)
提示：这是最基础的不等式，注意方向。
步骤 3/6
目标：对左边取上确界
对不等式 $\inf_y f(x_0,y) \le \sup_x f(x,y_0)$ 关于 $x_0$ 取上确界，得到：
$$\sup_{x\in I} \inf_{y\in I} f(x,y) \le \sup_{x\in I} f(x,y_0)$$
公式：\sup_x \inf_y f(x,y) \le \sup_x f(x,y_0)
提示：上确界保持不等式方向。
步骤 4/6
目标：对右边取下确界
上一步的不等式对任意 $y_0\in I$ 成立，因此对右边关于 $y_0$ 取下确界，不等式方向不变：
$$\sup_{x\in I} \inf_{y\in I} f(x,y) \le \inf_{y\in I} \sup_{x\in I} f(x,y)$$
公式：B \le A
提示：下确界也保持不等式方向，注意与上确界的区别。
步骤 5/6
目标：给出使等式成立的充分条件
一个充分条件是存在鞍点 $(x_0,y_0)\in I\times I$，使得对任意 $x,y\in I$ 有：
$$f(x,y_0) \le f(x_0,y_0) \le f(x_0,y)$$
公式：f(x,y_0) \le f(x_0,y_0) \le f(x_0,y),\quad \forall x,y\in I
提示：鞍点条件意味着 $f(x_0,y_0)$ 同时是 $x$ 方向的最大值和 $y$ 方向的最小值。
步骤 6/6
目标：证明充分条件下等式成立
由鞍点条件得：
$$\sup_x \inf_y f(x,y) \ge \inf_y f(x_0,y) = f(x_0,y_0)$$
$$\inf_y \sup_x f(x,y) \le \sup_x f(x,y_0) = f(x_0,y_0)$$
结合第(1)问的 $B \le A$，得到：
$$f(x_0,y_0) \le B \le A \le f(x_0,y_0)$$
因此 $A = B = f(x_0,y_0)$。
公式：B = A = f(x_0,y_0)
提示：注意利用第(1)问的不等式来夹逼。
步骤 7/8
目标：证明鞍点条件下等式成立
由鞍点条件，$\sup_x \inf_y f(x,y) \ge \inf_y f(x_0, y) = f(x_0, y_0)$，且 $\inf_y \sup_x f(x,y) \le \sup_x f(x, y_0) = f(x_0, y_0)$。结合（1）的不等式 $B \le A$，得到 $f(x_0, y_0) \le B \le A \le f(x_0, y_0)$，从而 $A = B = f(x_0, y_0)$。
公式：f(x_0, y_0) \le B \le A \le f(x_0, y_0) \Rightarrow A = B
提示：注意这里用到了（1）的结果，以及 $\sup$ 和 $\inf$ 的基本性质。
步骤 8/8
目标：补充说明其他可能的充分条件
另一个经典充分条件是 $f$ 在紧集上连续，且对每个 $x$ 关于 $y$ 凸，对每个 $y$ 关于 $x$ 凹（von Neumann 极小极大定理）。但鞍点条件更直接且易于验证，是本题“最好”的条件。
公式：\text{若 } f \text{ 满足凸凹性，则 } \inf_y \sup_x f = \sup_x \inf_y f
提示：凸凹性条件需要函数具有特定的结构，而鞍点条件更直观。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。