范数通俗理解_分数范数-CSDN博客

作者：自由之畔
链接：https://www.zhihu.com/question/21868680/answer/389440726
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。

我也在找答案，目前我学到的是（这里先讲向量范数，不讲矩阵范数，但是大同小异，矩阵范数用得较多的也是从向量得到的诱导范数）：

所有人都说范数可以理解为在一个空间里两点的距离，或者说可以理解为向量的长度，当初听到这两句话，我就气不打一处来，因为这个回答实际上是完全没有把事情说清楚的。它反而令我更疑惑，计算一个东西的长度，难道不是首先看这个东西所在坐标系的维度，然后直接计算长度吗？而计算长度，从来只有平方和再开根，比如，在一个二维平面，一个向量的长度:

$a = (x_1^2+x_2^2)^{1/2}\ \ \ \ \ \ \ \ (1)$

（这里根号写成分数形式不耽误阅读吧）

同理，在一个三维坐标系，一个向量的长度：

$a = (x_1^2+x_2^2+x_3^2)^{1/2}\ \ \ \ \ \ \ \ (2)$

所以不管你向量是在多少维的坐标系里吧，总有：

$a =\sqrt{( \sum_{i=1}^{n}{x_i^2})}，x\in \mathbb{R}^n\ \ \ \ \ \ \ \ (3)$

对吧？所谓数学里的四维空间，无非也就是向量的下标写到4罢了，四维空间里的立方体是怎样的，可以看YouTube上一些相关视频，这里不再重复了。当然要注意这里说的是数学几何里的四维空间，不是爱因斯坦啊霍金啊说的四维时空，三维空间加一维时间那是物理学的事了，这里只说最最基本的数学逻辑。

所以上面的等式(1)放在小学平面几何，那不就是勾股定理嘛。

所以怎么又会出现范数是长度、范数是两点间距离的说法呢？什么又是范数空间呢？？为什么又会有范数互不相同的空间呢？？？

不善言辞的数学家们，永远不会用文科生的语言告诉你，其实这万恶的范数源于这么一个脑洞，那就是：为什么一个向量在一个空间里的长度表示一定要是平方和再开平方根呢？？？如果按照简单的数学逻辑做一个人为的扩展，我一个向量的长度为什么不能表示成立方和再开立方根呢？比如说：

$a =\sqrt[3]{( \sum_{i=1}^{n}{x_i^3})}，x\in \mathbb{R}^n\ \ \ \ \ \ \ \ (4)$

甚至我再扩展，我有一个向量， $x=\{x_1,x_2,x_3...x_n\}^{T}$ ，我偏要定义在一个非常神奇的空间里，它的长度非要这样才能算出来：

$a =\sqrt[p]{( \sum_{i=1}^{n}{x_i^p})}，x\in \mathbb{R}^n$

用更好看的写法，分数代替掉根号，同时用范数规定的符号代替字母a： $\| x \|_p =( \sum_{i=1}^{n}{x_i^p})^{1/p}，x\in \mathbb{R}^n\ \ \ \ \ \ \ \ (5)$

这个就是范数了。用汉语说，就是按照小学几何计算平面长度时的这句话“边长各自的平方，求和，再开平方根”，人为扩展成为：“边长各自的次方，求和，再开次方根”。

但是！满足后面这句话的长度的这种向量，不存在我们现在这个现实世界，在我们这个现实世界里，我求一亩三分地直角三角形的一些性质时，第三条边长和另外两边关系确实是通过2次方求得的，而不是什么鬼次方。一个直角三角形两边分别长2米，那么第三边测量出来就是2又根号2米。

我们这个现实世界（先不说球面，就说最简单的平面），符合的是“平方求和再开根”，实际就是符合范数为2的空间，这种带有范数的空间，又叫做赋范空间，我们用到烂的空间其实就是范数2空间，又叫欧几里得空间，我自己私下叫它赋2范空间。范数为1的空间，又叫做曼哈顿空间。

所以，向量的维度（数学语言 $x\in\mathbb{R}^n$ ）实际上是用来在一个特定空间里表达这个向量的。用数学家的话说，就是空间的基底就完全描述了在这个空间里面的向量了。那么空间的范数（数学语言就是上文说的 $\| x \|_p$ ），也可以按照这个思路理解，它实际上不是用向量的集合来描述空间了，而是从另一个更加底层的角度看待空间，看待我们的世界。我们就活在一个具有范数2的空间的世界里。所以范数虽然从向量出发定义，但是实际上它其实是跟空间相关的，向量的范数其实是这个向量在不同空间下的长度的计算方式。

比如同样一个三维向量，在欧几里得空间里的长度就是我们熟知的平方求和再开根号，实际就是上面的式子（2）嘛：

$\|x||_2 = (x_1^2+x_2^2+x_3^2)^{1/2}\ \ \ \ \ \ \ \ (2)$

但是在一个范数为3的空间里，这个向量的长度就不再是平方和开根了，而是立方和开立方根：

$\|x||_3 = (x_1^3+x_2^3+x_3^3)^{1/3}\ \ \ \ \ \ \ \ (7)$

特别特别要注意的是，范数为0时，由于 p=0 ，在数学上一般定义任何实数的开零次方根得等于1，那就没什么实际意义了，所以人们又定义0-范数：

$\|x\|_0 = \#(i|x_i\ne0)\ \ \ \ \ \ \ \ (8)$

意思是这个向量里非零元素的个数。

最后，题主问的：范数对于数学的意义，范数其实就是从数学本质上描述了“什么叫空间”，它不再是我们日常生活对话里的“空间”了。它从更深刻的角度来洞察我们这个世界，下次你一看到空间，你一给你家装修，搞空间艺术，你是不是马上就会想到，我们搞的是范数2空间，会不会在那么一个平行宇宙，那里的人搞空间艺术，要考虑的却是范数3的空间呢？

至于怎么用，老实说，我也不知道！数学这个工具，现在的发展已经大大超前于人类实践了，变得越来越抽象，找不到生活中对应的直观的东西来做参考，数学真的太深了！我一个文科生，学这个，学到吐血了，才弄懂那么一点点数学家们是怎么想问题的。目前的应用，大多数就是用来矩阵运算，各种优化算法，人工智能呀自动控制呀研究算法的时候，有一些问题可以简化抽象成各种赋范空间里的问题，从而研究出算法。