Monday, July 1, 2013

纳什均衡范式博弈又被译为正则形式的博弈、策略型赛局或标准型赛局

http://zhan.renren.com/mathephysician?tagId=9021&from=template&checked=true

【小站活动】2013毕业设计展

下一站，你会遇见谁的梦想？

Mathephysician

This is a field of Mathematics and Physics.Just for fun.But the beauty of God will be seen by us.

RSS 归档

站长

509人关注

站长在关注

2013 / . 年 06 / . 月 26 日

可解群

在数学的历史中，群论原本起源于对五次方程及更高次方程无一般的公式解之证明的找寻，最终随着伽罗瓦理论的提出而确立。可解群的概念产生于描述其根可以只用根式(平方根、立方根等等及其和与积)表示的多项式所对应的自同构群所拥有的性质。

一个群被称为可解的，若它拥有一个其商群皆为阿贝尔群的正规列。或者等价地说，若其降正规列

$可解群$

之中，每一个子群都会是前一个的导群，且最后一个为G的当然子群{1}。上述两个定义是等价的，对一个群H及H的正规子群N，其商群H/N为可交换的当且仅当N包含着H⁽¹⁾。

对于有限群，有一个等价的定义为：一可解群为一有着其商群皆为质数目的循环群之合成列的群。此一定义会等价是因为每一个简单阿贝尔群都是有质数目的循环群。若尔当-赫尔德定理表示若一个合成列有此性质，则其循环群即会对应到某个体上的n个根。但此一定义的等价性并不必然于无限群中亦会成立：例如，因为每一个在加法下的整数群Z的非当然子群皆同构于Z本身，它不会有合成列，但是其有着唯一同构于Z的商群之正规列{0,Z}，证明了其确实是可解的。

和乔治·波里亚的格言“若有一个你无法算出的问题，则会有的你可以算出的较简单的问题”相一致的，可解群通常在简化有关一复杂的群的推测至一系列有着简单结构－阿贝尔群的群的推测有着很有用的功用。

例子

所有的阿贝尔群都是可解的－其商群A/B总会是可交换的，若A为可交换的。但非阿贝尔群则不一定都是可解的。

更一般地，所有幂零群都是可解的。特别地是，所有的有限p-群都是可解的，因为所有的有限p-群都会是幂零的。

可解但不为幂零的群的一个小例子为对称群S₃。实际上，当最小的简单非可贝尔群为A₅(5度的交错群)时，它允许每一个目小于60的群皆为可解的。

群S₅不是可解的－它有一合成列{E,A₅,S₅}(且若尔当-赫尔德定理表示每个其他的合成列都会等价于此一合成列)，给出了同构于A₅及C₂的商群；而A₅为非可换的。广义化此一论述，结合A_n在n > 4时为S_n的正规、最大且非阿贝尔简单子群的事实，可知n > 4的所有S_n皆不可解，此亦为证明每一个n > 4的n次多项式都不可以以方根得解的关键步骤。

著名的范特-汤普逊定理叙述著，每一个奇数目的有限群皆是可解的。特别地是，此定理表示，若一有限群为简单的，其必为质数循环或有偶数目。

性质

可解性的性质在某一意义上是可继承的，如下：

若G为可解的，且H为G的子群，则H也是可解的。
若G是可解的，且H为G的正规子群，则G/H也是可解的。
若G是可解的，且存在一G满射至H的同态，则H也是可解的。
若H及G/H为可解的，则G也是可解的。
若G及H为可解的，则其直积G×H也是可解的。

超可解群

做为可解性的加强版，一个群G被称为超可解的，若它有一其商群皆为循环群的不变正规列；换句话说，if it is solvable with each A_i also being a normal subgroup of G，且每个A_i+1/A_i都不只是可交换而已，且也是循环的(可能为无限目)。因为一正规列在定义中有有限的长度，所以不可数阿贝尔群不会是超可解的。实际上，所有的超可解群皆为有限产生群，且一个阿贝尔群为超可解的当且仅当其为有限产生的。

若限制在有限产生群中，将可以有下列的排序：

循环群 < 阿贝尔群 < 幂零群 < 超可解群 < 多重循环群 < 可解群 < 有限生成群

2013 / . 年 03 / . 月 21 日

规范场论

规范场论（Gauge Theory）是基于对称变换可以局部也可以全局地施行这一思想的一类物理理论。非交换对称群的规范场论最常见的例子为杨-米尔斯理论。物理系统往往用在某种变换下不变的拉格朗日量表述，当变换在每一时空点同时施行，它们有全局对称性。规范场论推广了这一思想，它要求拉格朗日量必须也有局部对称性—应该可以在时空的特定区域施行这些对称变换而不影响到另外一个区域。这个要求是广义相对论的等价原理的一个推广。
简史
最早包含规范对称性的物理理论是麦克斯韦的电动力学。但是，该对称性的重要性在早期的表述中没有被注意到。在爱因斯坦发展广义相对论之后，赫尔曼·外尔在试图统一广义相对论和电磁学的尝试中，猜想Eichinvarianz或者说尺度（“规范”）变换下的不变性可能也是广义相对论的局部对称性。后来发现该猜想将导致某些非物理的结果。但是在量子力学发展以后，魏尔、Vladimir Fock和Fritz London实现了该思想，但作了一些修改（把缩放因子用一个复数代替，并把尺度变化变成了相位变化—一个U(1)规范对称性），这对一个相应于带电荷的量子粒子其波函数受到电磁场的影响，给定了一个漂亮的解释。这是第一个规范场论。泡利在1940年推动了该理论的传播。

1950年代，为了解决一些基本粒子物理中的巨大混乱，杨振宁和罗伯特·米尔斯引入非交换规范场论作为理解将核子绑在原子核中的强相互作用的模型。（Ronald Shaw，和Abdus Salam一起工作，在他的博士论文中独立地引入了相同的概念。）通过推广电磁学中的规范不变性，他们试图构造基于（非交换的）SU(2)对称群在同位旋质子和中子对上的作用的理论，类似于U(1)群在量子电动力学的旋量场上的作用。在粒子物理中，重点是使用量子化规范场论。

该思想后来被发现能够用于弱相互作用的量子场论，以及它和电磁学的统一在电弱理论中。当人们意识到非交换规范场论能够导出一个称为渐进自由的特色的时候，规范场论变得更有吸引力，因为渐进自由被认为是强相互作用的一个重要特点—因而推动了寻找强相互作用的规范场论的研究。这个理论现在称为量子色动力学，是一个SU(3)群作用在夸克的色荷上的规范场论。标准模型用规范场论的语言统一了电磁力、弱相互作用和强相互作用的表述。

1970年代迈克尔·阿蒂亚爵士提出了研究经典杨-米尔斯方程的数学解的计划。1983年，Atiyah的学生Simon Donaldson 在这个工作之上证明了光滑4-流形的可微分类和它们只差一个同胚的分类非常不同。Michael Freedman采用Donaldson的工作证明伪R⁴的存在，也就是，欧几里得4维空间上的奇异微分结构。这导致对于规范场论本身的兴趣，独立于它在基础物理中的成功。1994年，爱德华·威滕和Nathan Seiberg发明了基于超对称的规范场技术，使得特定拓扑不变量的计算成为可能。这些从规范场论来的对数学的贡献导致了对该领域的新兴趣。

一个例子：标量O(n)规范场论

下面解释了局域规范不变性可以从整体对称性质启发式地“导出”，并且解释了它如何导向原来不相互作用的场之间的相互作用。

考虑一个n个不相互作用的标量场的集合，它们有相同的质量m。该系统用一个作用量表示，它是每个标量场φ_i的作用量之和

$规范场论$

拉格朗日量可以简明的写作

$规范场论$

这是通过引入一个场的矢量

$规范场论$

现在很明显地，拉格朗日量在下面的变换中不变

$规范场论$

只要G是一个常数矩阵，G属于n-乘-n 正交群 O(n)。这是这个特定的拉格朗日量的全局对称性，而对称群经常称为规范群。很巧合的是，诺特定理蕴含着该变换群作用下的不变量导致如下的流的守恒

$规范场论$

其中T^a矩阵是SO(n)群的生成元。每个生成元有一个守恒流。

现在，要求这个拉格朗日量必须有局域O(n)-不变性要求G矩阵（原来是常数）必须允许成为时空坐标x的函数。

不幸的是，G矩阵无法“传递”给导数。当G = G(x)，

$规范场论$

这意味着定义一个有如下属性的“导数”D

$规范场论$

可以验证这样一个“导数”（称为协变导数）是

$规范场论$

其中规范场 A(x)定义为有如下变换律的场

$规范场论$

而g为耦合常数 - 定义一个相互作用强度的量。

规范场在一点的取值是李代数的一个元素，因此可以展开为

$规范场论$

所以相互独立的测度场取值和李代数的生成元一样多。

最后，我们有了一个局域规范不变拉格朗日量

$规范场论$

泡利把应用到象 $规范场论$ 这样的场上的变换称为第一类规范变换，而把 $规范场论$ 中的补偿变换称为第二类规范变换。

费曼的标量玻色子通过规范玻色子相互作用的示意图

这个拉格朗日量和初始的全局规范不变的拉格朗日量的区别可以视为相互作用拉格朗日量

$规范场论$

这个项作为要求局部规范不变性的结果而引入了n个标量场之间的相互作用。在这个经典场论的量子化版本中，规范场A(x)的量子称为规范玻色子。相互作用拉格朗日量在量子场论中的解释是标量玻色子通过交换这些规范玻色子来相互作用。

规范场的拉格朗日量

我们关于经典规范理论的图像基本完成了，还剩协变导数D的定义，为此我们必须知道规范场 A(x) 在所有时空点的值。它可以通过一个场方程的解给出，而不是手工的设置这个场的值。进一步要求产生这个场方程的拉格朗日量也是局部规范不变的，规范场拉格朗日量的最一般的形式可以（传统地）写作

$规范场论$

其中

$规范场论$

而迹在场的矢量空间上取。

注意在这个拉格朗日量中，没有一个场 $规范场论$ 其变换抵消 $规范场论$ 的变换。该项在规范变换中的不变性是前面经典（或者说几何，如果喜欢的话）对称性的特殊情况。该对称性必须被限制以施行量子化，这个过程被称为规范固定，但是即使在限制之后，规范变换还是可能的（参看Sakurai， 高等量子力学，1-4节）。

O(n)规范场论的拉格朗日量现在成了

$规范场论$

数学形式化

规范理论通常用微分几何的语言讨论。数学上，一个规范就是某个流形的（局部）坐标系的一个选择。一个规范变换也就是一个坐标变换。

注意，虽然规范理论被联络的研究占据了大部分（主要是因为它主要在高能物理中研究），联络的思想一般不是规范理论的基本或者中心概念。事实上，一般规范理论的一个结果表明规范变换的仿射表示（也就是仿射模）可以分类到一种满足特定属性的节丛的截面。有些表示在每一点共变（物理学家称其为第一类规范变换），有些表示象联络形式一样变换（物理学家称其为第二类规范变换）（注意这是一种仿射表示），还有其它更一般的表示，例如BF理论中的B场。当然，我们可以考虑更一般的表示（实现），但那很复杂。但是，非线性σ模型非线性地变换，所以它们也有用处。

若我们有一个主丛P其底空间是空间或时空而结构群是一个李群，则P的截面组成一个群称为规范变换群。

我们可以在该主丛上定义一个联络（规范联络），这可以在每个相伴矢量丛上产生一个共变导数∇。若我们选择一个局部标架（截面的局部基），我们就可以用联络形式A表示这个共变导数，A是一个李代数-值的1-形式，在物理学中称为规范势，它显然不是内在的量，而是一个依赖于标架的选择的量。从这个联络形式，我们可以构造曲率形式F，这是一个李代数-值的2-形式，这是一个内在量，定义为

$规范场论$

其中 d 代表外微分而 $规范场论$ 代表楔积。

无穷小规范变换形成一个李代数，可以表述为一个光滑李代数值的标量，ε。在这样一个无穷小规范变换下，

$规范场论$

其中 $规范场论$ 是李括号。

