关于范数的介绍

作者:Faaany
链接:https://www.zhihu.com/question/21868680/answer/136376374
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

 

要更好的理解范数,就要从函数、几何与矩阵的角度去理解,我尽量讲的通俗一些。
我们都知道,函数与几何图形往往是有对应的关系,这个很好想象,特别是在三维以下的空间内,函数是几何图像的数学概括,而几何图像是函数的高度形象化,比如一个函数对应几何空间上若干点组成的图形。
但当函数与几何超出三维空间时,就难以获得较好的想象,于是就有了映射的概念,映射表达的就是一个集合通过某种关系转为另外一个集合。通常数学书是先说映射,然后再讨论函数,这是因为函数是映射的一个特例。
为了更好的在数学上表达这种映射关系,(这里特指线性关系)于是就引进了矩阵。这里的矩阵就是表征上述空间映射的线性关系。而通过向量来表示上述映射中所说的这个集合,而我们通常所说的基,就是这个集合的最一般关系。于是,我们可以这样理解,一个集合(向量),通过一种映射关系(矩阵),得到另外一个几何(另外一个向量)。
那么向量的范数,就是表示这个原有集合的大小。
而矩阵的范数,就是表示这个变化过程的大小的一个度量。

那么说到具体几几范数,其不过是定义不同,一个矩阵范数往往由一个向量范数引出,我们称之为算子范数,其物理意义都如我上述所述。

以上符合知乎回答问题的方式。

接下来用百度回答方式:

0范数,向量中非零元素的个数。

1范数,为绝对值之和。

2范数,就是通常意义上的模。

无穷范数,就是取向量的最大值。

具体怎么用,看不同的领域,看你来自计算机领域 用的比较多的就是迭代过程中收敛性质的判断,如果理解上述的意义,在计算机领域,一般迭代前后步骤的差值的范数表示其大小,常用的是二范数,差值越小表示越逼近实际值,可以认为达到要求的精度,收敛。

 

 

总的来说,范数的本质是距离,存在的意义是为了实现比较。比如,在一维实数集合中,我们随便取两个点4和9,我们知道9比4大,但是到了二维实数空间中,取两个点(1,1)和(0,3),这个时候我们就没办法比较它们之间的大小,因为它们不是可以比较的实数,于是我们引入范数这个概念,把我们的(1,1)和(0,3)通过范数分别映射到实数\sqrt{2}和 3 ,这样我们就比较这两个点了。所以你可以看到,范数它其实是一个函数,它把不能比较的向量转换成可以比较的实数。
在上面的例子里,我们用的范数是平方求和然后再开方,范数还有很多其他的类型,这个就要看具体的定义了,理论上我们也可以把范数定义为只比较x轴上数字的绝对值。

PS:我这里说的是向量范数。;)

 

什么一范数二范数也是用来度量一个整体,比如两个个班的人比较高度,你可以用班里面最高的人(无穷范数)去比较,也可以用班里所有人的身高总和比较(一范数),也可以求平均(几何平均?忘记了。。)(类似二范数)。

举一个简单的例子,一个二维度的欧氏几何空间 R ^2就有欧氏范数。在这个向量空间的元素(譬如:(3,7))常常在笛卡儿坐标系统被画成一个从原点出发的箭号。每一个向量的欧氏范数就是箭号的长度。

