回忆第1章中关于一条一般原理的断言:当状态空间 是李群的酉表示时,我们得到 上的一个伴随自伴算符。现在我们将对 这一简单情形加以说明,其中我们所构造的自伴算符将称为电荷算符,并记作
如果 在 上的表示是不可约的,那么由定理 2.2,它必须是一维的,且 。由定理 2.3,它必须具有形式 ,其中 为某个值。在这种情况下,自伴算符 是将 的元素乘以整数 。注意,对 的整性条件是必要的,因为对 有周期性条件,这对应于我们处理的是群 而不是群 这一事实。
对于一般的表示,根据定理2.1和2.3,我们有
对于某个整数集合(是的维数,可以不必互异),其中是的一个副本,通过表示作用。于是可以定义
定义 · 荷算符
对于 表示 的电荷算符 ,是 上的自伴线性算符,它在不可约子表示 上通过乘以 作用。取 中的基元素,它在 上作为矩阵作用
将视为一个量子力学态空间,是我们的第一个量子力学可观测量示例,即上的一个自伴算符。子空间中的态将是的特征向量,并且对于该可观测量具有一个明确定义的数值,即整数。一般态将是来自不同的态向量的线性叠加,并且对于这样的态,可观测量不会有一个明确定义的数值。
该表示可由 在 上的作用恢复,其中群 在 上的作用由乘以 并取指数给出,从而得到
标准的物理学述语是“ 是状态空间 上通过酉变换实现的 作用的生成元”。
一般的抽象数学观点(我们将在第5章中更详细地讨论)是,表示是流形之间的映射,从李群到李群,它将的单位元映到的单位元。因此,它有一个微分,这是一个从单位元处的切空间(这里即)到单位元处的切空间(即乘复矩阵的空间)的线性映射。李群单位元处的切空间称为“李代数”。在后续章节中,我们将研究许多此类李代数和此类映射的不同例子,其中线性映射常常确定表示
在情形下,的微分与算符之间的关系是
下图说明了这一情形:
图 2.2:表示 及其微分的示意图。
图片右侧的球面图形意在表示空间 是 乘 复矩阵 ,减去行列式为零的矩阵轨迹,即那些不可逆的矩阵)。它有一个特殊点,即单位元。表示 将圆 映到 内的一个圆。其导数 是一个线性映射,将单位元处圆的切空间 映到单位元处 的切空间中的一条直线。
在极其简单的例子中,这种抽象图景是小题大做,而且很可能令人困惑。不过我们将会看到,同样的图景在后续章节中许多其他复杂得多的例子里也会出现。正如在这个情形中一样,对于有限维表示,线性映射将是矩阵,而表示矩阵可以通过对取指数来得到