一个有趣的结果是，若 $规范场论$ ，则 $规范场论$ 其中D是共变导数

$规范场论$

而且， $规范场论$ ，这意味着F共变地变换。

需要注意的一点是不是所有的一般规范变换都可以用无穷小规范变换生成；例如，当底流形是一个无边界的紧致流形使得从该流形到李群的映射的同伦类非平凡的时候。参看瞬子（instanton）中的例子。

杨-米尔斯作用现在可以如下给出

$规范场论$

其中 * 代表霍奇对偶而积分和在微分几何中的定义一样。

一个规范-不变量也就是在规范变换下的不变量的例子是威尔逊环（Wilson loop），它定义在闭合路径γ上，定义如下：

$规范场论$

其中χ是复表示ρ的特征标；而 $规范场论$ 表示路径排序算子。（From Wikipedia）

2013 / . 年 03 / . 月 10 日

李群及其代数

数学中，李群是具有群结构的流形或者复流形，并且群中的加法运算和逆元运算是流形中的解析映射。李群在数学分析、物理和几何中都有非常重要的作用。它以索菲斯·李命名。

定义

$李群及其代数$ 为有限维实解析流形
两个解析映射，乘法运算 $李群及其代数$ ，和逆映射 $李群及其代数$ 满足群公理，从而具有群结构。

同态和同构
$李群及其代数$ 均为李群，二者之间的一个同态： $李群及其代数$ 为群同态并且是解析映射（事实上，可以证明这里解析的条件只需满足连续即可）。显然，两个同态的复合是同态。所有李群的类加上同态构成一个范畴。两个李群之间存在一个双射，这个双射及其逆射均为同态，就称之为同构。
李代数

李代数刻划了李群在单位元附近的局部性状；借助指数映射或源自李代数的叶状结构，可以将李代数的性质提升到李群的层次。

设 $李群及其代数$ 为李群，其李代数 $李群及其代数$ 定义为 $李群及其代数$ 在单位元的切空间。 $李群及其代数$ 自然具备了矢量空间结构， $李群及其代数$ 上的李括积 $李群及其代数$ 定义如下：

定义 $李群及其代数$ 对自身的伴随作用 为 $李群及其代数$ ， $李群及其代数$ 。
取 Ad 对变元 $李群及其代数$ 在单位元上的微分，得到李代数上的伴随作用，通常记为 $李群及其代数$ ， $李群及其代数$ 。
再对变元 $李群及其代数$ 微分，得到映射 $李群及其代数$ 。定义李括积为 $李群及其代数$ 。

不难验证 $李群及其代数$ 满足李代数的抽象定义。李括积蕴含了群乘法的无穷小性质，例如：连通李群 $李群及其代数$ 是交换群当且仅当 $李群及其代数$ 是交换李代数。

李括积也可以用左不变矢量场及泊松括号定义，或者取定局部坐标，用群乘法映射在原点的泰勒级数定义。

李群对应李代数

若 $李群及其代数$ 是李群， $李群及其代数$ 是其子群，并带有李群结构，使得包含映射 $李群及其代数$ 为浸入（不一定是闭的），则可得到子李代数 $李群及其代数$ 。反之，任意子李代数 $李群及其代数$ 透过左平移定义了 $李群及其代数$ 上的叶状结构，取含单位元的极大积分流形，便得到满足前述条件的子群 $李群及其代数$ 。此子群未必是闭子群，它可能是 $李群及其代数$ 的稠密子集（考虑环面的例子）。

李代数的映射 $李群及其代数$ 未必能提升至李群的映射 $李群及其代数$ ，但可提升至映射 $李群及其代数$ ，其中 $李群及其代数$ 是 $李群及其代数$ 的万有覆叠空间。

指数映射

对于任意矢量 $李群及其代数$ ，根据常微分方程式的基本理论，存在 $李群及其代数$ 中的单参数子群 $李群及其代数$ 使得 $李群及其代数$ 。由此得到的映射

$李群及其代数$

称为指数映射。它总是解析映射。

若 $李群及其代数$ 为 $李群及其代数$ 的子群，则 $李群及其代数$ ，这是指数映射一词的缘由。

当 $李群及其代数$ 连通且非交换时，指数映射 $李群及其代数$ 并非同态；局部上， $李群及其代数$ 可以由 Campbell-Baker-Hausdorff 公式表成涉及括积的无穷级数。

一般域上的李群

在任意域、环乃至于概形上，都可以定义群概形；这是概形范畴中的群对象。群概形具有深刻的几何与数论意义，然而李群未必是代数簇。

另一方面，若域 $李群及其代数$ 对某个绝对值是完备域，其特征为零，则可照搬解析李群的定义以定义域 $李群及其代数$ 上的李群、李代数与指数映射。较常见的例子是 $李群及其代数$ ；至于数论方面，特别涉及自守表示的研究上，则须用到 $李群及其代数$ 为p进数域的情形。

（FromWikipedia）

2013 / . 年 03 / . 月 02 日

模形式——五种代数基本运算之一

模形式是数学上一个满足一些泛函方程与增长条件、在上半平面上的（复）解析函数。因此，模形式理论属于数论的范畴。模形式也出现在其他领域，例如代数拓扑和弦理论。

模形式理论是更广泛的自守形式理论的特例。自守形式理论的发展大致可分成三期：

19世纪初：探讨与椭圆函数相关的方面。
19世纪末：此时单变量自守形式的概念诞生。此理论由菲利克斯·克莱因等人发展。
1925至1960年：由赫克发端，发现了模形式与数论的联系。

作为格的函数

一个模形式可视为从所有格 $模形式——五种代数基本运算之一$ （即： $模形式——五种代数基本运算之一$ 中的离散加法子群，使得其商群紧致）的集合映至 $模形式——五种代数基本运算之一$ 的函数 $模形式——五种代数基本运算之一$ ，使之满足下述条件：

若考虑形如 $模形式——五种代数基本运算之一$ 之格，其中 $模形式——五种代数基本运算之一$ 为常数而 $模形式——五种代数基本运算之一$ 为变量，则 $模形式——五种代数基本运算之一$ 是 $模形式——五种代数基本运算之一$ 的全纯函数。
存在常数 $模形式——五种代数基本运算之一$ （通常取正整数），使得对任何 $模形式——五种代数基本运算之一$ ，有 $模形式——五种代数基本运算之一$ 。常数 k 称为此模形式之权。
对于最小非零元与原点距离大于一定值之格 $模形式——五种代数基本运算之一$ ， $模形式——五种代数基本运算之一$ 有上界。

当 $模形式——五种代数基本运算之一$ ，条件二表明 $模形式——五种代数基本运算之一$ 仅决定于 $模形式——五种代数基本运算之一$ 在相似变换下的等价类。这是重要的特例，但是权为零的模形式必为常数函数。若去掉条件三，并容许函数有极点，则存在非常数的例子，称作模函数。

这个状况可以与射影空间 $模形式——五种代数基本运算之一$ 作类比：对于射影空间，我们欲寻找向量空间 $模形式——五种代数基本运算之一$ 上对座标的多项式函数 $模形式——五种代数基本运算之一$ ，并满足 $模形式——五种代数基本运算之一$ ；不幸的是，这种函数必为常数。一种办法是容许有分母（即考虑有理函数），则满足条件的是分子、分母为同次数齐次多项式的有理函数。另一种办法则是修改条件 $模形式——五种代数基本运算之一$ 为 $模形式——五种代数基本运算之一$ ，则满足此条件的函数为 $模形式——五种代数基本运算之一$ 次齐次多项式，对每个固定的 $模形式——五种代数基本运算之一$ ，这些函数构成有限维向量空间。借着考虑所有可能的 $模形式——五种代数基本运算之一$ ，我们可以找出构造 $模形式——五种代数基本运算之一$ 上的有理函数所需之分子与分母。

既然 $模形式——五种代数基本运算之一$ 次齐次多项式在 $模形式——五种代数基本运算之一$ 上并非真正的函数，该如何从几何上诠释？代数几何给出了一个答案：它们是 $模形式——五种代数基本运算之一$ 上某个层 $模形式——五种代数基本运算之一$ 的截面。模形式的情形也类似，但考虑的不是 $模形式——五种代数基本运算之一$ ，而是某个模空间。

作为椭圆曲线模空间上的函数

每个格 $模形式——五种代数基本运算之一$ 都决定一条复椭圆曲线 $模形式——五种代数基本运算之一$ ；两个格给出的椭圆曲线同构的充要条件是两个格之间差一个非零复数的倍数。因此模函数可以看作是复椭圆曲线的模空间上的函数。例如椭圆曲线的j-不变量就是模函数。模形式可视作模空间上某些线丛的截面。

每个格在乘上某个非零复数倍数后皆可表成 $Lambda = langle 1, z rangle quad (mathrm{Im}(z) alt=$ 0)">。对一模形式 $模形式——五种代数基本运算之一$ ，置 $模形式——五种代数基本运算之一$ 。模形式的第二个条件可改写成函数方程：对所有 $模形式——五种代数基本运算之一$ 且 $模形式——五种代数基本运算之一$ （即模群 $模形式——五种代数基本运算之一$ 之定义），有

$模形式——五种代数基本运算之一$

例如，取 $模形式——五种代数基本运算之一$ ：

$模形式——五种代数基本运算之一$

如果上述方程仅对 $模形式——五种代数基本运算之一$ 内的某个有限指数子群 $模形式——五种代数基本运算之一$ 成立，则称 $模形式——五种代数基本运算之一$ 为对 $模形式——五种代数基本运算之一$ 的模形式。最常见的例子是同余子群 $模形式——五种代数基本运算之一$ ，以下将详述。

广义定义

令 $模形式——五种代数基本运算之一$ 为正整数，相应的模群 $模形式——五种代数基本运算之一$ 定义为

令 $模形式——五种代数基本运算之一$ 为正整数，权为 $模形式——五种代数基本运算之一$ 的 $模形式——五种代数基本运算之一$ 级（或级群为 $模形式——五种代数基本运算之一$ ）模形式定义为一个上半平面上的全纯函数 $模形式——五种代数基本运算之一$ ，对任何

$模形式——五种代数基本运算之一$

及任何属于上半平面的 $模形式——五种代数基本运算之一$ ，有

而且 $模形式——五种代数基本运算之一$ 在尖点全纯。所谓尖点，是 $模形式——五种代数基本运算之一$ 在 $模形式——五种代数基本运算之一$ 作用下的轨道。例如当 $模形式——五种代数基本运算之一$ 时， $模形式——五种代数基本运算之一$ 代表了唯一的尖点。模形式在尖点 $模形式——五种代数基本运算之一$ 全纯，意谓 $模形式——五种代数基本运算之一$ 时 $模形式——五种代数基本运算之一$ 有界。当此尖点为 $模形式——五种代数基本运算之一$ 时，这等价于 $模形式——五种代数基本运算之一$ 有傅立叶展开式

$模形式——五种代数基本运算之一$

其中 $模形式——五种代数基本运算之一$ 。对于其它尖点，同样可藉座标变换得到傅立叶展开。

若对每个尖点都有 $模形式——五种代数基本运算之一$ ，则称之为尖点形式（德文：Spitzenform）。使得 $模形式——五种代数基本运算之一$ 的最小 $模形式——五种代数基本运算之一$ 称作 $模形式——五种代数基本运算之一$ 在该尖点的阶。以上定义的模形式有时也称为整模形式，以区分带极点的一般情形（如 j-不变量）。

另一种的推广是考虑某类函数 $模形式——五种代数基本运算之一$ ，并将函数方程改写为

上式所取的 $模形式——五种代数基本运算之一$ 称为自守因子。若另取适当的 $模形式——五种代数基本运算之一$ ，则在此框架下亦可探讨戴德金η函数，这是权等于 1/2 的模形式。例如：一个权等于 $模形式——五种代数基本运算之一$ 、 $模形式——五种代数基本运算之一$ 级、nebentypus 为 $模形式——五种代数基本运算之一$ （ $模形式——五种代数基本运算之一$ 是模 $模形式——五种代数基本运算之一$ 的一个狄利克雷特征）是定义于上半平面，并具下述性质的全纯函数：对任意

