物理学中的群论基础第二章.pptVIP

从上式的第m列, 我们得到 式中1≤n≤N. 这是关于N个未知数Umn(1≤m≤N, 而n固定)的N 个线性方程. 由于行列式, 这些方程不全独立. 若本征值tn是k重简并 的, 可以证明, 矩阵T?tnE的秩为N?k, 从而上两式只有N?k个独立 方程. 表明最多可确定N?k个分量Umn(n固定). 于是一般方法是固 定任意k个(头k个)分量, 再由它们求出其余N?k个分量. 简并本征函 数的任意线性组合仍是具有同一本征值的本征函数, 这里仍有相当 大的任意性. 在全空间的k维子空间中选取任意k个正交归一函数. 求得N个正交归一本征函数后, 可以证明在基{?n}下, T的表示 是对角矩阵. 用矩阵记号将前面提到的两个基矢的线性组合写作 T? =?[T], ?= ?U, ?=(?1, ?2, … , ?N), ? =(?1, ?2, … , ?N), ?和?是行矢量, 而T与[T]分别表示算符合相应的矩阵. 矩阵U的第n列, 恰好包含本征函数?n的各分量: 以U右乘上两式, 我们得到 T?= ?UU?1[T]U, 亦即 T?= ?U?1[T]U. 因而, 矩阵U?1[T]U是算符T在基{?n}下的表示. 很容易证明: 按本 征值方程所示U的结构, 我们有 U?1[T]U=Td . 方法是: 取上式左侧的l 行n列元素 这里用到了本征值方程的矩阵式, 这正是Td的l行n列元素. 于是 T? = ?Td. 此即所要求的结论. 这一过程称作算符的对角化. 2.4.4 算符的谱理论 讨论有限维Hilbert空间中的算符T. 认为它是幺正的或厄米的. 令Ln是算符T的n维Hilbert空间. 假定Ln是定义在复数域上的, T故恰有n个本征值. 令t1, t2, … , tm是T的不同的本征值, 故m≤n. 若本征值ti是ki度简并的, 则Ln中有ki个独立的本征矢属于该本征值 ti. 这些本征矢构成Ln的ki维子空间Mi的基. Mi称为T的对应于本征 值ti的本征空间. Mi中的任一矢量是T的具有本征值ti的本征矢. 这就有分别对应于本征值t1, t2, … , tm的本征空间M1, M2, … , Mm. 若是厄米算符或幺正算符, 这些空间是两两正交的. 这种情况, 这一事实记作Mi⊥Mj(i?j). 于是任一矢量u?Ln可以唯一地表示为 u=u1+u2+…+ um, 其中ui属于Mi, 因而诸ui是两两正交的. T对u的作用给出 u=Tu1 + Tu2 + … + Tum=t1u1 + t2u2 + … + tmum. 这唯一确定了T对Hilbert空间中任一矢量的作用, 为把上述结果表 示成更方便的形式, 定义m个投影到本征空间Mi上的投影算符Pi, 使得Pi对u作用的结果给出u到Mi上的投影: Piu = ui. 于是前一式变为 Tu=t1Pu + t2P2u + … + tmPmu, ?u?Ln, 我们可以写下 T = t1P + t2P2 + … + tmPm. 这个表达式常称之为的谱分解. 对每一个作用于有限维Hilbert空间 的厄米或幺正算符, 其谱分解存在且唯一. 这节发展的概念与物理中的本征值问题密切相关, 非常有用, 量 子力学中要处理的正是厄米算符的本征值和本征函数. 2.5矩阵的直和与直积 这里讨论两类重要的矩阵运算, 矩阵的直和与直积(外积). 2.5.1矩阵的直和 m阶方阵A?[Aij]与n阶方阵B?[Bij]的直和为由下式定义的m+n 阶方阵C: 式中01和02分别是m行n列与n行m列零矩阵. 符号?代表直和. 这容 易推广到多个矩阵. 例如矩阵 * 2.1矢量空间与Hilbert空间 通常的3维空间只不过是任意维矢量空间这一普遍概念的特例. n维空间(n是一个有限的实正整数或无限大)这个纯粹抽象概念, 已经是现代物理学和数学许多问题中的基本概念. 令F是某些元素的集合(a, b, c, d, …), 假定对F的运算定义两个 二元运算: “+” (加法), “?”(乘法). 下述条件成立时，称F是一个域: F在加法下是一个Abel群, 其单位元用“0”表示; F的非零元素的集合在乘法下也构成一个Abel群，单位元为“1”; 乘法对加法满足分配律: a(b+c)=ab+ac. 三个经常涉及的域的例子: (a)所有实数的集合，通常记作R; (b)所有复数的集合，通常记作C; (c)所有有理数的集合，通常记作Q. 域就是数学的数系. 域的元素成为数量(标量). 2.1.1 矢量空间 以下两条件成立时，称元素v, w,…的集合L为域F上的矢量空间: (a)在L中定义了一个加法运算，以“+”表示，在加法下L是Abel 群.此群的单位元记作0. (b)域F的任一数与L的任一元