使用联想链条和几何直观,辅以从实际需求衍生概念的思考模式,详解什么是傅立叶变换,为什么要做傅立叶变换等,帮助记忆和理解,目的当然是标题所说:让你永远忘不了傅里叶变换这个公式。另,这篇博客还从侧面一定程度上回答了另一个问题:为什么要研究复数
本篇博客为形象展示傅里叶变换和欧拉公式与初等群论两个视频的笔记结合,希望通过此篇让所有读者对傅立叶变换有一个全新的认知。
知乎相关问题链接,小伙伴们求点赞!没有功劳也有苦劳啊!
欧拉公式与旋转
在开始一步一步接近【傅立叶变换】前,先说一下群论提前说明,此部分有地方会提到【群论】这个概念,但博主并不是要试图把什么环、域、向量空间、代数结构、线性代数群、李群等等一大堆很抽象的概念灌输给大家,我们只是为了利用群论的概念,加深或者说建立一个对【理解傅立叶变换】极度有帮助的直观概念:指数函数(逆操作对数函数同理)是加法和乘法运算的桥梁,在自变量包含复数时表示旋转。以具体的一个例子来说:
e^(πi)表示的是在单位圆上逆时针在旋转180°这个变换。等等,这不是排行世界上最伟大的十个公式第二名的欧拉公式(上帝公式)嘛?(BTW,我们今天的主角【傅立叶变换】排行第七,这阵容着实强大)
是的,这第一部分,捎带,会带你更进一步的重新认识这个公式的伟大
对称性 symmetry
首先,假设我们有以下陈述:正方形是对称图形那么从数学(定义 or 公式)角度上来说,怎么描述【对称】这个概念呢?我们作为【人】,肯定会想,不就是看着左右一样嘛?不够严谨,不够优雅,继续深入,可以这么考虑:你能对正方形做些什么,并且在这个操作后,保持正方形的形态和操作前相同我们把具有上述性质的操作都列出来,放在mi一起,如下面动图所示(左右旋转90°,旋转180°,四个轴对称,不变,这八个操作),就构成了一个有限群【对称群】,更专业的叫法是【八阶二面体群 Dihedral group of order 8】
有了上面的直观理解,还有一个无限群需要了解,即【旋转群】,表示的是所有旋转操作,当然,因为角度可以无限细分,这个操作也是无限的,比如:顺时针旋转
此时,能总结出一个巧合的现象,按照顺序进行上面8个操作的某两个,恰好等同于8个操作中的其他的某一个(旋转群同理),如下面的动图所示,把这些组合放到一起,才真正的表达了【群】这个概念
很多不同的概念都能从对称性和对称性的符合构建得到,如下图所示,其中,数字本身有两种表达方式(操作),加法和乘法
对于【数】这个集合来说,加法对应数轴的平移变换(一个操作),乘法对应着数轴的伸缩变换(一个操作)把这个数轴的概念拓展到平面坐标系,1D ➜ 2D。如果我们要把一个点,比如(1,0)移动到另一个点,应该如何操作?简单的说,只需要先在横轴方向上平移,再在纵轴方向上平移即可(核心思想类比于正方形的几个操作)同理,除了平移外,使用伸缩加旋转也可以完成同样的事情(将任意一点移动到另一个位置),伸缩是乘法显而易见,但是旋转怎么表示呢?(当然直接改变坐标轴的定义也是能做到的,例子就是极坐标系,但我们并不想这么做),我们构造以下思考链条:
- 考虑一个特例操作:一个点变到另一个点:(1,0)通过伸缩和旋转到(-1,0),长度不用变,只需旋转即可
- 此时,注意到了一个形式很有特点的定义:
,-1 就是我们需要的目标位置,那如何从(1,0)出发进行两次同样的操作可以得到(-1,0)呢?(这个操作即 ii 这个虚数单位定义的操作)答案即:一个单位 ii 表示旋转90°即可
- 更意外的发现,进行一次 ii 操作,如果是逆时针旋转90°,正好会落在二维平面y轴的(0,1)与单位长度不谋而合
- 更大胆的假设,如果y轴自带虚数单位,如
,就有旋转操作了,是不是就就能通过乘法来描述处在这个平面上的所有变换了
以上都是假设和推理,剥丝抽茧后,最关键的部分:如何使用单位 i 表示逆时针旋转90° ,并且给出了一种可能的映射规则,x轴平移表示伸缩,y轴平移表示旋转,这样就可以保证群的特性?(几种操作一定可以组合成其他某个操作,有一个学名:保持群结构)i 怎么可能表示旋转呢?怎么看都像啊,此时陷入了死胡同,不妨换个角度来思考,旋转到底是什么?旋转,是沿着一个圆弧(有圆心,转过的角度)运动的过程如果你对泰勒公式非常