$模形式——五种代数基本运算之一$

及属于上半平面的 $模形式——五种代数基本运算之一$ ，有函数方程

此外， $模形式——五种代数基本运算之一$ 必须在尖点全纯。

例子

艾森斯坦级数

模形式最简单的例子是艾森斯坦级数：对每个偶数 $k alt=$ 2">，定义

$模形式——五种代数基本运算之一$

（条件 $k alt=$ 2"> 用于确立收敛性

theta函数

所谓 $模形式——五种代数基本运算之一$ 中的偶单位模格 $模形式——五种代数基本运算之一$ ，是指由一个行列式等于一的 $模形式——五种代数基本运算之一$ 阶矩阵的行向量展成之格，并使得每个 $模形式——五种代数基本运算之一$ 中的向量长度均为偶数。根据普瓦松求和公式，此时对应的Theta 函数

$模形式——五种代数基本运算之一$

是权 $模形式——五种代数基本运算之一$ 的模形式。偶单位模格的构造并不容易，以下是方法之一：令 $模形式——五种代数基本运算之一$ 为 8 的倍数，并考虑所有向量 $模形式——五种代数基本运算之一$ ，使得 $模形式——五种代数基本运算之一$ 的座标均为奇数或均为偶数，且 $模形式——五种代数基本运算之一$ 的各座标总和为奇数。由此构成的格写作 $模形式——五种代数基本运算之一$ 。当 $模形式——五种代数基本运算之一$ ，此格由根系 $模形式——五种代数基本运算之一$ 的根生成。虽然 $模形式——五种代数基本运算之一$ 与 $模形式——五种代数基本运算之一$ 并不相似，由于权 $模形式——五种代数基本运算之一$ 的模形式只有一个（至多差一个常数倍），遂得到

$模形式——五种代数基本运算之一$

约翰·米尔诺发现： $模形式——五种代数基本运算之一$ 对这两个格的商空间给出两个 16 维环面，彼此不相等距同构，但它们的拉普拉斯算子有相同的特征值（计入重数）。

戴德金伊塔函数

戴德金η函数定义为

$模形式——五种代数基本运算之一$

模判别式 $模形式——五种代数基本运算之一$ 是权 $模形式——五种代数基本运算之一$ 的模形式。拉马努金有一个著名的猜想：在 $模形式——五种代数基本运算之一$ 的傅立叶展开式中，对任一素数 $模形式——五种代数基本运算之一$ ， $模形式——五种代数基本运算之一$ 的系数的绝对值恒 $模形式——五种代数基本运算之一$ 。此猜想最后由德利涅证明。

上述诸例点出了模形式与若干古典数论问题的联系，例如以二次型表示整数以及整数分拆问题。赫克算子理论阐释了模形式与数论的关键联系，同时也联系了模形式与表示理论。

2013 / . 年 03 / . 月 01 日

数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）

贝塞尔函数（Bessel functions），是数学上的一类特殊函数的总称。通常单说的贝塞尔函数指第一类贝塞尔函数（Bessel function of the first kind）。一般贝塞尔函数是下列常微分方程（一般称为贝塞尔方程）的标准解函数 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ ：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

这类方程的解是无法用初等函数系统地表示。

由于贝塞尔微分方程是二阶常微分方程，需要由两个独立的函数来表示其标准解函数。典型的是使用第一类贝塞尔函数和第二类贝塞尔函数来表示标准解函数：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

注意，由于 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 在 x=0 时候是发散的（无穷），当取 x=0 时，相关系数 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 必须为0时，才能获得有物理意义的结果。

贝塞尔函数的具体形式随上述方程中任意实数或复数α变化而变化（相应地，α被称为其对应贝塞尔函数的阶数）。实际应用中最常见的情形为α是整数n，对应解称为n 阶贝塞尔函数。

尽管在上述微分方程中，α本身的正负号不改变方程的形式，但实际应用中仍习惯针对α和−α定义两种不同的贝塞尔函数（这样做能带来好处，比如消除了函数在α=0 点的不光滑性）。

贝塞尔函数也被称为圆柱函数或圆柱谐波，因为他们是于拉普拉斯方程在圆柱坐标上的求解过程中被发现的。

贝塞尔方程是在圆柱坐标或球坐标下使用分离变量法求解拉普拉斯方程和亥姆霍兹方程时得到的（在圆柱域问题中得到的是整阶形式 α = n；在球形域问题中得到的是半奇数阶形式 α = n+½），因此贝塞尔函数在波动问题以及各种涉及有势场的问题中占有非常重要的地位，最典型的问题有：

在圆柱形波导中的电磁波传播问题；
圆柱体中的热传导问题；
圆形（或环形）薄膜的振动模态分析问题；

在其他一些领域，贝塞尔函数也相当有用。譬如在信号处理中的调频合成（FM synthesis）或凯泽窗（Kaiser window）的定义中，都要用到贝塞尔函数。

第一类贝塞尔函数

第一类贝塞尔函数（Bessel function of the first kind），又称贝塞尔函数（Bessel function），下文中有时会简称为J函数，记作J_α。

第一类α阶贝塞尔函数J_α(x)是贝塞尔方程当α为整数或α非负时的解，须满足在x = 0 时有限。这样选取和处理J_α的原因见本主题下面的性质介绍；另一种定义方法是通过它在x = 0 点的泰勒级数展开（或者更一般地通过幂级数展开，这适用于α为非整数）：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

上式中 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 为Γ函数（它可视为阶乘函数向非整型自变量的推广）。第一类贝塞尔函数的形状大致与按 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 速率衰减的正弦或余弦函数类似（参见本页下面对它们渐进形式的介绍），但它们的零点并不是周期性的，另外随着x的增加，零点的间隔会越来越接近周期性。图2所示为0阶、1阶和2阶第一类贝塞尔函数 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 的曲线（ $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ ）。

如果α不为整数，则 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 和 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 线性无关，可以构成微分方程的一个解系。反之若 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 是整数，那么上面两个函数之间满足如下关系：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

于是两函数之间已不满足线性无关条件。为寻找在此情况下微分方程与 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 线性无关的另一解，需要定义第二类贝塞尔函数，定义过程将在后面的小节中给出。

贝塞尔积分

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 为整数时贝塞尔函数的另一种定义方法由下面的积分给出：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

（ $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 为任意实数时的表达式见参考文献[2]第360页）

这个积分式就是贝塞尔当年提出的定义，而且他还从该定义中推出了函数的一些性质。另一种积分表达式为：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

和超几何函数的关系

贝塞尔函数可以用超几何级数表示成下面的形式：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

ɑ为整数。由于函数线性相关的特性(用了一个就少了一个，所以要再构造一个)，才需定义如下详细介绍的第二类贝塞尔函数。

第二类贝塞尔函数（诺依曼函数）

第二类贝塞尔函数（Bessel function of the second kind），又称诺伊曼函数（Neumann function），下文中有时会简称为Y函数，记作Y_α。

第二类贝塞尔函数也许比第一类更为常用。这种函数通常用Y_α(x)表示，它们是贝塞尔方程的另一类解。x = 0 点是第二类贝塞尔函数的（无穷）奇点。

Y_α(x)又被称为诺依曼函数（Neumann function），有时也记作N_α(x)。它和J_α(x)存在如下关系：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

若α为整数（此时上式是 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 型未定式）则取右端的极限值。

从前面对J_α(x)的定义可以知道，若α不为整数时，定义Y_α是多余的（因为贝塞尔方程的两个线性无关解都已经用J函数表示出来了）。另一方面，若α为整数，Y_α便可以和J_α构成贝塞尔方程的一个解系。与J函数类似，Y函数正负整数阶之间也存在如下关系：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

J_α(x)和Y_α(x)均为沿负实半轴割开的复平面内关于x的全纯函数。当α为整数时，复平面内不存在贝塞尔函数的支点，所以J 和Y 均为x 的整函数。若将x 固定，则贝塞尔函数是α的整函数。图3所示为0阶、1阶和2阶第二类贝塞尔函数 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 的曲线（ $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ ）：

第三类贝塞尔函数（汉克尔函数）

第三类贝塞尔函数（Bessel function of the third kind），又称汉克尔函数（Hankel function）。

贝塞尔方程的另外一对重要的线性无关解称为汉克尔函数（Hankel functions）H_α⁽¹⁾(x)和H_α⁽²⁾(x)，分别定义为：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

其中i 为虚数单位 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 。以上的线性组合也成为第三类贝塞尔函数；它们描述了二维波动方程的内行柱面波解和外行柱面波解（"行"与在"行动"中同音）。

利用前面推出的关系可将汉克尔函数表示成：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

若α为整数，则须对等号右边取极限值。另外，无论α是不是整数，下面的关系都成立：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

变形贝塞尔函数

贝塞尔函数当变量x 为复数时同样成立，并且当x 为纯虚数时能得到一类重要情形——它们被称为变形第一类贝塞尔函数（modified Bessel function of the first kind）和变形第二类贝塞尔函数（modified Bessel function of the second kind），或虚变量的贝塞尔函数（有时还称为双曲型贝塞尔函数），定义为：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

以上形式保证了当变量x 为实数时，函数值亦为实数。这两个函数构成了下列变形贝塞尔方程（与一般贝塞尔方程的差别仅在两个正负号）的一个相互线性无关的解系：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

变形贝塞尔函数与一般贝塞尔函数的差别在于：一般贝塞尔函数随实变量是振荡型的，而变形贝塞尔函数I_α 和K_α则分别是指数增长和指数衰减型的。和第一类贝塞尔函数J_α一样，函数I_α当α > 0 时在x=0 点等于0，当α=0时在x=0 点趋于有限值。类似地，K_α在x=0 点发散（趋于无穷）。

球形贝塞尔函数

若使用分离变量法求解球坐标下的三维拉普拉斯方程，则可得到如下形式关于径向（r 方向）分量的常微分方程：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

关于上述方程的一对线性无关解称为球贝塞尔函数，分别用j_n和y_n表示（有时也记为n_n）。这两个函数与一般贝塞尔函数J_n和Y_n 存在关系：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

球贝塞尔函数也可写成：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

0阶第一类球贝塞尔函数 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 又称为sinc函数。头几阶整阶球贝塞尔函数的表达式分别为：

第一类：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

第二类：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

还可以依照前面构造汉克尔函数相同的步骤构造所谓球汉克尔函数：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

事实上，所有半奇数阶贝塞尔函数都可以写成由三角函数组成的封闭形式的表达式，球贝塞尔函数也同样可以。特别地，对所有非负整数n，存在：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

而对实自变量x，h_n⁽²⁾是上面h_n⁽¹⁾的复共轭（!! 表示双阶乘）。由此我们可以通过得到h，再分离实部虚部，求出相应阶j 和h 的表达式，譬如j₀(x) = sin(x)/x，y₀(x) = -cos(x)/x，等等。

渐进形式

贝塞尔函数在α非负时具有下面的渐近形式。当自变量x 为小量，即 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 时，有：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

式中γ为欧拉-马歇罗尼常数（也叫欧拉常数，等于 0.5772156649...），Γ为Γ函数。对于很大的x，即 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ 时，渐近形式为：

（α=1/2 时渐近号两边严格相等；参见前面对球贝塞尔函数的介绍）。其他形式贝塞尔函数的渐近形式可以从上面的式子直接推得。譬如，对大自变量 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ ，修正贝塞尔函数的渐近形式为：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

对小自变量 $数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$ ：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

性质

整阶（α = n）第一类贝塞尔函数J_n常通过对其母函数（generating function）的罗朗级数（Laurent series）展开来定义：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

上式得左边即为整阶第一类贝塞尔函数的母函数，这是丹麦天文学家汉森于1843年提出的。（这种定义也可以通过路径积分或其他方法推广到非整数阶）。整阶函数的另一个重要性质是下列雅可比-安格尔恒等式（Jacobi-Anger identity）：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

利用这一等式可以将平面波展开成一系列柱面波的叠加，或者将调频信号分解成傅里叶级数的叠加。

