|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
从数学的角度,提供一个形象有趣的解释。理解傅里叶变换的钥匙是理解基♂,它能让你重新认识世界。& f2 W3 E9 K: \/ K- P% M# S2 N5 U7 [9 W
B: g8 A0 U7 `+ e4 u( k# B k; g6 H! [! I7 _+ M
1. 什么是基?9 K* M* f( B" }' r, V) \
& l" w3 h/ s5 r2 b- P. M, J3 S( ^5 U8 n" C4 G" K+ C0 G3 `) E% p2 t U) ]9 m
假设一个科研所有四个所长(一正三副),四个所长各司其职,把整个科研所的事物管理得井井有条。这四个所长,少一个,单位的工作无法顺利展开,多一个碍手碍脚事倍功半,他们四人一道就组成了科研所的一个“基”。3 g8 k/ k6 t0 A( E# V7 h/ m. x# U/ u5 u& y5 R
% l& ~& z: T6 R$ r% B( P
" k& @, O0 ]8 o# a( a0 N) m一个单位的基可能不是唯一的,四个人换换位置工作也能展开,调走一个人再换一个人来顶替,单位亦可以正常运转,但是4这个数是不能变化的(数学语言:空间的维数固定不变)。8 l0 p! q6 s/ c' Y' }
* I3 D$ S @; _, {总结:一组基,就是足够能描述、表达某类事物的最少的一小撮元素们。9 G5 o/ Q- s' x7 e4 v& U$ R- o& p! u( l, }* O. |
0 j# N: ]- s! g" q- T
9 E. I+ M) g2 s# V5 c% V+ S: D2. 基只有一种形式吗?0 w3 ?7 {$ o# i. t9 w; f( T3 e! }# k# [$ I1 t7 ^5 W) ?
" S: B: k5 z9 G9 {% T* `& X8 z
# B- l- h7 ?. |& s4 u我们把科研所的日常事务换成感情,把四个所长换成语言字典重新来叙述。) v: ]: |& { G# N/ _4 _0 ~- d: o4 i6 y
9 f; A+ R9 _9 t
假设你爱上了一个人,需要向她表达感情。这时就需要一套表达感情的工具——语言。如果使用汉语,你可以说“我爱你”,如果使用英文,你可以说“I love you”。汉语的所有词汇构成了一个集合,英语的所有词汇也构成了一个集合,它们都可以描述感情、感觉、事物和知识,它们是两套不同的描述系统,分别有自己的基。4 `2 z5 h Z Q# B& D& L
: `. W/ y) q' N8 r( O0 G
/ e2 ^5 G( N- r6 T0 Z总结:描述事物的基可以有很多套。( l3 x) c$ H g: R! q2 q( ^( b
: X$ ^8 ^" i/ ]% s# j" t
3. 如何构造一组基?9 N- G& Y/ z0 `) t7 g0 A4 |# d
$ S: U* _9 t' M; T* P, ]& Q9 S# ~7 a" j- B1 a6 t" w
汉语的词汇量很大,有很多重复意义的词,比如我爱你就可以重新表述为:“俺爱你”,“我爱侬”,“我想和你困觉”等等。我们把汉语词汇中所有同意的词只保留一个(数学语言:使线性无关),留下来的词汇量较少的词典就是汉语的一个基,里面的每一个词被称作基函数。它的特点是:所有汉语能描述的思想都可以用从这个较小的词汇本中挑出的一些词汇(基函数)经过精心安排(加权相加)来描述,并且只有一种描述方式(数学语言:若基固定,则对应系数/坐标确定),因为我们已经去掉了所有冗余的、近似的词汇,因此不存在一个事物在一个基下有两种不同表示法存在。
1 Z9 s( ]9 n& t6 D) f+ ?. g, A( S0 D, @
总结:一套基中的元素很多,足够描述事物,只要从中挑出一些你需要的,按某种方式组合在一起即可,一套基中的元素很少,以至于这种描述事物的方法是唯一的。8 R7 s! A# h/ ~" ~: G1 J9 m3 A9 H% a' v/ i; c- f4 [. V# q
3 i6 s9 @: o* o ~1 [; F; ]. k, O& {% h. j7 T
4. 不同基之间有什么联系?, `3 M9 o% M0 A
- c8 r6 [ D! K. ?4 u6 o. }# i5 M$ Z$ \6 q4 l: M8 ^
7 O3 L9 x2 Z: c- K0 p给定两个不同的语言,给出两个不同语言的小字典(两组基),我们都可以分别用唯一的方式表达同一思想(函数、点),这两种表示法之间可以相互转换(数学语言:坐标变换)。“I love you”和“我爱你”可以相互转化。. {( ^4 X' P' G0 O: j4 v! I# K- r: _1 \6 ?% @
# f- l* s0 B1 }) [, z! Y
总结:给定一个基,我们就可以用这组基表达事物,也可以用它来翻译用其他基描述的事物,不同基下的表示可以相互转换。
! k7 r4 Y$ |+ ?5 g0 z0 j/ L0 e- m% S) h- ]
4 H8 A; N9 B5 P3 v5. 什么是傅里叶变换?0 M+ @. H( l+ m# f- ~; t$ m' q- H$ E
3 }7 K+ E9 d i/ y, t9 b
4 J5 s; F) ?" Y! F1 F大家还记得三角函数sin和cos吗,就是那种波浪形状的函数,一个波浪的的宽度可以是不同的,既可以像跳大绳一样宽,也可以像电炉丝一样窄(数学语言:频率不同)。把这些三角函数放到一起组成一个字典,就恰好是连续函数的一组基:任何一个连续函数,都可以唯一表示成一群三角函数相叠加。然而每个三角函数的分量有轻有重,相加的时候有的要拉高点,有的要压低点,有的干脆不用(数学语言:加权系数不同)。到底是哪些三角函数呢,各个三角函数的分量如何呢?找到它们的过程,被称为傅里叶变换。$ @7 l: A' \( s' L8 o
/ d, [7 s1 P) c7 x: b+ u6 H7 F
举几个例子:- J- b7 U( E, I# [, Q2 |7 I
4 D' A1 A1 k4 \, S. _
& D' q' A- l0 G& U: J下面两个图,左上角是某个函数(信号)的样子,它等于1000个震荡的三角函数相加,中间一列从下往上是这1000个三角函数中第0、1、2、3个,以及中间6、30、160、800个相加的样子,注意好几个三角函数加在一起就不再像是三角函数了。右边一列从下往上是把这些三角函数叠加在一起,1000个加在一起和原函数完全一样,但是前40个三角函数函数加在一起和原函数已经很相似了。1 H$ o: k) p4 q Y Z5 L5 X
5 D" S1 v% M" G$ i9 t" Y从这几个例子可以看出,把一系列震荡的三角函数按照傅里叶系数(权值)进行缩放再加起来,大概40个三角函数加到一起,就和原来的函数长得差不多了,无论原来的那个函数长的有多么奇特。因此我们说:蚂蚁也能撼大树,三角函数多了加到一起,多奇怪的连续函数我长的都能和你是一个样。+ _- i' O7 ^" z% `6 |" i+ q( d
: V+ m* Y4 {3 n* j; ?
( N) N2 D& t# a8 B4 B7 K0 F P
+ J- E ] F& a7 m
4 {, Z' Q9 V7 Y+ j j0 w' b- q% [5 M6 T
5 W# @* `( J( {8 d4 m
* Y) n; t3 k: K' R* T7 S9 Z) ~! T3 d- T! @1 d6 {0 u' ]. b
总结:给你一个函数,找到它的傅里叶变换,就是找到一堆系数,每一个系数对应一个不同频率的三角函数,这些三角函数分别按各自的系数改变振幅(数学语言:确定坐标),然后叠加在一起,恰好就与原来那个函数相等。4 X1 _% I/ W2 q! U
}8 u2 T1 v/ \7 G: [" o0 Z% v0 o& F/ V8 j
( a) U5 e' S7 G3 X8 e+ _' u因此,四个处长是一组基,能维持一个单位的运转,处理各种问题;
8 e: ^6 v6 W! U9 v8 P
7 m( ^' A3 f1 ]一套简化的汉语词典是一组基,什么样的情感它都能找到唯一的表达语句;- r+ g0 [% P" b) }
0 K3 X; \. ` c- k6 C
! w. }9 f! H0 R, ?一堆三角函数是一组基,什么样的连续函数都可以用一大堆三角函数叠加获得,找到这种表示的过程叫做傅里叶变换。" o- U8 H9 x, W% h5 v* L/ i& @
2 @% Z8 X& |0 d- Z
9 I e% G$ n0 b" d6. 傅里叶变换有什么用?) M3 Y2 g. G; c% k3 J! \% M2 b" A' p, o1 {
' X2 I" P6 d3 d. Q9 D7 O( U" v+ f* n/ b- i1 `! y
摆弄一系列三角函数,让这个多点那个少点,有一个酷炫的名字,叫“频域处理”,1 M+ x4 i/ r* l" g4 v& K
5 z1 D( K& w' W6 [/ s% p; ]& g, e1 G( a& ~4 `: ?
/ _( R0 c v6 v, X* Z5 Z" k. j你去了美国,不知道白宫怎么走,你问翻译:白宫怎么走?
" f0 Y( a" N4 W7 \' a9 T) J. `9 p6 p. h! C3 \: U" E+ J* y9 [
翻译跑到街上问美国人:Where is the White House? 这叫傅里叶变换。% N" L: a: |# O+ P
% p& k8 M/ v ]) o
$ T/ q( q* E Z* `6 [: B* s6 N美国路人说:“go straight and turn right”。这叫频域处理。2 G* G3 v8 m& s9 ~
: X3 J7 v6 N0 n7 K0 z! {5 Y0 w8 m2 p: x a* Y( O! ?; m, q1 j7 P1 Q4 \# {
翻译听完给你说:直走,右拐就到了。这叫逆傅里叶变换。( L. ]& t& h8 e- w) u
T* f& i$ X$ E1 {7 P! v( L* f8 t% ^
) U: i3 U& }- H) u" v总结:傅里叶变换的作用,就是把一个函数或者信号在三角函数基下转化为一堆系数,摆弄这些系数、实现一定功能有时比直接摆弄原信号方便,最后再做个逆傅里叶变换,信号就得到了某种处理。2 B; {0 U0 @, y5 \ P$ B5 _' }8 b' O8 O2 N$ f
% a. D% ] ^" L/ U0 Z" f# ]. o' g4 F
7. 傅里叶变换与压缩、简化表示
) X% \' T% c- _7 Z/ N/ @ Y6 {7 V" y8 u7 C# d2 n9 u6 L+ _& X7 o" A
从第5小节我们知道了基变换的一个用处:压缩信号。原始信号需要用1000个点来表示,但是其实只需要40个三角函数系数就可以表示出大概。大家天天都会遇到的JPG图片就是干这个事的,一张800*600的彩色照片,如果保存成非压缩的BMP图像格式,需要占据1.4M存储空间,如果保存成JPG格式,大概50K就够了。JPG能压缩得这么厉害,诀窍就在于它用了一组特别的基(小波基),使用特别少的基函数就可以把原始图像表示得八九不离十,在这里频域处理就是把绝大多数基函数前面的系数直接置0。为什么能这么干呢?因为小波基有很强的表达能力,我们总能选取极少的几个小波基函数就能拼出任意一个给定的图像的大概,然后即使抛弃剩下那些大量边角料,也不太会对视觉效果造成什么影响。9 g2 I! j8 k* o* ~) d1 ], I
- V$ Y5 r: m" C( S( b+ ` c. c6 i' R% d4 E) u$ K7 \
: W7 `- `' s7 V% K说到这里你肯定一头雾水,咱们再来做个类比来说说基的压缩能力。想象这样一个故事:女主角出生在孤儿院,和男主角相遇但是被抛弃,生下一个女儿,她后来做了个变性手术,穿越回到过去和还是女儿身的自己啪啪啪,带着女儿再次穿越到自己被收养时的孤儿院把婴儿抛弃在那。7 h# ]5 b3 v1 U0 u& ~- |7 v
; {- m. K1 ~0 [* M如果你缺乏语言能力,比如你是一条狗,你怎样让另一条狗理解孤儿院、男、女、啪啪啪、抛弃、爱情这些真实世界中极度复杂的概念?你能做的最好的重述就是雇一男一女和一个时光机,把故事演一遍,对方还不一定能懂。语言能够在短短的一段话里就描述出这一个复杂的故事,因为它抛弃了大量细节,只保留最重要的信息:如果说真实世界每一个对象(物体、故事、情感)是一个函数,那么语言就是一组新的基,在这组基下,每一个基函数(词汇)都具有高强的描述能力,复杂的对象可以用聊聊几笔进行描述、压缩、传递,让人类能够高效地交流,快速地学习。, ?4 N$ g2 a+ z' |3 Z5 d) A; R; W4 U! _
4 J; |2 f) F4 `7 p' s# M" w一个海岸有多少粒沙子?多少滴海水?一幅800*600像素的图像就能捕获你在海边嬉戏的靓影,只用了48万个基函数,如果你用JPG格式存储,调动的基函数还会更少。普通非压缩位图数字图像的基函数长的都一样:在一颗像素是白色(1),在其他所有像素都是黑色(0)——一个基就是一根孤零零的矩形棍子,其对应的系数就是对应像素的颜色值,真彩色的系数有约1600万种。- l% _$ G$ a2 d' |8 g" d2 I/ {
q) o7 M) @- A& h! G0 ?$ o. D2 I5 z0 q* d& q* i
' [ K8 p9 g" `, l
/ K' D0 u$ x; \9 }1 Q# X# t6 S+ ?! j' U/ T5 {! ^1 _8 b
# g J1 _: H. t! B5 V$ W7 }
3 U4 f% W$ [9 H7 g, m傅里叶变换和这幅图中的变换非常类似,只不过基函数不是一颗像素,而是震荡的三角函数。所有三角函数Asin(ax+b)也可以由一个三角函数 sin(x)通过改变频率a,相位b和振幅A来获得,这种情况很有意思:一组基中所有的基函数都是由一个基函数进过简单地平移、拉伸或改变振幅获得。它的实质是另一种意义上的压缩:我们用一个基函数(数学语言:母函数)通过简单形变来生成其他基函数,再用它们一起表示更复杂的元素。我们不需要拉来一头牛一只羊来表示这里有一头牛一只羊,我们只需要用许多个基本元素,每一个都差不多,就能近似表示复杂的场景。这一思想的一个有趣的应用是游戏 Minecraft,在这里基函数是一些等大立方体块,把它们拼在一起则组成了复杂世界的近似。/ f1 \( m0 A& B, L3 X/ U' p n9 C: o) Y5 M
; {& k% D. u7 t* Z3 f/ B
0 N( ~ G& T' Y2 t/ |9 G2 ?4 a5 T6 W0 W) i+ \1 I' E) @
. U W4 M( J5 G& y" m- a2 [2 L- X8 l8 [5 k* m2 T& f: m, M: C
' t- Q/ i! V+ ]- [
7 K' t4 _% W: O- r) E这个图和上面用40个三角函数近似一维信号、一堆像素近似二维物体是完全类似的,这里是用立方体近似三维世界。同样是对真实世界的近似描述,我们可以用一堆抽象词汇、用像素、用立方体块,也可以用三角函数形状的“块”,使用彼此近似但略微不同的基函数,我们就可以对无比复杂的真实世界的对象进行压缩、近似。三角函数基唯一的奇怪之处在于它是震荡的,看着不萌。
, ^/ X; w6 D! v% o, {$ g H4 g8 k0 j; p! Y9 a7 ]& [; j" {! N
压缩的缺点是无法反向恢复,可以从一幅图像变换到另一幅,但是不能从一幅图像恢复真实世界。但是没人想捧着真实世界,人们需要的恰恰是对真实世界的高度凝练地表示。0 y4 Y! b( `* F& U; Q# t. `& G: s) D- r# [1 @
* V" I/ V3 R* o$ [" N$ V" P
0 ^$ y9 t6 u# K1 @, X7 t8. 频域处理能干啥?( n) X! [# t6 |: t2 W+ o; A
8 E6 B i& \# I" d7 i- d, N2 P( o如果你不懂英文,一个妙龄少女对你说:Hi. I love you. Are you free tonight?你会回复她:姑娘你能不能不要说鸟语?滚回美帝玩泥巴吧。如果你懂英语,就会发现姑娘说的东西其实是有某种意义的,可以进一步处理。; x" _: z$ H0 E6 F; n( W% m9 k1 k; M
. I0 x* c/ y, G3 Y. x6 Y) ?3 n. ]. E6 c5 K9 [: v" C6 P
在某些领域,傅里叶变换后的系数非常有用,我们前面已经举了傅里叶变换能够压缩数据的例子,下面再举几个其他例子。为了显示方便,举一个二维的例子,见下图:; v5 O4 @+ l1 s2 o, F8 n4 @. \- q: N' R6 P1 J% Z7 d- D7 S/ v
5 M* K! R# X# n6 c, W: X+ f$ T0 C: f+ G5 c" ~2 J
9 U" Y$ Q* P. Z; F+ o; `, J/ d- X v* O* l- D3 {4 |
6 G8 u; P- A/ k0 y2 U. m \4 H$ [
- r# c$ F) t' M# ?! v5 K6 S+ W* r5 g% x* q0 G1 v* ^" }
原始图像中含有噪声,因为噪声往往是细小的雪花点,属于图像高频分量,因此我们把图像首先做傅里叶变换,然后把变换后的三角函数前的系数中属于高频的部分全部去掉(置0),然后再做逆傅里叶变换,我们发现图像中的细节(噪声点)减少了。这就是频率域去噪的基本原理。1 T# u1 V: v4 o2 ]5 p/ {
9 ~: f% u0 K9 E$ j2 O$ L在音频处理中,不同人对于同一个音节发出的声音,其傅里叶变换后的系数是不同的,并且可能每个人的模式是稳定的,就像指纹一样,那么傅里叶变换后的系数就可以来识别、合成某个人的声音,把某个人的发音中的某些系数进行调整,就变成了另一个人发音;所有人对于不同词汇的发音的傅里叶变换系数也可能具有某些固定模式,利用这些模式可以发展声音的理解技术,比如Siri。现在政府监督电话敏感词,再也不是找接线员一个个听了,而是用电脑自动监听,如果发现某人的通讯中敏感词频率较高,再派专人处理。& j3 n" r* _) z% e* o+ a4 k8 |7 M; r) u* a/ d4 g/ B
5 }. ^; J3 [( R& \7 \) L( t. M
9. 还有哪些基我们可能听过,但是不曾认识到?$ w" { R. V( d6 |5 }3 S$ d" L: ^, q7 b% Y$ X- D' T
g# E5 |2 u2 L! J9 F多项式基:多项式多了,啥稀奇古怪的函数都能表示,不信你试试泰勒展开式有多好用就知道了。. X3 Y' E4 p; \# S" l: R2 ~4 B" ^; i) x! N C) @2 ?, N8 j; b
5 N8 s) Y. G$ c* ^- z
小波基:傅里叶基(三角函数)的改进,可以进行局部控制。8 c0 v; w( Z0 Y9 _% i- t9 I8 y
% E. p+ Q+ F# Z0 F. v+ B* w( {
6 ^6 F+ |4 _' o2 d% A8 ~$ PB-样条基:多项式基的改进,可以进行局部控制,画家画画用的就是这东西。
5 j& r, G6 k+ E! }1 N2 e1 C
8 I9 m0 [# g& j5 o$ r: H9 z一幅800*600的图像,我们既可以认为它是一幅抽象的图像,也可以认为它是一个由800*600个基函数(一个基函数是某一颗像素值为1,其他所有像素值为0的图像)进行加权相加获得的一个坐标表示。 D
3 X1 k$ Y) p+ U0 ^4 v; r' t" Y |
|