为什么是不可约表示
版主: verdelite, Tlexander
-
- 论坛支柱
TheMatrix 的博客 - 帖子: 9717
- 注册时间: 7月 26, 2022, 12:35 am
为什么是不可约表示
物理体系,不是数学的问题,也不是一两个定律的问题,是一套解释体系的问题。比如牛顿力学,f=ma,光知道这个没用。一整套解释体系,解出来怎么解释,代表什么。这是牛顿力学的整个框架,都知道了才有用。
群的不可约表示为什么代表了粒子?这句话什么意思?可约表示不行吗?什么群?
这个我也处在半懂不懂之间。
群的不可约表示为什么代表了粒子?这句话什么意思?可约表示不行吗?什么群?
这个我也处在半懂不懂之间。
-
- 职业作家
- 帖子: 632
- 注册时间: 9月 12, 2022, 3:00 pm
Re: 为什么是不可约表示
这个科普或教科书很少见说的明白的。可能都默认读者水平高。
从一无所知入手:
首先量子力学假定物质状态是希尔伯特空间的矢量(就不严谨说射线什么了)--这是出于物理学家信念,不是逻辑必然。 而数学上量子力学里的希尔伯特空间一定有可数正交基。 所以所有的东西都是phi_n,n是基底标记。点粒子就是phi_n = phi_n(t,x), 一个时空标记(t,x)。 注意这里内部空间标记n是没限制的。 一般人不想这个n,就是n=1,粒子没有内部结构; 或者混淆内部空间和外部时空, 做个简单同构n=3. 但量子力学允许更多可能。
那么如果给理论硬加个对称性要求(这也是出于物理学家信念,不是逻辑必然),这个态矢量phi_n要求在对称群作用下协变,它又在线性空间里,自然是这个群群表示空间的元素。--不可约的要求是平凡的,因为可约的话可以分开要求,就不是“基本”粒子了。
所以完整着说是:基本粒子的态矢量是群的不可约表示空间的元素。(这好像只是个充分条件,但照着后者去找前者也都找到了才是amazing)
注意到这些物理学家都是大胆假设,信念飞跃,不是按逻辑推理的。
从一无所知入手:
首先量子力学假定物质状态是希尔伯特空间的矢量(就不严谨说射线什么了)--这是出于物理学家信念,不是逻辑必然。 而数学上量子力学里的希尔伯特空间一定有可数正交基。 所以所有的东西都是phi_n,n是基底标记。点粒子就是phi_n = phi_n(t,x), 一个时空标记(t,x)。 注意这里内部空间标记n是没限制的。 一般人不想这个n,就是n=1,粒子没有内部结构; 或者混淆内部空间和外部时空, 做个简单同构n=3. 但量子力学允许更多可能。
那么如果给理论硬加个对称性要求(这也是出于物理学家信念,不是逻辑必然),这个态矢量phi_n要求在对称群作用下协变,它又在线性空间里,自然是这个群群表示空间的元素。--不可约的要求是平凡的,因为可约的话可以分开要求,就不是“基本”粒子了。
所以完整着说是:基本粒子的态矢量是群的不可约表示空间的元素。(这好像只是个充分条件,但照着后者去找前者也都找到了才是amazing)
注意到这些物理学家都是大胆假设,信念飞跃,不是按逻辑推理的。
上次由 rgg 在 3月 26, 2023, 11:53 am,总共编辑 4 次。
-
- 论坛元老
- 帖子: 14921
- 注册时间: 7月 21, 2022, 11:33 pm
- 昵称(选填): 众傻之傻
-
- 论坛支柱
TheMatrix 的博客 - 帖子: 9717
- 注册时间: 7月 26, 2022, 12:35 am
-
- 职业作家
- 帖子: 632
- 注册时间: 9月 12, 2022, 3:00 pm
Re: 为什么是不可约表示
关于这个内部空间的维数,上面是直接从线性代数角度说的。从微分方程的解出发解释,就是:薛定谔方程假设有一个解,那么坐标旋转一下,问把原来的解直接坐标相应变换,还是不是原来的解? 硬要要求是的,就是n=1. 原来的解可以拆分成n个部分的和,坐标旋转后,这n个部分按一定的组合就还是原方程的解,就是有内部空间维数n的情形。n没必要等于1或3.
-
- 论坛支柱
TheMatrix 的博客 - 帖子: 9717
- 注册时间: 7月 26, 2022, 12:35 am
Re: 为什么是不可约表示
信息量很大。rgg 写了: ↑3月 26, 2023, 11:45 am 这个科普或教科书很少见说的明白的。可能都默认读者水平高。
从一无所知入手:
首先量子力学假定物质状态是希尔伯特空间的矢量(就不严谨说射线什么了)--这是出于物理学家信念,不是逻辑必然。 而数学上量子力学里的希尔伯特空间一定有可数正交基。 所以所有的东西都是phi_n,n是基底标记。点粒子就是phi_n = phi_n(t,x), 一个时空标记(t,x)。 注意这里内部空间标记n是没限制的。 一般人不想这个n,就是n=1,粒子没有内部结构; 或者混淆内部空间和外部时空, 做个简单同构n=3. 但量子力学允许更多可能。
那么如果给理论硬加个对称性要求(这也是出于物理学家信念,不是逻辑必然),这个态矢量phi_n要求在对称群作用下协变,它又在线性空间里,自然是这个群群表示空间的元素。--不可约的要求是平凡的,因为可约的话可以分开要求,就不是“基本”粒子了。
所以完整着说是:基本粒子的态矢量是群的不可约表示空间的元素。(这好像只是个充分条件,但照着后者去找前者也都找到了才是amazing)
注意到这些物理学家都是大胆假设,信念飞跃,不是按逻辑推理的。
我先问一个问题。对称群,我用SO(3)举例可不可以?还是一定要用lorentz group?我对lorentz group有点怕,没有感性认识。SO(3),或者它的Lie algebra so(3),我查了一下,每一个维度都有一个不可约表示。比如说二维吧,这个对应于spin 1/2:m={-1/2,1/2}。那么态矢量空间只有二维啊。你怎么说phi_n(t,x),n可以任意多呢?
-
- 职业作家
- 帖子: 632
- 注册时间: 9月 12, 2022, 3:00 pm
-
- 论坛支柱
TheMatrix 的博客 - 帖子: 9717
- 注册时间: 7月 26, 2022, 12:35 am
-
- 职业作家
- 帖子: 632
- 注册时间: 9月 12, 2022, 3:00 pm
-
- 论坛支柱
TheMatrix 的博客 - 帖子: 9717
- 注册时间: 7月 26, 2022, 12:35 am