为何旋量不是张量？——旋量与张量差异的技术问询

这问题其实戳中了很多人学张量和旋量时的困惑点——明明都跟坐标变换挂钩，为啥旋量就不算张量？我来给你掰扯清楚核心区别：

1. 变换群的本质差异 #

张量的变换规则基于一般线性群（GL）或者正交/洛伦兹群的正常子群（单值群），而旋量的变换是基于旋量群（Spin群）——这个群是洛伦兹群的二重覆盖群。简单说：

• 洛伦兹群里的一个变换（比如空间反射、360度旋转），在Spin群里对应两个不同的元素；
• 张量只会跟着洛伦兹群的单值变换走，而旋量需要对应到覆盖群的双值元素上，这是最根本的分歧。

2. 变换规则的双值性 vs 单值性 #

你已经了解变换规则，那咱们直接对比：

• 张量的变换是单值线性表示，比如二阶逆变张量的变换是：
  T'^μν = Λ^μ_α Λ^ν_β T^αβ
  这里的Λ是洛伦兹变换矩阵，一个Λ只会给出唯一的变换结果。
• 旋量的变换是双值线性表示，比如狄拉克旋量的变换用SL(2,C)矩阵M，同一个洛伦兹变换Λ，对应SL(2,C)里的M和-M两个矩阵，也就是说旋量分量的变换结果会有两种可能（差一个负号），这完全不符合张量的单值变换要求。

3. 直观的几何行为差异 #

拿旋转来举个例子：

• 把坐标系绕任意轴转360度，张量的所有分量都会变回初始值；
• 但旋量的分量会变成原来的**-1倍**，只有转720度才会回到初始状态。
  这种“转一圈不还原，转两圈才还原”的特性，是旋量双值表示的直观体现，而张量根本没有这种行为。

总结 #

旋量之所以不是张量，核心在于它们对应了不同群的表示类型：张量是洛伦兹群（或一般线性群）的单值线性表示，而旋量是其覆盖群（Spin群）的双值线性表示。这种双值性打破了张量定义中“单值变换”的核心要求，所以旋量无法被归为张量的范畴。

内容的提问来源于stack exchange，提问作者winnetou