資料對上了,剩下的只是把證明寫出來,最多再跑兩輪對撞機確認一下。
但實際上,每一次她覺得阿列夫極限可以收尾了,總會在某個細節上卡住。
而每一次卡住,她都會回到對撞機的資料裡找答案。
X-2100粒子的衰變路徑,像一把鑰匙。
她每擰一下,就開啟一扇新的門。
第一週,她完成了阿列夫極限的初稿。
七個跳躍點的對應關係全部寫清楚了,不可達基數標記的數學定義也嚴格化了。
但她在摺疊角度的推導上留了一個缺口,因為那個角度需要更精確的實驗資料。
第二週,她又申請了一次對撞機。
這次是滿負荷執行,質子束能量提到14TeV的極限,連續跑了三天。
X-2100粒子的資料累積到足夠量級,摺疊角度的分佈圖終於成形。
她把那個缺口補上了。
可最後,她在證明的最後一章卡住了。
最後一章要證明的是:阿列夫極限不僅是描述時空摺疊的數學框架,而且是唯一可能的結構。
任何試圖在無限基數公理體系內描述時空曲率跳躍的理論,最終都必須收斂到阿列夫極限。
這意味著,摺疊空間的方式只有一種。
但她在證明這個唯一性的時候,發現了一個反例。
反例來自她自己定義的不可達基數標記。
在特定的極端條件下,兩個相鄰的摺疊點可以合併成一個。
合併之後的跳躍點不再是不可達基數,而是可達到基數。
這意味著時空摺疊的結構在極端條件下會發生變化,而這種變化無法被現有框架描述。
她盯著那個反例看了三天。
她又申請了一次對撞機。
這次她調整了實驗引數,把對撞能量稍微降低,觀察X-2100在低能條件下的衰變行為。
資料出來的那天晚上,她在分析室裡坐到凌晨兩點。
然後她拿起鋼筆,在稿紙上畫了一個新的拓撲結構。
跳躍點合併之後,確實不再是不可達基數。
但它會變成一個更小的摺疊結構,巢狀在原有的跳躍點內部。
。述描來架框件套充擴的限極夫列阿用以可,本構結狀巢個這
。分部一的論理了變例反個那把
。了來出寫地整完限極夫列阿,天二十三第的市京到來在
。紙稿的頁多百三著攤前面,裡室析分在坐淼林,上晚天那
。起一在串部全,明證的理定個一後最到,始開義定條一第的理公數基限無從
。架框件套充擴的構結狀巢,項正修的度角疊摺,記標數基達可不個七,躍跳級能散離組七
。限極夫列阿
。架框論理的整完個一是,式公個一是不
。架框論理的間空疊摺學數維高用利何如於關
。有沒久很,紙稿摞那著看,上背椅在靠淼林
。過劃痕的流車有遠,夜的市京是外窗
。頁一每了滿鋪號符和式公的寫手些那,上紙稿在照,的白冷是燈的室析分
。好理整序順按紙稿把在正淼林,候時的來進門推野星蘇
”?了完寫您,士院林“
”。了完寫“
。說”。喜恭“
”。謝謝“
”?了省川回要“
”。家回就天明,嗯“
。住停又,口門到走轉,頭點了點野星蘇
”。士院林“
”?嗯“
”?用應的間空疊摺?嗎個這究研續繼會,後之去回你“
。想了想淼林
”。刻一這了為是就限極夫列阿究研我年些這“,說”。的會“








