随机积分(严格来说, Wiener 测度)是无穷维空间上的概率测度,
并不能分解为概率密度和基本测度的乘积
随机积分(严格来说, Wiener 测度)是无穷维空间上的概率测度;在场论中,经典相空间一般都是无穷维空间。无穷维缺少有限维的一个重要性质,即平移旋转不变的 Lebesgue 测度的存在性。
thnkerf thnkerl <thnker2@gmail.com>
|
|
| |
|
|
|
随机积分(严格来说, Wiener 测度)是无穷维空间上的概率测度

Powered by
Discuz! 6.0.0© 2001-2007
Comsenz Inc.
漫谈几何量子化(四,五,六)
漫谈几何量子化(四)表象 在场论中,经典相空间一般都是无穷维空间。 无穷维缺少有限维的一个重要性质,即平移旋转不变的 Lebesgue 测度的存在性。我们已经看到在 Stone-von Neumann 的处理中(即 Schrodinger 表示),平方可积函数空间  可以作为态空间,而平方可积是对 Lebesgue 测度而言的。但是在无穷维,没有这么一个“典则”的测度。 再来看 Fock 表象。重新审视对有限维相空间的处理。在没有约束的情况下, 只要固定了坐标系,有限维相空间可以看作向量空间。 所有可能的位置组成向量空间  ,所有可能的动量应该被视为对偶空间(线性泛函组成的空间)  (这是因为动量由 Legendre 变换定义,数学上来说是一种对偶),使得经典相空间 可以写成  . 这是一个“辛向量空间”,就是说, 上面配备了一个非退化的反对称双线性型  ,  实向量空间上的“复结构”是指一个线性变换,其平方是负恒等,  . 辛向量空间上的“相容复结构”是指这个复结构要保持辛形式,即,  容易看到复结构的本征值是  . 要谈论它的本征向量,必须把原来的实向量空间“复化”, 即考虑复向量空间  ,把 J 扩张到这个复向量空间上成为复线性变换。 这个复向量空间可以分解成 J 的本征子空间的直和,  . 不同的复结构对应不同的这种直和分解。 如果复结构还是跟辛结构相容的,那么以上直和分解必须满足“ 正性条件”  和 Lagrange 条件,即  是极大的迷向子空间,所谓迷向是指  之前讨论谐振子的时候采用的复结构是(省略系数)  那么容易看到,Fock 表象中的态矢量一一对应到反全纯部分的多项式, 用多重线性代数的语言,即  上的对称张量。Fock space  . 这个程序可以用于无穷维辛向量空间,即,固定一个正性直和分解( 复结构),态空间就可以用反全纯部分的对称张量来组成。 不过注意这只适用于玻色理论,其中正则关系是交换子。 对费米理论,有类似的程序,以后再谈。 真空态的构造问题涉及复结构的第三种形式,下节继续。 [ 本帖最后由 季候风 于 2008-2-3 15:07 编辑 ]
|
- UID
- 12
- 帖子
- 1277
- 精华
- 9
- 积分
- 241
- 阅读权限
- 150
- 在线时间
- 917 小时
- 注册时间
- 2008-1-12
- 最后登录
- 2011-12-19
查看详细资料
|
|
星空浩淼
超级版主
 
|
2#大中小 发表于 2008-1-27 22:34 只看该作者
Re: 漫谈几何量子化(四)
引用:
所有可能的位置组成向量空间 ,所有可能的动量应该被视为对偶空间(线性泛函组成的空间) (这是因为动量由 Legendre 变换定义,数学上来说是一种对偶),使得经典相空间 可以写成 . 这是一个“辛向量空间”,就是说,上面配备了一个非退化的反对称双线性型 
这个地方可否这样“翻译”:如果由广义坐标构成的位形空间M={ q1,q2,q3,...qn}={q}作为底空间, 则其上的切丛TM={q,δq/δt} (δq/δt是广义速度)即是状态空间,余切丛T*M={q, p}是相空间(其中p是广义动量)。利用Legendre 变换,可以让切丛TM过渡到余切丛T*M,相应地, 把Lagrange力学变换到Hamilton力学。
|
- UID
- 16
- 帖子
- 3870
- 精华
- 15
- 积分
- 323
- 阅读权限
- 150
- 在线时间
- 1418 小时
- 注册时间
- 2008-1-13
- 最后登录
- 2011-12-19
查看详细资料
|
|
星空浩淼
超级版主
 
