在线时间 7 小时 最后登录 2012-2-13 注册时间 2012-1-28 听众数 4 收听数 0 能力 0 分 体力 410 点 威望 0 点 阅读权限 30 积分 266 相册 1 日志 6 记录 4 帖子 279 主题 17 精华 0 分享 25 好友 1
升级 83%
TA的每日心情 郁闷 2012-2-11 20:32
签到天数: 7 天
[LV.3]偶尔看看II
1 庞加莱猜想
3 `1 ^7 C& N/ {2 ~ X4 G 在1904年发表的一组论文中,庞加莱提出以下猜想:任一单连通的、封闭的三维流形与三维球面同胚。% M( p" b1 Y p4 V( H t
- {: `0 M8 d9 a3 m) K
上述简单来说就是:每一个没有破洞的封闭三维物体,都拓扑等价于三维的球面。粗浅的比喻即为:如果我们伸缩围绕一个苹果表面的橡皮带,那我们可以既不扯断它,也不让它离开表面,使它慢慢移动收缩为一个点;另一方面,如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上,那不扯断橡皮带或者轮胎面,是没有办法把它收缩到一点的。我们说,苹果表面是单连通的,而轮胎面不是。4 l. k( r# r0 P9 E
9 a: |8 T! R6 \ 该猜想是一个属于代数拓扑学领域的具有基本意义的命题,对庞加莱猜想的証明及其带来的后果将会加深数学家对流形性质的认识,甚至会对人们用数学语言描述宇宙空间產生影响。0 L4 \9 k, _9 j5 I
5 \% f/ P- q8 {& i0 ~ 2 哥德**猜想
4 p8 f% c& w& I; ^/ n" U
* M x* F. _: \! F1 \! ]. M5 K 哥德**猜想是世界近代三大数学难题之一。1742年,由德国中学教师哥德**在教学中首先发现的。1742年6月7日哥德**写信给当时的大数学家欧拉,正式提出了以下的猜想:a.任何一个大于 6的偶数都可以表示成两个素数之和。b.任何一个大于9的奇数都可以表示成三个素数之和。 这就是哥德**猜想。欧拉在回信中说,他相信这个猜想是正确的,但他不能证明。 从此,这道数学难题引起了几乎所有数学家的注意。哥德**猜想由此成为数学皇冠上一颗可望不可及的“明珠”。
. p+ C/ i9 b& b+ O2 X' E4 [ , ~1 C) `5 @3 J# y6 W' Q
3 NP完全问题) k) d; F9 J5 `6 w! w N
数学上著名的NP问题,完整的叫法是NP完全问题,也即“NP COMPLETE”问题,简单的写法,是 NP=P?的问题。问题就在这个问号上,到底是NP等于P,还是NP不等於P。证明其中之一,便可以拿百万美元大奖。
# _( o' b5 s5 m! [" v8 X; q5 X
5 U; [9 ?* ]/ K$ ~ 这个奖还没有人拿到,也就是说,NP问题到底是Polynomial,还是Non-Polynomial,尚无定论。$ _, x) n* }) {. H5 p: Y7 d! X9 o
. E6 s% ~& W9 \9 U/ P7 z NP里面的N,不是Non-Polynomial的N,是Non-Deterministic,P代表Polynomial倒是对的。NP就是Non-deterministic Polynomial的问题,也即是多项式复杂程度的非确定性问题。 ( |, M: O: b: ?' G( G
* L3 H0 H( i, j. \) B4 h1 U NO:4 四色猜想% i3 i5 B& E4 P( ^
7 W! r$ ~6 z" p4 l$ z 这是一个拓扑学问题,即找出给球面(或平面)地图着色时所需用的不同颜色的最小数目。着色时要使得没有两个相邻(即有公共边界线段)的区域有相同的颜色。1852年英国的格思里推测:四种颜色是充分必要的。1878年英国数学家凯利在一次数学家会议上呼吁大家注意解决这个问题。直到1976年,美国数学家阿佩哈尔、哈肯和考西利用高速电子计算机运算了1200个小时,才证明了格思里的推测。四色问题的解决在数学研究方法上的突破,开辟了机器证明的美好前景。
. X; f. ^9 _0 i+ D# L. w5 Z
8 B' X; c$ Y: I. O 5 黎曼假设' X; a+ Y/ u4 A( K* J
黎曼猜想,即素数的分布最终归结为所谓的黎曼ζ函数的零点问题。- ^( z; N7 Z' T* ]
" g1 e- t2 b4 ~ 黎曼在1859年在论文《在给定大小之下的素数个数》中做出这样的猜想:ζ(z)函数位于0≤x≤1之间的全部零点都在ReZ=1/2之上,即零点的实部都是1/2,这至今仍是未解决的问题。2 `% Y* H& `8 a7 Q" N
/ i$ _: [) W( _* N" |! m/ ] 6 杨-米尔斯存在性和质量缺口/ a: {/ M+ c6 D8 m6 \
' @ o* | j3 M* ^: W' Z+ v 量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前,杨振宁和米尔斯发现,量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨-米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实:布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此,他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是,被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设,从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。
- F9 U* a) e/ C" d# Z# T 0 p. N6 ?* W& U8 j5 ], F" \
7 纳维叶-斯托克斯方程的存在性与光滑性/ X& g+ h! o* d, J( N
$ r3 E0 l& X5 z 起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船,湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信,无论是微风还是湍流,都可以通过理解纳维叶-斯托克斯方程的解,来对它们进行解释和预言。虽然这些方程是19世纪写下的,我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展,使我们能解开隐藏在纳维叶-斯托克斯方程中的奥秘。
zan