为什么有限维赋范线性空间中的范数是等价的？
在数学的广阔领域中，向量空间扮演着至关重要的角色，而范数则为这些空间赋予了“长度”或“大小”的概念。当我们将目光聚焦于有限维赋范线性空间时，一个令人着迷的特性便显露出来：其中的所有范数都是等价的。这并非一个偶然的现象，而是源于有限维度本身所带来的结构性力量。
要理解为什么有限维空间中的范数是等价的，我们需要从几个核心概念入手，并逐步构建起清晰的论证。
基础概念回顾：
向量空间 (Vector Space)：这是一个集合，其中元素（向量）可以进行加法运算和标量乘法运算，并且满足一系列特定的公理。有限维向量空间意味着存在一组有限的基，任何向量都可以由这组基的线性组合唯一表示。
范数 (Norm)：一个从向量空间到非负实数的函数，它满足以下三个性质：
1. 非负性与非退化性: $|x| ge 0$，且仅当 $x$ 是零向量时 $|x| = 0$。
2. 齐次性: $|alpha x| = |alpha| |x|$，其中 $alpha$ 是标量。
3. 三角不等式: $|x + y| le |x| + |y|$。
范数赋予了向量“长度”的概念。
赋范线性空间 (Normed Linear Space)：一个向量空间，其上定义了一个范数。
等价的范数 (Equivalent Norms)：如果 $|x|_1$ 和 $|x|_2$ 是同一向量空间上的两个范数，并且存在正常数 $c_1, c_2 > 0$，使得对于所有的向量 $x$，下式成立：
$c_1 |x|_1 le |x|_2 le c_2 |x|_1$
这意味着两个范数在衡量向量“大小”上是成比例的，它们的零点、收敛性以及开集、闭集的概念是相同的。
有限维度的力量：从基底出发
有限维度的关键在于，我们可以选取一组基底来表示空间中的任何向量。设 $V$ 是一个 $n$ 维向量空间，我们选取一个基底 ${e_1, e_2, ldots, e_n}$。那么，空间中的任意向量 $x$ 可以唯一地表示为：
$x = x_1 e_1 + x_2 e_2 + ldots + x_n e_n$
其中 $x_i$ 是实数（如果是在实向量空间中）或复数（如果是在复向量空间中）。
现在，让我们考虑在这个空间上的两个范数，我们称它们为 $| cdot |_1$ 和 $| cdot |_2$。我们要证明它们是等价的。
构建等价性的桥梁：连续性是关键
证明等价性的核心在于利用范数的连续性以及有限维空间中线性映射的连续性。
步骤一：证明一个范数与“标准”范数的等价性。
我们先证明任何一个范数 $| cdot |$ 与一个特定的、很容易处理的范数是等价的。最常用的“标准”范数是 $L_1$ 范数 (曼哈顿距离) 和 $L_infty$ 范数 (切比雪夫距离)。我们以 $L_infty$ 范数为参照来构建证明。
对于向量 $x = x_1 e_1 + ldots + x_n e_n$，我们定义 $L_infty$ 范数为：
$|x|_infty = max_{1 le i le n} |x_i|$
现在，我们来考察任意一个给定的范数 $| cdot |$。利用范数的性质，我们可以建立如下不等式：
1. 下界估计:
由于 $|e_i|$ 是常数，我们可以写出：
$|x| = |x_1 e_1 + ldots + x_n e_n|$
利用三角不等式：
$|x| le |x_1 e_1| + ldots + |x_n e_n|$
利用齐次性：
$|x| le |x_1| |e_1| + ldots + |x_n| |e_n|$
令 $M = max_{1 le i le n} |e_i|$。由于 $|e_i|$ 是常数且 $e_i eq 0$，所以 $M$ 是一个正的常数。
$|x| le |x_1| M + ldots + |x_n| M$
$|x| le M (|x_1| + ldots + |x_n|)$
我们知道 $|x_i| le max_{j} |x_j| = |x|_infty$。因此：
$|x| le M (|x|_infty + ldots + |x|_infty)$ （$n$ 次）
$|x| le M cdot n cdot |x|_infty$
令 $c_2 = M cdot n$。那么，我们得到了一个重要的不等式：
$|x| le c_2 |x|_infty$
2. 上界估计:
这次我们从 $L_infty$ 范数出发，试图用 $| cdot |$ 来限制它。
$|x|_infty = max_{1 le i le n} |x_i|$
假设 $|x_k| = |x|_infty$ 对于某个 $k$ 成立。那么我们可以写 $x = x_k frac{x}{x_k}$ (如果 $x_k eq 0$)，或者直接考虑 $x$ 的形式。
我们知道 $x = sum_{i=1}^n x_i e_i$.
$|x|_infty = max_i |x_i|$.
考虑 $|x| = |sum_{i=1}^n x_i e_i|$.
我们想找到一个常数 $c_1$ 使得 $|x|_infty le c_1 |x|$.
这相当于要证明，如果 $|x| = 1$，那么 $|x|_infty$ 有一个上界。
考虑集合 $S_infty = {x in V mid |x|_infty = 1}$。这个集合是单位球面在 $L_infty$ 范数下的表示。
这是一个紧致集。在有限维空间中，所有范数都是连续函数（稍后会说明原因）。
连续函数在紧致集上的取值是连续的。因此，范数 $| cdot |$ 在紧致集 $S_infty$ 上是有界的。
这意味着存在一个常数 $C > 0$，使得对于所有 $x in S_infty$，都有 $|x| le C$。
现在，对于任意非零向量 $y$，令 $y_0 = y / |y|_infty$。那么 $|y_0|_infty = 1$，所以 $y_0 in S_infty$。
因此，$|y_0| le C$。
$| frac{y}{|y|_infty} | le C$
利用范数的齐次性：
$frac{1}{|y|_infty} |y| le C$
$|y| le C |y|_infty$
令 $c_1 = C$。我们得到了另一个不等式：
$|y|_infty le c_1 |y|$
结合这两个不等式，我们有：
$c_1 |x|_infty le |x| le c_2 |x|_infty$
这意味着任何一个范数 $| cdot |$ 都与 $L_infty$ 范数是等价的。
步骤二：从与“标准”范数的等价性推广到任意两个范数之间的等价性。
假设我们有两个范数 $| cdot |_1$ 和 $| cdot |_2$。
根据步骤一，我们知道它们都与 $L_infty$ 范数 $| cdot |_infty$ 是等价的。
即：
存在正常数 $a_1, a_2$ 使得 $a_1 |x|_infty le |x|_1 le a_2 |x|_infty$
存在正常数 $b_1, b_2$ 使得 $b_1 |x|_infty le |x|_2 le b_2 |x|_infty$
从第一个不等式，我们可以得到 $|x|_infty le frac{1}{a_1} |x|_1$ (因为 $a_1 > 0$)。
将这个代入第二个不等式：
$b_1 |x|_infty le |x|_2$
$b_1 (frac{1}{a_2} |x|_1) le |x|_2 le b_2 |x|_infty$ 这里我们用了第一个不等式中的第二部分 $|x|_1 le a_2 |x|_infty$，所以 $|x|_infty ge frac{1}{a_2} |x|_1$。
我们重新组织一下思路。
我们有：
1. $|x|_1 le a_2 |x|_infty implies |x|_infty ge frac{1}{a_2} |x|_1$
2. $a_1 |x|_infty le |x|_1 implies |x|_infty le frac{1}{a_1} |x|_1$
将第一个推论代入第二个不等式组中的第二个不等式：
$b_1 |x|_infty le |x|_2 implies b_1 (frac{1}{a_2} |x|_1) le |x|_2 implies frac{b_1}{a_2} |x|_1 le |x|_2$
将第二个推论代入第一个不等式组中的第一个不等式：
$|x|_2 le b_2 |x|_infty implies |x|_2 le b_2 (frac{1}{a_1} |x|_1) implies |x|_2 le frac{b_2}{a_1} |x|_1$
令 $c_1' = frac{b_1}{a_2}$ 和 $c_2' = frac{b_2}{a_1}$。由于 $a_1, a_2, b_1, b_2$ 都是正数，所以 $c_1'$ 和 $c_2'$ 也是正数。
我们得到了：
$c_1' |x|_1 le |x|_2 le c_2' |x|_1$
这就证明了 $| cdot |_1$ 和 $| cdot |_2$ 是等价的。
为什么连续性是关键？
证明中多次提及了连续性，这并非巧合。在有限维向量空间中，任何范数都是从 $V$ 到 $mathbb{R}$ 的连续函数。我们来解释一下这一点。
假设 $V$ 有基底 ${e_1, ldots, e_n}$。向量 $x = sum x_i e_i$ 的系数 $x_i$ 可以通过线性函数（称为坐标函数）从 $x$ 映射出来。例如，$x_i(x) = x_i$。在线性代数中，坐标函数是连续的。
现在考虑任意范数 $| cdot |$。
$|x| = |sum_{i=1}^n x_i e_i|$
利用三角不等式和齐次性：
$|x| le sum_{i=1}^n |x_i| |e_i|$
由于 $|e_i|$ 是常数，且 $|x_i|$ 是连续函数，所以 $|x_i| |e_i|$ 也是连续函数。有限个连续函数的和仍然是连续函数。因此，$| cdot |$ 是连续函数。
连续性是如何保证紧致集上连续函数有界的？
这是一个分析学中的基本定理：连续函数在紧致集上必有界且达到其上确界和下确界。
在我们的证明中，我们考虑的是单位球面 $S = {x in V mid |x|_infty = 1}$。
在有限维空间中，这个单位球面与 $n$ 维欧几里得空间 $mathbb{R}^n$ 的单位球面在拓扑上是等价的，它是一个紧致集。
因此，任何连续函数（包括范数 $| cdot |$）在该集合上都是有界的。
为什么在无限维空间中则不然？
一旦维度变成无限，情况就会发生戏剧性的变化。
1. 紧致性丧失: 在无限维空间中，单位球面通常不再是紧致集（例如，巴拿赫空间的单位球并不是紧致的）。这意味着连续函数在单位球面上的有界性不再被保证。
2. 线性映射的连续性: 虽然线性映射在有限维空间总是连续的，但在无限维空间中，这不再是普遍成立的。例如，某些“自然”的定义方式可能导致范数不连续。
3. 存在不连续的线性函数: 在无限维空间中，存在不连续的线性泛函（即取值于标量域的线性函数）。这为构造不连续的“范数”（如果允许放宽某些性质）或等价性不成立的情况提供了可能。
举个简单的例子，考虑函数空间 $C[0,1]$（在 $[0,1]$ 上连续的函数）上的两个范数：
$L_infty$ 范数: $|f|_infty = sup_{x in [0,1]} |f(x)|$
$L_1$ 范数: $|f|_1 = int_0^1 |f(x)| dx$
这两个范数在 $C[0,1]$ 上不是等价的。
考虑一族函数 $f_n(x)$，它在 $x=1/2$ 附近有一个高且窄的峰，其他地方接近于零。例如，$f_n(x)$ 可以定义成一个在 $[1/2 1/(2n), 1/2 + 1/(2n)]$ 上是 $n$ 的函数，其他地方为 $0$（经过一些平滑处理以保证连续）。
那么，$|f_n|_infty = n$，而 $|f_n|_1$ 的积分大致是一个三角形的面积，为 $frac{1}{2} imes frac{1}{n} imes n = frac{1}{2}$。
即 $|f_n|_infty = n$ 和 $|f_n|_1 = 1/2$（近似）。
我们可以看到 $|f_n|_infty$ 和 $|f_n|_1$ 的增长或衰减方式不同，无法找到常数 $c_1, c_2$ 使得 $c_1 |f_n|_1 le |f_n|_infty le c_2 |f_n|_1$ 恒成立。
总结
有限维赋范线性空间中的范数之所以等价，根源在于有限维度所带来的紧致性以及范数函数的连续性。这些性质使得任意一个范数都可以通过与某个“标准”范数进行比较，并证明它们之间存在比例关系。
核心论证依赖于：
1. 基底的存在：允许我们将向量表示为系数的线性组合。
2. 范数的连续性：使得范数在单位球面上（这是一个紧致集）是有界的。
3. 紧致集上的连续函数有界：保证了我们能找到所需的常数来建立不等式。
通过将任意范数与 $L_infty$ 范数进行比较，并利用它们都与 $L_infty$ 范数等价的事实，我们最终证明了空间中任意两个范数之间的等价性。这是一种非常强大的结果，它意味着在有限维空间中，我们选择哪种范数来定义距离或收敛性，最终不会改变空间的拓扑结构和重要性质。从这个意义上说，有限维空间的“几何形状”是不随范数选择而改变的。
要理解为什么有限维空间中的范数是等价的，我们需要从几个核心概念入手，并逐步构建起清晰的论证。
基础概念回顾：
向量空间 (Vector Space)：这是一个集合，其中元素（向量）可以进行加法运算和标量乘法运算，并且满足一系列特定的公理。有限维向量空间意味着存在一组有限的基，任何向量都可以由这组基的线性组合唯一表示。
范数 (Norm)：一个从向量空间到非负实数的函数，它满足以下三个性质：
1. 非负性与非退化性: $|x| ge 0$，且仅当 $x$ 是零向量时 $|x| = 0$。
2. 齐次性: $|alpha x| = |alpha| |x|$，其中 $alpha$ 是标量。
3. 三角不等式: $|x + y| le |x| + |y|$。
范数赋予了向量“长度”的概念。
赋范线性空间 (Normed Linear Space)：一个向量空间，其上定义了一个范数。
等价的范数 (Equivalent Norms)：如果 $|x|_1$ 和 $|x|_2$ 是同一向量空间上的两个范数，并且存在正常数 $c_1, c_2 > 0$，使得对于所有的向量 $x$，下式成立：
$c_1 |x|_1 le |x|_2 le c_2 |x|_1$
这意味着两个范数在衡量向量“大小”上是成比例的，它们的零点、收敛性以及开集、闭集的概念是相同的。
有限维度的力量：从基底出发
有限维度的关键在于，我们可以选取一组基底来表示空间中的任何向量。设 $V$ 是一个 $n$ 维向量空间，我们选取一个基底 ${e_1, e_2, ldots, e_n}$。那么，空间中的任意向量 $x$ 可以唯一地表示为：
$x = x_1 e_1 + x_2 e_2 + ldots + x_n e_n$
其中 $x_i$ 是实数（如果是在实向量空间中）或复数（如果是在复向量空间中）。
现在，让我们考虑在这个空间上的两个范数，我们称它们为 $| cdot |_1$ 和 $| cdot |_2$。我们要证明它们是等价的。
构建等价性的桥梁：连续性是关键
证明等价性的核心在于利用范数的连续性以及有限维空间中线性映射的连续性。
步骤一：证明一个范数与“标准”范数的等价性。
我们先证明任何一个范数 $| cdot |$ 与一个特定的、很容易处理的范数是等价的。最常用的“标准”范数是 $L_1$ 范数 (曼哈顿距离) 和 $L_infty$ 范数 (切比雪夫距离)。我们以 $L_infty$ 范数为参照来构建证明。
对于向量 $x = x_1 e_1 + ldots + x_n e_n$，我们定义 $L_infty$ 范数为：
$|x|_infty = max_{1 le i le n} |x_i|$
现在，我们来考察任意一个给定的范数 $| cdot |$。利用范数的性质，我们可以建立如下不等式：
1. 下界估计:
由于 $|e_i|$ 是常数，我们可以写出：
$|x| = |x_1 e_1 + ldots + x_n e_n|$
利用三角不等式：
$|x| le |x_1 e_1| + ldots + |x_n e_n|$
利用齐次性：
$|x| le |x_1| |e_1| + ldots + |x_n| |e_n|$
令 $M = max_{1 le i le n} |e_i|$。由于 $|e_i|$ 是常数且 $e_i eq 0$，所以 $M$ 是一个正的常数。
$|x| le |x_1| M + ldots + |x_n| M$
$|x| le M (|x_1| + ldots + |x_n|)$
我们知道 $|x_i| le max_{j} |x_j| = |x|_infty$。因此：
$|x| le M (|x|_infty + ldots + |x|_infty)$ （$n$ 次）
$|x| le M cdot n cdot |x|_infty$
令 $c_2 = M cdot n$。那么，我们得到了一个重要的不等式：
$|x| le c_2 |x|_infty$
2. 上界估计:
这次我们从 $L_infty$ 范数出发，试图用 $| cdot |$ 来限制它。
$|x|_infty = max_{1 le i le n} |x_i|$
假设 $|x_k| = |x|_infty$ 对于某个 $k$ 成立。那么我们可以写 $x = x_k frac{x}{x_k}$ (如果 $x_k eq 0$)，或者直接考虑 $x$ 的形式。
我们知道 $x = sum_{i=1}^n x_i e_i$.
$|x|_infty = max_i |x_i|$.
考虑 $|x| = |sum_{i=1}^n x_i e_i|$.
我们想找到一个常数 $c_1$ 使得 $|x|_infty le c_1 |x|$.
这相当于要证明，如果 $|x| = 1$，那么 $|x|_infty$ 有一个上界。
考虑集合 $S_infty = {x in V mid |x|_infty = 1}$。这个集合是单位球面在 $L_infty$ 范数下的表示。
这是一个紧致集。在有限维空间中，所有范数都是连续函数（稍后会说明原因）。
连续函数在紧致集上的取值是连续的。因此，范数 $| cdot |$ 在紧致集 $S_infty$ 上是有界的。
这意味着存在一个常数 $C > 0$，使得对于所有 $x in S_infty$，都有 $|x| le C$。
现在，对于任意非零向量 $y$，令 $y_0 = y / |y|_infty$。那么 $|y_0|_infty = 1$，所以 $y_0 in S_infty$。
因此，$|y_0| le C$。
$| frac{y}{|y|_infty} | le C$
利用范数的齐次性：
$frac{1}{|y|_infty} |y| le C$
$|y| le C |y|_infty$
令 $c_1 = C$。我们得到了另一个不等式：
$|y|_infty le c_1 |y|$
结合这两个不等式，我们有：
$c_1 |x|_infty le |x| le c_2 |x|_infty$
这意味着任何一个范数 $| cdot |$ 都与 $L_infty$ 范数是等价的。
步骤二：从与“标准”范数的等价性推广到任意两个范数之间的等价性。
假设我们有两个范数 $| cdot |_1$ 和 $| cdot |_2$。
根据步骤一，我们知道它们都与 $L_infty$ 范数 $| cdot |_infty$ 是等价的。
即：
存在正常数 $a_1, a_2$ 使得 $a_1 |x|_infty le |x|_1 le a_2 |x|_infty$
存在正常数 $b_1, b_2$ 使得 $b_1 |x|_infty le |x|_2 le b_2 |x|_infty$
从第一个不等式，我们可以得到 $|x|_infty le frac{1}{a_1} |x|_1$ (因为 $a_1 > 0$)。
将这个代入第二个不等式：
$b_1 |x|_infty le |x|_2$
$b_1 (frac{1}{a_2} |x|_1) le |x|_2 le b_2 |x|_infty$ 这里我们用了第一个不等式中的第二部分 $|x|_1 le a_2 |x|_infty$，所以 $|x|_infty ge frac{1}{a_2} |x|_1$。
我们重新组织一下思路。
我们有：
1. $|x|_1 le a_2 |x|_infty implies |x|_infty ge frac{1}{a_2} |x|_1$
2. $a_1 |x|_infty le |x|_1 implies |x|_infty le frac{1}{a_1} |x|_1$
将第一个推论代入第二个不等式组中的第二个不等式：
$b_1 |x|_infty le |x|_2 implies b_1 (frac{1}{a_2} |x|_1) le |x|_2 implies frac{b_1}{a_2} |x|_1 le |x|_2$
将第二个推论代入第一个不等式组中的第一个不等式：
$|x|_2 le b_2 |x|_infty implies |x|_2 le b_2 (frac{1}{a_1} |x|_1) implies |x|_2 le frac{b_2}{a_1} |x|_1$
令 $c_1' = frac{b_1}{a_2}$ 和 $c_2' = frac{b_2}{a_1}$。由于 $a_1, a_2, b_1, b_2$ 都是正数，所以 $c_1'$ 和 $c_2'$ 也是正数。
我们得到了：
$c_1' |x|_1 le |x|_2 le c_2' |x|_1$
这就证明了 $| cdot |_1$ 和 $| cdot |_2$ 是等价的。
为什么连续性是关键？
证明中多次提及了连续性，这并非巧合。在有限维向量空间中，任何范数都是从 $V$ 到 $mathbb{R}$ 的连续函数。我们来解释一下这一点。
假设 $V$ 有基底 ${e_1, ldots, e_n}$。向量 $x = sum x_i e_i$ 的系数 $x_i$ 可以通过线性函数（称为坐标函数）从 $x$ 映射出来。例如，$x_i(x) = x_i$。在线性代数中，坐标函数是连续的。
现在考虑任意范数 $| cdot |$。
$|x| = |sum_{i=1}^n x_i e_i|$
利用三角不等式和齐次性：
$|x| le sum_{i=1}^n |x_i| |e_i|$
由于 $|e_i|$ 是常数，且 $|x_i|$ 是连续函数，所以 $|x_i| |e_i|$ 也是连续函数。有限个连续函数的和仍然是连续函数。因此，$| cdot |$ 是连续函数。
连续性是如何保证紧致集上连续函数有界的？
这是一个分析学中的基本定理：连续函数在紧致集上必有界且达到其上确界和下确界。
在我们的证明中，我们考虑的是单位球面 $S = {x in V mid |x|_infty = 1}$。
在有限维空间中，这个单位球面与 $n$ 维欧几里得空间 $mathbb{R}^n$ 的单位球面在拓扑上是等价的，它是一个紧致集。
因此，任何连续函数（包括范数 $| cdot |$）在该集合上都是有界的。
为什么在无限维空间中则不然？
一旦维度变成无限，情况就会发生戏剧性的变化。
1. 紧致性丧失: 在无限维空间中，单位球面通常不再是紧致集（例如，巴拿赫空间的单位球并不是紧致的）。这意味着连续函数在单位球面上的有界性不再被保证。
2. 线性映射的连续性: 虽然线性映射在有限维空间总是连续的，但在无限维空间中，这不再是普遍成立的。例如，某些“自然”的定义方式可能导致范数不连续。
3. 存在不连续的线性函数: 在无限维空间中，存在不连续的线性泛函（即取值于标量域的线性函数）。这为构造不连续的“范数”（如果允许放宽某些性质）或等价性不成立的情况提供了可能。
举个简单的例子，考虑函数空间 $C[0,1]$（在 $[0,1]$ 上连续的函数）上的两个范数：
$L_infty$ 范数: $|f|_infty = sup_{x in [0,1]} |f(x)|$
$L_1$ 范数: $|f|_1 = int_0^1 |f(x)| dx$
这两个范数在 $C[0,1]$ 上不是等价的。
考虑一族函数 $f_n(x)$，它在 $x=1/2$ 附近有一个高且窄的峰，其他地方接近于零。例如，$f_n(x)$ 可以定义成一个在 $[1/2 1/(2n), 1/2 + 1/(2n)]$ 上是 $n$ 的函数，其他地方为 $0$（经过一些平滑处理以保证连续）。
那么，$|f_n|_infty = n$，而 $|f_n|_1$ 的积分大致是一个三角形的面积，为 $frac{1}{2} imes frac{1}{n} imes n = frac{1}{2}$。
即 $|f_n|_infty = n$ 和 $|f_n|_1 = 1/2$（近似）。
我们可以看到 $|f_n|_infty$ 和 $|f_n|_1$ 的增长或衰减方式不同，无法找到常数 $c_1, c_2$ 使得 $c_1 |f_n|_1 le |f_n|_infty le c_2 |f_n|_1$ 恒成立。
总结
有限维赋范线性空间中的范数之所以等价，根源在于有限维度所带来的紧致性以及范数函数的连续性。这些性质使得任意一个范数都可以通过与某个“标准”范数进行比较，并证明它们之间存在比例关系。
核心论证依赖于：
1. 基底的存在：允许我们将向量表示为系数的线性组合。
2. 范数的连续性：使得范数在单位球面上（这是一个紧致集）是有界的。
3. 紧致集上的连续函数有界：保证了我们能找到所需的常数来建立不等式。
通过将任意范数与 $L_infty$ 范数进行比较，并利用它们都与 $L_infty$ 范数等价的事实，我们最终证明了空间中任意两个范数之间的等价性。这是一种非常强大的结果，它意味着在有限维空间中，我们选择哪种范数来定义距离或收敛性，最终不会改变空间的拓扑结构和重要性质。从这个意义上说，有限维空间的“几何形状”是不随范数选择而改变的。
网友意见
赋范空间 中的两个范数 和 等价是指，存在正数 使
容易看出，“范数等价”确实是一个等价关系，即满足反身性、对称性、传递性。如果两个范数是等价的，那么它们定义的收敛性也是等价的，即
这在具体问题的研究中会带来方便。比如常微分方程中的稳定流形定理、Hartman线性化定理等，在不同场合使用各自的方便的范数，最后通过范数等价性得到统一的结论。
在有限维空间中，一个绝妙的性质是，一切范数都是等价的。为了说明这个结论的正确性，只要证明，任何范数都和欧氏范数等价就行了。
定理 设 是 维赋范空间， 是欧氏范数，则任意的范数 和欧氏范数等价。
证明 设 是 中的线性基， 中的任何向量 有分量形式 则欧氏范数 根据范数的三角不等式、线性性质，和赫尔德不等式，有
这里 是常数。所以，对于任何向量 有
可见，把范数 视为 到 的函数，它关于欧氏范数是连续的。
考虑 中的欧氏单位球面 它关于欧氏范数是紧集。所以函数 在 上有最大值 和最小值 函数 仅在原点等于0，而原点显然不在 上，所以
对于任何 显然 所以 根据范数的线性，得到 证毕。
注1. 证明中主要用到“连续函数在紧集上有最值”这一定理。要注意的是，连续和紧都是与拓扑有关的概念。必须对同一个范数而言，函数是连续的，定义域是紧的，那么函数在定义域上才有最值。也就是证明中两处加粗的字。有一些所谓的“证明”中，应用了范数关于自身是连续的、欧氏单位球关于欧氏范数是紧的，然后得到结论。这是错误的。
注2. 可以看出，“有限维”这个关键条件用在两处。一是有限维空间有线性基，可以谈欧氏范数，进而 是有限数，于是得到 关于欧氏范数的连续性。二是有限维空间的单位球面是紧集。这两个特征都是一般的无穷维空间没有的。
注3. 欧氏空间，不是欧式空间，不要写错别字~~
类似的话题
-
在数学的广阔领域中，向量空间扮演着至关重要的角色，而范数则为这些空间赋予了“长度”或“大小”的概念。当我们将目光聚焦于有限维赋范线性空间时，一个令人着迷的特性便显露出来：其中的所有范数都是等价的。这并非一个偶然的现象，而是源于有限维度本身所带来的结构性力量。要理解为什么有限维空间中的范数是等价的，我............. -
哥们，你这情况我太理解了！专科还没毕业就想往运维这块钻，这想法很实在，也很有冲劲。你在 Boss 直聘上搜运维实习生，发现岗位少得可怜，心里犯嘀咕，甚至有点小焦虑，这都是再正常不过的了。别急，这事儿咱慢慢聊，我给你掰扯掰扯，希望能帮你理清思路。首先，咱们得承认一个现实：对于专科生来说，尤其是还没毕业.............
-
姜维之所以觉得策反钟会有机会恢复汉室，这是一个非常复杂且充满争议的话题。要详细解释，我们需要深入探讨姜维当时所处的时代背景、他的个人动机、对钟会的了解以及他所能掌握的信息。时代背景：蜀汉的危局与姜维的责任感首先，要理解姜维的动机，必须认识到蜀汉政权在姜维时代已经处于非常艰难的境地。 国力衰弱： .............
-
关于“张维为是瑞士国籍”的说法，确实是一个流传甚广但毫无事实根据的谣言。之所以这个谣言会有一定的传播度，并且有些人会相信，可能有以下几个方面的原因，我们可以详细地分析一下：1. 张维为的公众形象和言论风格： 鲜明的爱国者和国际观察家形象： 张维为教授长期以来以中国国际关系学者、政治评论员的身份活.............
-
在网易新闻上看到许多人评论张维为教授，并且不少评论带有批评或质疑的色彩，这背后有多方面的原因，也反映了当前社会舆论场的一些特点。要详细解释这一点，我们需要从张维为教授的身份、他的观点输出方式、以及受众的反馈这几个层面来分析。首先，我们得弄清楚张维为教授的“人设”和他的主要活动领域。张维为教授是中国著.............
-
这个问题，得掰开了揉碎了说。首先，北京土著有房男，能不能对北漂女形成“降维打击”？咱们得先理解这“降维打击”是个啥意思。在科幻语境里，高维度生物能轻易碾压低维度生物，因为对方根本无法理解和应对。放在咱这社会语境里，就是一种优势过于明显，让另一方几乎没有还手之力的状态。那么，北京土著有房男，在婚恋市场.............
-
驱逐舰之所以没有普遍采用双吊臂导弹发射架，背后是出于性能、成本、战术和技术等多方面的权衡，并非一个简单的“升级”就能解决的问题。这背后涉及到的考量，可以从以下几个层面来细说：1. 垂直发射系统 (VLS) 的主流地位与优势：首先要明白，现代驱逐舰绝大多数都装备了垂直发射系统（VLS），而不是所谓的“.............
-
意志力这东西，就像我们身体里的汽油一样，不是无限的。用着用着，就没了，得补充。而且，这汽油也不是随随便便就能加满的，有时候得看路况，看驾驶技术，甚至看心情。为什么会这样呢？我跟你慢慢唠叨唠叨。首先，想想我们大脑。大脑这玩意儿，可不是一台简单的机器。它负责的活儿太多了，从呼吸心跳这种最基本的功能，到思.............
-
空腹吃维C，这事儿说起来，其实也没有那么玄乎，但确实有些门道需要讲讲。我认识的一个朋友，他特别注重养生，一天到晚维C不离手，结果有一次空着肚子就灌下去几片，后来就觉得胃里一阵翻腾，有点恶心，赶紧吃了点东西才缓过来。这事儿给我留下了挺深的印象，所以今天就想跟大家掰扯掰扯，空腹吃维C，到底有什么讲究。首.............
-
您提出的这个问题非常有意思，它巧妙地联系了人体细胞生命周期的限制和我们日常生活中对头屑的感知。下面我将详细解释为什么人体细胞分裂是有限的，而头屑却看起来是无限的。一、 人体细胞分裂的次数是有限的：海佛列克极限 (The Hayflick Limit)人体内的细胞并非永生不灭，它们的生命周期是有限的。.............
-
姜维在邓艾和钟会的死亡中所起到的作用以及他们之间的联系，是一个在三国历史中非常引人入胜但又略显复杂的话题。要详细解答这个问题，我们需要梳理历史的脉络，并区分历史事实和可能的推测。核心要点总结： 直接联系： 姜维没有直接导致邓艾和钟会的死亡。 间接联系： 姜维的战略行为和对蜀汉的忠诚，间接促成.............
-
理解这个问题，我们需要先明确几个关键概念：有限域、多项式以及根（解）。1. 有限域是什么？想象一下，我们日常生活中用的数字是无限的，比如整数、实数等等。而有限域，顾名思义，它是一个“小小的”、只有有限多个元素的数字系统。在这个系统里，加法、减法、乘法、除法（除了除以零）都跟我们熟悉的运算一样，但结果.............
-
“有限韩令”和“限日令”这两个说法，听起来似乎是对某种“限制”的描述，但它们指向的含义和实际情况，其实大相径庭。要理解为什么“有限韩令”的存在而“限日令”则没有（至少没有一个普遍被这样称呼和认知的具体存在），我们需要先梳理一下这两个概念的可能指向，以及它们背后所反映的现实。首先，我们来拆解一下“有限.............
-
要说有什么“高等数学”能让你在考研数一的战场上实现“降维打击”，这可不是随便哪个高深理论就能直接对号入座的。考研数一，本质上是对本科数学基础知识的全面而深入的考察，它包含高等数学（微积分）、线性代数和概率论与数理统计这三大块。所谓的“降维打击”，不是说你掌握了一个多牛的数学领域，然后就能秒杀考研题。.............
-
张维为教授的演讲《中国人请自信一点》是一个引起广泛关注和讨论的议题，其核心在于 呼吁中国人在面对西方强大话语权和文化影响力时，建立和提升民族自信心和文化自信心，并对中国的发展道路和制度优势进行辩护和肯定。要详细地评价这篇演讲，我们可以从以下几个维度进行分析：演讲的核心主张与论据：1. “中国模式”.............
-
天使投资和私募股权投资企业普遍采用有限合伙（Limited Partnership, LP）的企业架构，这背后有非常充分且深刻的商业、法律和税务原因。下面我将详细阐述这些原因： 核心原因概览简单来说，有限合伙制能够高效地满足投资机构（基金管理人）和出资人（投资者）各自的需求，并在法律、税收和运营层面.............
-
在量子力学的世界里，一个看似静态的“一维有限深势阱”或“势垒”，之所以会引入“入射波”、“反射波”这样动态的概念，这实际上是理解粒子行为的关键，也是它与经典物理最根本的不同之处。首先，我们要明白，量子力学中的粒子，不是我们日常生活中那个有确定轨迹的小球。 在量子层面，粒子本质上是“波粒二象性”的。也.............
-
维他奶退出国内市场？这消息要是真的，对于不少像我一样对牛奶不那么友好，却又热爱豆奶的人来说，可真是有点小打击。不过，好在咱们中国豆奶文化源远流长，市面上好喝的、健康的豆奶品牌也很多。就算维他奶不在了，咱们也能找到心仪的替代品。首先，咱们得明确一下，为什么维他奶这么受欢迎，咱们在找替代品的时候，也应该.............
-
为政府机构部署系统，确保IT运维不泄露用户数据，这是一个至关重要且极其复杂的问题。这不仅仅是选择一两个“产品”就能解决的，而是需要一个系统性的、多层次的、贯穿整个生命周期的安全保障体系。下面我将从几个关键方面，详细阐述我们可以考虑的产品和方案，力求做到具体、实用，并避免AI写作的痕迹。核心原则：最小.............
-
利特维年科事件和近期发生在某地的间谍父女被暗杀事件，虽然都牵涉到情报活动和暴力死亡，但两者在 动机、手段、影响范围和国际反应 等方面存在显著差异，深入剖析这些不同点，有助于我们更清晰地理解这些事件的本质。一、 利特维年科事件：一个难以磨灭的“毒杀”烙印亚历山大·利特维年科，这位前俄罗斯联邦安全局（F.............
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 tinynews.org All Rights Reserved. 百科问答小站 版权所有