函数J_α、Y_α、H_α⁽¹⁾和H_α⁽²⁾均满足递推关系：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

其中Z代表J, Y, H⁽¹⁾或H⁽²⁾。（常将这两个恒等式联立推出其他关系）。从这组递推关系可以通过低阶贝塞尔函数（或它们的低阶导数）计算高阶贝塞尔函数（或它们的高阶导数）。特别地，有：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

由于贝塞尔方程对应的作用算符除以x 后便是一个（自伴随的）厄米算符（Hermitian），所以它的解在适当的边界条件下须满足正交性关系。特别地，可推得：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

其中α > -1，δ_m,n为克罗内克δ，u_α,m表示J_α(x)的第m 级零点。这个正交性关系可用于计算傅里叶-贝塞尔级数中各项的系数，以利用该级数将任意函数写成α固定、m 变化的函数J_α(x u_α,m)的无穷叠加形式。（可以立即得到球贝塞尔函数相应的关系）。

另一个正交性关系是下列在α > -1/2时成立的“封闭方程”（closure equation）：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

其中δ为狄拉克δ函数。球贝塞尔函数的正交性条件为（当α > 0）：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

贝塞尔方程的另一个重要性质与其朗斯基行列式（Wronskian）相关，由阿贝尔恒等式（Abel's identity）得到：

$数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）$

其中A_α 和B_α是贝塞尔方程的任意两个解，C_α是与x 无关的常数（由α和贝塞尔函数的种类决定）。譬如，若A_α = J_α、B_α = Y_α，则C_α is 2/π。该性质在修正贝塞尔函数中同样适用，譬如，若A_α = I_α、B_α = K_α，则C_α为-1。

2013 / . 年 02 / . 月 06 日

Euler-Mascheroni Constant——欧拉伽马

首先给出欧拉伽马和伽马函数的定义
Euler-Mascheroni Constant——欧拉伽马

接下来几个漂亮的公式~~
1. Euler-Mascheroni Constant——欧拉伽马

2013 / . 年 01 / . 月 26 日

纵观全局一下，心旷神怡！

2013 / . 年 01 / . 月 01 日

我国科学家率先证明引力场以光速传播

汤克云2011年在中科院演讲(资料图)

　　前天下午，“引力场以光速传播的观测证据”新闻发布会在京举行，汤克云等宣布成功获得全球首个“引力场以光速传播”的观测证据。相关论文已发表于最新一期的《Chinese Science Bulletin》(中国科学通报)上。

　　牛顿认为引力传播是一种超距作用，也就是说引力可以在瞬间传播至任意远处，这种认识非常符合日常生活中引力无处不在的个人体验。但爱因斯坦1918年提出的广义相对论预言，引力不存在超距作用，而是以光速传播的波，并形成引力场。通俗地讲，引力场与引力波有些类似电磁场与电磁波的关系。

　　引力波探测，除了能够验证爱因斯坦广义相对论的正确性外，还有助于证明其他各种引力理论的正确与否，推动引力场量子化的理论研究。这些都是现代物理学的重要课题，如果出现与预期不符的结果，将有可能导致物理学的又一次大发展。

　　中国科学家的这项创新突破，实现了物理学界多年来对通过实验或观测获得引力场传播速度的期待。中科院院士滕吉文说：“这项原创成果是中国科学家在引力物理研究领域的重要突破。”

　　十年漫漫探索路

　　由中国科学院地质与地球物理研究所的汤克云研究员领衔、中国地震局和中国科学院大学有关科研人员组成的科学团队，经过10多年的持续探索，在实施多次日食期间的重力固体潮观测后，发现地球固体潮公式实际上暗含着引力场以光速传播的假定，从而提出用固体潮测量引力传播速度的方法。

　　该团队先后利用的日食是：1997年漠河日全食、2001年赞比亚日全食、2002年澳大利亚日全食、2008年嘉峪关日全食、2009年上海—杭州—湖州日全食和2010年云南大理日环食。

2009年杭州日食景观

　　汤克云科学团组随后选择远离太平洋、大西洋、印度洋和北冰洋的西藏狮泉河站和新疆乌什站的固体潮数据，以避免海洋潮汐的影响。他们滤去了数据的扰动，再把数据代入引力传播速度方程，证明方程成立。也就是说，最终获得了全球第一个能证明“引力场以光速传播”的观测证据。数据显示引力波的传播速度为0.93至1.05倍光速，误差为5%。

日全食期间测量用的真空摆，安置于上海佘山

　　相关知识介绍：

　　引力场与引力波的探测

　　最常见的探测引力波的方法是观测大质量天体，因为它们的运动会发射出较大的引力波辐射。例如白矮星、中子星或黑洞等组成的双星系统，河外星系内合并形成的超大质量黑洞，自转的脉冲星的自转，超新星的引力坍缩等。

正在融合的两个黑洞是强大的引力波源(模拟图)

　　科学家通常用激光干涉仪来探测。但引力本身非常微小，比电磁力小三四十个量级。据估计，引力波使激光光程差产生的变化，大约只有一个质子的大小。因此，即使在真空和隔离振动的环境下，也极难探测到。汤克云团队曾于2004年筹划建立低频的中国爱因斯坦引力波探测站(CEGO)，作为国际上高频探测的补充，《科学》杂志曾予以报道。

　　2011年8月，科学家在德国汉诺威的GEO600引力波观测站和意大利比萨的处女座引力波探测器获得了引力波存在的证据，但未证实“引力波以光速传播”。

　　固体潮

　　通常指在日、月引潮力的作用下，固体地球产生的周期性形变的现象。月球和太阳对地球的引力不但可以引起地球表面流体的潮汐，还能引起地球固体部分的周期性形变。由于其他天体距地球甚远，对地球的引力甚微，在固体潮的研究中一般可略而不计。

测量重力异常用的部分实验设备

转自 PLASS|科学|发布

2012 / . 年 11 / . 月 18 日

统一理论中的数论——圈量子引力理论

圈量子引力论（loop quantum gravity，LQG），又译回圈量子重力论，英文别名圈引力（loop gravity）及量子几何学（quantum geometry）；由阿贝·阿希提卡（Ahbay Ashtekar）、李·施莫林（Lee Smolin）、卡洛·洛华利（Carlo Rovelli）等人发展出来的量子引力理论，与弦理论一并是目前为止将引力论量子化最成功的理论。

利用量子场论的微扰理论来实现引力论的量子化的理论是不能被重整化的。如果主张时空只有四维，从广义相对论下手，结果可以把广义相对论转变成类似规范场论的理论，基本正则变量为阿希提卡-巴贝罗联络（Ashtekar-Barbero Connection）而非度规张量,再以联络定义的平移算子（holonomy）以及通量变数(flux variable)为基本变量实现量子化。

在此理论下，时空描述是呈背景独立，由关系性循环织成的自旋网络铺成时空几何。网络中每条边及每个节点分别为一普朗克长度及普朗克体积。循环并不存在于时空中，循环扭结的方式定义时空几何。在普朗克尺度下，时空几何充满随机的量子涨落，因此自旋网络又称为自旋泡沫（Spin foam）。在此理论下，时空是离散的。

圈量子引力通论及目标

多数弦论学家相信无法在3+1维时空中，将引力量子化而不产生物质与能量有关的人工产物。然而弦论所预测的物质有关的人工产物也未被证明是否真的与实际观测到的物质不相同。不过若圈量子引力成功地成为引力的量子理论，则已知的物质场必须“事后”再加到此一理论中，而不是从理论中自然而然地出现。圈量子引力论的创始者之一李·施莫林已思索过弦论与圈量子引力两者可能分别是一个终极理论两相不同的近似这样的可能性。

圈量子理论中使用的简单的自旋网络形态

目前圈量子引力声称具有的成功之处有：

其为3维空间几何的非微扰量子化，具有量子化的面积与体积算符。
其包含了对于黑洞熵的计算。
其为弦论以外另一可行的理论，但仅只涉及引力的量子化（即非万有理论）。

然而，这样的声称尚未被完全接受。虽然许多圈量子引力的核心成果都是来自于严谨的数学物理，不过它们的物理诠释仍多为推敲性质。圈量子引力是有可能成为引力或者是几何的改进方案；举例来说，(2)中的熵计算事实上是针对一种形式的“洞”来做的，这个洞可能是，也可能不是黑洞。

量子引力的其他方案，比如自旋泡沫模型，与圈量子引力密切相关。

圈量子引力的假设

圈量子引力的两个最重要的假设为

广义协变 - 物理学的定律可以用任何的坐标系来表示，这也是广义相对论的基本假设。
背景独立 - 不存在可以作为背景的独立不变的度规，坐标系等。

圈量子引力也假设量子论的基本原理是正确的。举例广义协变的理论有广义相对论，非广义协变的理论有狭义相对论（狭义协变），非背景独立的理论有牛顿力学（假设存在一条独立不变的时间轴），狭义相对论（其背景为闵可夫斯基空间，背景度规为闵可夫斯基度规），在背景电磁场中运动的电子的方程等，背景独立的理论有广义相对论,度规张量的值完全由理论决定。

量子力学与广义相对论的不相容

量子力学与广义相对论是20世纪最具革命性的两大理论，但两者却互不兼容。广义相对论研究大尺度的物体，而量子力学则掌管着亚原子粒子的微观世界，一个具有定域性，而另一个则不具备。所以我们需要一个完备的量子引力理论来统一广义相对论与量子力学，就像电弱统一理论很好地把电磁力与弱相互作用力合并在一起那样。目前有许多的候选理论，如弦论,圈量子引力论，标度相对论。

圈量子引力理论的基本内容

圈量子引力可以从广义相对论的ADM表示法推导。ADM表示法的正则变数为三维空间的度规张量 $q_{ab}$ 以及其正则动量 $P^{ab}$ 。使用狄拉克约束处理方法可得ADM表示法有两个第一类约束：

微分同胚约束: $-2q^{-\frac{1}{2}}\;^3\nabla_a P^a_{\ b} = 0$
哈密顿约束: $-^3R + q^{-1}(P^{ab}P_{ab} - \frac{1}{2}P^2) = 0$

阿西提卡—巴贝罗联络

此时用卡当的几何法，用三足（triad）一次型来表示度规张量,

$e^i_a e^j_b \delta_{ij} = q_{ab}$

假设与三足相容的联络为 $\Gamma^i_a$ (称为自旋联络),三维空间的外部曲率张量为 $K^i_a$ , $\gamma$ 为任何实数，定义一个新的联络

$A^i_a = \Gamma^i_a + \gamma K^i_a$

即阿希提卡-巴贝罗联络。其正则动量为 $E^a_i = det(e)e^a_i$ 。使用狄拉克约束处理方法可得三个第一类约束:

高斯约束: $D_aE^a_i = 0$
微分同胚约束: $F^i_{ab}E^a_i = 0$
哈密顿约束: $\frac{1}{\sqrt{|det(E)|}}F^i_{ab}E^a_jE^b_k\epsilon_{ijk} + ... = 0$

$D_a$ 为阿希提卡-巴贝罗联络定义的协变微商， $F^i_{ab}$ 为阿希提卡-巴贝罗联络定义的曲率张量.由于有高斯约束的关系,所以圈量子引力是一种类似规范场论的理论.

2012 / . 年 10 / . 月 26 日

Riemann ζ Function——素数的音乐

黎曼ζ函数ζ(s)的定义如下：设一复数s，其实数部份> 1而且：

在区域{s : Re(s) > 1}上，此无穷级数收敛并为一全纯函数。（上式中Re表示复数的实部。）。欧拉在1740考虑过s为正整数的情况，后来切比雪夫拓展到s>1。^[1] 波恩哈德·黎曼认识到：ζ函数可以通过解析开拓来扩展到一个定义在复数域（s, s≠ 1）上的全纯函数ζ(s)。这也是黎曼猜想所研究的函数。

虽然黎曼的ζ函数被数学家认为主要和“最纯”的数学领域数论相关，它也出现在应用统计学中（参看齐夫定律（Zipf's Law）和齐夫-曼德尔布罗特定律（Zipf-Mandelbrot Law）），还有物理，以及调音的数学理论中。