|
3#大中小 发表于 2008-1-27 22:38 只看该作者
Re: 漫谈几何量子化(四)
引用:
上面配备了一个非退化的反对称双线性型 ,

这个地方看得不太明白,不知道上面这个公式的具体含义, 如果举个例子就好了。这个“非退化的反对称双线性型” 是M上的辛形式吗?还是类似Poisson括号的东西?
|
- UID
- 16
- 帖子
- 3870
- 精华
- 15
- 积分
- 323
- 阅读权限
- 150
- 在线时间
- 1418 小时
- 注册时间
- 2008-1-13
- 最后登录
- 2011-12-19
查看详细资料
|
|
星空浩淼
超级版主
 
|
4#大中小 发表于 2008-1-27 22:55 只看该作者
Re: 漫谈几何量子化(四)
引用:
之前讨论谐振子的时候采用的复结构是(省略系数)

实形式下,J对应一个斜对角矩阵, 由正负两个单位矩阵作为斜对角元;不知道在复结构下, 它的表达形式如何?它本身相当于复向量空间中旋转90度的变换, 即把坐标与动量互换(可能相差一个负号)。我只知道,实形式下, 如果一个变换满足MJM'=J(M'是M的转置), 则M对应一个辛变换(正则变换,其全体构成辛群), 它保持Hamilton方程形式不变, 保持Poisson括号不变,保持辛形式不变。 为了对季兄表示支持,我勉为其难地凑一下热闹, 可惜本人水平实在有限。希望其他更为内行的人向我学习, 踊跃参与讨论,这不象下棋,用不着观棋不语
|
- UID
- 16
- 帖子
- 3870
- 精华
- 15
- 积分
- 323
- 阅读权限
- 150
- 在线时间
- 1418 小时
- 注册时间
- 2008-1-13
- 最后登录
- 2011-12-19
查看详细资料
|
|
季候风
超级版主
 
|
5#大中小 发表于 2008-1-27 23:59 只看该作者
Re: 漫谈几何量子化(四)
引用:
上面配备了一个非退化的反对称双线性型 ,

这个地方看得不太明白,不知道上面这个公式的具体含义, 如果举个例子就好了。这个“非退化的反对称双线性型” 是M上的辛形式吗?还是类似Poisson括号的东西?[/ quote] 这里的确省略了说明,为了不至于满篇都是公式 . 这里  , 这是一个典型的数学家的记号,又回到以前讨论的直和有关问题。 线性空间的直和,其底层集合是直和因子底层集合的笛卡儿积, 所以用有序对来标记。因为  是线性函数,等式右边的括号就是取值。 在谐振子的情况,  分别是  的基,而且互为对偶。用基展开,  , 那么  现在只考虑了辛向量空间,而不是辛流形,所以不必要涉及 Poisson 结构,一切都是线性的。 [ 本帖最后由 季候风 于 2008-2-6 01:15 编辑 ]
|
- UID
- 12
- 帖子
- 1277
- 精华
- 9
- 积分
- 241
- 阅读权限
- 150
- 在线时间
- 917 小时
- 注册时间
- 2008-1-12
- 最后登录
- 2011-12-19
查看详细资料
|
|
季候风
超级版主
 
|
6#大中小 发表于 2008-1-28 00:16 只看该作者
Re: 漫谈几何量子化(四)
引用:
之前讨论谐振子的时候采用的复结构是(省略系数)

