从点群到它的字典
在本级前面的几篇里,你学会了搜寻对称元素以及与之绑定的对称操作——旋转、镜面、反演——然后把它们收集起来,为分子确定一个像 C2v、D4h 或 Oh 这样的点群。这个标签是一项实打实的成就,但它本身只是个名字。特征标表才是让这名字真正派上用场的东西:每个点群都有一张固定的表,在每本教科书里都一模一样,它编录了该群的对称性允许分子做的一切。不妨把点群看作分子所说的语言,而特征标表就是这门语言的字典。
特征标表的全部要点,就是日常意义上的“化简”:与其用完整的几何细节去描述某物如何运动,不如把这种行为浓缩成一份简短的标准标签清单。每个标签,针对一个与对称性相关的对象,回答了对称性唯一能问的那些问题:当你执行一次旋转或反射,这个对象是原封不动地回来,还是翻转了符号,抑或与它的伙伴搅在了一起?两个外表毫不相像、却同属一个点群的分子,共享完全相同的表——对称性不在乎原子是什么,只在乎形状如何表现。这正是为什么同一张 C2v 表既能服务于水、二氧化硫,也能服务于一个弯曲的过渡金属碎片。
读表:行、列与特征标
翻开 C2v 的表,先认清方位。表的顶端横排着该群的对称操作,按类分组:对 C2v 来说就是 E(什么都不做)、C2(绕主轴旋转 180 度),以及两个镜面 sigma-v 和 sigma-v-prime。左侧竖排着行标签——不可约表示,即该群最基本的对称类型。C2v 恰好有四个:A1、A2、B1、B2。这些标签称为 Mulliken 符号,是对称性的字母表;一旦你在 C2v 这样的小群里见过它们,就能在各处认出它们的同族。
填满表格主体的数字就是特征标,而在这些小群里,每一个都不过是 +1 或 -1。某一列里的 +1 意味着“在那个操作下,一个属于此对称类型的对象完全保持不变”;-1 则意味着“它回来时模样相同,但符号翻转了”。所以 A1 是全对称类型——全是 +1,被任何操作都保持不变;这正是为什么 A1 这个标签总坐在最上面。B1 也许在 E 和某个镜面下读作 +1,在 C2 和另一个镜面下读作 -1。从左到右读一行,就是读一份行为指纹:这正是此类型的对象依次对每个操作的响应方式。
把 C2v 表想成一张小小的网格。四行是 A1、A2、B1、B2;四列是 E、C2、sigma-v(xz)、sigma-v-prime(yz)。A1 读作 +1、+1、+1、+1——全对称类型,被任何操作都保持不变。A2 读作 +1、+1、-1、-1——在旋转下对称,在两个镜面下都翻符号。B1 读作 +1、-1、+1、-1,B2 读作 +1、-1、-1、+1;二者在 C2 旋转下都翻符号(那个 B 告诉你的正是这点),然后在镜面上分道扬镳。用手指横扫任意一行,你就拿到了该对称类型完整的行为指纹——四个数字,每个操作一个。
最右边那几列是表格里默默干活的主力。它们告诉你哪些日常之物按每一行变换:坐标 z 跟随 A1,平面内的轴 x 与 y 跟随 B1 和 B2,旋转 Rx、Ry、Rz 也列在其中,而在更大的表里你还会找到像 z 平方、x 平方减 y 平方这样的二次函数。这是从抽象标签通向真实化学的桥梁。因为 pz 轨道沿 z 方向,它就按 A1 变换;px 轨道按 B1 变换。于是这张表免费递给你中心原子上每条 p 轨道、每条 d 轨道的对称标签——而这正是你构建分子轨道能级图所需要的东西。
破译 Mulliken 标签
那些晦涩的符号——a1、e、t2g——并非随意而来;每个字母与下标都编码着指纹的一部分,以至于你几乎能直接从标签读出其行为。打头的字母记录维数:A 和 B 表示单个、非简并的对象(一条孤立的轨道);E 表示必须当作一个整体看待的二重简并对(两条锁在同一能量上的轨道);T 表示三重简并的一组三条。这个大写字母,恰好就是在恒等操作 E 下的特征标值——A 和 B 为 1,E 为 2,T 为 3——也就是字面意义上有多少个东西作为一个整包一同行动。
那些修饰进一步细化它。A 与 B 之分,是按非简并类型在主旋转轴下的行为来分:A 是对称的(+1,被主旋转保持不变),B 是反对称的(-1,符号翻转)。下标 1 和 2 区分在次轴或竖直镜面下的行为。在拥有反演中心的群里——如八面体的 Oh——每个标签还佩戴一个 g 或 u 下标:g(源自德语 gerade,偶)表示对象经中心反演后不变,u(ungerade,奇)表示其符号翻转。这正是为什么著名的八面体 d 轨道标签读作 t2g 和 eg,二者皆偶,而同一群里的 p 轨道却是奇的,记作 t1u。
构建可约表示
真正的威力,出现在你拿起一组尚未按对称性归类的对象时——某个假想的方形分子的四个 O-H 伸缩运动、氨的三根 N-H 键,或外围原子上的一簇轨道——并追问它们会分解成哪些对称类型。起点是一个可约表示,通常用大写希腊字母 gamma 表示。它是每个操作类一个数字,而你用一条美妙简单的计数规则生成它:对每一个对称操作,数一数你这组对象里有多少个原地不动——没有被挪到另一个位置。这个计数,就是该操作下可约表示的特征标。
拿氨 NH3 为例,它属于点群 C3v,我们用三根 N-H 键作为对象组。在 E(什么都不做)下,三根键都原地不动,所以特征标是 3。在 C3(绕过氮的轴旋转 120 度)下,每根键都摆到了邻居原来所在的位置——没有一根留在原处——所以特征标是 0。在一个 sigma-v 镜面下,每个镜面都含有氮和三个氢中的一个:那一根 N-H 键躺在镜面里、原地不动,而另外两根互换;所以恰好一根留在原处,特征标是 1。我们的可约表示沿 E、C3、sigma-v 读作 (3, 0, 1)。这个简短的三元组,用三个数字便捕捉了这三根键的全部对称内容。
对于轨道和完整的原子运动(而非简单的键),有一处细化需要诚实交代。当一个对象留在原地、却翻转了自己的方向——比方说一条 px 轨道在镜面下幸存、但波瓣反了向,或一个原子被旋转保持不动、而它的运动矢量部分转了向——它贡献的就不是 +1,而是它自己那个小小的特征标(保持取向为 +1,反向为 -1,部分旋转则带一个余弦因子)。对于一组朴素的、向外指出的键或 sigma 轨道,每个原地不动的对象都干净地贡献 +1,上面那种简单的点数法便恰好正确。把这一区分揣在口袋里;对于本级所涉的情形,简单计数就足以带你走完全程。
用约化公式将它约化
可约表示是一种混合物;目标是弄清它由哪些不可约表示构成、各占多少份——就像你或许会问哪些纯音组成了一个和弦。约化公式正是做这件事的。对每一个不可约表示,你计算它出现的次数,记作 n:取每个操作类,把三样东西相乘——该类里有多少个操作、你的可约表示在该处的特征标、以及该不可约表示在该处的特征标——把这些乘积沿所有类相加,然后除以 h,即群里操作的总数(群的阶)。
n(i) = (1/h) * SUM over classes [ g(c) * X_red(c) * X_i(c) ]
h = order of the group (total # of operations)
g(c) = number of operations in class c
X_red = character of the reducible rep in class c
X_i = character of irreducible rep i in class c
NH3 example, C3v: h = 6, classes E(g=1) 2C3(g=2) 3sv(g=3)
Gamma(N-H) = ( 3, 0, 1 )
A1 = ( 1, 1, 1 )
n(A1) = (1/6)[ 1*3*1 + 2*0*1 + 3*1*1 ] = (1/6)(6) = 1
n(A2) = (1/6)[ 1*3*1 + 2*0*1 + 3*1*(-1) ] = 0
n(E) = (1/6)[ 1*3*2 + 2*0*(-1) + 3*1*0 ] = (1/6)(6) = 1
Gamma(N-H) = A1 + E结果 Gamma 等于 A1 加 E,说出了一件具体而可验证的事。三根 N-H 键并非三个独立之物;对称性坚持要它们重组为一个全对称组合(三根一齐内外伸缩——那就是 A1)外加一对组合,其对称性以两路分享(即 E)。一个快速的核验:维数必须加得上。A1 计作 1,E 计作 2,合计 3——恰好是我们起初的那三根键。如果你约化出的表示加不回原对象组的大小,那就是某处算错了;重数一遍。这些符合对称性的组合有个你接下来就会遇到的名字:对称匹配线性组合。
化学家究竟为何要做这件事
这并不是为算而算——它是你正向上攀登的两整门学科底下的发动机舱。在成键里,对称标签告诉你哪些轨道被允许组合:一条中心原子轨道只能与携带相同不可约表示的配体组合相混,因为不同对称性的轨道净重叠恰好为零。正是这一条规则,让你能为从甲烷到八面体配合物的任何东西构建一张正确的分子轨道能级图而无需猜测——你把标签配对,而对称性不匹配的轨道就老老实实地保持非键。著名的八面体场中 d 轨道 t2g 低于 eg 的分裂,本身不过是从 Oh 表里掉出来的两个对称标签罢了。
在光谱学里,同一套机器决定了你能看到什么。如果你取一个分子的 3N 个运动、将其约化,再剥去属于平动与转动的那些标签(表会标出它们——回想那些 x、y、z 与 Rx、Ry、Rz 项),剩下的就是振动的对称性。选择定则随即从同一张表里直接读出:一个振动只有当它按 x、y 或 z 变换时才有红外活性,只有当它按某个二次函数变换时才有拉曼活性。于是一张特征标表能在你还没碰到仪器之前就预言一个分子该显示多少条红外谱带——这正是为什么单凭对称性就能区分,比方说,平面四方的 XeF4 与一个假想的四面体排布。
把诚实的边界放在眼前。对称性告诉你什么被允许、什么被禁止,却从不告诉你有多大、有多强——它能担保两条轨道可以组合,却说不出它们最终落在什么能量,也说不出一条被允许的谱带是强是弱。它是一个强大的筛子,而非一台计算器。而且它的结论,恰好只与你确定的点群一样可靠:把对称性搞错了,世上最干净的约化也只是在描述错的分子。带着这份谨慎,你如今已握有本级的核心本领——把形状变成点群、查它的特征标表、靠数原地不动者生成可约表示、再将它约化。成键图与光谱,如今都成了你能推导、而非死记的东西。