和素数的关系

此函数和素数的关系已由欧拉所揭示：

$\zeta(s) = \prod_{p} \frac{1}{1-p^{-s}}$

这是一个延展到所有的质数p的无穷乘积，被称为欧拉乘积。这是几何级数的公式和算术基本定理的一个结果。

ζ(s)的零点很重要，因为特定的涉及到函数ln(1/ζ(s))的路径积分可以用来估算质数个数函数π(x)。这些路径积分用留数定理计算，所以必须知道被积式的奇异点。

我们可以用莫比乌斯函数μ(n)表达ζ函数的倒数如下

$\frac{1}{\zeta(s)} = \sum_{n=1}^{\infin} \frac{\mu(n)}{n^s}$

对于所有实部>1的复数s。这和上面ζ(2)的表达式一起可以用来证明两个随机整数互质的概率是6/π²。

函数值

ζ函数满足如下函数方程：

$\zeta(s) = 2^s\pi^{s-1}\sin\left(\frac{\pi s}{2}\right)\Gamma(1-s)\zeta(1-s)$

对于所有C\{0,1}中的s成立。这里，Γ表示Γ函数。这个公式原来用来构造解析连续性。在s = 1，ζ函数有一个简单极点其留数为1。

当s为正整数

欧拉也能计算ζ(2k)，对于偶整数2k，他使用公式

$\zeta(2k) = \frac{B_{2k}(-1)^{k+1}(2\pi)^{2k}}{2(2k)!}$

其中B_2k是伯努利数。从这个，我们可以看到ζ(2) = π²/6, ζ(4) = π⁴/90, ζ(6) = π⁶/945等等。(序列A046988/A002432列在OEIS)。这些给出了著名的π的无穷级数。奇整数的情况没有这么简单。拉马努金在这上面做了很多了不起的工作。 $s\,$ 为正偶数时的函数值公式已经由欧拉计算出。但当 $s\,$ 为正奇数时，尚未找到封闭式。

$\zeta(1) = 1 + \frac{1}{2} + \frac{1}{3} + \cdots = \infty;\!$

这是调和级数。

$\zeta(3/2) \approx 2.612;\!$ （OEIS中的数列A078434）

该值用于计算具有周期性边界条件的玻色-爱因斯坦凝聚的临界温度以及磁系统的自旋波物理。

$\zeta(2) = 1 + \frac{1}{2^2} + \frac{1}{3^2} + \cdots = \frac{\pi^2}{6} \approx 1.645;\!$ （OEIS中的数列A013661）

即巴塞尔问题。这个结果的倒数回答了这个问题：随机选取两个数字而互质的概率是多少？^[2]

$\zeta(3) = 1 + \frac{1}{2^3} + \frac{1}{3^3} + \cdots \approx 1.202;\!$ （OEIS中的数列A002117）

称为阿培里常数。

$\zeta(4) = 1 + \frac{1}{2^4} + \frac{1}{3^4} + \cdots = \frac{\pi^4}{90} \approx 1.0823;\!$ （OEIS中的数列A0013662）

黑体辐射里的斯特藩－玻尔兹曼定律和维恩近似。

负整数

同样由欧拉发现，ζ函数在负整数点的值是有理数，这在模形式中发挥着重要作用。

复数值

$\zeta(x+{\rm{i}}y)=\sum_{k=1}^{\infty}\frac{\cos(y\ln k) -{\rm{i}}\sin(y\ln k)}{k^x},y\in{\mathbb{R}}$ ，x＞1。

幅角

$\arg[\zeta(x+{\rm{i}}y)]=-\arctan\frac{\sum_{k=1}^{\infty}\frac{\sin(y\ln k)}{k^x}}{\sum_{k=1}^{\infty}\frac{\cos(y\ln k)}{k^x}}$

函数值表

$\zeta(-3)=\frac{1}{120}$ ， $\zeta(-1)=-\frac{1}{12}$ ， $\zeta(1)=\infty$ ， $\zeta(2)=\frac{\pi^2}{6}$ ， $\zeta(4)=\frac{\pi^4}{90}$ ， $\zeta(6)=\frac{\pi^6}{945}$ ， $\zeta(8)=\frac{\pi^8}{9450}$ ， $\zeta(10)=\frac{\pi^{10}}{93555}$

2012 / . 年 10 / . 月 17 日

当代最伟大的物理学家——爱德华威腾（From Wikipedia）

爱德华·威滕（Edward Witten，姓氏亦译为维腾、维敦或惠滕，1951年8月26日－）是犹太裔美国数学物理学家、菲尔兹奖得主，也是普林斯顿高等研究院教授。他是弦理论和量子场论的顶尖专家，创立了M理论。爱德华·威滕被视为当代最伟大的物理学家之一，他的一些同行甚至认为他是爱因斯坦的后继者之一。国际数学联盟于1990年授予他菲尔兹奖，是数学界的最高荣誉，相当于数学界的诺贝尔奖。爱德华·威滕也是唯一获得这项荣誉的物理学家。
生平

威滕生于美国马里兰州巴尔的摩。父亲路易斯·威滕（Louis Witten）是研究广义相对论的理论物理学家，母亲是洛兰·沃拉克·威滕（Lorraine W. Witten）。威滕原先就读于约翰·霍普金斯大学，在转学布兰代斯大学获得历史学学士学位后（辅修新闻学），曾参与民主党候选人乔治·麦戈文（George McGovern）的总统竞选工作一段短时间，后来乔治·麦戈文败给理查德·尼克松。

他于1976年获得普林斯顿大学应用数学博士学位，导师是戴维·格娄斯。在此之后，威滕先后任职于哈佛大学初级研究员（Junior Fellow）和普林斯顿大学教授。他现在是普林斯顿高等研究院的查尔斯·希莫尼数学物理学教授。

研究

威滕对理论物理学做出广泛的贡献，也促进大量重要的数学进展。他已经出版超过350部著作，主要是量子场论、弦理论、拓扑和几何形状的相关领域。威滕被他的同行们广泛认为是20世纪最重要的理论物理学家之一。虽然在某些方面很难将他的深刻贡献加以归类，威滕于物理方面的贡献侧重于超对称，于数学方面则是拓扑结构。

威滕在物理学的早期贡献之一是所谓级列问题（hierarchy problem）的解决方案。粒子物理学的标准模型预言一种被称为希格斯玻色子的存在。然而它的质量似乎比模型预测的数字还要轻得多。威滕认为，超对称破坏的机制提供了级列问题一种的自然解释。在超对称理论中，威滕指数（Witten index）用来判断超对称是否遭到破坏。威滕在超对称规范理论仍然继续做出开创性的贡献。他与普林斯顿高等研究院内森·塞伯格（Nathan Seiberg）发展出塞伯格-威滕理论。

威滕显然是弦理论的代表人物，这是一个用来说明所有自然力的理论。甚至早在1984年，威滕引力异常做出重要贡献，为为第一次弦理论革命铺平了道路。1990年代中期在南加州大学弦理论会议中，威滕推测存在一个统一的理论还没有被发现，称之为M理论。M理论可能是宇宙物理理论最根本的理论。英国物理学家斯蒂芬·霍金在他的著作《大设计》（The Grand Design）中，认为M理论可能是宇宙的终极理论。

爱德华·威滕其他重要物理学的贡献包括引力二重性。1997年，阿根廷理论物理学家胡安·马尔达西那首先提出了在反德希特空间背景下某些超引力理论和边界上共形场论的对偶关系，即AdS/CFT对应猜想。这一革命性的发现为过去15年中占据了理论物理的主导地位，对于威滕的研究产生非常重要的影响。

国际数学联盟在1990年授予威滕菲尔兹奖，成为第一位获得该奖项的物理学家（也是唯一一位）。他对纯数学方面的研究影响深远，例如他使用琼斯多项式（Jones Polynomial）来解释陈-西门斯理论”（Chern-Simons theory）。这项研究对于低维拓扑结构有深远影响，并推导出量子不变量。

威滕被认为是他的世代中最优秀的物理学家，也被认为是世界上最伟大的物理学家之一，也许甚至是爱因斯坦的后继者。在1995年，他在南加州大学会议中提出M理论，并用它来解释一些以前观察到的现象，在弦论中引发所谓的第二次超弦革命。

评价

威滕具有深刻的物理直觉和高超的数学能力。他专长量子场论、弦理论和拓扑与几何相关的范围。他的主要贡献包括广义相对论的正能定理证明、超对称和莫尔斯理论、拓扑量子场论、超弦紧化、镜像对称、超对称规范场论和对M理论存在性的猜想。

威滕受到许多同行的广泛赞赏，数学家迈克尔·阿蒂亚曾说：

“

虽然他肯定是物理学家，不过他对数学的掌握很少数学家能比得上……他一次又一次超越了数学界，以巧妙的物理直觉导出新颖深刻的数学定理……他对现代数学影响巨大……凭着他物理再次成为数学的丰富灵感和直觉源头。

”

威滕获得很多奖项，包括麦克阿瑟基金（1982年）、菲尔兹奖（1990年）、Nemmers数学奖、毕达哥拉斯奖、庞加莱奖（2006年）、克拉福德奖（2008年）、洛伦兹奖章（2010年）、艾萨克·牛顿奖章（2010年）和美国国家科学奖章（2002年）。他被选入《时代杂志》2004年影响最大的100位人士中。爱德华·威滕是当代的物理学家中H指数最高的一位。

2012 / . 年 10 / . 月 14 日

智者的游戏——博弈论

博弈论（Game theory），有时也称为对策论，或者赛局理论，应用数学的一个分支，目前在生物学、经济学、国际关系、计算机科学、政治学、军事战略和其他很多学科都有广泛的应用。主要研究公式化了的激励结构（游戏或者博弈）间的相互作用。是研究具有斗争或竞争性质现象的数学理论和方法。也是运筹学的一个重要学科。
概述

博弈论考虑游戏中的个体的预测行为和实际行为，并研究它们的优化策略。表面上不同的相互作用可能表现出相似的激励结构(incentive structure)，所以他们是同一个游戏的特例。其中一个有名有趣的应用例子是囚徒困境。

具有竞争或对抗性质的行为成为博弈行为。在这类行为中，参加斗争或竞争的各方各自具有不同的目标或利益。为了达到各自的目标和利益，各方必须考虑对手的各种可能的行动方案，并力图选取对自己最为有利或最为合理的方案。比如日常生活中的下棋，打牌等。博弈论就是研究博弈行为中斗争各方是否存在着最合理的行为方案，以及如何找到这个合理的行为方案的数学理论和方法。

生物学家使用博弈理论来理解和预测进化（论）的某些结果。例如，John Maynard Smith 和George R. Price 在1973年发表于《自然》杂志上的论文中提出的“evolutionarily stable strategy”的这个概念就是使用了博弈理论。还可以参见进化博弈理论（evolutionary game theory）和行为生态学（behavioral ecology）。

博弈论也应用于数学的其他分支，如概率，统计和线性规划等。

数学定义

范式博弈

范式博弈又被译为正则形式的博弈、策略型赛局或标准型赛局。

设定 $\mathrm{N}$ 是一个“参与者”(players)的集合。对于每一个“参与者” $i \in \mathrm{N}$ 都有一个给定的“策略”集合 $\Sigma\ ^i$ . 博弈（游戏）是一个函数，定义为:

$\pi\ : \prod_{i\in \mathrm{N}} \Sigma\ ^i \to \mathbb{R}^\mathrm{N}$

也就是说，如果我们知道了参与者的策略集合是什么，那么就可以有一个实数值与之对应。我们可以把上面的方程拆成两个方程来进一步把它一般化。一个方程是正则形式(Normal form game)的参与者程，描述策略规定结果的方式。另外一个方程描写参与者对于结果(outcome)集合的偏好(preference)。也就是：

$\pi\ : \prod_{i \in \mathrm{N}} \Sigma\ ^i \to \Gamma\$

这里 $\Gamma\$ 是游戏（博弈）的结果集合(outcome set)。对于每一个参与者 $i\in \mathrm{N}$ 都有一个偏好函数( preference function)

