-
Notifications
You must be signed in to change notification settings - Fork 2
/
math.html
397 lines (319 loc) · 80.5 KB
/
math.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
<!DOCTYPE html>
<!-- saved from url=(0156)http://127.0.0.1:8080/%E9%BA%BB%E7%9C%81%E7%90%86%E5%B7%A5%EF%BC%88MIT%EF%BC%89%E7%89%9B%E4%BA%BA%E8%A7%A3%E8%AF%B4%E6%95%B0%E5%AD%A6%E4%BD%93%E7%B3%BB.html -->
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<script type="text/javascript">
window.logs = {
pagetime: {}
};
window.logs.pagetime['html_begin'] = (+new Date());
</script>
<script type="text/javascript">
var page_begintime = (+new Date());
var biz = "MzA3NDM1NjUwMQ==";
var sn = "0a315b9503d80621650b2c48c3cce185" || "";
var mid = "401361839" || "";
var idx = "1" || "" ;
//辟谣需求
var is_rumor = ""*1;
var norumor = ""*1;
if (!!is_rumor&&!norumor){
if (!document.referrer || document.referrer.indexOf("mp.weixin.qq.com/mp/rumor") == -1){
location.href = "http://mp.weixin.qq.com/mp/rumor?action=info&__biz=" + biz + "&mid=" + mid + "&idx=" + idx + "&sn=" + sn + "#wechat_redirect";
}
}
//原创需求，需要跳转到中间页
/*
var copyrightInfo = {
display_source : ""*1,
nocopyrightsource : ""*1
};
if (!!copyrightInfo.display_source&&!copyrightInfo.nocopyrightsource){
if (!document.referrer || document.referrer.indexOf("mp.weixin.qq.com/mp/reprint") == -1){
location.href = "http://mp.weixin.qq.com/mp/reprint?action=info&__biz=" + biz + "&mid=" + mid + "&idx=" + idx + "&sn=" + sn + "#wechat_redirect";
}
}*/
</script>
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width,initial-scale=1.0,maximum-scale=1.0,user-scalable=0">
<link rel="dns-prefetch" href="http://res.wx.qq.com/">
<link rel="dns-prefetch" href="http://mmbiz.qpic.cn/">
<link rel="shortcut icon" type="image/x-icon" href="http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/images/icon/common/favicon22c41b.ico">
<meta name="apple-mobile-web-app-capable" content="yes">
<meta name="apple-mobile-web-app-status-bar-style" content="black">
<meta name="format-detection" content="telephone=no">
<script type="text/javascript">
String.prototype.html = function(encode) {
var replace =["'", "'", """, '"', " ", " ", ">", ">", "<", "<", "&", "&", "¥", "¥"];
if (encode) {
replace.reverse();
}
for (var i=0,str=this;i< replace.length;i+= 2) {
str=str.replace(new RegExp(replace[i],'g'),replace[i+1]);
}
return str;
};
window.isInWeixinApp = function() {
return /MicroMessenger/.test(navigator.userAgent);
};
window.getQueryFromURL = function(url) {
url = url || 'http://qq.com/s?a=b#rd'; // 做一层保护，保证URL是合法的
var query = url.split('?')[1].split('#')[0].split('&'),
params = {};
for (var i=0; i<query.length; i++) {
var arg = query[i].split('=');
params[arg[0]] = arg[1];
}
if (params['pass_ticket']) {
params['pass_ticket'] = encodeURIComponent(params['pass_ticket'].html(false).html(false).replace(/\s/g,"+"));
}
return params;
};
(function() {
var params = getQueryFromURL(location.href);
window.uin = params['uin'] || '';
window.key = params['key'] || '';
window.wxtoken = params['wxtoken'] || '';
window.pass_ticket = params['pass_ticket'] || '';
})();
</script>
<title>麻省理工（MIT）牛人解说数学体系</title>
<link rel="stylesheet" type="text/css" href="./math_files/page_mp_article_improve2a7a3f.css">
<style>
</style>
<!--[if lt IE 9]>
<link rel="stylesheet" type="text/css" href="http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/style/page/appmsg/page_mp_article_improve_pc2a7a3f.css">
<![endif]-->
<script type="text/javascript">
document.domain = "qq.com";
</script>
<link rel="stylesheet" type="text/css" href="./math_files/not_in_mm2a7a3f.css"></head>
<body id="activity-detail" class="zh_CN mm_appmsg not_in_mm" ontouchstart="">
<script type="text/javascript">
var write_sceen_time = (+new Date());
</script>
<div id="js_cmt_mine" class="discuss_container editing access" style="display:none;">
<div class="discuss_container_inner">
<h2 class="rich_media_title">麻省理工（MIT）牛人解说数学体系</h2>
<span id="log"></span>
<div class="frm_textarea_box_wrp">
<span class="frm_textarea_box">
<textarea id="js_cmt_input" class="frm_textarea" placeholder="留言将由公众号筛选后显示，对所有人可见。"></textarea>
<div class="emotion_tool">
<span class="emotion_switch" style="display:none;"></span>
<span id="js_emotion_switch" class="pic_emotion_switch_wrp">
<img class="pic_default" src="./math_files/icon_emotion_switch.2x278965.png" alt="">
<img class="pic_active" src="./math_files/icon_emotion_switch_active.2x278965.png" alt="">
</span>
<div class="emotion_panel" id="js_emotion_panel">
<span class="emotion_panel_arrow_wrp" id="js_emotion_panel_arrow_wrp">
<i class="emotion_panel_arrow arrow_out"></i>
<i class="emotion_panel_arrow arrow_in"></i>
</span>
<div class="emotion_list_wrp" id="js_slide_wrapper">
</div>
<ul class="emotion_navs" id="js_navbar">
</ul>
</div>
</div>
</span>
</div>
<div class="discuss_btn_wrp"><a id="js_cmt_submit" class="btn btn_primary btn_discuss btn_disabled" href="javascript:;">提交</a></div>
<div class="discuss_list_wrp" style="display:none">
<div class="rich_tips with_line title_tips discuss_title_line">
<span class="tips">我的留言</span>
</div>
<ul class="discuss_list" id="js_cmt_mylist"></ul>
</div>
<div class="rich_tips tips_global loading_tips" id="js_mycmt_loading">
<img src="./math_files/icon_loading_white2805ea.gif" class="rich_icon icon_loading_white" alt="">
<span class="tips">加载中</span>
</div>
<div class="wx_poptips" id="js_cmt_toast" style="display:none;">
<img alt="" class="icon_toast" src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAGoAAABqCAYAAABUIcSXAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAA3NpVFh0WE1MOmNvbS5hZG9iZS54bXAAAAAAADw/eHBhY2tldCBiZWdpbj0i77u/IiBpZD0iVzVNME1wQ2VoaUh6cmVTek5UY3prYzlkIj8+IDx4OnhtcG1ldGEgeG1sbnM6eD0iYWRvYmU6bnM6bWV0YS8iIHg6eG1wdGs9IkFkb2JlIFhNUCBDb3JlIDUuNS1jMDE0IDc5LjE1MTQ4MSwgMjAxMy8wMy8xMy0xMjowOToxNSAgICAgICAgIj4gPHJkZjpSREYgeG1sbnM6cmRmPSJodHRwOi8vd3d3LnczLm9yZy8xOTk5LzAyLzIyLXJkZi1zeW50YXgtbnMjIj4gPHJkZjpEZXNjcmlwdGlvbiByZGY6YWJvdXQ9IiIgeG1sbnM6eG1wTU09Imh0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC9tbS8iIHhtbG5zOnN0UmVmPSJodHRwOi8vbnMuYWRvYmUuY29tL3hhcC8xLjAvc1R5cGUvUmVzb3VyY2VSZWYjIiB4bWxuczp4bXA9Imh0dHA6Ly9ucy5hZG9iZS5jb20veGFwLzEuMC8iIHhtcE1NOk9yaWdpbmFsRG9jdW1lbnRJRD0ieG1wLmRpZDoyMTUxMzkxZS1jYWVhLTRmZTMtYTY2NS0xNTRkNDJiOGQyMWIiIHhtcE1NOkRvY3VtZW50SUQ9InhtcC5kaWQ6MTA3QzM2RTg3N0UwMTFFNEIzQURGMTQzNzQzMDAxQTUiIHhtcE1NOkluc3RhbmNlSUQ9InhtcC5paWQ6MTA3QzM2RTc3N0UwMTFFNEIzQURGMTQzNzQzMDAxQTUiIHhtcDpDcmVhdG9yVG9vbD0iQWRvYmUgUGhvdG9zaG9wIENDIChNYWNpbnRvc2gpIj4gPHhtcE1NOkRlcml2ZWRGcm9tIHN0UmVmOmluc3RhbmNlSUQ9InhtcC5paWQ6NWMyOGVjZTMtNzllZS00ODlhLWIxZTYtYzNmM2RjNzg2YjI2IiBzdFJlZjpkb2N1bWVudElEPSJ4bXAuZGlkOjIxNTEzOTFlLWNhZWEtNGZlMy1hNjY1LTE1NGQ0MmI4ZDIxYiIvPiA8L3JkZjpEZXNjcmlwdGlvbj4gPC9yZGY6UkRGPiA8L3g6eG1wbWV0YT4gPD94cGFja2V0IGVuZD0iciI/Pmvxj1gAAAVrSURBVHja7J15rF1TFMbXk74q1ZKHGlMkJVIhIgg1FH+YEpEQJCKmGBpThRoSs5jVVNrSQUvEEENIhGiiNf9BiERICCFIRbUiDa2qvudbOetF3Tzv7XWGffa55/uS7593977n3vO7e5+199p7v56BgQGh0tcmvAUERREUQVEERREUQVEERREUQVEERREUQVEERREUQVEERREUQVEERVAUQVEERVAUQbVYk+HdvZVG8b5F0xj4RvhouB+eCy8KrdzDJc1RtAX8ILxvx98V1GyCSkN98Cx4z/95/Wn4fj6j6tUEeN4wkFSnw1MJqj5NhBfAuwaUHREUg4lqNMmePVsHll/HFhVfe1t3FwpJI8DXCCquDrCWNN4B6Tb4M3Z98aTPmTvh0YHl18PXw29yZiKejoPvcUD6E74yFBJbVDk6Bb7K8aP/Hb4c/tRzEYIqprPhSxzlf4Uvhb/0Xoig8qnHAJ3lqPMzfDH8XZ4LEpRf2sVdA5/sqPO9Qfop70UJyn+/boaPddT5yrq7VUUvTIVJI7q74MMddXR8NB1eXcYvhBpZm0s2w72/o86HFoKvLau/pYaXzjLMdUJ6y0LwtWV9CIIaXtvA8+G9HHV03u5q+K+yH47U0NoRngPv7KjzHDwTLj0bS1BDazfJJlcnOOostC6ysnCT+q80G/sIvFVgeW09D8FPVT0uoP7VfvAD8NjA8pqmuAN+OcYAjso0RbIZ8DGB5TVNcRO8JMaHY9SXSdfa3eeANJimWBLrA7JFiZwIXye+NMUV8CcxP2SRFjXefok7NRjSGZJlWUPvw2/wtNiQirSoXWyMsR28wR7AzzYM0oXw+Y7yK+CLJGeaoqjyrJSdZJD6Ov4+z5y6NJc0Az7NUecHydIUy+v60KNyQHoM3nKI1y7YCFiq0i7uBvgER52vDdKqWn9djhY1Dn4G3n6Ecqm2rF74dvgoR53S0hQxW9RJAZAGW5bSn58QJA27dQ7uIEedjywEX5NKVxCqsY6y+qA+LxFI4+yZ6oH0trWkNan80jygtIUsc5SflgAsDXgehfdx1KkkTRE76tN+Xue2jnTU0Ru1oIbvpt30bBtKhOp5yaaRkts0lic8V1i6dPcIRx2d/l8Y8XtNNEg7OOo8bl1kmmOKnDsO88CaYzejau0hWZqiL7C83oCH4SeTHvwV2BqqsHRVztSEYOmWF80NeXZT6Hd4KflResE9vCnBOlCyGfDNAstHTVPUDWoQ1t3iW+9WNizvlhfd4aerXd+ThqiMfNR6+9LvOOro5OY5JX2H4+F7HZD+kGzlamMgldWiirQsjcwWFbjmqZJteekJLK9pisvgL6RhKvuciZiwzrWWGapfrPy30kBVcSBIrw0aD3PU0XB6cehntq7rTMf7/2iQlktDVdXJLXlg6VjmiYBn6rWSTRCH6hvJ0hQrpcGq8oidsmHpTP8t8DGO9/vcWt9qabiqPgup1yKyQwvC2tSefZ73SSpNkUJ4PlLorlHZ+446nc8f3fIyywlJhwrTuwVSjBa1ccvSxN0hjjoK5xVrYZMd9V6XbFfgBukixTwGLg8sDam3dZR/wZ6L/dJlin1en8LS+bgpFbz3Ygvzu1J1HKxYNqxGpCmaCEo12rrBorD6LRp8UbpcdR5VWhTW35KlKd6QFqjuM2XzwlpnMxTvSkuUwuG/Xlg6NtPjbT6WFimF/VG6LEvXgn8QGDjMbBukVECFwhpoS+CQatfX2Q1q6H7wENHdrfCr0lKleEB9JyxNneus+VJpsVL9TwI6W65LovWIGl3KtVJaLv7LBwYTFEERFEVQFEERFEVQFEERFEVQFEERFEVQFEERFEVQFEERFFWq/hFgADUMN4RzT6/OAAAAAElFTkSuQmCC">
<p class="toast_content">已留言</p>
</div>
</div>
</div>
<div id="js_article" class="rich_media">
<div id="js_top_ad_area" class="top_banner">
</div>
<div class="rich_media_inner">
<div id="page-content">
<div id="img-content" class="rich_media_area_primary">
<h2 class="rich_media_title" id="activity-name">
麻省理工（MIT）牛人解说数学体系
</h2>
<div class="rich_media_meta_list">
<em id="post-date" class="rich_media_meta rich_media_meta_text">2016-01-04</em>
<a class="rich_media_meta rich_media_meta_link rich_media_meta_nickname" href="javascript:void(0);" id="post-user">程序员之家</a>
<span class="rich_media_meta rich_media_meta_text rich_media_meta_nickname">程序员之家</span>
<div id="js_profile_qrcode" class="profile_container" style="display:none;">
<div class="profile_inner">
<strong class="profile_nickname">程序员之家</strong>
<img class="profile_avatar" id="js_profile_qrcode_img" src="" alt="">
<p class="profile_meta">
<label class="profile_meta_label">微信号</label>
<span class="profile_meta_value">programmer_club</span>
</p>
<p class="profile_meta">
<label class="profile_meta_label">功能介绍</label>
<span class="profile_meta_value">程序员第一自媒体，与你探讨码农人生路上遇到的各类泛技术话题，定期为你推荐码农人生思考、感悟以及启迪！</span>
</p>
</div>
<span class="profile_arrow_wrp" id="js_profile_arrow_wrp">
<i class="profile_arrow arrow_out"></i>
<i class="profile_arrow arrow_in"></i>
</span>
</div>
</div>
<div class="rich_media_content " id="js_content">
<blockquote style="color: rgb(62, 62, 62); line-height: 25.6px; white-space: normal; box-sizing: border-box; padding-left: 0px;"><p><span style="font-family: 微软雅黑; font-size: 12px;">来源：P.Linux‘s blog与 ima </span></p><p><span style="font-family: 微软雅黑; font-size: 12px;">原文：http://www.penglixun.com/study/science/mit_math_system</span></p></blockquote><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="font-family: 微软雅黑; color: rgb(192, 0, 0);"><strong>一、为什么要深入数学的世界</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">作为计算机的学生，我没有任何企图要成为一个数学家。我学习数学的目的，是要想爬上巨人的肩膀，希望站在更高的高度，能把我自己研究的东西看得更深广一些。说起来，我在刚来这个学校的时候，并没有预料到我将会有一个深入数学的旅程。我的导师最初希望我去做的题目，是对appearance和motion建立一个unified的model。这个题目在当今Computer Vision中百花齐放的世界中并没有任何特别的地方。事实上，使用各种Graphical Model把各种东西联合在一起framework，在近年的论文中并不少见。</span></p><p style="white-space: normal;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">我不否认现在广泛流行的Graphical Model是对复杂现象建模的有力工具，但是，我认为它不是panacea，并不能取代对于所研究的问题的深入的钻研。如果统计学习包治百病，那么很多“下游”的学科也就没有存在的必要了。事实上，开始的时候，我也是和Vision中很多人一样，想着去做一个Graphical Model——我的导师指出，这样的做法只是重复一些标准的流程，并没有很大的价值。经过很长时间的反复，另外一个路径慢慢被确立下来——我们相信，一个图像是通过大量“原子”的某种空间分布构成的，原子群的运动形成了动态的可视过程。微观意义下的单个原子运动，和宏观意义下的整体分布的变换存在着深刻的联系——这需要我们去发掘。</span></p><p style="white-space: normal;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">在深入探索这个题目的过程中，遇到了很多很多的问题，如何描述一个一般的运动过程，如何建立一个稳定并且广泛适用的原子表达，如何刻画微观运动和宏观分布变换的联系，还有很多。在这个过程中，我发现了两个事情：</span></p><p style="white-space: normal;"><br></p><ul class=" list-paddingleft-2"><li><p style="line-height: normal; white-space: normal;"><span style="font-family: 微软雅黑; letter-spacing: 0px; line-height: 36px; text-indent: 32px; font-size: 14px; color: #3F3F3F;">我原有的数学基础已经远远不能适应我对这些问题的深入研究。</span></p></li><li><p style="line-height: normal; white-space: normal;"><span style="letter-spacing: 0px; line-height: 36px; text-indent: 32px; font-family: 微软雅黑; font-size: 14px; color: #3F3F3F;">在数学中，有很多思想和工具，是非常适合解决这些问题的，只是没有被很多的应用科学的研究者重视。</span></p></li></ul><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="color: #404040; letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">于是，我决心开始深入数学这个浩瀚大海，希望在我再次走出来的时候，我已经有了更强大的武器去面对这些问题的挑战。我的游历并没有结束，我的视野相比于这个博大精深的世界的依旧显得非常狭窄。在这里，我只是说说，在我的眼中，数学如何一步步从初级向高级发展，更高级别的数学对于具体应用究竟有何好处。</span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="font-size: 15px; font-family: 微软雅黑;"><strong><span style="color: rgb(247, 150, 70);"></span></strong><span style="color: rgb(192, 0, 0); font-size: 16px;"><strong>二、集合论：现代数学的共同基础</strong></span></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">现代数学有数不清的分支，但是，它们都有一个共同的基础——集合论——因为它，数学这个庞大的家族有个共同的语言。集合论中有一些最基本的概念：</span><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">集合(set)，关系(relation)，函数(function)，等价 (equivalence)，</span><span style="letter-spacing: 0px;">是在其它数学分支的语言中几乎必然存在的。对于这些简单概念的理解，是进一步学些别的数学的基础。我相信，理工科大学生对于这些都不会陌生。</span></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;"><img data-s="300,640" data-type="jpeg" data-ratio="0.8587786259541985" data-w="524" width="auto" data-src="http://mmbiz.qpic.cn/mmbiz/wc7YNPm3YxWD7xtJqqEIAMHntiach2tiakdSiaA8AIqbXMgIsp1jEuk0k4K4en7MQkhukeEoqibAMfQ9I5kSSaq2HA/640?wx_fmt=jpeg" style="width: auto !important; visibility: visible !important; height: auto !important;" _width="auto" src="./math_files/640"><br></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">不过，有一个很重要的东西就不见得那么家喻户晓了——那就是<span style="color: rgb(255, 0, 0);">“选择公理”</span> (Axiom of Choice)。这个公理的意思是“任意的一群非空集合，一定可以从每个集合中各拿出一个元素。”——似乎是显然得不能再显然的命题。不过，这个貌似平常的公理却能演绎出一些比较奇怪的结论，比如巴拿赫-塔斯基分球定理——“一个球，能分成五个部分，对它们进行一系列刚性变换（平移旋转）后，能组合成两个一样大小的球”。</span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">正因为这些完全有悖常识的结论，导致数学界曾经在相当长时间里对于是否接受它有着激烈争论。现在，主流数学家对于它应该是基本接受的，因为很多数学分支的重要定理都依赖于它。在我们后面要回说到的学科里面，下面的定理依赖于选择公理：</span></p><p style="white-space: normal;"><br></p><ul class=" list-paddingleft-2"><li><p style="margin-top: 15px; line-height: normal; white-space: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="font-family: 微软雅黑; font-size: 14px; color: #595959;"><strong><span style="letter-spacing: 0px; font-weight: normal;">拓扑学：Baire Category Theorem</span></strong></span></p></li><li><p style="margin-top: 15px; line-height: normal; white-space: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="font-family: 微软雅黑; font-size: 14px; color: #595959;"><strong><span style="letter-spacing: 0px; font-weight: normal;">实分析（测度理论）：Lebesgue 不可测集的存在性</span></strong></span></p></li><li><p style="margin-top: 15px; line-height: normal; white-space: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="font-family: 微软雅黑; font-size: 14px; color: #595959;"><strong><span style="letter-spacing: 0px; font-weight: normal;">泛函分析四个主要定理：Hahn-Banach Extension Theorem, Banach-Steinhaus Theorem (Uniform boundedness principle), Open Mapping Theorem, Closed Graph Theorem</span></strong></span></p></li></ul><p style="white-space: normal;"><br></p><p style="white-space: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">在集合论的基础上，现代数学有两大家族：分析(Analysis)和代数(Algebra)。</span><span style="letter-spacing: 0px;">至于其它的，比如几何和概率论，在古典数学时代，它们是和代数并列的，但是它们的现代版本则基本是建立在分析或者代数的基础上，因此从现代意义说，它们和分析与代数并不是平行的关系。</span></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="font-family: 微软雅黑; color: rgb(192, 0, 0);"><strong>三、分析：在极限基础上建立的宏伟大厦</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="font-size: 15px; font-family: 微软雅黑; color: #262626;"><strong>3.1微积分：分析的古典时代--从牛顿到柯西</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">先说说分析(Analysis)吧，它是从微积分(Caculus)发展起来的——这也是有些微积分教材名字叫“数学分析”的原因。不过，分析的范畴远不只是这些，我们在大学一年级学习的微积分只能算是对古典分析的入门。分析研究的对象很多，包括</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">导数(derivatives)，积分(integral)，微分方程(differential equation)，还有级数(infinite series)</span><span style="letter-spacing: 0px;">——这些基本的概念，在初等的微积分里面都有介绍。如果说有一个思想贯穿其中，那就是<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">极限</span>——这是整个分析（不仅仅是微积分）的灵魂。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">一个很多人都听说过的故事，就是牛顿(Newton)和莱布尼茨 (Leibniz)关于微积分发明权的争论。事实上，在他们的时代，很多微积分的工具开始运用在科学和工程之中，但是，微积分的基础并没有真正建立。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">那个长时间一直解释不清楚的“无穷小量”的幽灵，困扰了数学界一百多年的时间——这就是</span><span style="letter-spacing: 0px; color: rgb(255, 0, 0);">“第二次数学危机”</span><span style="letter-spacing: 0px;">。直到柯西用极限的观点重新建立了微积分的基本概念，这门学科才开始有了一个比较坚实的基础。直到今天，整个分析的大厦还是建立在极限的基石之上。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">柯西(Cauchy)为分析的发展提供了一种严密的语言，但是他并没有解决微积分的全部问题。在19世纪的时候，分析的世界仍然有着一些挥之不去的乌云。而其中最重要的一个没有解决的是</span><span style="color: rgb(255, 0, 0); letter-spacing: 0px;">“函数是否可积的问题”。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">我们在现在的微积分课本中学到的那种通过“无限分割区间，取矩阵面积和的极限”的积分，是大约在1850年由黎曼(Riemann)提出的，叫做黎曼积分。但是，什么函数存在黎曼积分呢（黎曼可积）？数学家们很早就证明了，</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">定义在闭区间内的连续函数是黎曼可积的。</span><span style="letter-spacing: 0px;">可是，这样的结果并不令人满意，<span style="letter-spacing: 0px; color: rgb(255, 0, 0);">工程师们需要对分段连续函数的函数积分。</span></span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><span style="font-size: 15px; font-family: 微软雅黑; color: #262626;"><strong><span style="letter-spacing: 0px;">3.2实分析：在实数理论和测度理论上建立起现代分析</span></strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">在19世纪中后期，不连续函数的可积性问题一直是分析的重要课题。对于定义在闭区间上的黎曼积分的研究发现，可积性的关键在于“不连续的点足够少”。只有有限处不连续的函数是可积的，可是很多有数学家们构造出很多在无限处不连续的可积函数。显然，在衡量点集大小的时候，有限和无限并不是一种合适的标准。</span></p><p style="text-indent: 2em; white-space: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">在探讨</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">“点集大小”</span><span style="letter-spacing: 0px;">这个问题的过程中，数学家发现<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">实数轴</span>——这个他们曾经以为已经充分理解的东西——有着许多他们没有想到的特性<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">。在极限思想的支持下，实数理论在这个时候被建立起来，它的标志是对实数完备性进行刻画的几条等价的定理</span>（确界定理，区间套定理，柯西收敛定理，Bolzano-Weierstrass Theorem和Heine-Borel Theorem等等）——</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">这些定理明确表达出实数和有理数的根本区别：</span><span style="color: rgb(255, 0, 0); letter-spacing: 0px;">完备性</span><span style="letter-spacing: 0px;">（很不严格的说，就是对极限运算封闭）。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">随着对实数认识的深入，如何测量“点集大小”的问题也取得了突破，</span><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">勒贝格创造性地把关于集合的代数，和Outer content（就是“外测度”的一个雏形）的概念结合起来，</span><span style="letter-spacing: 0px;">建立了<span style="letter-spacing: 0px; color: rgb(255, 0, 0);">测度理(Measure Theory)，</span>并且进一步建立了以测度为基础的积分——勒贝(Lebesgue Integral)。在这个新的积分概念的支持下，可积性问题变得一目了然。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">上面说到的</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">实数理论，测度理论和勒贝格积分，构成了我们现在称为实分析 </span><span style="letter-spacing: 0px;">(Real Analysis)的数学分支，有些书也叫<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">实变函数论</span>。对于应用科学来说，实分析似乎没有古典微积分那么“实用”——很难直接基于它得到什么算法。而且， 它要解决的某些“难题”——比如处处不连续的函数，或者处处连续而处处不可微的函数——在工程师的眼中，并不现实。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">但是，我认为，它并不是一种纯数学概念游戏，它的现实意义在于为许多现代的应用数学分支提供坚实的基础。下面，我仅仅列举几条它的用处：</span></p><ul class=" list-paddingleft-2" style="color: rgb(62, 62, 62); line-height: 25.6px; white-space: normal;"><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="letter-spacing: 0px; font-family: 微软雅黑; font-size: 14px;">黎曼可积的函数空间不是完备的，但是勒贝格可积的函数空间是完备的。简单的说，一个黎曼可积的函数列收敛到的那个函数不一定是黎曼可积的，但是勒贝格可积的函数列必定收敛到一个勒贝格可积的函数。在泛函分析，还有逼近理论中，经 常需要讨论“函数的极限”，或者“函数的级数”，如果用黎曼积分的概念，这种讨论几乎不可想像。我们有时看一些paper中提到L^p函数空间，就是基于勒 贝格积分。</span></p></li><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="letter-spacing: 0px; font-family: 微软雅黑; font-size: 14px;">勒贝格积分是傅立叶变换（这东西在工程中到处都是）的基础。很多关于信号处理的初等教材，可能绕过了勒贝格积分，直接讲点面对实用的东西而不谈它的数学基础，但是，对于深层次的研究问题——特别是希望在理论中能做一些工作——这并不是总能绕过去。</span></p></li><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="letter-spacing: 0px; font-family: 微软雅黑; font-size: 14px;">在下面，我们还会看到，测度理论是现代概率论的基础</span><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">。</span></p></li></ul><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="color: #000000; font-size: 15px; font-family: 微软雅黑;"><strong>3.2.1现在概率论：在现代分析基础上再生</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">自从Kolmogorov在上世纪30年代把测度引入概率论以来，</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">测度理论就成为现代概率论的基础。在这里，概率定义为测度，随机变量定义为可测函数，</span><span style="letter-spacing: 0px;">条件随机变量定义为可测函数在某个函数空间的投影，均值则是可测函数对于概率测度的积分。值得注意的是，很多的现代观点，开始以泛函分析的思路看待概率论的基础概念，随机变量构成了一个向量空间，而带符号概率测度则构成了它的对偶空间，其中一方施加于对方就形成均值。角度虽然不一样，不过这两种方式殊途同 归，形成的基础是等价的。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">在现代概率论的基础上，许多传统的分支得到了极大丰富，最有代表性的包括鞅论 (Martingale)——由研究赌博引发的理论，现在主要用于金融（这里可以看出赌博和金融的理论联系，:-P），布朗运动(Brownian Motion)——连续随机过程的基础，以及在此基础上建立的随机分析(Stochastic Calculus)，包括随机积分（对随机过程的路径进行积分，其中比较有代表性的叫伊藤积分(Ito Integral)），和随机微分方程。对于连续几何运用建立概率模型以及对分布的变换的研究离不开这些方面的知识。</span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="font-size: 15px; font-family: 微软雅黑; color: #262626;"><strong>3.3拓扑学：分析从实数轴推广到一般空间--现代分析的抽象基础</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">随着实数理论的建立，大家开始把极限和连续推广到更一般的地方的分析。事实上，很多基于实数的概念和定理并不是实数特有的。很多特性可以抽象出来，推广到更一般的空间里面。</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">对于实数轴的推广，促成了点集拓扑学(Point- set Topology)的建立。</span><span style="letter-spacing: 0px;">很多原来只存在于实数中的概念，被提取出来，进行一般性的讨论。在拓扑学里面，有4个C构成了它的核心：</span></span></p><ul class=" list-paddingleft-2" style="color: rgb(62, 62, 62); line-height: 25.6px; white-space: normal;"><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="font-family: 微软雅黑; font-size: 14px;"><strong><span style="letter-spacing: 0px; font-weight: normal;">Closed set 闭集</span></strong></span></p></li></ul><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">在现代的拓扑学的公理化体系中，开集和闭集是最基本的概念。一切从此引申。这两个概念是开区间和闭区间的推广，它们的根本地位，并不是一开始就被认识到的。经过相当长的时间，人们才认识到：开集的概念是连续性的基础，而闭集对极限运算封闭——而极限正是分析的根基。</span></p><ul class=" list-paddingleft-2" style="color: rgb(62, 62, 62); line-height: 25.6px; white-space: normal;"><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">Continuous function 连续函数</span></p></li></ul><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">连续函数在微积分里面有个用epsilon-delta语言给出的定义，在拓扑学中它的定义是“开集的原像是开集的函数”。第二个定义和第一个是等价的，只是用更抽象的语言进行了改写。我个人认为，它的第三个（等价）定义才从根本上揭示连续函数的本质——“连续函数是保持极限运算的函数” ——比如y是数列x1, x2, x3, … 的极限， 那么如果 f 是连续函数，那么 f(y) 就是 f(x1), f(x2), f(x3), …的极限。连续函数的重要性，可以从别的分支学科中进行类比。比如群论中，基础的运算是“乘法”，<strong>对于群，最重要的映射叫</strong></span><span style="color: rgb(255, 0, 0); letter-spacing: 0px;">“同态映射”</span><span style="letter-spacing: 0px;">——保持“乘法”的映射。在分析中，<strong>基础运算是</strong><span style="letter-spacing: 0px; color: rgb(255, 0, 0);">“极限”</span>，因此连续函数在分析中的地位，和同态映射在代数中的地位是相当的。</span></span></p><ul class=" list-paddingleft-2" style="color: rgb(62, 62, 62); line-height: 25.6px; white-space: normal;"><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="font-size: 15px; font-family: 微软雅黑;"><strong><span style="letter-spacing: 0px; font-weight: normal;">Connected set 连通集</span></strong></span></p></li></ul><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">比它略为窄一点的概念叫(Path connected)，就是集合中任意两点都存在连续路径相连——可能是一般人理解的概念。一般意义下的连通概念稍微抽象一些。在我看来，连通性有两个重要的用场：一个是用于证明一般的中值定理(Intermediate Value Theorem)，还有就是代数拓扑，拓扑群论和李群论中讨论根本群(Fundamental Group)的阶。</span></p><ul class=" list-paddingleft-2" style="color: rgb(62, 62, 62); line-height: 25.6px; white-space: normal;"><li><p style="margin-top: 15px; line-height: normal; background-image: initial; background-attachment: initial; background-size: initial; background-origin: initial; background-clip: initial; background-position: initial; background-repeat: initial;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">Compact set 紧集</span></p></li></ul><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">Compactness似乎在初等微积分里面没有专门出现，不过有几条实数上的定理和它其实是有关系的。比如，“有界数列必然存在收敛子列”——用compactness的语言来说就是——“实数空间中有界闭集是紧的”。它在拓扑学中的一般定义是一个听上去比较抽象的东西——“紧集的任意开覆盖存在有限子覆盖”。这个定义在讨论拓扑学的定理时很方便，它在很多时候能帮助实现从无限到有限的转换。对于分析来说，用得更多的是它的另一种形式 ——“紧集中的数列必存在收敛子列”——它体现了分析中最重要的“极限”。Compactness在现代分析中运用极广，无法尽述。微积分中的两个重要定 理：极值定理(Extreme Value Theory)，和一致收敛定理(Uniform Convergence Theorem)就可以借助它推广到一般的形式。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">从某种意义上说，</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">点集拓扑学可以看成是关于“极限”的一般理论，它抽象于实数理论，</span><span style="letter-spacing: 0px;">它的概念成为几乎所有现代分析学科的通用语言，也是整个现代分析的根基所在。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;"><img data-s="300,640" data-type="jpeg" data-ratio="1.026978417266187" data-w="" width="auto" data-src="http://mmbiz.qpic.cn/mmbiz/wc7YNPm3YxWD7xtJqqEIAMHntiach2tiakZLOpMaOicyanEOaHU4dSRszM0Viblyq0frib6v1Zl3CKYACy91db75e7A/640?wx_fmt=jpeg" style="width: auto !important; visibility: visible !important; height: auto !important;" _width="auto" src="./math_files/640(1)"><br></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><span style="color: #262626;"><strong><span style="letter-spacing: 0px; line-height: 36px; font-size: 15px; font-family: 微软雅黑;">3.4微分几何：流形上的分析——在拓扑空间上引入微分结构</span></strong></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">拓扑学把极限的概念推广到一般的拓扑空间，但这不是故事的结束，而仅仅是开始。在微积分里面，极限之后我们有</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">微分，求导，积分。这些东西也可以推广到拓扑空间，</span><span style="letter-spacing: 0px;">在拓扑学的基础上建立起来——<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">这就是微分几何。</span>从教学上说，微分几何的教材，有两种不同的类型，一种是建立在古典微机分的基础上的“古典微分几何”，主要是关于二维和三维空间中的一些几何量的计算，比如曲率。还有一种是建立在现代拓扑学的基础上，这里姑且称为“现代微分几何”——它的核心概念就是<span style="letter-spacing: 0px; color: rgb(255, 0, 0);">“流形”(manifold)</span>——就是在拓扑空间的基础上加了一套可以进行微分运算的结构。现代微分几何是一门非常丰富的学科。比如一般流形上的微分的定义就比传统的微分丰富，我自己就见过三种从不同角度给出的等价定义——这一方面让事情变得复杂一些，但是另外一个方面它给了同一个概念的不同理解，往往在解决问题时会引出不同的思路。除了推广微积分的概念以外，还引入了很多新概念：tangent space, cotangent space, push forward, pull back, fibre bundle, flow, immersion, submersion 等等。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">近些年，流形在machine learning似乎相当时髦。但是，坦率地说，要弄懂一些基本的流形算法， 甚至“创造”一些流形算法，并不需要多少微分几何的基础。对我的研究来说，</span><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">微分几何</span><span style="letter-spacing: 0px;">最重要的应用就是<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">建立在它之上的另外一个分支：李群和李代数</span>——这是数学中两大家族<span style="letter-spacing: 0px; color: rgb(255, 0, 0);">分析和代数的一个漂亮的联姻。</span><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">分析和代数的另外一处重要的结合则是泛函分析，以及在其基础上的调和分析。</span></span></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><strong><span style="letter-spacing: 0px; font-family: 微软雅黑; color: #C00000;">四、代数：一个抽象的世界</span></strong></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">回过头来，再说说另一个大家族——代数。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">如果说古典微积分是分析的入门，那么现代代数的入门点则是两个部分：</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">线性代数(linear algebra)和基础的抽象代数(abstract algebra)</span><span style="letter-spacing: 0px;">——据说国内一些教材称之为近世代数。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">代数——名称上研究的似乎是数，在我看来，主要研究的是</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">运算规则。</span><span style="letter-spacing: 0px;">一门代数， 其实都是从某种具体的运算体系中抽象出一些基本规则，建立一个公理体系，然后在这基础上进行研究。</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">一个集合再加上一套运算规则，就构成一个<span style="color: rgb(255, 0, 0); letter-spacing: 0px;">代数结构</span></span><span style="letter-spacing: 0px;">。在主要的代数结构中，最简单的是群(Group)——它只有一种符合结合率的可逆运算，通常叫“乘法”。如果，这种运算也符合交换率，那么就叫阿贝尔群 (Abelian Group)。如果有两种运算，一种叫加法，满足交换率和结合率，一种叫乘法，满足结合率，它们之间满足分配率，这种丰富一点的结构叫做环(Ring)， 如果环上的乘法满足交换率，就叫可交换环(Commutative Ring)。如果，一个环的加法和乘法具有了所有的良好性质，那么就成为一个域(Field)。基于域，<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">我们可以建立一种新的结构，能进行加法和数乘，就构成了线性代数(Linear algebra)。</span></span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">代数的好处在于，它只关心</span><span style="letter-spacing: 0px; color: rgb(255, 0, 0);">运算规则的演绎，</span><span style="letter-spacing: 0px; color: rgb(79, 129, 189);">而不管参与运算的对象。</span><span style="letter-spacing: 0px;">只要定义恰当，完全可以让一只猫乘一只狗得到一头猪:-)。基于抽象运算规则得到的所有定理完全可以运用于上面说的猫狗乘法。当然，在实际运用中，我们还是希望用它 干点有意义的事情。学过抽象代数的都知道，基于几条最简单的规则，比如结合律，就能导出非常多的重要结论——这些结论可以应用到一切满足这些简单规则的地 方——这是代数的威力所在，我们不再需要为每一个具体领域重新建立这么多的定理。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal;"><span style="color: #262626;"><strong><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">4.1关于抽象代数</span></strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="line-height: 36px; letter-spacing: 0px;"></span>抽象代数有在一些基础定理的基础上，进一步的研究往往分为两个流派：<span style="color: rgb(84, 141, 212);">研究有限的离散代数结构（比如有限群和有限域）</span>，这部分内容通常用于数论，编码，和整数方程这些地方；另外一个流派是<span style="color: rgb(84, 141, 212);">研究连续的代数结构</span>，通常和拓扑与分析联系在 一起（比如拓扑群，李群）。我在学习中的focus主要是后者。<span style="line-height: 36px; letter-spacing: 0px;"></span></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><strong><span style="letter-spacing: 0px; color: rgb(79, 129, 189); font-size: 15px; font-family: 微软雅黑;">4.2线性代数：“线性”的基础地位</span></strong></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">对于做Learning, vision, optimization或者statistics的人来说，接触最多的莫过于线性代数——这也是我们在大学低年级就开始学习的。线性代数，包括建立在它基础上的各种学科，最核心的两个概念是向量空间和线性变换。线性变换在线性代数中的地位，和连续函数在分析中的地位，或者同态映射在群论中的地位是一样的 ——它是保持基础运算（加法和数乘）的映射。</span></p><p style="text-indent: 2em; white-space: normal;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #262626;">在learning中有这样的一种倾向——鄙视线性算法，标榜非线性。也许在很多场合下面，我们需要非线性来描述复杂的现实世界，但是无论什么时候，线性都是具有根本地位的。没有线性的基础，就不可能存在所谓的非线性推广。我们常用的非线性化的方法包括流形和kernelization，这两者都需要在某个阶段回归线性。流形需要在每个局部建立和线性空间的映射，通过把许多局部线性空间连接起来形成非线性；而kernerlization则是通过置换内积结构把原线性空间“非线性”地映射到另外一个线性空间，再进行线性空间中所能 进行的操作。而在分析领域，线性的运算更是无处不在，微分，积分，傅立叶变换，拉普拉斯变换，还有统计中的均值，通通都是线性的。</span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="color: #000000; font-size: 15px; font-family: 微软雅黑;"><strong>4.2.1泛函分析：从有限维向无限维迈进</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">在大学中学习的线性代数，它的简单主要因为它是在有限维空间进行的，因为有限，我们无须借助于太多的分析手段。但是，有限维空间并不能有效地表达我们的世界——最重要的，</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">函数构成了线性空间，可是它是无限维的。</span><span style="letter-spacing: 0px;">对函数进行的最重要的运算都在无限维空间进行，比如傅立叶变换和小波分析。这表明了，为了研究函数（或者说连续信号），我们需要打破有限维空间的束缚，走入无限维的函数空间——这里面的第一步，就是<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">泛函分析</span>。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">泛函分析(Functional Analysis)是研究的是一般的线性空间，包括有限维和无限维，</span><span style="letter-spacing: 0px;">但是很多东西在有限维下显得很trivial，真正的困难往往在无限维的时候出现。在泛函分析中，空间中的元素还是叫向量，但是线性变换通常会叫作“算子”(operator)。除了加法和数乘，这里进一步加入了一些运算，比如加入范数去表达“向量的长度”或者“元素的距离”，这样的空间叫做“赋范线性空间”(normed space)，再进一步的，可以加入内积运算，这样的空间叫“内积空间”(Inner product space)。</span></span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">大家发现，当进入无限维的时间时，很多老的观念不再适用了，一切都需要重新审视。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">1、所有的有限维空间都是完备的（柯西序列收敛），很多无限维空间却是不完备的（比如闭区间上的连续函数）。在这里，完备的空间有特殊的名称：完备的赋范空间叫巴拿赫空间(Banach space)，完备的内积空间叫希尔伯特空间(Hilbert space)。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">2、在有限维空间中空间和它的对偶空间的是完全同构的，而在无限维空间中，它们存在微妙的差别。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">3、在有限维空间中，所有线性变换（矩阵）都是有界变换，而在无限维，很多算子是无界的(unbounded)，最重要的一个例子是给函数求导。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">4、在有限维空间中，一切有界闭集都是紧的，比如单位球。而在所有的无限维空间中，单位球都不是紧的——也就是说，可以在单位球内撒入无限个点，而不出现一个极限点。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">5、在有限维空间中，线性变换（矩阵）的谱相当于全部的特征值，在无限维空间 中，算子的谱的结构比这个复杂得多，除了特征值组成的点谱(point spectrum)，还有approximate point spectrum和residual spectrum。虽然复杂，但是，也更为有趣。由此形成了一个相当丰富的分支——算子谱论(Spectrum theory)。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">6、在有限维空间中，任何一点对任何一个子空间总存在投影，而在无限维空间中， 这就不一定了，具有这种良好特性的子空间有个专门的名称切比雪夫空间(Chebyshev space)。这个概念是现代逼近理论的基础(approximation theory)。函数空间的逼近理论在Learning中应该有着非常重要的作用，但是现在看到的运用现代逼近理论的文章并不多。</span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="color: #000000; font-size: 15px; font-family: 微软雅黑;"><strong>4.2.2继续往前：巴拿赫代数，调和分析，李代数</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;">基本的泛函分析继续往前走，有两个重要的方向。第一个是<span style="color: rgb(79, 129, 189);">巴拿赫代数 (Banach Algebra)，它就是在巴拿赫空间（完备的内积空间）的基础上引入乘法（这不同于数乘）。</span>比如矩阵——它除了加法和数乘，还能做乘法——这就构成了一 个巴拿赫代数。除此以外，值域完备的有界算子，平方可积函数，都能构成巴拿赫代数。巴拿赫代数是泛函分析的抽象，很多对于有界算子导出的结论，还有算子谱 论中的许多定理，它们不仅仅对算子适用，它们其实可以从一般的巴拿赫代数中得到，并且应用在算子以外的地方。</span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="letter-spacing: 0px; font-size: 15px; font-family: 微软雅黑;">巴拿赫代数让你站在更高的高度看待泛函分析中 的结论，但是，我对它在实际问题中能比泛函分析能多带来什么东西还有待思考。</span></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><br></p><p style="color: rgb(62, 62, 62); white-space: normal; line-height: normal; text-indent: 2em;"><span style="font-size: 15px; font-family: 微软雅黑;"><span style="letter-spacing: 0px;">最能</span><span style="color: rgb(79, 129, 189); letter-spacing: 0px;">把泛函分析和实际问题在一起的另一个重要方向是调和分析 (Harmonic Analysis)</span><span style="letter-spacing: 0px;">。我在这里列举它的两个个子领域，<span style="letter-spacing: 0px; color: rgb(79, 129, 189);">傅立叶分析和小波分析，</span>我想这已经能说明它的实际价值。它研究的最核心的问题就是怎么用基函数去逼近和构造一个函数。它研究的是函数空间的问题，不可避免的必须以泛函分析为基础。除了傅立叶和小波，调和分析还研究一些很有用的函数空间，比如Hardy space，Sobolev space，这些空间有很多很好的性质，在工程中和物理学中都有很重要的应用。对于vision来说，调和分析在信号的表达，图像的构造，都是非常有用的工具。</span></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: normal;"><span style="font-family: 微软雅黑; color: rgb(192, 0, 0);"><strong>五、分析与代数的结合</strong></span></p><p style="white-space: normal; color: rgb(62, 62, 62); line-height: 25.6px;"><br></p><p style="text-indent: 2em; white-space: normal;"><span style="font-size: 15px; color: #548DD4;">当分析和线性代数走在一起，产生了泛函分析和调和分析；当分析和群论走在一 起，我们就有了李群(Lie Group)和李代数(Lie Algebra)。</span><span style="font-size: 15px; color: #3F3F3F;">它们给连续群上的元素赋予了代数结构。我一直认为这是一门非常漂亮的数学：在一个体系中，拓扑，微分和代数走到了一起。在一定条件下，通过李群和李代数的联系，它让几何变换的结合变成了线性运算，让子群化为线性子空间，这样就为Learning中许多重要的模型和算法的引入到对几何运动的建模创造了必要的条件。因此，我们相信李群和李代数对于vision有着重要意义，只不过学习它的道路可能会很艰辛，在它之前需要学习很多别的数学。</span></p>
</div>
<script type="text/javascript">
var first_sceen__time = (+new Date());
if ("" == 1 && document.getElementById('js_content'))
document.getElementById('js_content').addEventListener("selectstart",function(e){ e.preventDefault(); });
(function(){
if (navigator.userAgent.indexOf("WindowsWechat") != -1){
var link = document.createElement('link');
var head = document.getElementsByTagName('head')[0];
link.rel = 'stylesheet';
link.type = 'text/css';
link.href = "http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/style/page/appmsg/page_mp_article_improve_winwx2a9cd9.css";
head.appendChild(link);
}
})();
</script>
<link rel="stylesheet" type="text/css" href="./math_files/page_mp_article_improve_combo2a7a3f.css">
<div class="rich_media_tool" id="js_toobar3">
<div id="js_read_area3" class="media_tool_meta tips_global meta_primary" style="display:none;">阅读 <span id="readNum3"></span></div>
<span style="display:none;" class="media_tool_meta meta_primary tips_global meta_praise" id="like3">
<i class="icon_praise_gray"></i><span class="praise_num" id="likeNum3"></span>
</span>
<a id="js_report_article3" style="display:none;" class="media_tool_meta tips_global meta_extra" href="javascript:void(0);">举报</a>
</div>
</div>
<div class="rich_media_area_extra">
<div class="mpda_bottom_container" id="js_bottom_ad_area">
</div>
<div id="js_iframetest" style="display:none;"></div>
</div>
</div>
<div id="js_pc_qr_code" class="qr_code_pc_outer" style="display: block;">
<div class="qr_code_pc_inner">
<div class="qr_code_pc">
<img id="js_pc_qr_code_img" class="qr_code_pc_img" src="./math_files/qrcode">
<p>微信扫一扫<br>关注该公众号</p>
</div>
</div>
</div>
</div>
</div>
<script>window.moon_map = {"appmsg/emotion/caret.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/caret278965.js","appmsg/emotion/map.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/map278965.js","appmsg/emotion/textarea.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/textarea27cdc5.js","appmsg/emotion/nav.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/nav278965.js","appmsg/emotion/common.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/common278965.js","appmsg/emotion/slide.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/slide2a9cd9.js","biz_wap/jsapi/cardticket.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/jsapi/cardticket275627.js","pages/report.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/pages/report2a26bd.js","pages/music_player.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/pages/music_player298e98.js","pages/loadscript.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/pages/loadscript292ed8.js","appmsg/emotion/dom.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/dom278965.js","appmsg/emotion/emotion.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/emotion/emotion2a9cd9.js","biz_wap/utils/hashrouter.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/utils/hashrouter2805ea.js","appmsg/cmt_tpl.html.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/cmt_tpl.html2a2c13.js","a/gotoappdetail.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/a/gotoappdetail2a2c13.js","a/ios.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/a/ios275627.js","a/android.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/a/android275627.js","a/profile.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/a/profile29b1f8.js","a/card.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/a/card29b1f8.js","biz_wap/utils/position.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/utils/position29b1f8.js","appmsg/a_report.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/a_report282222.js","biz_common/utils/report.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/report275627.js","biz_common/utils/huatuo.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/huatuo293afc.js","biz_common/utils/cookie.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/cookie275627.js","pages/voice_component.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/pages/voice_component2a74ac.js","new_video/ctl.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/new_video/ctl292ed8.js","biz_common/utils/monitor.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/monitor2a30ee.js","biz_common/utils/spin.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/spin275627.js","biz_wap/jsapi/pay.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/jsapi/pay275627.js","appmsg/reward_entry.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/reward_entry29bb2b.js","appmsg/comment.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/comment2a9cd9.js","appmsg/like.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/like2a74ac.js","appmsg/a.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/a2a6faf.js","pages/version4video.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/pages/version4video2a6afa.js","biz_wap/utils/storage.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/utils/storage2a74ac.js","biz_common/tmpl.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/tmpl275627.js","appmsg/img_copyright_tpl.html.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/img_copyright_tpl.html2a2c13.js","appmsg/a_tpl.html.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/a_tpl.html2a4dd8.js","biz_common/ui/imgonepx.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/ui/imgonepx275627.js","biz_common/dom/attr.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/dom/attr275627.js","biz_wap/utils/ajax.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/utils/ajax297cdb.js","biz_common/utils/string/html.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/string/html29f4e9.js","appmsg/report.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/report2a30ee.js","biz_common/dom/class.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/dom/class275627.js","appmsg/report_and_source.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/report_and_source29f4e9.js","appmsg/page_pos.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/page_pos2ac32d.js","appmsg/cdn_speed_report.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/cdn_speed_report275627.js","appmsg/voice.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/voice2ab8bd.js","appmsg/qqmusic.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/qqmusic2ab8bd.js","appmsg/iframe.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/iframe2a74ac.js","appmsg/review_image.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/review_image2a5394.js","appmsg/outer_link.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/outer_link275627.js","biz_wap/jsapi/core.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/jsapi/core275627.js","biz_common/dom/event.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/dom/event275627.js","appmsg/copyright_report.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/copyright_report2a2c13.js","appmsg/cache.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/cache2a74ac.js","appmsg/pay_for_reading.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/pay_for_reading28f721.js","appmsg/async.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/async2a6faf.js","biz_wap/ui/lazyload_img.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/ui/lazyload_img2a96fd.js","biz_common/log/jserr.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/log/jserr2805ea.js","appmsg/share.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/share2a42af.js","biz_wap/utils/mmversion.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/utils/mmversion275627.js","appmsg/cdn_img_lib.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/cdn_img_lib275627.js","biz_common/utils/url/parse.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_common/utils/url/parse275627.js","biz_wap/utils/device.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/utils/device27f46f.js","biz_wap/jsapi/a8key.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/biz_wap/jsapi/a8key2a30ee.js","appmsg/index.js":"http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/js/appmsg/index2a9baf.js"};window.moon_crossorigin = true;</script><script type="text/javascript" src="./math_files/moon2aba63.js" crossorigin=""></script>
<script id="voice_tpl" type="text/html">
<span id="voice_main_<#=voiceid#>_<#=posIndex#>" class="db audio_area <#if(!musicSupport){#> unsupport<#}#>">
<span class="tc tips_global unsupport_tips" <#if(show_not_support!==true){#>style="display:none;"<#}#>>
当前浏览器不支持播放音乐或语音，请在微信或其他浏览器中播放 </span>
<span class="audio_wrp db">
<span id="voice_play_<#=voiceid#>_<#=posIndex#>" class="audio_play_area">
<i class="icon_audio_default"></i>
<i class="icon_audio_playing"></i>
<img src="http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/images/icon/appmsg/audio/icon_audio_unread26f1f1.png" alt="" class="pic_audio_default">
</span>
<span class="audio_length tips_global"><#=duration_str#></span>
<span class="db audio_info_area">
<strong class="db audio_title"><#=title#></strong>
<span class="audio_source tips_global"><#if(window.nickname){#>来自<#=window.nickname#><#}#></span>
</span>
<span id="voice_progress_<#=voiceid#>_<#=posIndex#>" class="progress_bar" style="width:0px;"></span>
</span>
</span>
</script>
<script id="qqmusic_tpl" type="text/html">
<span id="qqmusic_main_<#=comment_id#>_<#=posIndex#>" class="db qqmusic_area <#if(!musicSupport){#> unsupport<#}#>">
<span class="tc tips_global unsupport_tips" <#if(show_not_support!==true){#>style="display:none;"<#}#>>
当前浏览器不支持播放音乐或语音，请在微信或其他浏览器中播放 </span>
<span class="db qqmusic_wrp">
<span class="db qqmusic_bd">
<span id="qqmusic_play_<#=musicid#>_<#=posIndex#>" class="play_area">
<i class="icon_qqmusic_switch"></i>
<img src="http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/images/icon/appmsg/qqmusic/icon_qqmusic_default.2x26f1f1.png" alt="" class="pic_qqmusic_default">
<img src="<#=music_img#>" data-autourl="<#=audiourl#>" data-musicid="<#=musicid#>" class="qqmusic_thumb" alt="">
</span>
<a id="qqmusic_home_<#=musicid#>_<#=posIndex#>" href="javascript:void(0);" class="access_area">
<span class="qqmusic_songname"><#=music_name#></span>
<span class="qqmusic_singername"><#=singer#></span>
<span class="qqmusic_source"><img src="http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/images/icon/appmsg/qqmusic/icon_qqmusic_source263724.png" alt=""></span>
</a>
</span>
</span>
</span>
</script>
<script type="text/javascript">
var not_in_mm_css = "http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/style/page/appmsg/not_in_mm2a7a3f.css";
var windowwx_css = "http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/style/page/appmsg/page_mp_article_improve_winwx2a9cd9.css";
var tid = "";
var aid = "";
var clientversion = "0";
var appuin = "MzA3NDM1NjUwMQ==";
var source = "0";
var scene = 75;
var itemidx = "";
var _copyright_stat = "0";
var _ori_article_type = "";
var nickname = "程序员之家";
var appmsg_type = "9";
var ct = "1451915942";
var user_name = "gh_5144ccfd2e8e";
var user_name_new = "";
var fakeid = "";
var version = "";
var is_limit_user = "0";
var msg_title = "麻省理工（MIT）牛人解说数学体系";
var msg_desc = "来源：P.Linux‘s blog与 ima 原文：http://www.penglixun.com/st";
var msg_cdn_url = "http://mmbiz.qpic.cn/mmbiz/9OwLibM3EYapy7JlCsO9nRQNgXUDYPCFzylXZVIJ8e81rgibTeTHxKnV1xhW6micrSicDia7RLYD3ILRY4pxUCZP5aA/0?wx_fmt=jpeg";
var msg_link = "http://mp.weixin.qq.com/s?__biz=MzA3NDM1NjUwMQ==&mid=401361839&idx=1&sn=0a315b9503d80621650b2c48c3cce185#rd";
var user_uin = "0"*1;
var msg_source_url = '';
var img_format = 'jpeg';
var srcid = '';
var networkType;
var appmsgid = '' || '401361839';
var comment_id = "0" * 1;
var comment_enabled = "" * 1;
var is_need_reward = "0" * 1;
var is_https_res = ("" * 1) && (location.protocol == "https:");
var devicetype = "";
var source_username = "";
var profile_ext_signature = "" || "";
var reprint_ticket = "";
var source_mid = "";
var source_idx = "";
var show_comment = "";
var __appmsgCgiData = {
can_use_page : "0"*1,
is_wxg_stuff_uin : "0"*1,
card_pos : "",
copyright_stat : "0",
source_biz : "",
hd_head_img : "http://wx.qlogo.cn/mmhead/Q3auHgzwzM590zibj3kV6CH6UHCwnCBXVckzqHibicHD4biayMIufrIEww/0"||(window.location.protocol+"//"+window.location.host + "http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/images/pic/appmsg/pic_rumor_link.2x264e76.jpg")
};
var _empty_v = "http://res.wx.qq.com/mmbizwap/zh_CN/htmledition/images/pic/pages/voice/empty26f1f1.mp3";
var copyright_stat = "0" * 1;
var pay_fee = "" * 1;
var pay_timestamp = "";
var need_pay = "" * 1;
var need_report_cost = "0" * 1;
window.wxtoken = "";
if(!!window.__initErrorReport){
window.__initErrorReport(84,{
biz : biz || "",
mid : mid || "",
idx : idx || ""
});
}
</script>
<script type="text/javascript">
seajs.use('appmsg/index.js');
</script>
</body></html>