实形式下,J对应一个斜对角矩阵, 由正负两个单位矩阵作为斜对角元;不知道在复结构下, 它的表达形式如何?它本身相当于复向量空间中旋转90度的变换, 即把坐标与动量互换(可能相差一个负号)。我只知道,实形式下, 如果一个变换满足MJM'=J(M'是M的转置), 则M对应一个辛变换(正则变换,其全体构成辛群), 它保持Hamilton方程形式不变, 保持Poisson括号不变,保持辛形式不变。 为了对季兄表示支持,我勉为其难地凑一下热闹, 可惜本人水平实在有限。希望其他更为内行的人向我学习, 踊跃参与讨论,这不象下棋,用不着观棋不语 [/quote] 星空兄谦虚了,你的问题和意见都很好。多谢星空兄捧场。 实向量空间复化以后,原来的基还保持为基,  . 所以线性变换扩张以后的矩阵还跟以前的矩阵一样。 我在谐振子情况用的复结构矩阵是很特殊的一个, 它的矩阵正好同辛形式  的矩阵一样。这是一个巧合,但复结构和辛形式是完全不同的概念, 分别属于  . 在谐振子相空间上还有很多别的相容复结构。 矩阵形式的方程往往引起很多歧义, 内在的不依赖于基底选取的表述才更加准确,更利于理解。 辛变换的内在定义是 
|
- UID
- 12
- 帖子
- 1277
- 精华
- 9
- 积分
- 241
- 阅读权限
- 150
- 在线时间
- 917 小时
- 注册时间
- 2008-1-12
- 最后登录
- 2011-12-19
查看详细资料
|
|
星空浩淼
超级版主
 
|
7#大中小 发表于 2008-1-28 01:09 只看该作者
|
- UID
- 16
- 帖子
- 3870
- 精华
- 15
- 积分
- 323
- 阅读权限
- 150
- 在线时间
- 1418 小时
- 注册时间
- 2008-1-13
- 最后登录
- 2011-12-19
查看详细资料
|
|
季候风
超级版主
 
|
8#大中小 发表于 2008-1-28 01:52 只看该作者
Re: 漫谈几何量子化(四)
引用:
但复结构和辛形式是完全不同的概念,分别属于 . 在谐振子相空间上还有很多别的相容复结构。矩阵形式的方程往往引起很多歧义,内在的不依赖于基底选取的表述才更加准确,更利于理解。辛变换的内在定义是

谢谢季兄的解释!上面的  是否应该是  ?有的书上把辛形式记做  [/ quote] 非也非也。用物理词汇,线性变换是一阶反变, 一阶协变的混合张量,而双线性函数是二阶协变张量, 反对称双线性函数就是“2-形式”.
|
- UID
- 12
- 帖子
- 1277
- 精华
- 9
- 积分
- 241
- 阅读权限
- 150
- 在线时间
- 917 小时
- 注册时间
- 2008-1-12
- 最后登录
- 2011-12-19
查看详细资料
|
|
星空浩淼
超级版主
 
|
9#大中小 发表于 2008-1-28 12:30 只看该作者
Re: 漫谈几何量子化(四)
引用:
非也非也。用物理词汇,线性变换是一阶反变,一阶协变的混合张量,而双线性函数是二阶协变张量,反对称双线性函数就是“2-形式”.
[/quote] 呵呵,原来如此
|
- UID
- 16
- 帖子
- 3870
- 精华
- 15
- 积分
- 323
- 阅读权限
- 150
- 在线时间
- 1418 小时
- 注册时间
- 2008-1-13
- 最后登录
- 2011-12-19
查看详细资料
|
|
那一剑的寂寞
新手上路

|
10#大中小 发表于 2008-1-29 15:16 只看该作者
Re: 漫谈几何量子化(四)
给季候风提个小建议:能不能在帖子中多加一点数学公式? 你的这篇“漫谈几何量子化”对我帮助很大,谢谢你的工作!
12 hours a day, 7 days a week, and 12 months a year for 20 years!
|
- UID
- 243
- 帖子
- 378
- 精华
- 1
- 积分
- 20
- 阅读权限
- 10
- 在线时间
- 64 小时
- 注册时间
- 2008-1-22
- 最后登录
- 2011-12-13
查看详细资料
|
|
季候风
超级版主
 
|
11#大中小 发表于 2008-1-30 01:08 只看该作者
Re: 漫谈几何量子化(四)
呵呵,客气客气。数学公式多了会不会太占空间?
|
- UID
- 12
- 帖子
- 1277
- 精华
- 9
- 积分
- 241
- 阅读权限
- 150
- 在线时间
- 917 小时
- 注册时间
- 2008-1-12
- 最后登录
- 2011-12-19
查看详细资料
|
|
shanqin
超级版主
 
|
12#大中小 发表于 2008-1-30 23:36 只看该作者
Re: 漫谈几何量子化(四)
虽然会,但是影响不大,所以有公式尽管用。
假如不曾一起逆着风 破着浪 我还不明了倔强 原来是一种力量
|
No comments:
Post a Comment