数学分析中的函数、空间与紧致性相关知识探讨
1. 函数相关问题
在数学分析里，存在许多关于函数性质的问题值得深入研究。例如有这样一个函数：
[
\varphi(x, [a, b]) =
\begin{cases}
16(x - a)^2(x - b)^2(b - a)^{-3}, & \text{若 } a \leq x \leq b \
0, & \text{若 } x < a \text{ 或 } b < x
\end{cases}
]
需要证明它在区间 $[0, 1]$ 上具有非负性、连续性和可微性，并且其最大值为 $(b - a)$。该函数的图像与给定的图（当 $[a, b] = [0.3, 0.8]$ 时）很相似。
另外，在完备、可分的度量空间 $X$ 和 $Y$ 中，函数的可测性与图像的性质存在紧密联系：
- 若 $f: X \to Y$ 是 Borel 可测的，那么其图像 $\text{graph}(f) = {(x, f(x)) : x \in X}$ 是 $X \times Y$ 的 Borel 子集。提示可考虑 $F: X \times Y \to Y \times Y$，定义为 $F(x, y) = (f(x), y)$ 以及 $F^{-1}({(y, y) : y \in Y })$。
- 若 $f: X \to Y$ 且其图像 $\text{graph}(f)$ 是 $X \times Y$ 的 Borel 子集，那么 $f$ 是 Borel 可测的。对于任意 Borel 集 $B \subset Y$，注意到 $\text{graph}(f) \
)
