從點群到它的字典
在本級前面的幾篇裡,你學會了搜尋對稱元素以及與之綁定的對稱操作——旋轉、鏡面、反演——然後把它們收集起來,為分子確定一個像 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 與一個假想的四面體排布。
把誠實的邊界放在眼前。對稱性告訴你什麼被允許、什麼被禁止,卻從不告訴你有多大、有多強——它能擔保兩條軌域可以組合,卻說不出它們最終落在什麼能量,也說不出一條被允許的譜帶是強是弱。它是一個強大的篩子,而非一台計算器。而且它的結論,恰好只與你確定的點群一樣可靠:把對稱性搞錯了,世上最乾淨的約化也只是在描述錯的分子。帶著這份謹慎,你如今已握有本級的核心本領——把形狀變成點群、查它的特徵標表、靠數原地不動者生成可約表示、再將它約化。成鍵圖與光譜,如今都成了你能推導、而非死記的東西。