$\nu\ ^i : \Gamma\ \to \mathbb{R}$ .

展开形式的博弈

展开形式的博弈又可译为扩展形式的博弈、扩展式赛局或扩展型赛局。

正则形式的定义为数学家们提供了“均衡”(equilibria)问题的研究一个容易使用的表达式。因为它避免了怎么计算“策略”的问题，也就是说游戏是怎么进行的问题。

若要考虑游戏是如何进行的，展开形式的博弈是一个比较方便的表达式。这个形式与组合博弈论关系密切。这个定义通过一个树的形式给定。在树的每一个节点（vertex），不同的参与者选择一个边（edge）。

纳什均衡

纳什平衡，又称为非合作赛局平衡，是博弈论的一个重要概念，以约翰·纳什命名。

如果某情况下无一参与者可以独自行动而增加收益，则此策略组合被称为纳什均衡点。

例子

其经典的例子就是囚徒困境。囚徒困境是一个非零和博弈。大意是：一个案子的两个嫌疑犯被分开审讯，警官分别告诉两个囚犯，如果你招供，而对方不招供，则你将被立即释放，而对方将被判刑十年；如果两人均招供，将均被判刑两年。如果两人均不招供，将最有利，只被判刑半年。于是，两人同时陷入招供还是不招供的两难处境。但两人无法沟通，于是从各自的利益角度出发，都依据各自的理性而选择了招供，这种情况就称为纳氏均衡点。这时，个体的理性利益选择是与整体的理性利益选择不一致的。

囚犯甲的博弈矩阵		囚犯甲
囚犯甲的博弈矩阵		招供	不招供
囚犯乙	招供	各判刑两年	甲判刑十年,乙立即释放
囚犯乙	不招供	甲立即释放,乙判刑十年	各判刑半年

基于经济学中“理性经济人”的前提假设，两个囚犯符合自己利益的选择是坦白招供，原本对双方都有利的策略不招供从而均被判刑半年就不会出现。事实上，这样两人都选择坦白的策略以及因此被判两年的结局被称作是“纳什均衡”（也叫非合作均衡），换言之，在此情况下，无一参与者可以“独自行动”（即单方面改变决定）而增加收获。

2012 / . 年 10 / . 月 09 日

对称性与守恒的完美统一——诺特定理

诺特定理是理论物理的中心结果之一，它表达了连续对称性和守恒定律的一一对应。例如，物理定律不随着时间而改变，这表示它们有关于时间的某种对称性。如果我们想象一下，譬如重力的强度每天都有所改变，我们就会违反能量守恒定律，因为我们可以在重力弱的那天把重物举起，然后在重力强的时候放下来，这样就得到了比我们开始输入的能量更多的能量。

诺特定理对于所有基于作用量原理的物理定律是成立。它得名于20世纪初的数学家埃米·诺特。诺特定理和量子力学深刻相关，因为它仅用经典力学的原理就可以认出和海森堡测不准原理相关的物理量（譬如位置和动量）.

表述

对于每个局部作用下的可微对称性，存在一个对应的守恒流。

解释

上述命题中的“对称性”一词精确一点来说是指物理定律在满足某种技术要求的一维李群作用下所满足的协变性。物理量的守恒定律通常用连续性方程表达。

定理的形式化命题仅从不变性条件就导出和一个守恒的物理量相应的流的表达式。该守恒量称为诺特荷，而该流称为诺特流。诺特流至多相差一个无散度向量场。

应用

诺特定理的应用帮助物理学家在物理的任何一般理论中通过分析各种使得所涉及的定律的形式保持不变的变换而获得深刻的洞察力。例如：

对于物理系统对于空间平移的不变性（换言之，物理定律不随着空间中的位置而变化）给出了动量的守恒律；
对于转动的不变性给出了角动量的守恒律；
对于时间平移的不变性给出了著名的能量守恒定律。

在量子场论中，和诺特定理相似，沃德－高桥恒等式（Ward-Takahashi）产生出更多的守恒定律，例如从电势和向量势的规范不变性得出电荷的守恒。

诺特荷也被用于计算静态黑洞的熵。

证明

设我们有一个n维流形M以及一个目标流形T。令 $\mathcal{C}$ 为从M到T的光滑函数组成的位形空间。（更一般的情况下，我们可以有一个M上的纤维丛的光滑截面）

物理学中这样的"M"的例子包括：

经典力学上，哈密顿表述中，M是一个一维流形R，代表时间而目标空间是广义位置的空间的余切丛。
场论中，M是时空流形，而目标空间是场在任何给定可取的值的集合。例如，如果有m个实值标量场，φ₁,...,φ_m，则目标流形是R^m。若流形是一个实向量场，则目标流形同构于R³。

现在设有一个泛函

$S:\mathcal{C}\rightarrow \mathbb{R},$

称为作用量。（注意它在 $\mathbb{R}$ 中而非 $\mathbb{C}$ 中取值；这是有物理原因的，并且并不影响本证明。）

要得到通常版本的诺特定理，我们需要对作用量作额外的限制。我们假设S[φ]是M上的如下函数的积分

$\mathcal{L}(\varphi,\partial_\mu\varphi,x)$

称为拉格朗日量，它依赖于φ，包括它在各点的导数和位置。换句话说，对于 $\mathcal{C}$ 中的φ

$S[\varphi]\equiv\int_M d^nx \mathcal{L}[\varphi(x),\partial_\mu\varphi(x),x].$

设我们给出边界条件，也即，在M为紧致的情况下φ在边界的取值，或者在x趋向∞时，φ的极限。则 $\mathcal{C}$ 的由满足如下两个条件的的φ组成的子空间就是在壳解的子空间，其一是φ的S的泛函导数为零，也即：

$\frac{\delta}{\delta \phi(x)}S[\phi]=0$

其二是φ满足给定边界条件。（参看稳定作用量原理）

现在，假设我们有一个无穷小变换，定义在 $\mathcal{C}$ 上，它由一个泛函求导Q生成，满足

$Q\left[\int_N d^nx\mathcal{L}\right]=\int_{\partial N}ds_\mu f^\mu[\phi(x),\partial\phi,\partial\partial\phi,...]$

对于所有紧致子流形N成立，换句话讲（散度定理），

$Q[\mathcal{L}(x)]=\partial_\mu f^\mu(x)$

对于所有x成立，其中我们令 $\mathcal{L}(x)=\mathcal{L}[\phi(x), \partial_\mu \phi(x),x]$ 。

若这在在壳和离壳都成立，我们称Q生成一个离壳对称性。若只在在壳情况成立，称Q生成在壳对称性。然后，我们称Q是单参数对称性李群的生成元。

现在，对于每个N，因为欧拉-拉格朗日方程，在壳（只有在壳)上，我们有

$Q\left[\int_Nd^nx\mathcal{L}\right]$

因为这对于所有N成立，我们有

但这无非就是对于如下的流的连续性方程

这被称为和该对称性相关的诺特流（Noether current）。该连续性方程说明如果对这个流在空间式切片上积分，就可以得到称为诺特荷的守恒量（当然，必须假定M非紧致时，该流趋向无穷远处时下降足够快）。

诺特定理实际上是边界条件和变分原理的关系的反映。假设作用量没有边界项，诺特定理意味着

$\int_{\partial N}ds_\mu J^\mu=0.$

诺特定理是一个在壳定理。诺特定理的量子化版本是沃德-高桥恒等式。

假定我们有两个对称性求导Q₁和Q₂。则[Q₁,Q₂]也是一个对称性求导。显式德来看

$Q_1[\mathcal{L}]=\partial_\mu f_1^\mu$

及

$Q_2[\mathcal{L}]=\partial_\mu f_2^\mu$

