Solidot 推荐了一部创作共用版权的数学科普电影:《维度:数学漫步》。各个章节适合不同年龄段学生。
《维度:数学漫步(Dimensions: a walk through mathematics)》是两小时长的CG科普电影,讲述了许多深奥的数学知识,如4维空间中的正多胞体、复数、分形(fractals)、纤维化理论(fibrations)等等。这部电影以创作共用 署名-非商业用途-禁止演绎 3.0许可证发布,你可以自由下载和复制但不允许商业使用。电影介绍,预告片,可以通过HTTP或BT方式下载不同语言的版本(法语,英语,西班牙语和阿拉伯语),当然也可以花10欧元购买DVD(包括20页的小册子,并提供中文字幕在内的12种语言)。
一些图片:




Solidot 上有个有趣的帖子: 数学是被发现呢还是被发明呢?指向 Science News 上这篇文章:Still debating with Plato。
柏拉图主义者的回答是“被发现”,这些人中包括了著名的数学物理学家罗杰彭罗斯(Roger Penrose)爵士。他们认为数学陈述的对和错与个人信仰无关,暗示它们是某种客观现实。这又引发了一个奇怪的想法:客观,那它又在何处。数学真理真的在我们的想象之前就存在?不过从另一方面说,如果数学是被创造的,为什么2 + 2不能等于5呢?
这里学数学和理论物理的人不少,也许会对这个问题也感兴趣吧。
数学一直被认为非常特别,是科学的基础,甚至独立于科学。但我个人会认为数学和物理、音乐一样,依赖于人。如果有外星人存在,那他们很可能会有非常不同的“数学”。如果你持相反观点,请说服我。:)
Science News 上这篇文章引用了欧洲数学学会时事通讯 2007 年六月期上一篇文章 Let Platonism Die。同时还引用了今年的六月期上的三篇文章,这一期应该还没发布。看来值得期待。
补充:发明还是发现,是否可依据“如果人不存在,它还存不存在?”来判断?如果人不存在,数学在哪里呢?
挑选了一个完整系列的基础数学教科书,都是pdf文件,供下载。
若能认真地遵此教材学习,自可构筑一极其优秀的数学基础。
【项武义】的基础数学系列教程
项先生这套书基本上可以说是,只要念过小学或初中数学,就可以开始念,是一套数学味道很醇正的教材。
基础代数学
基础几何学之一
基础几何学之二
基础分析学之一
基础分析学之二
【陈省身】微积分教材
陈省身应该有更多的人知其名,一代之大师。他这套讲义是其晚年到南开给大学低年级学生的讲课记录,自然也是味道醇正。
第一册
第二册
第三册
第四册
第五册
第六册
Web links for PWWS
Web address: http://www.box.net/shared/kgoolyo1hc
RSS: http://www.box.net/shared/kgoolyo1hc/rss.xml
‘Trigonmetry, Calculus & Analytic Geometry’ Category List
有朋友不认识几何画板的.gsp格式,希望我能放出一些通用的来,比如说.pdf。那么我当然要从善如流,我就将这一章的所有课件的完整截图制作成了一个.pdf文件,供有兴趣的朋友们参考。
只是.pdf文件丧失了原课件的很多乐趣,首当其冲的是动态操作,其次有些符号显示不出来。所以这个.pdf文件有那么点儿缺陷在里头,如果大家想体验完整的,我建议还是下载文件,把扩展名改成.gsp,然后用几何画板看。
Web links for PWWS
Web address: http://www.box.net/shared/kgoolyo1hc
Proof Without Words,中译一般为:图说一体不证自明,加个书名号就变成了耐尔森的著作。亚马逊上这本书售价30多美元,我买不起。幸运的是学生家里有钱,有个学生从美国回来带了一本,我就顺手牵羊拿过来看。
由于实在是很有用,尤其是对于中学数学教学来说,我决定把整本书扫出来。但是书的规格有点怪,扫描仪放不下,于是我只好用我心爱的H5照。这是第一步,接下来我准备把整本书译一遍(反正没几个字),并把所有的内容全都做成几何画板课件。
这些照片会陆续、分章节放到我的网志上,要声明的是:版权归原作者和出版社所有,我干的只是记录和学习,绝对不会用在商业用途。
这一篇纯属自娱自乐。顺便试一下格志新的DruTex。
设A是可换环。对于A上的n阶矩阵M,把它的特征多项式det(Ix-M)(I是单位矩阵)记为f(x)。Cayley-Hamilton定理说,如果把矩阵M代入它的特征多项式里,得到的结果f(M)是零矩阵。这个学过线性代数的人都知道,不过既然这篇纯属自娱自乐,我就来扯扯这个定理。
由我之前在gezhi里提到的Floquet定理可以得到这样的结果:对于一个T周期的实系统
可以通过2T周期的实变量代换
将系统约化成常系数的实系统
但有的时候,我们需要通过T周期的实变量代换将系统约化。这在理论上是一个比较难的问题,至今没有办法对任意的系统进行这样的操作,我的本科毕业论文是讨论在如下一类情况下,如何做这样的约化。
定理:考虑方程
,其中A是n阶实常数矩阵,特征值为
,
是
中的T周期矩阵。假设
(1) 令
,
,
在
上解析,
(2)
,由周期系统的性质,存在正数
使得
,
那么,当
充分小且
时,实系统
可以通过T周期的实变换约化为实常数系统
。
可见,在对实的常系数系统做T周期的小扰动时,存在一个T周期实变换将系统约化。这个命题的证明主要是运用了迭代思想,我将在以后大致进行说明,迭代思想在动力系统中非常关键,比如重要的KAM理论。
线性周期系统当中最重要的定理就是 Floquet 定理。这个定理的意思是一个具有周期系数的线性常微分方程可以通过约化成为一个常系数的常微分方程。考虑方程:
,其中A(t)关于t是T周期的。
首先可以证明对于方程的一个基解矩阵,
也是方程的基解矩阵,于是存在一个常矩阵C满足
,而且C可以表示成
,B是一个常数矩阵。
令,易知P(t)是T周期的。
下面做变量代换x=P(t)y,并将x代入原方程即可得到

至此,就将周期系数的线性方程约化为常系数方程。
Floquet 定理具有非常重要的意义,因为它的高度概括性,使得它能应用在自然科学的很多领域,据我所知量子力学当中有这样一个结论:电子在一类周期势中运动时,其定态波函数总可以表示成一个平面波乘以适当的与势同周期的周期函数。在 Floquet 定理中正是。此外,在传染病模型等很多领域,都可以看到 Floquet 定理。
我的本科毕业论文正是关于 Floquet 定理,我所要研究的问题就是寻找一些普遍的情况,使得在这些情况下对于实系统可以找到实的T周期变换x=P(t)y(而这在一般情况下是不能满足的)。