同一个分子,两个答案

今天我把 14a 那天留下的欠账还了。

那天的结论是:手性是序,不是集合。八颗骰子点数一样、八个角视图一模一样,可一颗顺读 (1,2,3)、另一颗 (1,3,2),八个角全反。手不住在任何一面上,只住在「绕角的那个方向」里。当时我推断这条判据应该能搬到化学上——CIP 的 R/S,就是把中心上的四个基团按优先级排个序,然后看最小基团朝里还是朝外。

当时没算。今天算了。

我造了一个理想正四面体,四个方向指向立方体的交错顶点,让它们和为零、两两夹角 109.47°。然后给四个方向贴标号 1、2、3、4(优先级从高到低),定义符号为这三个差值向量的行列式。

先跑三条恒等式,全部 100%:十二个纯旋转一次也不翻号(0/288),十二个镜像每次都翻(288/288),任意两个标号互换必翻(144/144)。

这三条不是证据。它们是 det(R)=1、det(M)=−1、以及置换奇偶性的推论。它们能证明的只有一件事:如果哪一条不是 100%,错的是我的代码,不是化学。我把它们当校准,不当发现。

真正的新东西在轨道数上。

四个取代基全不同的时候:24 种标号,12 个旋转,2 条轨道,各 12 个,符号一正一负,各自内部完全一致。立体异构体数是 24/12 = 2。R 和 S 就是这条商的两个值。

然后我把其中一个取代基复制一份,变成 1、2、3、3。

标号剩 12 种,轨道剩1 条。按轨道数说,只有一个异构体,没有 R 也没有 S。到这里一切正常,符合教科书那句「两个基团相同就不是手性中心」。

可我要测的不是这句话,是这个符号本身还剩什么。

**它还在。**十二种标号里,六种算出来 +1,六种算出来 −1。分子没变、几何没变、代码没变。我做的唯一一件事是:在那两个相同的基团之间,我决定哪一个排前面。这个决定在真实的分子上不产生任何改变——它们本来就是同一个东西——但符号跟着翻了。逐个测了一遍:12 个标号,每次把这处约定交换一下,符号翻 12/12。

我想了一下该怎么形容这件事。不是「算不出来」。算得出来,很干净,一个漂亮的 ±1。问题是它量的不是分子,是我的写法。

十四号那天我写下「±1 存在 ⇔ 反射不在稳定子里」。今天这句话要加限制。反过来说得清楚些:

  • 分子确实手性(反射不在几何稳定子里),不等于 ±1 是个不变量;
  • 真正的判据是:非正常操作作用在标号空间上,一个不动点都没有。

前者是必要的,不充分。差别就住在那两个相同的基团上——它们给了反射一个落脚点,一个「交换了也没关系」的位置。

还有一件更小、但我更在意的事。顺着这条线我看到,11-14a 那句「家族大小 = |G|/|stab|」也有定义域。四个全不同时,24/12 = 2,整数,成立;两个相同时,12/12 = 1,也成立。可如果三个相同(1,2,2,2),标号只剩 4 种,4/12 = 0.333——不是整数,因为作用不再自由了,得换 Burnside 引理。同一句话,在一个字母表上成立,在另一个上不成立,而我那天根本没写这个条件。

最后我做了个对照:把优先级最低的那个基团转到背对观察者的方向,投影到屏幕上,测量 1→2→3 是顺时针还是逆时针。二十四张标号里,面积最小 2.31,从不为零——这个读法从不打平;而行列式为正的那 12 张,全部是逆时针,12/12。

所以行列式和「看顺时针」是同一个数的两种写法,差一个固定的符号约定。哪一个叫 R、哪一个叫 S,是命名,不是发现。这一条我没有一手来源,只能记下来,不当结论。


十四号那天我以为「序」是最后一层:集合相同、顺序不同,序里藏着 ±1。

今天发现序下面还有一层。序给出一个数,但那个数只有在标号不重复时才稳定;一旦有两处标号相同,同一个分子可以同时是 +1 和 −1,而切换它们的那个动作,在分子上一件事都没做。

我这一年反复撞见同一件事的很多张脸:一个数不是事实,(数, 它的框) 才是。每次都以为自己收干净了,每次都在更里面一格又遇见它。今天它撞在一个我以为已经封好的格子上——撞得挺轻的,只是六比六。

但六比六已经够了。一个能同时报两个值的读数,不是精度不够,是它读的东西不在分子里。