(这个是否离壳或仅仅在壳成立无关紧要）。则，

$[Q_1,Q_2][\mathcal{L}]=Q_1[Q_2[\mathcal{L}]]-Q_2[Q_1[\mathcal{L}]]=\partial_\mu f_{12}^\mu$

其中f₁₂=Q₁[f₂^μ]-Q₂[f₁^μ]。所以，

$j_{12}^\mu=\left(\frac{\partial}{\partial (\partial_\mu\phi)}\mathcal{L}\right)(Q_1[Q_2[\phi]]-Q_2[Q_1[\phi]])-f_{12}^\mu.$

这表明我们可以（简单地）将诺特定理扩张到更大的李代数上。

证明的一般化

这个推理可以应用到任何求导过程Q，不只是对称性求导，也可以是更一般的泛函微分作用，包括拉格朗日量依赖于场的更高阶的导数以及非局部作用量的情况。令ε为任意时空（或时间）流形的光滑函数，满足其支撑的闭包和边界不交。ε是一个测试函数。则根据变分原理（附带说一下，它不适用于边界），由q[ε][φ(x)]=ε(x)Q[φ(x)]生成的求导分布q满足q[ε][S]=0对于任何在壳的ε成立，或者可以简写为q(x)[S]对于所有不在边界上的x（注意q(x)是求导分布的简写，通常不是用x参数化的求导）。这就是诺特定理的一般化。

要看出这个一般化和上面的版本如何对应，我们可以假设作用量就是只依赖于φ及其一阶导数的时空积分。并且，假设

$Q[\mathcal{L}]=\partial_\mu f^\mu$

(离壳或仅仅在壳都可以）。则，

$q[\epsilon][S]=\int d^dx q[\epsilon][\mathcal{L}]$

$=\int d^dx \epsilon \partial_\mu \Bigg\{f^\mu-\left[\frac{\partial}{\partial (\partial_\mu\phi)}\mathcal{L}\right]Q[\phi]\Bigg\}$

对于所有ε成立。

更一般地讲，如果拉格朗日量依赖于高阶导数，则

$\partial_\mu\left[f^\mu-\left[\frac{\partial}{\partial (\partial_\mu\phi)}\mathcal{L}\right]Q[\phi]-2\left[\frac{\partial}{\partial (\partial_\mu \partial_\nu \phi)}\right]\partial_\nu Q[\phi]+\partial_\nu\left[\left[\frac{\partial}{\partial (\partial_\mu \partial_\nu \phi)}\mathcal{L}\right] Q[\phi]\right]-\,\cdots\right]=0.$

例子

例1：能量守恒

我们来看一个特殊情况。假设有一个1维流形其拓扑结构为R (时间)，坐标用t。设

$S[x]\,$	$=\int dt \mathcal{L}[x(t),\dot{x}(t)]$
	$=\int dt \left\{\frac{m}{2}g_{ij}\dot{x}^i(t)\dot{x}^j(t)-V[x(t)]\right\}$

（也即，在一个弯曲黎曼空间（但不是弯曲时空）中运动的一个牛顿质点，该空间度量为g，质点势能为V）。

取Q为时间平移的生成元。换句话说， $Q[x(t)]=\dot{x}(t)$ 。 [量子场理论学家经常在方程右边加上一个因子i]。注意

$Q[\mathcal{L}]=m g_{ij}\dot{x}^i\ddot{x}^j-\frac{\partial}{\partial x^i}V(x)\dot{x}^i.$

这有如下形式

$\frac{d}{dt}\left[\frac{m}{2} g_{ij}\dot{x}^i\dot{x}^j-V(x)\right]$

所以我们可以置

$f=\frac{m}{2} g_{ij}\dot{x}^i\dot{x}^j-V(x).$

则，

$j\,$
	$=m g_{ij}\dot{x}^j\dot{x}^i-\left[\frac{m}{2} g_{ij}\dot{x}^i\dot{x}^j-V(x)\right]$
	$=\frac{m}{2}g_{ij}\dot{x}^i\dot{x}^j+V(x).$

可以认出右边就是能量，而诺特定理就是说 $\dot{j}=0$ （也即，能量守恒就是时间平移的不变性的结果）。

更一般的来讲，若拉格朗日量不显式依赖于时间，如下物理量

$\sum_i \left (\frac{\partial}{\partial \dot{x}^i}\mathcal{L}\right )\dot{x^i}-\mathcal{L}$

（称为哈密顿量）是守恒的。

例子2：线性动量守恒

继续使用一维时间。这次，令

$S[\vec{x}]\,$	$=\int dt \mathcal{L}[\vec{x}(t),\dot{\vec{x}}(t)]$
	$=\int dt \left [\sum^N_{\alpha=1} \frac{m_\alpha}{2}(\dot{\vec{x}}_\alpha)^2 -\sum_{\alpha<\beta} V_{\alpha\beta}(\vec{x}_\beta-\vec{x}_\alpha)\right]$

也即N个势能只依赖于两两相对位移的牛顿质点。

对于 $\vec{Q}$ ，考虑平移变换的生成元（也即坐标系的变换）。换句话说，

$Q_i[x^j_\alpha(t)]= \delta^j_i.$

注意

$Q_i[\mathcal{L}]=0$

所以我们置

$\vec{f}=0.$

则，

$\vec{J_i}=\sum_\alpha \left(\frac{\partial}{\partial \dot{\vec{x}}_\alpha}\mathcal{L}\right)\cdot\vec{Q}[\vec{x}_\alpha]-\vec{f}$

$=\sum_\alpha m_\alpha \dot{\vec{x}}_\alpha^i$

诺特定理表明 $\dot{\vec{J_i}}=0$ (说明每个方向上的总动量守恒来自该方向上的平移不变性).

2012 / . 年 10 / . 月 07 日

美丽的扩展——辛空间

数学上，一个辛流形是一个装备了一个闭、非退化 2-形式ω的光滑流形，ω称为辛形式。辛流形的研究称为辛拓扑。辛流形作为经典力学和分析力学的抽象表述中的流形的余切丛自然的出现，例如在经典力学的哈密顿表述中，该领域的一个主要原因之一：一个系统的所有组态的空间可以用一个流形建模，而该流形的余切丛描述了该系统的相空间。

一个辛流形上的任何实值可微函数H可以用作一个能量函数或者叫哈密顿量。和任何一个哈密顿量相关有一个哈密顿向量场；该哈密顿向量场的积分曲线是哈密顿-雅可比方程的解。哈密顿向量场定义了辛流形上的一个流场，称为哈密顿流场或者叫辛同胚。根据刘维尔定理，哈密顿流保持相空间的体积形式不变。

线性辛流形

有一个标准“局部”模型，也就是R²ⁿ，其中ω_i,n+i = 1; ω_n+i,i = -1; ω_j,k = 0 对于所有 i = 0,...,n-1; j,k=0,...,2n-1 (k ≠ j+n and j ≠ k+n)。这是一个线性辛空间的例子。参看辛向量空间。一个称为达布定理的命题表明局部来看每个辛流形都和这个简单的辛流形相似

体积形式

从定义可以直接得到每个辛流形M都是偶数维2n;这是因为ωⁿ是无处为0的形式，辛体积形式。由此可以得到，每个辛流形是有一个标准的定向的，并且有一个标准的测度，刘维尔测度（经常重整为ωⁿ / n!）。

切触流形

和辛流形紧密相关的有一个奇数维流形，称为切触流形。每个2n+1-维切触流形(M, α)给出一个2n+2-维辛流形(M × R, d(e^t α)).

拉格朗日子流形

辛流形的子流形有两个自然的几何概念，它们是辛子流形（可以是任何偶数维）和拉格朗日子流形（一半维度），其中辛流形要导出该子流形上的一个辛形式，而辛流形限制到拉格朗日子流形的切空间上时为0。拉格朗日子流形自然地出现在很多物理和几何的情况中；例如，辛同胚的图像在乘积辛流形(M × M, ω × −ω)上是拉格朗日子流形。

辛矢量空间

数学中，一个辛矢量空间是带有辛形式 ω 的矢量空间 V，所谓辛形式即一个非退化斜对称的双线性形式。

确切地说，一个辛形式是一个双线性形式 ω ：V × V → R 满足：

斜对称：ω(u, v) = −ω(v, u)，对所有 u, v ∈ V 成立；
非退化：如果 ω(u, v) = 0 对所有 v ∈ V 成立，那么 u = 0 。

取定一组基，ω 能表示为一个矩阵。以上两个条件表明这个矩阵必须是斜对称非奇异矩阵。这不同于下面将介绍的辛矩阵，辛矩阵表示空间的一个辛变换。

如果 V 是有限维的那么维数必须为偶数，因为每个奇数阶斜对称矩阵的行列式为 0。

非退化斜对称双线性形式和非退化“对称”双线性形式，比如欧几里得矢量空间的内积，的表现非常不同。欧几里得内积 g，对任何非零矢量 v，均有 g(v,v) > 0 成立；但是一个辛形式 ω 满足 ω(v,v) = 0 。

标准辛空间

标准辛空间 R²ⁿ 带有由一个非奇异斜对称矩阵给出的辛形式 ω。典型地，ω 写成矩阵形式表为分块矩阵

$\omega = \begin{bmatrix} 0 & I_n \\ -I_n & 0 \end{bmatrix}$

这里 I_n 是 n × n 单位矩阵。用基矢量表示

$(x_1, \ldots, x_n, y_1, \ldots, y_n)$ :

$\omega(x_i, y_j) = -\omega(y_j, x_i) = \delta_{ij}\,$

$\omega(x_i, x_j) = \omega(y_i, y_j) = 0.\,$

一个经过修改的正交化过程指出任何有限维辛矢量空间都有这样一组基，经常称为达布基或辛基底。

有另外一种方式理解标准辛形式。因上面所使用的带有标准结构的模型空间 Rⁿ 容易导致误会，我们用一个“匿名”空间替代之。设 V 是一个 n-维实矢量空间，V^∗ 为其对偶空间。现在考虑直和 W := V ⊕ V^∗，带有如下形式：

$\omega(x \oplus \eta, y \oplus \xi) = \xi(x) - \eta(y).$

选取 V 的任何一组基 (v₁, …, v_n) ，考虑其对偶基

$(v^*_1, \ldots, v^*_n).$

我们能将基理解成在 W 中的矢量。若记 x_i = (v_i, 0) 和 y_i = (0, v_i^∗)，将它们放在一块，组成了 W 一组完整的基，

$(x_1, \ldots, x_n, y_1, \ldots, y_n).$

这里定义的形式 $\omega$ 可以证明具有本节最初的那些性质，换句话说，每一个辛结构都同构于一个形如V ⊕ V^∗的形式。

对子空间V的选择不是唯一的,对V选择的过程称为极化. 给出了一个这样的同构的子空间称为一个拉格朗日子空间或简称拉氏子空间.

更加明确的说，给定一个拉氏子空间(如之前定义), 那么对基 $(x_1, \ldots, x_n)$ 的选择，通过性质 $\omega(x_i,y_j) = \delta_{ij}.$ 决定了对应的一组对偶基.

辛群

如果 V = W，则一个辛映射称为 V 上的线性辛变换。特别的，在这种情形我们有：

$\omega(f(u),f(v)) = \omega(u,v)\;,$

从而线性变换 f 保持辛形式。所有辛变换的集合组成一个群，且是一个李群，称为辛群，记作 Sp(V) 或者 Sp(V,ω) 。辛变换的矩阵形式由辛矩阵给出。

子空间

设 W 是 V 的一个线性子空间，定义 W 的辛补（空间）为子空间：

$W^{\perp} = \{v\in V \mid \omega(v,w) = 0\;$ 对所有 $w\in W\}.$

辛补满足

$(W^{\perp})^{\perp} = W$

和

$\dim W + \dim W^\perp = \dim V.$

但是，不像正交补， W^⊥ ∩ W 不一定为 {0}。我们讨论四种情形：

W 是辛子空间，如果 W^⊥ ∩ W = {0}。当且仅当 ω 在 W 上的限制是非退化时成立。带有限制形式的一个辛子空间本身也是一个辛矢量空间。
W 是迷向子空间，如果 W ⊆ W^⊥。当且仅当 ω 限制在 W 上为 0 时成立。任何 1-维子空间都是迷向的。
W 是余迷向子空间，如果 W^⊥ ⊆ W。 W 是余迷向的当且仅当ω 在商空间 W/W^⊥ 上非退化。等价地 W 是余迷向的当且仅当 W^⊥ 是迷向的。任何余维数为 1 的子空间都是余迷向的。
W 是拉格朗日子空间，如果 W = W^⊥。一个子空间是拉格朗日的当且仅当它既是迷向又是余迷向的。在有限维矢量空间，一个拉格朗日子空间是维数为 V 之一半的迷向子空间。任何迷向子空间可以扩充为一个拉格朗日子空间。

对上面的标准矢量空间 R²ⁿ，

由 {x₁, y₁} 生成的子空间是辛子空间；
由 {x₁, x₂} 生成的子空间是迷向子空间；
由 {x₁, x₂, …, x_n, y₁} 生成的子空间是余迷向子空间；
由 {x₁, x₂, …, x_n} 生成的子空间是拉格朗日子空间。

2012 / . 年 10 / . 月 05 日

面积和体积的推广——测度（From Wikipedia）

数学上，测度（Measure）是一个函数，它对一个给定集合的某些子集指定一个数，这个数可以比作大小、体积、概率等等。传统的积分是在区间上进行的，后来人们希望把积分推广到任意的集合上，就发展出测度的概念，它在数学分析和概率论有重要的地位。

测度论是实分析的一个分支，研究对象有σ代数、测度、可测函数和积分，其重要性在概率论和统计学中都有所体现。

定义

形式上说，一个测度 $\mu\$ （详细的说法是可列可加的正测度）是个函数。设 $\mathcal{A}$ 是集合 $X\$ 上的一个σ代数， $\mu\$ 在上 $\mathcal{A}$ 定义，于扩充区间 $[0,\infty)$ 中取值，并且满足以下性质：

空集的测度为零：

$\mu(\emptyset) = 0$ 。

可数可加性，或称 $\sigma$ 可加性：若 $E_1,E_2,\cdots$ 为 $\mathcal{A}$ 中可数个两两不交的集合的序列，则所有 $E_i\$ 的并集的测度，等于每个 $E_i\$ 的测度之总和：

$\mu(\bigcup_{i=1}^\infty E_i) = \sum_{i=1}^\infty \mu(E_i)$ 。

这样的三元组 $(X, \mathcal{A}, \mu)$ 称为一个测度空间，而 $\mathcal{A}$ 中的元素称为这个空间中的可测集。

可数个可测集的并集的测度

若 $E_1, E_2, E_3\cdots$ 为可测集（不必是两两不交的），则集合 $E_n\$ 的并集是可测的，且有如下不等式（“次可列可加性”）：

$\mu(\bigcup_{i=1}^\infty E_i) \leq \sum_{i=1}^\infty \mu(E_i)$

如果还满足并且对于所有的 $n\$ ， $E_n\$ ⊆ $E_{n+1}\$ ，则如下极限式成立：

$\mu\left(\bigcup_{i=1}^\infty E_i\right) = \lim_{i\to\infty} \mu(E_i).$

可数个可测集的交集的测度

若 $E_1,E_2,\cdots$ 为可测集，并且对于所有的 $n\$ ， $E_{n+1}\$ ⊆ $E_n\$ ，则 $E_n\$ 的交集是可测的。进一步说，如果至少一个 $E_n\$ 的测度有限，则有极限：

$\mu(\bigcap_{i=1}^\infty E_i) = \lim_{i\to\infty} \mu(E_i)$

如若不假设至少一个 $E_n\$ 的测度有限，则上述性质一般不成立。例如对于每一个 $n\in \mathbb{N}$ ，令

$E_n = [n, \infty) \subseteq \mathbb{R}$

这里，全部集合都具有无限测度，但它们的交集是空集。

勒贝格测度的结构

勒贝格测度的现代结构，基于外测度，是卡拉特奥多里发明的。

固定 $n\in\mathbb N$ 。 $\R^n$ 中的盒子是形如 $B=\prod_{i=1}^n [a_i,b_i]$ 的集合，其中 $b_i\ge a_i$ 。这个盒子的体积 $\operatorname{vol}(B)$ 定义为 $\prod_{i=1}^n (b_i-a_i).$

对于任何Rⁿ的子集A，我们可以定义它的外测度 $\lambda^*(A)$ ：

$\lambda^*(A) = \inf \Bigl\{\sum_{j\in J}\operatorname{vol}(B_j) : \{B_j:j\in J\}$ 是可数个盒子的集合，它的并集覆盖了 $A\Bigr\} .$

然后定义集合A为勒贝格可测的，如果对于所有集合 $S\subset \R^n$ ，都有：

$\lambda^*(S) = \lambda^*(A \cap S) + \lambda^*(S - A)$

这些勒贝格可测的集合形成了一个σ代数。勒贝格测度定义为λ(A) = λ^*(A)对于任何勒贝格可测的集合A。

根据维塔利定理，存在实数R的一个勒贝格不可测的子集。如果A是 $\R^n$ 的任何测度为正数的子集，那么A便有勒贝格不可测的子集。

2012 / . 年 10 / . 月 04 日

几个非常优美的关于圆周率的公式

下面给出几个关于圆周率的公式（非弱智型），这几个公式的神奇之处在于它们和整数，素数，无限的结构有着深刻的联系。这也说明了圆周率不仅仅是一个几何意义的常数，而包含着数学中众多分支的精华。
1.这是韦达（Francois Viete,1540~1603）给出的史上第一个关于π的公式

注意到它的无穷的根式结构以及整个公式只用到了数字2！！！
2.沃利斯（John Wallis，1616~1703）π方程

毫无疑问这个公式非常漂亮，因为这是一个无穷乘积，形式上很简洁。沃利斯通过计算两个积分（这两个积分是正弦函数的2n+1次幂与2n-1次幂，从0积到π/2）得到两个关于n的分式，再用两边夹方法得到了这个公式。
3.这个公式是拉马努金发现的

整个公式充满了拉马努金的风格，他发挥自己在无穷级数与无穷连分式方面深刻的洞察力将两大数学常数完美地融合在了一起
4.斯特林（String）公式的变形

其实这个公式是斯特林公式变形，但好处在于，有极限，有指数，有阶乘，有e,有π。信息量相当大
5.貌似是一个当官的导出来的

貌似是外国一个伯爵看到了沃利斯公式，就将其化成了无穷连分式。虽是变形，可美感更深一层了。可以清晰地看到圆周率和奇数，平方数之间神秘的关系。
6.欧拉（Euler）发现的公式

欧拉是个巧匠，他运用各种巧妙而又简单的方法发现了大量美丽的公式和定理，以上便是一例。在这里，圆周率跟质数联系到了一起（注意，貌似应该是负一的n次方。）
7.高精度计算π的公式

高精度不是吹的，这个简单而又优美的公式居然不是π的精确公式，却可以将π精确到小数点后420亿位！！！纯造化~~~

2012 / . 年 10 / . 月 02 日

天才数学家拉马努金在梦中得到的公式

这是天才数学家拉马努金在梦中得到的公式（神的公式）

这也是拉马努金灵感涌现时得到的公式，其中Poch(n)代表n的上升阶乘

2012 / . 年 10 / . 月 01 日

大偶数表为一个素数及一个不超过两个素数的乘积之和（陈景润，1966）

2012 / . 年 09 / . 月 30 日

天才数学家拉马努金（来自wikipedia）

拉马努金（泰米尔文：ஸ்ரீநிவாச ராமானுஜன்，拉丁字母转写：Srinivasa Aiyangar Ramanujan）（1887年12月22日－1920年4月26日），印度数学家。没受过正规的高等数学教育，沉迷数论，尤爱牵涉π、质数等数学常数的求和公式，以及整数分拆。惯以直觉（或者是跳步）导出公式，不喜作证明（事后往往证明他是对的）。他留下的那些没有证明的公式，引发了后来的大量研究。1997年，《拉马努金期刊》(Ramanujan Journal)创刊，用以发表有关“受到拉马努金影响的数学领域”的研究论文。
在11岁时，他已经掌握了住在他家的房客的数学知识，他们是政府大学的学生，到13岁，他就掌握了借来的高等三角学的书里的知识。他的传记作家称他的天才在14岁时开始显露。他不仅在他的学生岁月里不断获得荣誉证书和奖学金，他还帮学校处理把1200个学生（各有不同需要）分配给35个教师的后勤事务，他甚至在一半的给定时间内完成测验，还已经显示出对无穷级数的熟练掌握；他那时的同校的人后来回忆说：“我们，包括老师，很少可以理解他，并对他‘敬而远之’”。但是，拉马努金在其他科目无法集中注意力，并在高中考试中不合格。在他生活的这个时段，他也相当穷困，经常到了挨饿的地步。

在1913年拉马努金发了一长串复杂的定理给三个剑桥的学术界人士贝克（H. F. Baker）、霍布森（E. W. Hobson）、哈代（G. H. Hardy），只有三一学院的院士哈代注意到了拉马努金定理中所展示的天才。

读着不知名和未经训练的印度数学家的突然来信，哈代和他的同事利特尔伍德（J.E. Littlewood）评论道：“没有一个定理可以放到世界上最高等的数学测试中。”虽然哈代是当时著名的数学家而且是拉马努金所写的其中几个领域中的专家，他还是说很多定理：“完全打败了我”、“我从没见过任何像这样的东西。”

作为他的成果的一个例子，拉马努金给出了漂亮的连分数：

其中fai是黄金分割比

在数学上，有洞察力和有一个证明是很不相同的。拉马努金的天才给出了大量的公式，可以再深入研究，开启了新的研究方向。这些公式的例子有圆周率的一些引人入胜的无穷级数，其中一个是：

这和如下事实相关：

他提出对所有 θ

此处Γ(z)代表伽傌函数。

比较恒等式两边θ之不同幂的系数，就可以得出双曲正割的许多恒等式。

哈代这样评论拉马努金：

他的知识的缺陷和它的深刻一样令人吃惊。这是一个能够发现模方程和定理的人……直到前所未闻的地步，他对连分数的掌握……超出了世界上任何一个数学家，他自己发现了ζ函数的泛函方程和解析数论中的很多著名问题的主导项；但他却没有听说过双周期函数或者柯西定理，对复变函数只有最模糊的概念……

2012 / . 年 09 / . 月 30 日

盯着结论看，直到它变得显然成立为止 (转自MATRIX67)

很多看上去很显然的结论，其实是需要严格证明的，并且有时候证明相当困难。比方说算术基本定理，每一个数分解质因数的方法都是唯一的。这看上去几乎是显然的，但证明过程需要很多深刻的数论知识。更极端的例子则是 Jordan 曲线定理，即平面上每一条不与自身相交的封闭曲线都把平面分成了里外两部分。这几乎就是一句废话，但要想严格证明起来相当不容易， Camille Jordan 本人的证明最后发现竟然也是错误的。
最近 MathOverflow上有人提了一个非常有趣的问题：有那么多结论很显然但证明很困难的定理，那有没有什么结论很不可思议但证明过程却不言而喻的定理呢？

在众人的回答中，呼声最高的就是 Desargues 定理：若三角形 ABC 和 A'B'C' 中， AA' 、 BB' 、 CC' 所在直线交于一点，则两个三角形中每一组对应边的交点（即 BC 和 B'C' 的交点 D 、 AC 和 A'C' 的交点 E 、 AB 和 A'B' 的交点 F ）是共线的。

这个定理看上去太神奇了，大家一定会以为证明很难吧。但事实上，这个定理根本不需要证明，它显然是成立的。现在，把 P-ABC 看成一个三棱锥，而 A'B'C' 则是一个不平行于底面的截面。由于 AB 、 A'B' 在同一平面内，因此这两条线会相交；这个交点既在平面 ABC 上，也在平面 A'B'C' 上，因而也就在两平面的交线上。同理，另外两个交点也都在平面 ABC 和 A'B'C' 的交线上，因此三个交点共线。当然，画在纸上的也好，照相机照出来的也好，人眼看到的也好，其实都是一个二维图形罢了。因此，命题在平面上也是成立的（这背后的逻辑是，在立体图形的平面投影中，直线仍然是直的，共线的仍然共线，共点的仍然共点；借助射影几何的思想，我们能给出一个更严格的证明）。

这个证明神就神在，当你悟到之后，整个证明过程不但不需要一个字，而且连图形说明都可以不用，只需要盯着原图看，结论自己就跳出来了。看来，我们又多了一种证明问题的思路：盯着问题看，直到它突然一下变得显然成立了为止。

这让我立即想到之前讲过的不少把平面几何的辅助线作到空间去的趣题，我至少回想起了四篇日志（58，1947，3918，3965）。其中好几个问题也有类似的精神，尤其是第一篇日志里讲到的第一个问题。

问题很帅：平面上三个圆两两相交。试证明三条公共弦共点。

利用根轴的相关性质，我们有一个非常漂亮的证明。不过，要想看出定理的正确性，远不用那么复杂。用一种新的方式解读原图后，定理几乎是显然成立的。想象以这三个圆为“赤道面”的三个球体。我们把这三个球的球心（也就是原问题中的三个圆心）所确定的平面（也就是原问题的图形所在的平面）记作 α 。注意到，每两个球面将会相交于一个圆圈，他们在 α 上的投影就是那三条公共弦。而三个球面将会交于两个点（这两个点一上一下，关于 α 对称），并且这两个点都同时属于空间中的三个圆圈。从投影的角度来看，这就是说，在平面 α 上存在一个点，它同时属于那三条公共弦。

说到直观的证明，不得不提到下面这个经典例子。 1989 年的 American Mathematical Monthly 上有一个貌似非常困难的数学问题：考虑由一个个小三角形组成的正六边形棋盘，现在请你用右边的三种（仅朝向不同的）菱形把整个棋盘全部摆满（图中只摆了其中一部分），证明当你摆满整个棋盘后，你所使用的每种菱形数量一定相同。

文章末尾提供了一个非常帅的“证明”。把每种菱形涂上一种颜色，整个图形瞬间有了立体感，看上去就成了一个个立方体在墙角堆叠起来的样子。三种菱形分别是从左侧、右侧、上方观察整个立体图形能够看到的面，它们的数目显然应该相等。这个证明虽然并不严格，但却深受数学家喜爱，甚至还收录进了《Proofs Without Words》一书中。

《Proofs Without Words》一书的第 109 页则给出了另外一个例子：六边形数 h_n 可以写成 n³ - (n - 1)³ 。其实这也是显然的，结论根本不用证明。你只需要盯着排列成六边形的圆点阵，不断看不断看，一直看一直看，直到看出它显然就是 n³ - (n - 1)³ ，结论就证到了。

由此还能立刻可知， h₁ + h₂ + … + h_n = n³ ，从图形的角度看上去，这也是显然的。

大家还有什么好的例子吗？

Trackback: http://www.matrix67.com/blog/archives/4480/trackback

回到顶部

帮助

Monday, July 1, 2013

纳什均衡 范式博弈又被译为正则形式的博弈、策略型赛局或标准型赛局

可解群

热度

规范场论

热度

李群及其代数

热度

模形式——五种代数基本运算之一

艾森斯坦级数

热度

数学物理中的一类重要函数——贝塞尔函数（From Wikipedia）

热度

Euler-Mascheroni Constant——欧拉伽马

热度

纵观全局一下，心旷神怡！

热度

我国科学家率先证明引力场以光速传播

热度

统一理论中的数论——圈量子引力理论

热度

Riemann ζ Function——素数的音乐

热度

当代最伟大的物理学家——爱德华威腾（From Wikipedia）

热度

智者的游戏——博弈论

热度

对称性与守恒的完美统一——诺特定理

例1：能量守恒

热度

美丽的扩展——辛空间

热度

面积和体积的推广——测度（From Wikipedia）

热度

几个非常优美的关于圆周率的公式

热度

天才数学家拉马努金在梦中得到的公式

热度

大偶数表为一个素数及一个不超过两个素数的乘积之和（陈景润，1966）

热度

天才数学家拉马努金（来自wikipedia）

热度

盯着结论看，直到它变得显然成立为止 (转自MATRIX67)

热度

No comments:

Post a Comment

纳什均衡范式博弈又被译为正则形式的博弈、策略型赛局或标准型赛局