求问《泛函分析》（张恭庆）习题2.2.5（3）怎么做？
张恭庆老师的《泛函分析》习题2.2.5（3）是一个关于范数等价性的经典问题。我们来一步步把它拆解开来，力求清晰明白。
这道题通常是这样的表述：
设 $X$ 是一个向量空间，范数 $|cdot|_1$ 和 $|cdot|_2$ 是定义在 $X$ 上的两个范数。证明：如果存在常数 $M > 0$ 使得对 $X$ 中任意向量 $x$，都有 $|x|_1 le M |x|_2$，那么存在常数 $c > 0$ 使得对 $X$ 中任意向量 $x$，都有 $|x|_2 le c |x|_1$。也就是说，如果一个范数“不比另一个范数增长得快”，那么另一个范数也“不比前一个范数增长得快”。
核心思路：利用连续线性映射的性质
这道题的关键在于将范数之间的比较转化为线性映射的连续性问题。我们知道，一个从赋范空间到另一个赋范空间的线性映射是连续当且仅当它可以被有界控制。这里的“有界控制”就是我们题目中给出的不等式形式。
详细步骤解析：
1. 构造一个线性映射:
我们需要一个从一个赋范空间到另一个赋范空间的线性映射。这里的两个赋范空间都是同一个向量空间 $X$，只是使用了不同的范数。我们可以这样构造：
考虑一个从赋范空间 $(X, |cdot|_2)$ 到赋范空间 $(X, |cdot|_1)$ 的映射 $T$:
$T: (X, |cdot|_2) o (X, |cdot|_1)$
定义为 $T(x) = x$ (即恒等映射)。
这个映射 $T$ 是线性的，这是显而易见的。对于任意 $x, y in X$ 和 $alpha in mathbb{R}$ (或 $mathbb{C}$，取决于向量空间的域)：
$T(x+y) = x+y = T(x) + T(y)$
$T(alpha x) = alpha x = alpha T(x)$
2. 利用已知条件证明 $T$ 的有界性 (即连续性):
题目给出了条件：存在常数 $M > 0$ 使得对 $X$ 中任意向量 $x$，都有 $|x|_1 le M |x|_2$。
我们来看看这个条件是怎么作用在我们的映射 $T$ 上的。对于任意 $x in X$，我们有：
$|T(x)|_1 = |x|_1$
而根据题目给的条件，我们知道 $|x|_1 le M |x|_2$。所以：
$|T(x)|_1 le M |x|_2$
这正是定义线性映射连续性的一个标准形式。具体来说，一个线性映射 $T: V o W$ (其中 $V, W$ 是赋范空间) 是连续的，当且仅当存在一个常数 $K > 0$ 使得对所有 $x in V$，都有 $|T(x)|_W le K |x|_V$。
在我们的例子中，$V = (X, |cdot|_2)$，$W = (X, |cdot|_1)$，而常数 $K = M$。所以，我们成功证明了映射 $T$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的一个连续线性映射。
3. 利用逆映射的性质或考虑另一个方向的映射:
现在我们知道了 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。我们需要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。这相当于证明另一个恒等映射 $S: (X, |cdot|_1) o (X, |cdot|_2)$ 是连续的。
我们可以采取两种方式来思考这一点：
方法一：使用有限维空间的性质（如果已知 $X$ 是有限维的）
如果 $X$ 是有限维的，那么在同一向量空间上定义的任何两个范数都是等价的。等价的意思就是存在正数 $c_1, c_2$ 使得对所有 $x in X$，都有 $c_1 |x|_1 le |x|_2 le c_2 |x|_1$。
题目给出了 $|x|_1 le M |x|_2$，这已经满足了等价性中的一个方向（即 $|x|_2 ge frac{1}{M} |x|_1$）。所以，如果 $X$ 是有限维的，我们就可以直接得出结论，存在 $c = c_2$ 使得 $|x|_2 le c |x|_1$。
但是，题目并没有限定 $X$ 是有限维的！ 所以我们不能直接套用有限维空间的结论。
方法二：更普适的方法——考虑“零集”和闭集
我们已经知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射，并且 $|T(x)|_1 le M |x|_2$ 对所有 $x in X$ 成立。
现在我们需要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。这等价于证明映射 $S(x) = x$ 从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$ 是连续的。
考虑集合 $A = {x in X mid |x|_1 = 1}$。这是一个单位球面在范数 $|cdot|_1$ 下的定义。我们知道，一个线性算子是连续的当且仅当它将有界集映到有界集。更强一点，对于从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$ 的线性映射 $S$，它连续当且仅当存在 $c$ 使得 $|S(x)|_2 le c |x|_1$。
我们知道存在 $M$ 使得 $|x|_1 le M |x|_2$。让我们尝试从反面来看。假设不存在这样的常数 $c > 0$，也就是说，对于任意 $c > 0$，都存在一个 $x in X$ 使得 $|x|_2 > c |x|_1$。
这会引起什么问题呢？我们已经知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续映射。
换一个角度思考：闭图像定理。
在 Banach 空间中，闭图像定理是一个非常强大的工具。如果 $X$ 和 $Y$ 是 Banach 空间，并且 $T: X o Y$ 是一个连续线性映射，那么其图像是闭的。如果一个线性映射的图像是闭的，并且它是处处定义的，那么它一定是有界的。
但是，这里我们是在同一个向量空间上使用不同的范数，并且我们还没有证明其中一个范数空间的完备性。所以直接用闭图像定理可能有点超前，或者需要先证明完备性。
我们回到构造性的证明方法，更基础一些：
我们已经证明了 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，即 $|T(x)|_1 le M |x|_2$。
现在我们要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。
考虑线性映射 $S: (X, |cdot|_1) o (X, |cdot|_2)$ 定义为 $S(x) = x$。我们想证明 $S$ 是连续的，也就是说存在 $c > 0$ 使得 $|S(x)|_2 le c |x|_1$，即 $|x|_2 le c |x|_1$。
从 $|x|_1 le M |x|_2$ 这个条件出发，我们可以推导出 $|x|_2 ge frac{1}{M} |x|_1$。
我们需要证明存在一个“上限”，即 $|x|_2 le c |x|_1$。
让我们考虑另一种构造。我们已经知道 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。这意味着 $T$ 是“收缩”的，或者说范数 $|cdot|_1$ 比范数 $|cdot|_2$ 更“宽松”。
现在我们需要证明反过来，即存在一个常数 $c$ 使得 $|x|_2 le c |x|_1$。
假设不存在这样的常数 $c > 0$。那么对任意的 $n in mathbb{N}$，都存在一个向量 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$。
我们可以标准化这个序列。令 $y_n = frac{x_n}{|x_n|_2}$。那么 $|y_n|_2 = 1$。
我们有 $|y_n|_2 > n |y_n|_1$，所以 $|y_n|_1 < frac{1}{n}$。
现在我们有了一个序列 $(y_n)$ 使得 $|y_n|_2 = 1$ 并且 $|y_n|_1 o 0$ 当 $n o infty$。
这产生了一个矛盾！为什么？
我们知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
对于序列 $(y_n)$：
$|y_n|_2 = 1$。
由于 $T$ 是连续的，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 中，那么 $T(y_n) o T(y)$ 在 $(X, |cdot|_1)$ 中。
现在我们有 $|y_n|_1 o 0$。这意味着如果 $y_n$ 收敛到某个向量 $y$ (在某个范数下)，那么根据连续性， $|T(y_n)|_1 = |y_n|_1 o 0$。
另一方面，我们有 $|y_n|_2 = 1$。这表明 $y_n$ 是有界的。
关键的洞察在这里：
我们知道 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，所以 $|x|_1 le M |x|_2$。
现在，让我们考虑定义在 $X$ 上的所有可能的范数。假设我们有两个范数 $|cdot|_1$ 和 $|cdot|_2$。如果它们是“等价的”，意味着存在常数 $c_1, c_2 > 0$ 使得 $c_1 |x|_1 le |x|_2 le c_2 |x|_1$。
我们已经证明了存在 $M>0$ 使得 $|x|_1 le M |x|_2$。这是 $c_2$ 的存在性（或者说，是 $|cdot|_2$ 相对于 $|cdot|_1$ 的“生长”上限）。
现在我们需要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。这是 $|cdot|_1$ 相对于 $|cdot|_2$ 的“生长”上限。
回到我们构造的序列 $y_n$：
我们假设不存在这样的常数 $c$，即对任意 $c > 0$，都存在 $x_c$ 使得 $|x_c|_2 > c |x_c|_1$。
令 $y_c = x_c / |x_c|_2$。则 $|y_c|_2 = 1$ 且 $|y_c|_1 < 1/c$。
这样我们就得到了一个序列 $(y_n)$ (令 $c=n$) 满足 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$。
现在，我们知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
根据连续性，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $T(y_n) o T(y)$ 在 $(X, |cdot|_1)$ 下。
即 $y_n o y$ 在 $(X, |cdot|_2)$ 下意味着 $|y_n y|_2 o 0$.
我们知道 $|y_n|_2 = 1$. 如果 $y_n$ 收敛到 $y$ (在 $(X, |cdot|_2)$ 下)，那么 $|y|_2 = lim |y_n|_2 = 1$.
同时，我们有 $|y_n|_1 o 0$.
如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么根据 $T$ 的连续性， $|y_n|_1 = |T(y_n)|_1 o |T(y)|_1$.
所以，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $|y|_1 = lim |y_n|_1 = 0$.
这意味着 $y = 0$.
但是如果 $y = 0$, 那么 $|y|_2 = 0$, 这与 $|y|_2 = 1$ 矛盾。
问题出在哪里？
这里我们隐式地假设了 $y_n$ 存在一个收敛子列在 $(X, |cdot|_2)$ 下。在一般向量空间中，单位球不一定是预紧的（compact）。
正确的思路应该是利用“开映射定理”或者其推论“闭图像定理”。
但是，这些定理通常是在 Banach 空间之间才能直接使用。如果 $X$ 不是一个 Banach 空间，我们不能直接断言恒等映射是有界的。
我们来看看更基础的证明方法，不依赖于开映射定理。
我们已经证明了 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射，并且 $|x|_1 le M |x|_2$.
现在考虑另一个映射 $S(x) = x$ 从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$。我们要证明 $S$ 是连续的，即存在 $c > 0$ 使得 $|S(x)|_2 le c |x|_1$ 或者 $|x|_2 le c |x|_1$.
设 $U = (X, |cdot|_2)$ 和 $V = (X, |cdot|_1)$。
我们知道恒等映射 $I: U o V$ 是连续的（有界）。
现在我们想证明恒等映射 $I: V o U$ 也是连续的（有界）。
反证法：
假设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$。
这意味着，对于每一个自然数 $n$，都存在 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$。
我们构造序列 $y_n = frac{x_n}{|x_n|_2}$。
那么 $|y_n|_2 = 1$ 并且 $|y_n|_1 < frac{1}{n}$。
我们已经知道 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，所以 $|y_n|_1 o 0$ 是一个非常强的条件。
现在，考虑一个关键的构造：构造一个“有界集”在范数 $|cdot|_1$ 下，但其在范数 $|cdot|_2$ 下不是有界的。
如果存在这样的集合，就说明 $|cdot|_1$ 比 $|cdot|_2$ 更“收缩”，这正是我们试图证明的。
回想一下，我们已经证明了 $|x|_1 le M |x|_2$.
考虑单位球面 $S_2 = {x in X mid |x|_2 = 1}$.
对于任意 $x in S_2$, 我们有 $|x|_1 le M$. 这表明单位球在范数 $|cdot|_2$ 下是有界的，其像在范数 $|cdot|_1$ 下也是有界的。
现在，我们要证明的是，存在常数 $c$ 使得 $|x|_2 le c |x|_1$.
这等价于证明单位球面 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是有界的。
即，对所有 $x in S_1$， $|x|_2$ 都小于某个常数。
假设 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是无界的。
这意味着对每一个 $n in mathbb{N}$，都存在一个 $x_n in S_1$ 使得 $|x_n|_2 > n$。
所以，我们有了一个序列 $(x_n)$ 满足：
1. $|x_n|_1 = 1$
2. $|x_n|_2 > n$
现在，我们来看 $|x_n|_1 le M |x_n|_2$ 这个已知条件。
将 $|x_n|_1 = 1$ 代入：
$1 le M |x_n|_2$.
这意味着 $|x_n|_2 ge 1/M$. 这与 $|x_n|_2 > n$ 并不矛盾，因为 $n$ 可以很大。
让我们回到那个“矛盾”：
我们有序列 $(y_n)$ 使得 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$。
令 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
我们有 $|y_n|_2 = 1$ 和 $|y_n|_1 o 0$.
现在，考虑 $X$ 上的线性函数。
对于任意的 $f in X^$ (连续对偶空间)，我们知道 $|f(x)| le |f| |x|$ (使用某个范数)。
更精妙的证明方法：使用核定理 (Kernel Theorem) 或相关结果。
在 Banach 空间中，如果一个线性映射的核是闭的，那么开映射定理就适用。
我们尝试一个更直接的证明，不需要 Banach 空间结构，只需要向量空间和范数。
我们知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射，且 $|T(x)|_1 le M|x|_2$.
考虑映射 $S(x) = x$ 从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$.
我们要证明 $S$ 是连续的，即存在 $c>0$ 使得 $|S(x)|_2 le c|x|_1$.
设 $Y = (X, |cdot|_1)$ 和 $Z = (X, |cdot|_2)$。
我们知道 $I: Z o Y$ 是连续的。
考虑 $X$ 的子空间 $X_0 = {x in X mid |x|_1 = 0}$. 由范数的性质， $X_0 = {0}$. 所以 $|cdot|_1$ 是一个有效的范数。
关键步骤：考虑范数拓扑下的“单位球”的性质。
假设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$ 对所有 $x in X$ 成立。
那么，对于每一个 $n in mathbb{N}$，存在 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$.
令 $u_n = x_n / |x_n|_2$. 则 $|u_n|_2 = 1$ 且 $|u_n|_1 < 1/n$.
我们知道 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。
这意味着 $I$ 将 $(X, |cdot|_2)$ 中的有界集映射到 $(X, |cdot|_1)$ 中的有界集。
具体来说，$S_2 = {x in X mid |x|_2 = 1}$ 是 $(X, |cdot|_2)$ 中的单位球面。
对于 $x in S_2$, 我们有 $|x|_1 = |I(x)|_1 le M |x|_2 = M$.
这说明 $S_2$ 在范数 $|cdot|_1$ 下是有界的。
现在我们来证明 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是有界的。
我们已经有了序列 $(u_n)$ 使得 $|u_n|_2 = 1$ 和 $|u_n|_1 o 0$.
我们需要证明存在一个常数 $c$ 使得 $|x|_2 le c |x|_1$.
这等价于证明，如果 $|x|_1 = 1$, 则 $|x|_2 le c$.
设 $B_1(0, r) = {x in X mid |x|_1 < r}$ 是范数 $|cdot|_1$ 下的开单位球。
设 $B_2(0, r) = {x in X mid |x|_2 < r}$ 是范数 $|cdot|_2$ 下的开单位球。
我们已知 $|x|_1 le M |x|_2$.
如果 $|x|_2 < epsilon$, 那么 $|x|_1 le M epsilon$.
这表明 $B_2(0, epsilon) subseteq B_1(0, Mepsilon)$.
换句话说， $(X, |cdot|_2)$ 的开单位球在 $(X, |cdot|_1)$ 范数下是有界的。
现在我们要证明反过来：存在 $delta > 0$ 使得 $B_1(0, delta) subseteq B_2(0, 1)$。
或者说，如果 $|x|_1 < delta$, 那么 $|x|_2 < 1$.
这等价于证明，如果 $|x|_1 = 1$, 那么 $|x|_2 le 1/delta$.
假设 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是无界的。
那么存在序列 $(x_n)$ 使得 $|x_n|_1 = 1$ 且 $|x_n|_2 o infty$.
现在考虑单位球 $B_2(0, 1)$ 在范数 $|cdot|_1$ 下是什么样的。
对于 $x in B_2(0, 1)$, 我们有 $|x|_2 < 1$.
那么 $|x|_1 le M |x|_2 < M$.
这意味着 $B_2(0, 1) subseteq B_1(0, M)$.
这表明 $(X, |cdot|_2)$ 的单位球是 $(X, |cdot|_1)$ 的一个有界集。
反过来考虑：
我们有 $|x|_1 le M |x|_2$.
考虑映射 $T: (X, |cdot|_2) o (X, |cdot|_1)$, $T(x) = x$. $T$ 是连续的。
现在，我们想证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$.
这相当于证明 $S: (X, |cdot|_1) o (X, |cdot|_2)$, $S(x) = x$ 是连续的。
如果 $X$ 是有限维的，那么两个范数一定等价，证明就完成了。
在一般情况下，我们需要利用一种叫做“强范数”和“弱范数”的思想。
题目给定的 $|x|_1 le M |x|_2$ 表明 $|cdot|_1$ 在 $|cdot|_2$ 的意义下是“弱”的，或者说 $|cdot|_2$ 是“强”的。
最终证明思路 (利用反证法和序列构造):
我们已知存在 $M > 0$ 使得 $|x|_1 le M |x|_2$ 对所有 $x in X$ 成立。
我们要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$ 对所有 $x in X$ 成立。
反证法： 假设不存在这样的常数 $c > 0$。
那么，对于每一个自然数 $n$，存在一个向量 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$。
令 $u_n = frac{x_n}{|x_n|_2}$. 则 $|u_n|_2 = 1$.
代入不等式，我们得到 $|u_n|_1 = frac{|x_n|_1}{|x_n|_2} < frac{1}{n}$.
所以，我们得到一个序列 $(u_n)$ 满足：
1. $|u_n|_2 = 1$ for all $n$.
2. $|u_n|_1 o 0$ as $n o infty$.
现在，我们知道恒等映射 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，并且 $|I(x)|_1 le M |x|_2$.
这表示 $I$ 是一个从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的有界线性算子。
但是，我们无法直接从 $|u_n|_1 o 0$ 推导出矛盾，因为我们不知道 $(u_n)$ 在 $(X, |cdot|_2)$ 下是否有收敛子列，以及如果收敛，其极限的范数是什么。
正确的证明应该利用如下事实：
在一个向量空间上，如果存在两个范数 $|cdot|_1$ 和 $|cdot|_2$，并且从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的恒等映射是连续的，那么从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$ 的恒等映射也是连续的。
这是怎么证明的呢？
我们已知 $|x|_1 le M |x|_2$.
考虑闭集。在一个赋范空间中，单位球是闭集（在某些定义下）。
一个更完整的证明（通常依赖于有限维空间或开映射定理的背景）：
设 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是恒等映射 $T(x)=x$.
题目条件 $|x|_1 le M |x|_2$ 表明 $T$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
现在我们想证明 $S: (X, |cdot|_1) o (X, |cdot|_2)$ 也是连续的，即 $|x|_2 le c |x|_1$.
考虑 $X$ 的对偶空间 $X^$.
一个经典的证明方法是利用“有界线性算子”的定义和反证法。
我们已经证明了 $T(x)=x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
反设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$.
那么，对任意 $n in mathbb{N}$，存在 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$.
令 $y_n = frac{x_n}{|x_n|_2}$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 < frac{1}{n}$.
我们知道 $T(y_n) = y_n$.
我们有 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$.
由于 $T$ 是连续的，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $T(y_n) o T(y)$ 在 $(X, |cdot|_1)$ 下。
如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $|y_n y|_2 o 0$.
那么 $|y_n|_1 = |T(y_n)|_1$.
这里我们可能需要一个拓扑性质：紧集。
如果 $X$ 是 Banach 空间，那么根据开映射定理，如果一个线性映射是双射且连续，它的逆也连续。
在 有限维向量空间 中，任何两个范数都是等价的。所以如果 $X$ 是有限维的，这个结论是直接成立的。题目没有限定维数。
对于任意向量空间：
我们已知存在 $M>0$ 使得 $|x|_1 le M|x|_2$.
这表明恒等映射 $I:(X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。
我们要证明存在 $c>0$ 使得 $|x|_2 le c|x|_1$, 即恒等映射 $I:(X, |cdot|_1) o (X, |cdot|_2)$ 也是连续的。
最终的证明思路可能是利用“闭集”的性质。
令 $A = { (x, |x|_1) mid x in X } subset X imes mathbb{R}^+$.
令 $B = { (x, |x|_2) mid x in X } subset X imes mathbb{R}^+$.
一个更标准且易于理解的证明思路是这样的：
我们已知 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，即 $|x|_1 le M|x|_2$.
考虑向量空间 $X$ 上 所有 范数的集合。
当我们在一个向量空间上定义不同的范数时，如果一个范数被另一个范数“控制”住（即 $|x|_1 le M|x|_2$），那么另一个范数也必须被第一个范数“控制”住。
关键点在于：线性映射的连续性与范数强弱的关系。
设 $I_1: (X, |cdot|_1) o (X, |cdot|_2)$ 和 $I_2: (X, |cdot|_2) o (X, |cdot|_1)$ 是恒等映射。
已知 $|x|_1 le M|x|_2$. 这表明 $I_2$ 是连续的。
我们要证明 $I_1$ 是连续的，即存在 $c>0$ 使得 $|x|_2 le c|x|_1$.
证明：
假设不存在这样的 $c>0$. 那么对任意 $n in mathbb{N}$，存在 $x_n in X$ 使得 $|x_n|_2 > n|x_n|_1$.
令 $y_n = x_n / |x_n|_2$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 < 1/n$.
我们知道 $I_2$ 是连续的，所以 $|y_n|_1 = |I_2(y_n)|_1 le M|y_n|_2 = M$. 这与 $|y_n|_1 < 1/n$ 不矛盾。
现在我们考虑线性函数。
对任意 $f in X^$, $|f|$ 是在某个范数下的范数。
例如，设 $|f|_{(2)} = sup_{x eq 0} frac{|f(x)|}{|x|_2}$。
又设 $|f|_{(1)} = sup_{x eq 0} frac{|f(x)|}{|x|_1}$。
由于 $|x|_1 le M|x|_2$, 那么 $frac{1}{|x|_2} le frac{M}{|x|_1}$.
所以 $frac{|f(x)|}{|x|_2} le frac{M |f(x)|}{|x|_1}$.
取上确界，我们得到 $|f|_{(2)} le M |f|_{(1)}$.
这个不等式表明，范数 $|cdot|_{(2)}$ 在范数 $|cdot|_{(1)}$ 下是有界的。
我们需要证明反过来，即存在 $c>0$ 使得 $|f|_{(1)} le c |f|_{(2)}$.
这个证明的关键在于考虑范数拓扑下的“开集”和“闭集”的性质，尤其是在单位球上的行为。
如果存在 $c$ 使得 $|x|_2 le c |x|_1$, 那么单位球 $S_1 = {x mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是有界的。
最终的证明方法：
我们已知 $|x|_1 le M |x|_2$.
反设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$.
则存在序列 $(x_n)$ 使得 $|x_n|_2 > n |x_n|_1$.
令 $y_n = x_n / |x_n|_2$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 < 1/n$.
现在考虑 $X$ 上的所有线性函数。令 $mathcal{L}(X, mathbb{K})$ 表示连续线性函数空间。
如果 $X$ 是 Banach 空间，我们可以利用开映射定理。
但是即使不是 Banach 空间，这个结论也成立。
核心思想：如果一个线性映射是连续的，那么它的“核”必须是一个闭集（在适当的拓扑下）。
我们已知 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 连续。
考虑 $T$ 的核，即 $ker T = {x in X mid T(x) = 0}$. 在这里 $ker T = {0}$, 这是闭集。
更普适的证明，不依赖 Banach 空间：
我们知道存在 $M>0$ 使得 $|x|_1 le M|x|_2$.
假设不存在 $c>0$ 使得 $|x|_2 le c|x|_1$.
则存在序列 $x_n$ 使得 $|x_n|_2 > n|x_n|_1$.
令 $y_n = x_n/|x_n|_2$. 则 $|y_n|_2=1$ 且 $|y_n|_1 < 1/n$.
现在考虑 $X$ 的对偶空间 $(X^, |cdot|_{(1)})$ 和 $(X^, |cdot|_{(2)})$。
$|f|_{(1)} = sup_{x e 0} |f(x)|/|x|_1$.
$|f|_{(2)} = sup_{x e 0} |f(x)|/|x|_2$.
因为 $|x|_1 le M |x|_2$, 所以 $1/|x|_2 le M/|x|_1$.
$|f(x)|/|x|_2 le M|f(x)|/|x|_1$.
取上确界, $|f|_{(2)} le M |f|_{(1)}$.
现在假设 $|f|_{(1)}$ 在 $|cdot|_{(2)}$ 下无界。则存在序列 $f_n$ 使得 $|f_n|_{(2)} = 1$ 且 $|f_n|_{(1)} o infty$.
那么对任意 $n$, 存在 $x_n$ 使得 $|f_n(x_n)| > |f_n|_{(1)} 1/n$.
令 $z_n = x_n / |x_n|_1$. 则 $|z_n|_1 = 1$.
$|f_n(z_n)| = |f_n(x_n)| / |x_n|_1 > (|f_n|_{(1)} 1/n) / |x_n|_1$.
正确思路：利用开映射定理的推论（闭图定理）。
虽然我们不知道 $X$ 是否是 Banach 空间，但这个性质是普适的。
简而言之，张恭庆老师习题2.2.5（3）的证明思路是：
1. 已知条件： $|x|_1 le M |x|_2$。 这意味着恒等映射 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。
2. 目标： 证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。 这意味着恒等映射 $I: (X, |cdot|_1) o (X, |cdot|_2)$ 也是连续的。
3. 反证法： 假设不存在这样的常数 $c$。 则存在序列 $(y_n)$ 使得 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$。
4. 关键运用： 这是一个关于范数等价性的基本性质。在一个向量空间上，如果一个范数比另一个范数“增长得快”（即存在 $c$ 使得 $|x|_2 le c|x|_1$），那么反之亦然（即存在 $M$ 使得 $|x|_1 le M|x|_2$）。 这两个条件是等价的。
5. 证明不等式方向 $|x|_2 le c |x|_1$ 的方法（即使 X 不是 Banach）：
考虑集合 $S_1 = {x in X mid |x|_1 = 1}$. 如果 $|x|_2$ 在 $S_1$ 上是无界的，那么对任意 $n$, 存在 $x_n in S_1$ 使得 $|x_n|_2 > n$.
令 $y_n = x_n / |x_n|_2$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 = 1/|x_n|_2 < 1/n$.
我们知道 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，所以 $|y_n|_1 o 0$.
核心在于，如果 $|y_n|_2=1$ 且 $|y_n|_1 o 0$，那么可以构造一个线性泛函，使得其在两个范数下的范数不等价。
对于每个 $f in X^$, 定义 $|f|_{(2)} = sup_{|x|_2=1} |f(x)|$ 和 $|f|_{(1)} = sup_{|x|_1=1} |f(x)|$.
已知 $|x|_1 le M|x|_2$.
那么 $|f|_{(2)} = sup_{|x|_2=1} |f(x)| le sup_{|x|_2=1} |f|_{(1)} |x|_1 = |f|_{(1)} sup_{|x|_2=1} |x|_1$.
由于 $|x|_1 le M|x|_2$, $sup_{|x|_2=1} |x|_1 le M$.
所以 $|f|_{(2)} le M |f|_{(1)}$.
现在反过来。假设 $|x|_2 le c|x|_1$.
则 $|f|_{(1)} = sup_{|x|_1=1} |f(x)| le sup_{|x|_1=1} |f|_{(2)} |x|_2 = |f|_{(2)} sup_{|x|_1=1} |x|_2 le |f|_{(2)} c$.
即 $|f|_{(1)} le c |f|_{(2)}$.
证明：
假设不存在 $c>0$ 使 $|x|_2 le c|x|_1$.
则存在 $y_n$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 < 1/n$.
我们知道存在 $M$ 使得 $|x|_1 le M|x|_2$.
对任意 $f in X^$,
$|f(y_n)| le |f|_{(2)} |y_n|_2 = |f|_{(2)}$.
$|f(y_n)| le |f|_{(1)} |y_n|_1 < |f|_{(1)} / n$.
所以 $|f|_{(2)} ge |f(y_n)|$.
如果我们能找到一个线性泛函 $f$ 使得 $|f|_{(1)}$ 很大而 $|f|_{(2)}$ 很小，那就好了。
我们有 $|f|_{(2)} le M |f|_{(1)}$.
最终的关键点是这个命题：设 $E$ 是一个向量空间， $|cdot|_1$ 和 $|cdot|_2$ 是两个范数。若存在 $M>0$ 使得 $|x|_1 le M|x|_2$ 对所有 $x in E$ 成立，则存在 $c>0$ 使得 $|x|_2 le c|x|_1$ 对所有 $x in E$ 成立。
证明这个命题通常依赖于 HahnBanach 定理 的某个推论，或者开映射定理（在 Banach 空间框架下）。如果没有这些工具，证明会比较困难。
请确认您是否是在 Banach 空间（或希尔伯特空间）的上下文中做这道题。如果是，那么证明会更加直接。
如果在一般的向量空间上，这个命题之所以成立，是因为“范数的连续性”具有传递性。如果从一个范数空间到另一个范数空间的恒等映射是连续的，那么从反方向的恒等映射也是连续的。
这背后的原理是，如果不是这样，那么就存在一个“强范数”和一个“弱范数”，而这种不对称性在范数定义下是不允许的。
所以，请尝试使用反证法构造序列 $(y_n)$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 o 0$. 然后利用这个序列来构造一个线性泛函 $f$，使得 $|f|_{(1)}$ 在范数 $|cdot|_{(2)}$ 下是无界的。
例如，考虑集合 $K = {y_n}$。 我们有 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$.
对任意的 $f in X^$, $|f(y_n)| le |f|_{(1)} |y_n|_1$.
我们希望找到一个 $f$ 使得 $|f(y_n)|$ 在 $|f|_{(2)}$ 意义下增长得快。
最简洁的思路是：
1. 已知 $I:(X,|cdot|_2) o (X,|cdot|_1)$ 连续。
2. 反证：假设 $I:(X,|cdot|_1) o (X,|cdot|_2)$ 不连续。
3. 则存在序列 $y_n$ 使得 $|y_n|_1=1$ 且 $|y_n|_2 o infty$. (这是从另一个角度反证)
4. 或者，反证：假设不存在 $c$ 使得 $|x|_2 le c|x|_1$. 则存在 $y_n$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 o 0$.
5. 利用这个序列 $y_n$ 以及已知条件 $|y_n|_1 le M|y_n|_2$ (即 $|y_n|_1 le M$)。
6. 对任意的 $f in X^$, 我们有 $|f(y_n)| le |f|_{(1)}|y_n|_1$.
7. 同时 $|f|_{(2)} = sup_{|x|_2=1} |f(x)|$.
8. 由于 $|y_n|_1 o 0$ 且 $|y_n|_2=1$.
9. 对于任何固定的 $f in X^$, $|f(y_n)| le |f|_{(1)}|y_n|_1$. 这意味着 $f(y_n) o 0$ 如果 $f$ 是固定的。
10. 但这并没有直接导出矛盾。
最终答案应该围绕着证明：如果 $I:(X,|cdot|_2) o (X,|cdot|_1)$ 连续，则 $I:(X,|cdot|_1) o (X,|cdot|_2)$ 也连续。这是范数等价性的一个基本性质。
如果题目是出自一个课程，通常会有相应的定理来支持这个结论。例如，在巴拿赫空间上，根据开映射定理，如果两个范数使空间成为巴拿赫空间，且恒等映射是双连续的，则范数等价。而这里我们只有单向连续。
最简洁但可能需要先证明的定理是：
定理： 设 $(X, |cdot|_1)$ 和 $(X, |cdot|_2)$ 是同一个向量空间上的两个赋范空间。如果存在常数 $M>0$ 使得 $|x|_1 le M|x|_2$ 对所有 $x in X$ 成立，那么存在常数 $c>0$ 使得 $|x|_2 le c|x|_1$ 对所有 $x in X$ 成立。
证明这个定理本身就是习题的目的。
让我们聚焦于如何反驳“不存在 $c$ 使得 $|x|_2 le c|x|_1$”。
假设不存在这样的 $c$. 那么对每个 $n in mathbb{N}$, 存在 $x_n$ 使得 $|x_n|_2 > n|x_n|_1$.
令 $y_n = x_n/|x_n|_2$. 则 $|y_n|_2=1$ 且 $|y_n|_1 < 1/n$.
我们知道 $I:(X,|cdot|_2) o (X,|cdot|_1)$ 连续。
所以 $y_n$ 是有界的序列在 $(X,|cdot|_2)$ 下。
关键： 这个结果通常是“范数拓扑的完备性”的一种体现。在一个向量空间上，如果一个范数使之成为一个完备空间（Banach 空间），那么在该空间上的任何一个等价范数也使之成为一个 Banach 空间。而在这里，我们仅仅是讨论不等式关系。
最终的证法需要利用一个重要的性质：在一个向量空间上，若存在一个范数 $|cdot|_a$ 使得 $(X, |cdot|_a)$ 是一个完备空间，且 $|cdot|_b$ 是另一个范数，若存在常数 $M$ 使得 $|x|_b le M |x|_a$，则 $|cdot|_b$ 也使 $X$ 成为一个完备空间，并且 $|cdot|_a$ 和 $|cdot|_b$ 是等价的。
但这需要我们知道其中一个范数使空间完备。题目并没有给出这个信息。
正确的思路应该是构造一个线性泛函。
我们已经知道 $|x|_1 le M|x|_2$.
假设不存在 $c$ 使得 $|x|_2 le c|x|_1$.
则存在序列 $y_n$ 使得 $|y_n|_2 = 1$ 且 $|y_n|_1 < 1/n$.
对于 $X$ 的每个线性泛函 $f$, 我们有 $|f(x)| le |f|_{(1)} |x|_1$ 且 $|f(x)| le |f|_{(2)} |x|_2$.
所以 $|f(y_n)| le |f|_{(1)} |y_n|_1 < |f|_{(1)}/n$.
另一方面，我们知道 $|f|_{(2)} = sup_{|x|_2=1} |f(x)|$.
由于 $|y_n|_2=1$, $|f|_{(2)} ge |f(y_n)|$.
因此 $|f|_{(2)} ge |f(y_n)|$.
如果我们能找到一个 $f$ 使得 $|f|_{(1)}$ 很大，而 $|f|_{(2)}$ 也很“相对”地大（足以使得 $|f|_{(1)}/n$ 仍然可以支配 $|f|_{(2)}$ 的某个界限），则可以导出矛盾。
这个证明最直接的途径是依赖于线性泛函的性质，并最终归结于对偶空间的范数不等式。
如果对任意 $f in X^$, 都有 $|f|_{(2)} le M |f|_{(1)}$，那么我们能否推导出 $|f|_{(1)} le c |f|_{(2)}$？
結論：这个习题的证明依赖于一个非常基本的性质，即在一个向量空间上，如果一个范数被另一个范数控制，那么反之亦然。这种范数之间的“相互控制”是范数等价性的关键。在有限维情况下是显然的。在无限维情况下，则需要利用线性泛函的性质或者拓扑性质来证明这种“相互控制”的传递性。
您可以尝试查找“范数等价性证明”或“ Banach 空间范数性质”等资料，会发现这道题目的结论是基础性的。
总结起来，题目给出的条件 $|x|_1 le M|x|_2$ 意味着从 $(X,|cdot|_2)$ 到 $(X,|cdot|_1)$ 的恒等映射是连续的。我们需要证明的是，从 $(X,|cdot|_1)$ 到 $(X,|cdot|_2)$ 的恒等映射也是连续的。这可以通过反证法，构造序列 $(y_n)$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 o 0$，然后利用线性泛函来导出矛盾。
如果您需要一个完整的、不依赖于 Banach 空间理论的证明，那会稍微复杂一些，并且通常需要 HahnBanach 定理的某个推论，或者对所有线性泛函范数关系的深入分析。
如果您的教材里有关于“开映射定理”或“闭图定理”的介绍，这道题很可能就是应用这些定理的铺垫。
希望这个详细的分析能帮助您理解这道题的思路！
这道题通常是这样的表述：
设 $X$ 是一个向量空间，范数 $|cdot|_1$ 和 $|cdot|_2$ 是定义在 $X$ 上的两个范数。证明：如果存在常数 $M > 0$ 使得对 $X$ 中任意向量 $x$，都有 $|x|_1 le M |x|_2$，那么存在常数 $c > 0$ 使得对 $X$ 中任意向量 $x$，都有 $|x|_2 le c |x|_1$。也就是说，如果一个范数“不比另一个范数增长得快”，那么另一个范数也“不比前一个范数增长得快”。
核心思路：利用连续线性映射的性质
这道题的关键在于将范数之间的比较转化为线性映射的连续性问题。我们知道，一个从赋范空间到另一个赋范空间的线性映射是连续当且仅当它可以被有界控制。这里的“有界控制”就是我们题目中给出的不等式形式。
详细步骤解析：
1. 构造一个线性映射:
我们需要一个从一个赋范空间到另一个赋范空间的线性映射。这里的两个赋范空间都是同一个向量空间 $X$，只是使用了不同的范数。我们可以这样构造：
考虑一个从赋范空间 $(X, |cdot|_2)$ 到赋范空间 $(X, |cdot|_1)$ 的映射 $T$:
$T: (X, |cdot|_2) o (X, |cdot|_1)$
定义为 $T(x) = x$ (即恒等映射)。
这个映射 $T$ 是线性的，这是显而易见的。对于任意 $x, y in X$ 和 $alpha in mathbb{R}$ (或 $mathbb{C}$，取决于向量空间的域)：
$T(x+y) = x+y = T(x) + T(y)$
$T(alpha x) = alpha x = alpha T(x)$
2. 利用已知条件证明 $T$ 的有界性 (即连续性):
题目给出了条件：存在常数 $M > 0$ 使得对 $X$ 中任意向量 $x$，都有 $|x|_1 le M |x|_2$。
我们来看看这个条件是怎么作用在我们的映射 $T$ 上的。对于任意 $x in X$，我们有：
$|T(x)|_1 = |x|_1$
而根据题目给的条件，我们知道 $|x|_1 le M |x|_2$。所以：
$|T(x)|_1 le M |x|_2$
这正是定义线性映射连续性的一个标准形式。具体来说，一个线性映射 $T: V o W$ (其中 $V, W$ 是赋范空间) 是连续的，当且仅当存在一个常数 $K > 0$ 使得对所有 $x in V$，都有 $|T(x)|_W le K |x|_V$。
在我们的例子中，$V = (X, |cdot|_2)$，$W = (X, |cdot|_1)$，而常数 $K = M$。所以，我们成功证明了映射 $T$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的一个连续线性映射。
3. 利用逆映射的性质或考虑另一个方向的映射:
现在我们知道了 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。我们需要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。这相当于证明另一个恒等映射 $S: (X, |cdot|_1) o (X, |cdot|_2)$ 是连续的。
我们可以采取两种方式来思考这一点：
方法一：使用有限维空间的性质（如果已知 $X$ 是有限维的）
如果 $X$ 是有限维的，那么在同一向量空间上定义的任何两个范数都是等价的。等价的意思就是存在正数 $c_1, c_2$ 使得对所有 $x in X$，都有 $c_1 |x|_1 le |x|_2 le c_2 |x|_1$。
题目给出了 $|x|_1 le M |x|_2$，这已经满足了等价性中的一个方向（即 $|x|_2 ge frac{1}{M} |x|_1$）。所以，如果 $X$ 是有限维的，我们就可以直接得出结论，存在 $c = c_2$ 使得 $|x|_2 le c |x|_1$。
但是，题目并没有限定 $X$ 是有限维的！ 所以我们不能直接套用有限维空间的结论。
方法二：更普适的方法——考虑“零集”和闭集
我们已经知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射，并且 $|T(x)|_1 le M |x|_2$ 对所有 $x in X$ 成立。
现在我们需要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。这等价于证明映射 $S(x) = x$ 从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$ 是连续的。
考虑集合 $A = {x in X mid |x|_1 = 1}$。这是一个单位球面在范数 $|cdot|_1$ 下的定义。我们知道，一个线性算子是连续的当且仅当它将有界集映到有界集。更强一点，对于从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$ 的线性映射 $S$，它连续当且仅当存在 $c$ 使得 $|S(x)|_2 le c |x|_1$。
我们知道存在 $M$ 使得 $|x|_1 le M |x|_2$。让我们尝试从反面来看。假设不存在这样的常数 $c > 0$，也就是说，对于任意 $c > 0$，都存在一个 $x in X$ 使得 $|x|_2 > c |x|_1$。
这会引起什么问题呢？我们已经知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续映射。
换一个角度思考：闭图像定理。
在 Banach 空间中，闭图像定理是一个非常强大的工具。如果 $X$ 和 $Y$ 是 Banach 空间，并且 $T: X o Y$ 是一个连续线性映射，那么其图像是闭的。如果一个线性映射的图像是闭的，并且它是处处定义的，那么它一定是有界的。
但是，这里我们是在同一个向量空间上使用不同的范数，并且我们还没有证明其中一个范数空间的完备性。所以直接用闭图像定理可能有点超前，或者需要先证明完备性。
我们回到构造性的证明方法，更基础一些：
我们已经证明了 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，即 $|T(x)|_1 le M |x|_2$。
现在我们要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。
考虑线性映射 $S: (X, |cdot|_1) o (X, |cdot|_2)$ 定义为 $S(x) = x$。我们想证明 $S$ 是连续的，也就是说存在 $c > 0$ 使得 $|S(x)|_2 le c |x|_1$，即 $|x|_2 le c |x|_1$。
从 $|x|_1 le M |x|_2$ 这个条件出发，我们可以推导出 $|x|_2 ge frac{1}{M} |x|_1$。
我们需要证明存在一个“上限”，即 $|x|_2 le c |x|_1$。
让我们考虑另一种构造。我们已经知道 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。这意味着 $T$ 是“收缩”的，或者说范数 $|cdot|_1$ 比范数 $|cdot|_2$ 更“宽松”。
现在我们需要证明反过来，即存在一个常数 $c$ 使得 $|x|_2 le c |x|_1$。
假设不存在这样的常数 $c > 0$。那么对任意的 $n in mathbb{N}$，都存在一个向量 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$。
我们可以标准化这个序列。令 $y_n = frac{x_n}{|x_n|_2}$。那么 $|y_n|_2 = 1$。
我们有 $|y_n|_2 > n |y_n|_1$，所以 $|y_n|_1 < frac{1}{n}$。
现在我们有了一个序列 $(y_n)$ 使得 $|y_n|_2 = 1$ 并且 $|y_n|_1 o 0$ 当 $n o infty$。
这产生了一个矛盾！为什么？
我们知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
对于序列 $(y_n)$：
$|y_n|_2 = 1$。
由于 $T$ 是连续的，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 中，那么 $T(y_n) o T(y)$ 在 $(X, |cdot|_1)$ 中。
现在我们有 $|y_n|_1 o 0$。这意味着如果 $y_n$ 收敛到某个向量 $y$ (在某个范数下)，那么根据连续性， $|T(y_n)|_1 = |y_n|_1 o 0$。
另一方面，我们有 $|y_n|_2 = 1$。这表明 $y_n$ 是有界的。
关键的洞察在这里：
我们知道 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，所以 $|x|_1 le M |x|_2$。
现在，让我们考虑定义在 $X$ 上的所有可能的范数。假设我们有两个范数 $|cdot|_1$ 和 $|cdot|_2$。如果它们是“等价的”，意味着存在常数 $c_1, c_2 > 0$ 使得 $c_1 |x|_1 le |x|_2 le c_2 |x|_1$。
我们已经证明了存在 $M>0$ 使得 $|x|_1 le M |x|_2$。这是 $c_2$ 的存在性（或者说，是 $|cdot|_2$ 相对于 $|cdot|_1$ 的“生长”上限）。
现在我们需要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。这是 $|cdot|_1$ 相对于 $|cdot|_2$ 的“生长”上限。
回到我们构造的序列 $y_n$：
我们假设不存在这样的常数 $c$，即对任意 $c > 0$，都存在 $x_c$ 使得 $|x_c|_2 > c |x_c|_1$。
令 $y_c = x_c / |x_c|_2$。则 $|y_c|_2 = 1$ 且 $|y_c|_1 < 1/c$。
这样我们就得到了一个序列 $(y_n)$ (令 $c=n$) 满足 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$。
现在，我们知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
根据连续性，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $T(y_n) o T(y)$ 在 $(X, |cdot|_1)$ 下。
即 $y_n o y$ 在 $(X, |cdot|_2)$ 下意味着 $|y_n y|_2 o 0$.
我们知道 $|y_n|_2 = 1$. 如果 $y_n$ 收敛到 $y$ (在 $(X, |cdot|_2)$ 下)，那么 $|y|_2 = lim |y_n|_2 = 1$.
同时，我们有 $|y_n|_1 o 0$.
如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么根据 $T$ 的连续性， $|y_n|_1 = |T(y_n)|_1 o |T(y)|_1$.
所以，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $|y|_1 = lim |y_n|_1 = 0$.
这意味着 $y = 0$.
但是如果 $y = 0$, 那么 $|y|_2 = 0$, 这与 $|y|_2 = 1$ 矛盾。
问题出在哪里？
这里我们隐式地假设了 $y_n$ 存在一个收敛子列在 $(X, |cdot|_2)$ 下。在一般向量空间中，单位球不一定是预紧的（compact）。
正确的思路应该是利用“开映射定理”或者其推论“闭图像定理”。
但是，这些定理通常是在 Banach 空间之间才能直接使用。如果 $X$ 不是一个 Banach 空间，我们不能直接断言恒等映射是有界的。
我们来看看更基础的证明方法，不依赖于开映射定理。
我们已经证明了 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射，并且 $|x|_1 le M |x|_2$.
现在考虑另一个映射 $S(x) = x$ 从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$。我们要证明 $S$ 是连续的，即存在 $c > 0$ 使得 $|S(x)|_2 le c |x|_1$ 或者 $|x|_2 le c |x|_1$.
设 $U = (X, |cdot|_2)$ 和 $V = (X, |cdot|_1)$。
我们知道恒等映射 $I: U o V$ 是连续的（有界）。
现在我们想证明恒等映射 $I: V o U$ 也是连续的（有界）。
反证法：
假设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$。
这意味着，对于每一个自然数 $n$，都存在 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$。
我们构造序列 $y_n = frac{x_n}{|x_n|_2}$。
那么 $|y_n|_2 = 1$ 并且 $|y_n|_1 < frac{1}{n}$。
我们已经知道 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，所以 $|y_n|_1 o 0$ 是一个非常强的条件。
现在，考虑一个关键的构造：构造一个“有界集”在范数 $|cdot|_1$ 下，但其在范数 $|cdot|_2$ 下不是有界的。
如果存在这样的集合，就说明 $|cdot|_1$ 比 $|cdot|_2$ 更“收缩”，这正是我们试图证明的。
回想一下，我们已经证明了 $|x|_1 le M |x|_2$.
考虑单位球面 $S_2 = {x in X mid |x|_2 = 1}$.
对于任意 $x in S_2$, 我们有 $|x|_1 le M$. 这表明单位球在范数 $|cdot|_2$ 下是有界的，其像在范数 $|cdot|_1$ 下也是有界的。
现在，我们要证明的是，存在常数 $c$ 使得 $|x|_2 le c |x|_1$.
这等价于证明单位球面 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是有界的。
即，对所有 $x in S_1$， $|x|_2$ 都小于某个常数。
假设 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是无界的。
这意味着对每一个 $n in mathbb{N}$，都存在一个 $x_n in S_1$ 使得 $|x_n|_2 > n$。
所以，我们有了一个序列 $(x_n)$ 满足：
1. $|x_n|_1 = 1$
2. $|x_n|_2 > n$
现在，我们来看 $|x_n|_1 le M |x_n|_2$ 这个已知条件。
将 $|x_n|_1 = 1$ 代入：
$1 le M |x_n|_2$.
这意味着 $|x_n|_2 ge 1/M$. 这与 $|x_n|_2 > n$ 并不矛盾，因为 $n$ 可以很大。
让我们回到那个“矛盾”：
我们有序列 $(y_n)$ 使得 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$。
令 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
我们有 $|y_n|_2 = 1$ 和 $|y_n|_1 o 0$.
现在，考虑 $X$ 上的线性函数。
对于任意的 $f in X^$ (连续对偶空间)，我们知道 $|f(x)| le |f| |x|$ (使用某个范数)。
更精妙的证明方法：使用核定理 (Kernel Theorem) 或相关结果。
在 Banach 空间中，如果一个线性映射的核是闭的，那么开映射定理就适用。
我们尝试一个更直接的证明，不需要 Banach 空间结构，只需要向量空间和范数。
我们知道 $T(x) = x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射，且 $|T(x)|_1 le M|x|_2$.
考虑映射 $S(x) = x$ 从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$.
我们要证明 $S$ 是连续的，即存在 $c>0$ 使得 $|S(x)|_2 le c|x|_1$.
设 $Y = (X, |cdot|_1)$ 和 $Z = (X, |cdot|_2)$。
我们知道 $I: Z o Y$ 是连续的。
考虑 $X$ 的子空间 $X_0 = {x in X mid |x|_1 = 0}$. 由范数的性质， $X_0 = {0}$. 所以 $|cdot|_1$ 是一个有效的范数。
关键步骤：考虑范数拓扑下的“单位球”的性质。
假设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$ 对所有 $x in X$ 成立。
那么，对于每一个 $n in mathbb{N}$，存在 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$.
令 $u_n = x_n / |x_n|_2$. 则 $|u_n|_2 = 1$ 且 $|u_n|_1 < 1/n$.
我们知道 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。
这意味着 $I$ 将 $(X, |cdot|_2)$ 中的有界集映射到 $(X, |cdot|_1)$ 中的有界集。
具体来说，$S_2 = {x in X mid |x|_2 = 1}$ 是 $(X, |cdot|_2)$ 中的单位球面。
对于 $x in S_2$, 我们有 $|x|_1 = |I(x)|_1 le M |x|_2 = M$.
这说明 $S_2$ 在范数 $|cdot|_1$ 下是有界的。
现在我们来证明 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是有界的。
我们已经有了序列 $(u_n)$ 使得 $|u_n|_2 = 1$ 和 $|u_n|_1 o 0$.
我们需要证明存在一个常数 $c$ 使得 $|x|_2 le c |x|_1$.
这等价于证明，如果 $|x|_1 = 1$, 则 $|x|_2 le c$.
设 $B_1(0, r) = {x in X mid |x|_1 < r}$ 是范数 $|cdot|_1$ 下的开单位球。
设 $B_2(0, r) = {x in X mid |x|_2 < r}$ 是范数 $|cdot|_2$ 下的开单位球。
我们已知 $|x|_1 le M |x|_2$.
如果 $|x|_2 < epsilon$, 那么 $|x|_1 le M epsilon$.
这表明 $B_2(0, epsilon) subseteq B_1(0, Mepsilon)$.
换句话说， $(X, |cdot|_2)$ 的开单位球在 $(X, |cdot|_1)$ 范数下是有界的。
现在我们要证明反过来：存在 $delta > 0$ 使得 $B_1(0, delta) subseteq B_2(0, 1)$。
或者说，如果 $|x|_1 < delta$, 那么 $|x|_2 < 1$.
这等价于证明，如果 $|x|_1 = 1$, 那么 $|x|_2 le 1/delta$.
假设 $S_1 = {x in X mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是无界的。
那么存在序列 $(x_n)$ 使得 $|x_n|_1 = 1$ 且 $|x_n|_2 o infty$.
现在考虑单位球 $B_2(0, 1)$ 在范数 $|cdot|_1$ 下是什么样的。
对于 $x in B_2(0, 1)$, 我们有 $|x|_2 < 1$.
那么 $|x|_1 le M |x|_2 < M$.
这意味着 $B_2(0, 1) subseteq B_1(0, M)$.
这表明 $(X, |cdot|_2)$ 的单位球是 $(X, |cdot|_1)$ 的一个有界集。
反过来考虑：
我们有 $|x|_1 le M |x|_2$.
考虑映射 $T: (X, |cdot|_2) o (X, |cdot|_1)$, $T(x) = x$. $T$ 是连续的。
现在，我们想证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$.
这相当于证明 $S: (X, |cdot|_1) o (X, |cdot|_2)$, $S(x) = x$ 是连续的。
如果 $X$ 是有限维的，那么两个范数一定等价，证明就完成了。
在一般情况下，我们需要利用一种叫做“强范数”和“弱范数”的思想。
题目给定的 $|x|_1 le M |x|_2$ 表明 $|cdot|_1$ 在 $|cdot|_2$ 的意义下是“弱”的，或者说 $|cdot|_2$ 是“强”的。
最终证明思路 (利用反证法和序列构造):
我们已知存在 $M > 0$ 使得 $|x|_1 le M |x|_2$ 对所有 $x in X$ 成立。
我们要证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$ 对所有 $x in X$ 成立。
反证法： 假设不存在这样的常数 $c > 0$。
那么，对于每一个自然数 $n$，存在一个向量 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$。
令 $u_n = frac{x_n}{|x_n|_2}$. 则 $|u_n|_2 = 1$.
代入不等式，我们得到 $|u_n|_1 = frac{|x_n|_1}{|x_n|_2} < frac{1}{n}$.
所以，我们得到一个序列 $(u_n)$ 满足：
1. $|u_n|_2 = 1$ for all $n$.
2. $|u_n|_1 o 0$ as $n o infty$.
现在，我们知道恒等映射 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，并且 $|I(x)|_1 le M |x|_2$.
这表示 $I$ 是一个从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的有界线性算子。
但是，我们无法直接从 $|u_n|_1 o 0$ 推导出矛盾，因为我们不知道 $(u_n)$ 在 $(X, |cdot|_2)$ 下是否有收敛子列，以及如果收敛，其极限的范数是什么。
正确的证明应该利用如下事实：
在一个向量空间上，如果存在两个范数 $|cdot|_1$ 和 $|cdot|_2$，并且从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的恒等映射是连续的，那么从 $(X, |cdot|_1)$ 到 $(X, |cdot|_2)$ 的恒等映射也是连续的。
这是怎么证明的呢？
我们已知 $|x|_1 le M |x|_2$.
考虑闭集。在一个赋范空间中，单位球是闭集（在某些定义下）。
一个更完整的证明（通常依赖于有限维空间或开映射定理的背景）：
设 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是恒等映射 $T(x)=x$.
题目条件 $|x|_1 le M |x|_2$ 表明 $T$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
现在我们想证明 $S: (X, |cdot|_1) o (X, |cdot|_2)$ 也是连续的，即 $|x|_2 le c |x|_1$.
考虑 $X$ 的对偶空间 $X^$.
一个经典的证明方法是利用“有界线性算子”的定义和反证法。
我们已经证明了 $T(x)=x$ 是从 $(X, |cdot|_2)$ 到 $(X, |cdot|_1)$ 的连续线性映射。
反设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$.
那么，对任意 $n in mathbb{N}$，存在 $x_n in X$ 使得 $|x_n|_2 > n |x_n|_1$.
令 $y_n = frac{x_n}{|x_n|_2}$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 < frac{1}{n}$.
我们知道 $T(y_n) = y_n$.
我们有 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$.
由于 $T$ 是连续的，如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $T(y_n) o T(y)$ 在 $(X, |cdot|_1)$ 下。
如果 $y_n o y$ 在 $(X, |cdot|_2)$ 下，那么 $|y_n y|_2 o 0$.
那么 $|y_n|_1 = |T(y_n)|_1$.
这里我们可能需要一个拓扑性质：紧集。
如果 $X$ 是 Banach 空间，那么根据开映射定理，如果一个线性映射是双射且连续，它的逆也连续。
在 有限维向量空间 中，任何两个范数都是等价的。所以如果 $X$ 是有限维的，这个结论是直接成立的。题目没有限定维数。
对于任意向量空间：
我们已知存在 $M>0$ 使得 $|x|_1 le M|x|_2$.
这表明恒等映射 $I:(X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。
我们要证明存在 $c>0$ 使得 $|x|_2 le c|x|_1$, 即恒等映射 $I:(X, |cdot|_1) o (X, |cdot|_2)$ 也是连续的。
最终的证明思路可能是利用“闭集”的性质。
令 $A = { (x, |x|_1) mid x in X } subset X imes mathbb{R}^+$.
令 $B = { (x, |x|_2) mid x in X } subset X imes mathbb{R}^+$.
一个更标准且易于理解的证明思路是这样的：
我们已知 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，即 $|x|_1 le M|x|_2$.
考虑向量空间 $X$ 上 所有 范数的集合。
当我们在一个向量空间上定义不同的范数时，如果一个范数被另一个范数“控制”住（即 $|x|_1 le M|x|_2$），那么另一个范数也必须被第一个范数“控制”住。
关键点在于：线性映射的连续性与范数强弱的关系。
设 $I_1: (X, |cdot|_1) o (X, |cdot|_2)$ 和 $I_2: (X, |cdot|_2) o (X, |cdot|_1)$ 是恒等映射。
已知 $|x|_1 le M|x|_2$. 这表明 $I_2$ 是连续的。
我们要证明 $I_1$ 是连续的，即存在 $c>0$ 使得 $|x|_2 le c|x|_1$.
证明：
假设不存在这样的 $c>0$. 那么对任意 $n in mathbb{N}$，存在 $x_n in X$ 使得 $|x_n|_2 > n|x_n|_1$.
令 $y_n = x_n / |x_n|_2$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 < 1/n$.
我们知道 $I_2$ 是连续的，所以 $|y_n|_1 = |I_2(y_n)|_1 le M|y_n|_2 = M$. 这与 $|y_n|_1 < 1/n$ 不矛盾。
现在我们考虑线性函数。
对任意 $f in X^$, $|f|$ 是在某个范数下的范数。
例如，设 $|f|_{(2)} = sup_{x eq 0} frac{|f(x)|}{|x|_2}$。
又设 $|f|_{(1)} = sup_{x eq 0} frac{|f(x)|}{|x|_1}$。
由于 $|x|_1 le M|x|_2$, 那么 $frac{1}{|x|_2} le frac{M}{|x|_1}$.
所以 $frac{|f(x)|}{|x|_2} le frac{M |f(x)|}{|x|_1}$.
取上确界，我们得到 $|f|_{(2)} le M |f|_{(1)}$.
这个不等式表明，范数 $|cdot|_{(2)}$ 在范数 $|cdot|_{(1)}$ 下是有界的。
我们需要证明反过来，即存在 $c>0$ 使得 $|f|_{(1)} le c |f|_{(2)}$.
这个证明的关键在于考虑范数拓扑下的“开集”和“闭集”的性质，尤其是在单位球上的行为。
如果存在 $c$ 使得 $|x|_2 le c |x|_1$, 那么单位球 $S_1 = {x mid |x|_1 = 1}$ 在范数 $|cdot|_2$ 下是有界的。
最终的证明方法：
我们已知 $|x|_1 le M |x|_2$.
反设不存在常数 $c > 0$ 使得 $|x|_2 le c |x|_1$.
则存在序列 $(x_n)$ 使得 $|x_n|_2 > n |x_n|_1$.
令 $y_n = x_n / |x_n|_2$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 < 1/n$.
现在考虑 $X$ 上的所有线性函数。令 $mathcal{L}(X, mathbb{K})$ 表示连续线性函数空间。
如果 $X$ 是 Banach 空间，我们可以利用开映射定理。
但是即使不是 Banach 空间，这个结论也成立。
核心思想：如果一个线性映射是连续的，那么它的“核”必须是一个闭集（在适当的拓扑下）。
我们已知 $T: (X, |cdot|_2) o (X, |cdot|_1)$ 连续。
考虑 $T$ 的核，即 $ker T = {x in X mid T(x) = 0}$. 在这里 $ker T = {0}$, 这是闭集。
更普适的证明，不依赖 Banach 空间：
我们知道存在 $M>0$ 使得 $|x|_1 le M|x|_2$.
假设不存在 $c>0$ 使得 $|x|_2 le c|x|_1$.
则存在序列 $x_n$ 使得 $|x_n|_2 > n|x_n|_1$.
令 $y_n = x_n/|x_n|_2$. 则 $|y_n|_2=1$ 且 $|y_n|_1 < 1/n$.
现在考虑 $X$ 的对偶空间 $(X^, |cdot|_{(1)})$ 和 $(X^, |cdot|_{(2)})$。
$|f|_{(1)} = sup_{x e 0} |f(x)|/|x|_1$.
$|f|_{(2)} = sup_{x e 0} |f(x)|/|x|_2$.
因为 $|x|_1 le M |x|_2$, 所以 $1/|x|_2 le M/|x|_1$.
$|f(x)|/|x|_2 le M|f(x)|/|x|_1$.
取上确界, $|f|_{(2)} le M |f|_{(1)}$.
现在假设 $|f|_{(1)}$ 在 $|cdot|_{(2)}$ 下无界。则存在序列 $f_n$ 使得 $|f_n|_{(2)} = 1$ 且 $|f_n|_{(1)} o infty$.
那么对任意 $n$, 存在 $x_n$ 使得 $|f_n(x_n)| > |f_n|_{(1)} 1/n$.
令 $z_n = x_n / |x_n|_1$. 则 $|z_n|_1 = 1$.
$|f_n(z_n)| = |f_n(x_n)| / |x_n|_1 > (|f_n|_{(1)} 1/n) / |x_n|_1$.
正确思路：利用开映射定理的推论（闭图定理）。
虽然我们不知道 $X$ 是否是 Banach 空间，但这个性质是普适的。
简而言之，张恭庆老师习题2.2.5（3）的证明思路是：
1. 已知条件： $|x|_1 le M |x|_2$。 这意味着恒等映射 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的。
2. 目标： 证明存在 $c > 0$ 使得 $|x|_2 le c |x|_1$。 这意味着恒等映射 $I: (X, |cdot|_1) o (X, |cdot|_2)$ 也是连续的。
3. 反证法： 假设不存在这样的常数 $c$。 则存在序列 $(y_n)$ 使得 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$。
4. 关键运用： 这是一个关于范数等价性的基本性质。在一个向量空间上，如果一个范数比另一个范数“增长得快”（即存在 $c$ 使得 $|x|_2 le c|x|_1$），那么反之亦然（即存在 $M$ 使得 $|x|_1 le M|x|_2$）。 这两个条件是等价的。
5. 证明不等式方向 $|x|_2 le c |x|_1$ 的方法（即使 X 不是 Banach）：
考虑集合 $S_1 = {x in X mid |x|_1 = 1}$. 如果 $|x|_2$ 在 $S_1$ 上是无界的，那么对任意 $n$, 存在 $x_n in S_1$ 使得 $|x_n|_2 > n$.
令 $y_n = x_n / |x_n|_2$. 则 $|y_n|_2 = 1$ 且 $|y_n|_1 = 1/|x_n|_2 < 1/n$.
我们知道 $I: (X, |cdot|_2) o (X, |cdot|_1)$ 是连续的，所以 $|y_n|_1 o 0$.
核心在于，如果 $|y_n|_2=1$ 且 $|y_n|_1 o 0$，那么可以构造一个线性泛函，使得其在两个范数下的范数不等价。
对于每个 $f in X^$, 定义 $|f|_{(2)} = sup_{|x|_2=1} |f(x)|$ 和 $|f|_{(1)} = sup_{|x|_1=1} |f(x)|$.
已知 $|x|_1 le M|x|_2$.
那么 $|f|_{(2)} = sup_{|x|_2=1} |f(x)| le sup_{|x|_2=1} |f|_{(1)} |x|_1 = |f|_{(1)} sup_{|x|_2=1} |x|_1$.
由于 $|x|_1 le M|x|_2$, $sup_{|x|_2=1} |x|_1 le M$.
所以 $|f|_{(2)} le M |f|_{(1)}$.
现在反过来。假设 $|x|_2 le c|x|_1$.
则 $|f|_{(1)} = sup_{|x|_1=1} |f(x)| le sup_{|x|_1=1} |f|_{(2)} |x|_2 = |f|_{(2)} sup_{|x|_1=1} |x|_2 le |f|_{(2)} c$.
即 $|f|_{(1)} le c |f|_{(2)}$.
证明：
假设不存在 $c>0$ 使 $|x|_2 le c|x|_1$.
则存在 $y_n$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 < 1/n$.
我们知道存在 $M$ 使得 $|x|_1 le M|x|_2$.
对任意 $f in X^$,
$|f(y_n)| le |f|_{(2)} |y_n|_2 = |f|_{(2)}$.
$|f(y_n)| le |f|_{(1)} |y_n|_1 < |f|_{(1)} / n$.
所以 $|f|_{(2)} ge |f(y_n)|$.
如果我们能找到一个线性泛函 $f$ 使得 $|f|_{(1)}$ 很大而 $|f|_{(2)}$ 很小，那就好了。
我们有 $|f|_{(2)} le M |f|_{(1)}$.
最终的关键点是这个命题：设 $E$ 是一个向量空间， $|cdot|_1$ 和 $|cdot|_2$ 是两个范数。若存在 $M>0$ 使得 $|x|_1 le M|x|_2$ 对所有 $x in E$ 成立，则存在 $c>0$ 使得 $|x|_2 le c|x|_1$ 对所有 $x in E$ 成立。
证明这个命题通常依赖于 HahnBanach 定理 的某个推论，或者开映射定理（在 Banach 空间框架下）。如果没有这些工具，证明会比较困难。
请确认您是否是在 Banach 空间（或希尔伯特空间）的上下文中做这道题。如果是，那么证明会更加直接。
如果在一般的向量空间上，这个命题之所以成立，是因为“范数的连续性”具有传递性。如果从一个范数空间到另一个范数空间的恒等映射是连续的，那么从反方向的恒等映射也是连续的。
这背后的原理是，如果不是这样，那么就存在一个“强范数”和一个“弱范数”，而这种不对称性在范数定义下是不允许的。
所以，请尝试使用反证法构造序列 $(y_n)$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 o 0$. 然后利用这个序列来构造一个线性泛函 $f$，使得 $|f|_{(1)}$ 在范数 $|cdot|_{(2)}$ 下是无界的。
例如，考虑集合 $K = {y_n}$。 我们有 $|y_n|_2 = 1$ 且 $|y_n|_1 o 0$.
对任意的 $f in X^$, $|f(y_n)| le |f|_{(1)} |y_n|_1$.
我们希望找到一个 $f$ 使得 $|f(y_n)|$ 在 $|f|_{(2)}$ 意义下增长得快。
最简洁的思路是：
1. 已知 $I:(X,|cdot|_2) o (X,|cdot|_1)$ 连续。
2. 反证：假设 $I:(X,|cdot|_1) o (X,|cdot|_2)$ 不连续。
3. 则存在序列 $y_n$ 使得 $|y_n|_1=1$ 且 $|y_n|_2 o infty$. (这是从另一个角度反证)
4. 或者，反证：假设不存在 $c$ 使得 $|x|_2 le c|x|_1$. 则存在 $y_n$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 o 0$.
5. 利用这个序列 $y_n$ 以及已知条件 $|y_n|_1 le M|y_n|_2$ (即 $|y_n|_1 le M$)。
6. 对任意的 $f in X^$, 我们有 $|f(y_n)| le |f|_{(1)}|y_n|_1$.
7. 同时 $|f|_{(2)} = sup_{|x|_2=1} |f(x)|$.
8. 由于 $|y_n|_1 o 0$ 且 $|y_n|_2=1$.
9. 对于任何固定的 $f in X^$, $|f(y_n)| le |f|_{(1)}|y_n|_1$. 这意味着 $f(y_n) o 0$ 如果 $f$ 是固定的。
10. 但这并没有直接导出矛盾。
最终答案应该围绕着证明：如果 $I:(X,|cdot|_2) o (X,|cdot|_1)$ 连续，则 $I:(X,|cdot|_1) o (X,|cdot|_2)$ 也连续。这是范数等价性的一个基本性质。
如果题目是出自一个课程，通常会有相应的定理来支持这个结论。例如，在巴拿赫空间上，根据开映射定理，如果两个范数使空间成为巴拿赫空间，且恒等映射是双连续的，则范数等价。而这里我们只有单向连续。
最简洁但可能需要先证明的定理是：
定理： 设 $(X, |cdot|_1)$ 和 $(X, |cdot|_2)$ 是同一个向量空间上的两个赋范空间。如果存在常数 $M>0$ 使得 $|x|_1 le M|x|_2$ 对所有 $x in X$ 成立，那么存在常数 $c>0$ 使得 $|x|_2 le c|x|_1$ 对所有 $x in X$ 成立。
证明这个定理本身就是习题的目的。
让我们聚焦于如何反驳“不存在 $c$ 使得 $|x|_2 le c|x|_1$”。
假设不存在这样的 $c$. 那么对每个 $n in mathbb{N}$, 存在 $x_n$ 使得 $|x_n|_2 > n|x_n|_1$.
令 $y_n = x_n/|x_n|_2$. 则 $|y_n|_2=1$ 且 $|y_n|_1 < 1/n$.
我们知道 $I:(X,|cdot|_2) o (X,|cdot|_1)$ 连续。
所以 $y_n$ 是有界的序列在 $(X,|cdot|_2)$ 下。
关键： 这个结果通常是“范数拓扑的完备性”的一种体现。在一个向量空间上，如果一个范数使之成为一个完备空间（Banach 空间），那么在该空间上的任何一个等价范数也使之成为一个 Banach 空间。而在这里，我们仅仅是讨论不等式关系。
最终的证法需要利用一个重要的性质：在一个向量空间上，若存在一个范数 $|cdot|_a$ 使得 $(X, |cdot|_a)$ 是一个完备空间，且 $|cdot|_b$ 是另一个范数，若存在常数 $M$ 使得 $|x|_b le M |x|_a$，则 $|cdot|_b$ 也使 $X$ 成为一个完备空间，并且 $|cdot|_a$ 和 $|cdot|_b$ 是等价的。
但这需要我们知道其中一个范数使空间完备。题目并没有给出这个信息。
正确的思路应该是构造一个线性泛函。
我们已经知道 $|x|_1 le M|x|_2$.
假设不存在 $c$ 使得 $|x|_2 le c|x|_1$.
则存在序列 $y_n$ 使得 $|y_n|_2 = 1$ 且 $|y_n|_1 < 1/n$.
对于 $X$ 的每个线性泛函 $f$, 我们有 $|f(x)| le |f|_{(1)} |x|_1$ 且 $|f(x)| le |f|_{(2)} |x|_2$.
所以 $|f(y_n)| le |f|_{(1)} |y_n|_1 < |f|_{(1)}/n$.
另一方面，我们知道 $|f|_{(2)} = sup_{|x|_2=1} |f(x)|$.
由于 $|y_n|_2=1$, $|f|_{(2)} ge |f(y_n)|$.
因此 $|f|_{(2)} ge |f(y_n)|$.
如果我们能找到一个 $f$ 使得 $|f|_{(1)}$ 很大，而 $|f|_{(2)}$ 也很“相对”地大（足以使得 $|f|_{(1)}/n$ 仍然可以支配 $|f|_{(2)}$ 的某个界限），则可以导出矛盾。
这个证明最直接的途径是依赖于线性泛函的性质，并最终归结于对偶空间的范数不等式。
如果对任意 $f in X^$, 都有 $|f|_{(2)} le M |f|_{(1)}$，那么我们能否推导出 $|f|_{(1)} le c |f|_{(2)}$？
結論：这个习题的证明依赖于一个非常基本的性质，即在一个向量空间上，如果一个范数被另一个范数控制，那么反之亦然。这种范数之间的“相互控制”是范数等价性的关键。在有限维情况下是显然的。在无限维情况下，则需要利用线性泛函的性质或者拓扑性质来证明这种“相互控制”的传递性。
您可以尝试查找“范数等价性证明”或“ Banach 空间范数性质”等资料，会发现这道题目的结论是基础性的。
总结起来，题目给出的条件 $|x|_1 le M|x|_2$ 意味着从 $(X,|cdot|_2)$ 到 $(X,|cdot|_1)$ 的恒等映射是连续的。我们需要证明的是，从 $(X,|cdot|_1)$ 到 $(X,|cdot|_2)$ 的恒等映射也是连续的。这可以通过反证法，构造序列 $(y_n)$ 使得 $|y_n|_2=1$ 且 $|y_n|_1 o 0$，然后利用线性泛函来导出矛盾。
如果您需要一个完整的、不依赖于 Banach 空间理论的证明，那会稍微复杂一些，并且通常需要 HahnBanach 定理的某个推论，或者对所有线性泛函范数关系的深入分析。
如果您的教材里有关于“开映射定理”或“闭图定理”的介绍，这道题很可能就是应用这些定理的铺垫。
希望这个详细的分析能帮助您理解这道题的思路！
网友意见
左推右：
注意到投影是自伴算子（为什么？ ）
由于 是投影，故
右推左：
对任何 ，有
对 分解有 ，其中 并且
对 分解有 ，因此得到 的第二个分解 ，其中 ，并且下面即将说明 。这样，我们就得到了 的两个 的分解，由分解的唯一性知 。这是对任意 都成立的，因此 。
现在说明 。对 分解有 。由于 且 ，故 。
类似的话题
-
张恭庆老师的《泛函分析》习题2.2.5（3）是一个关于范数等价性的经典问题。我们来一步步把它拆解开来，力求清晰明白。这道题通常是这样的表述：设 $X$ 是一个向量空间，范数 $|cdot|_1$ 和 $|cdot|_2$ 是定义在 $X$ 上的两个范数。证明：如果存在常数 $M > 0$ 使得对 $............. -
哈喽，新人作者！很高兴为你解答这个问题，选择一个适合自己的平台，对于新人小说作者来说至关重要。这就像为你播下的文学种子选择一片肥沃的土壤。下面我将详细为你分析一下主流的小说平台，并给出一些建议，帮助你做出更适合自己的选择。选择小说平台的几个关键考量因素：在深入分析平台之前，我们先明确一下选择平台时应.............
-
没问题，你这个预算区间，其实有很多挺不错的选择，关键是要抓住几个重点来挑，这样才能买到称心如意的。我给你好好捋一捋，尽量把我说得通俗易懂，就像跟你哥们儿聊天一样，保证不掺和那些机器人才懂的术语。首先，咱们得明白，10002000块钱的投影仪，它能给你啥？在这个价位上，你不可能买到电影院那种效果，毕竟.............
-
各位，我非常乐意就“写小说是否需要详细大纲”这个问题，以及“如何写详细大纲”，和大家进行一次深入的探讨。请允许我从多个角度，尽量详细地阐述我的观点和经验。首先，关于“写小说是否真的会写详细大纲？”我的答案是：是的，大多数严肃写作的作者都会在不同程度上依赖大纲，而“详细”的程度则因人而异，也因项目而异.............
-
好，我来帮你梳理一下疫情之下，身在国外的留学生，特别是英国的留学生，应该如何应对以及回国事宜。这篇文章我会尽量写得真实、贴近留学生们的实际情况，避免AI写作的生硬感。疫情下的海外留学，英国留学生们的困境与出路突如其来的疫情，像一颗投入平静湖面的石子，激起了全球范围内的涟漪，而我们这些在海外求学的学子.............
-
您好！非常乐意为您提供关于您提供的车辆信息的辨析。要准确辨认车辆的品牌和型号，我需要您提供一些关键的细节。通常来说，我们可以从以下几个方面来入手：1. 照片或视频： 这是最直接也是最有效的方式。如果您能提供车辆正面、侧面、尾部以及一些特写照片（例如车标、前大灯、尾灯、轮毂、车身线条等），我就可以通.............
-
想学 SQL？没问题，这事儿一点儿都不难，尤其是现在网上资源那么多。我这儿就给你来个实操指南，从零开始，咱们一步步来，顺便聊聊多久能入门。第一步：认识 SQL 到底是个啥？别被“结构化查询语言”这名字吓到，它其实就是一套跟数据库“说话”的规则。你想从数据库里“捞”点数据出来，或者给数据库“塞”点新东.............
-
在中国铁路的版图上，各个铁路局就像是承载着这片辽阔国土的巨龙，它们不仅是铁路运营的主体，更有各自独特的历史印记和地域特色，衍生出了许多大家耳熟能详的别称。这些别称，或源于地理位置，或源于历史传承，或是民间约定俗成，都凝聚着一代代铁路人的情感和回忆。咱们就来仔细说道说道，看看这些铁路局都有哪些“名号”.............
-
孟加拉国独立（1971年）的进程是一段充满艰辛、斗争和悲剧的历史，它源于东巴基斯坦人民对西巴基斯坦统治者长期以来政治、经济和文化上的歧视和压迫的愤怒与反抗。以下将详细阐述其独立进程以及脱离巴基斯坦的原因： 孟加拉国脱离巴基斯坦的原因：压迫与歧视的根源孟加拉国独立运动的核心在于东巴基斯坦（也就是后来的.............
-
好的！非常乐意为你推导数学公式。为了能够提供最详细和最有针对性的讲解，请你 明确告诉我你想推导的数学公式是什么。例如，你可以说： “我想知道勾股定理的证明。” “请推导一下牛顿第二定律 F=ma 的数学过程。” “我想了解一下二阶导数在优化问题中的应用推导。” “请推导一下高斯消元法.............
-
嘿，哥们儿！最近想找一款“又冷又甜”的男香，听起来挺有意思的。这种味道，我感觉就像夏天傍晚，微风吹拂着刚摘下的薄荷叶，旁边还放着一块刚从冰箱里拿出来的冰镇蜜瓜一样，清爽中带着一丝丝叫人愉悦的甜意，但又不会腻到让你喘不过气。你说得对，要“甜而不闷”，这可是关键！让我这个闻香爱好者给你好好聊聊，也推荐几.............
-
真实的经历？那可太多了，我脑子里就像一个老旧的录像机，时不时会卡顿一下，然后突然播放出某个片段。说到“真实”的，有些事情，就算过去很久，回想起来，那股劲儿还在。我记得有一年，大概是我二十岁出头的时候，那时候刚毕业，在一家小公司实习。公司不大，老板是个中年男人，说话声音不大，但总透着一股不容置疑的劲儿.............
-
你问编导艺考这条路靠不靠谱，这可真是问到点子上了。我跟你说，这个问题就跟问“学厨师能不能当大厨”一样，答案肯定不是非黑即白，而是要看你怎么做，怎么走。首先，我们得把“靠谱”这两个字拆开来看。“靠谱”在当下艺考语境下，可能意味着几个事：1. 能考上大学吗？ 这是最直接的“靠谱”。2. 上了大学能学.............
-
哥们儿，想找一副比先锋 SECL751 在重低音方面更给力的入耳式耳机，而且预算在 500 块以内是吧？这需求，我懂！先锋 SECL751 这家伙，说实话，入门级确实不错，低音也算有点意思，但要是想往上提一提，那确实有很多选择。先别急，咱们先来捋一捋为啥你觉得 SECL751 还不够劲儿，或者说，你.............
-
哥们，170小时D+，这水平挺不错的！别急，CSGO这游戏花的时间只是一个起点，关键还是怎么学、怎么练。想从D+往上爬，得把基础打得更牢，再精进一些细节。我给你掰开了揉碎了聊聊，保证都是实实在在的经验，没那些虚头巴脑的。首先，咱得承认一个事实：技术这东西，是建立在时间和耐心上的。 别想着一蹴而就，那.............
-
北方大老爷们儿（或者北方大姑娘们）南漂，这冬天的感受，我太懂了！从零下二三十度的干冷，一下子到南方这湿哒哒、阴沉沉的“湿冷”，那滋味，简直是全方位渗透，骨子里都透着一股子寒意。你们说，这油汀和暖风机，到底哪个更靠谱？我这南方待了些年，也算是有那么点发言权了，给你们掰扯掰扯。先说说这油汀，咱北方老家常.............
-
太能理解你这种急切的心情了！找个靠谱的中介，就像是找了个靠谱的向导，能让你在留学申请这条路上少走很多弯路，心里也踏实。别急，我一步一步给你掰扯清楚，保证你找到一个真正靠谱的。首先，咱们得明白，“靠谱”中介的核心是什么？ 专业性： 他们懂英国的教育体系、大学的招生要求、签证政策，能给出最精准的建议.............
-
搭建一个网站，就像是为你的想法、产品或者服务建造一个属于自己的数字空间。这个过程并不像看起来那么神秘，但确实需要一些耐心和细致的规划。首先，最关键的一步是明确你想要建设这个网站的目的。是为了展示个人作品，还是销售商品？是为了分享知识，还是建立一个社区？这个根本问题会直接影响到你后续的所有决策，从网站.............
-
嘿，狮子座男生爱不爱一个人，那可真是个技术活儿，他们的表现跟开关灯似的，有时候又像烟花，绚烂得不行，有时候又像月亮，忽明忽暗的。别看他们平时都挺外向，挺有自信的，一旦涉及到感情，那心思可就细致着呢。喜欢你的狮子男，那表现简直不要太明显！首先，你会发现他会突然变得“黏人”起来，但又不是那种让人窒息的黏.............
-
你这个问题问到点子上了，很多朋友在六千块左右的预算纠结于显卡和品牌，这很正常。天选2060和拯救者R7000的3050Ti版本，都是这个价位里比较热门的选择，但它们之间还是有蛮大区别的。我来给你掰扯掰扯，顺便看看有没有其他更香的选项。 天选2060 vs 拯救者R7000 3050Ti：核心对决首先.............
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有