<think>好的,我现在需要帮助用户了解矩阵范数的概念和计算方法。首先,我得回忆一下矩阵范数的基本定义以及常见的几种范数类型,比如1-范数、无穷范数、谱范数(2-范数)和Frobenius范数。根据用户提供的引用资料,特别是引用[3]和[4],里面提到了这些范数的具体计算方式,所以我需要确保信息准确,并且正确引用这些来源。 接下来,用户可能希望知道如何计算这些范数,所以需要给出每个范数的定义和示例。比如,1-范数是列和的最大值,无穷范数是行和的最大值,谱范数涉及特征值的平方根,而Frobenius范数是所有元素的平方和的平方根。同时,用户提供的引用中有Python代码示例,例如引用[2]中的spectral_norm函数使用了特征值分解,而induced_norm调用了NumPy的norm函数。我需要确保示例代码正确,并且符合用户提供的参考资料。 另外,用户的问题中还提到了生成相关问题,我需要根据矩阵范数的内容提出相关问题,比如不同范数的应用场景、计算中的数值方法、与向量范数的关系等。这些问题应该能够帮助用户进一步深入学习。 需要注意的是,所有数学表达式必须用$...$或$$...$$格式,并且正确使用LaTeX语法。例如,谱范数的定义应该写成$$||\mathbf{A}||_2 = \sqrt{\lambda_{\max}(\mathbf{A}^\top \mathbf{A})}$$,并引用对应的参考文献[^3]和[^4]。 在结构上,应该先介绍矩阵范数的定义,然后分点列出各种范数的计算方法和示例,接着给出Python代码示例,最后生成相关问题。确保每个部分的引用正确,例如在提到1-范数时引用,在谱范数时引用[^3],在代码部分引用[^2]。 最后,检查所有内容是否符合用户的要求:使用中文、LaTeX格式正确、结构清晰、引用正确,并且生成了相关问题。同时,避免使用任何Markdown格式,保持自然的口语化表达,但不需要在最终回答中体现思考过程。</think>### 矩阵范数的定义与计算方法 矩阵范数是衡量矩阵“大小”的数学工具,满足非负性、齐次性、三角不等式等性质。以下是常见的矩阵范数定义及计算示例: #### 1. **1-范数(列和范数)** - **定义**:取矩阵各列元素绝对值之和的最大值 $$||\mathbf{A}||_1 = \max_{1 \leq j \leq n} \sum_{i=1}^m |a_{ij}|$$ 示例:矩阵 $\mathbf{A} = \begin{bmatrix} 1 & -2 \\ 3 & 4 \end{bmatrix}$,列和分别为 $|1|+|3|=4$ 和 $|-2|+|4|=6$,故 $||\mathbf{A}||_1 = 6$。 #### 2. **无穷范数(行和范数)** - **定义**:取矩阵各行元素绝对值之和的最大值 $$||\mathbf{A}||_\infty = \max_{1 \leq i \leq m} \sum_{j=1}^n |a_{ij}|$$ 示例:上述矩阵 $\mathbf{A}$ 的行和分别为 $|1|+|-2|=3$ 和 $|3|+|4|=7$,故 $||\mathbf{A}||_\infty = 7$。 #### 3. **谱范数(2-范数)** - **定义**:通过矩阵 $\mathbf{A}^\top \mathbf{A}$ 的最大特征值的平方根计算 $$||\mathbf{A}||_2 = \sqrt{\lambda_{\max}(\mathbf{A}^\top \mathbf{A})}$$ 示例:若 $\mathbf{A}^\top \mathbf{A}$ 的最大特征值为 $\lambda_1$,则 $||\mathbf{A}||_2 = \sqrt{\lambda_1}$[^4]。 #### 4. **Frobenius范数** - **定义**:所有矩阵元素的平方和的平方根 $$||\mathbf{A}||_F = \sqrt{\sum_{i=1}^m \sum_{j=1}^n |a_{ij}|^2}$$ 示例:对 $\mathbf{A} = \begin{bmatrix} 1 & 2 \\ 3 & 4 \end{bmatrix}$,$||\mathbf{A}||_F = \sqrt{1^2 + 2^2 + 3^2 + 4^2} = \sqrt{30}$。 --- ### Python计算示例 ```python import numpy as np A = np.array([[1, -2], [3, 4]]) # 1-范数 norm_1 = np.linalg.norm(A, ord=1) # 输出6.0 # 无穷范数 norm_inf = np.linalg.norm(A, ord=np.inf) # 输出7.0 [^3] # 谱范数(2-范数) norm_2 = np.linalg.norm(A, ord=2) # 计算最大奇异值 # Frobenius范数 norm_fro = np.linalg.norm(A, ord='fro') # 输出sqrt(30)≈5.477 ``` ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值