正则空间。
连通的正则空间不可数，所以相关索引必须要借助需要借助乌雷松引理。
也就是正规空间中任意两个不相交的闭集，能够用连续函数分离。
又过了几分钟。
极光系统导出了一个归结项数据：
l^2=2[1sinθ/θ(sinθθ)+1(sinθ)22/φ2]=4.7772838
这个看起来普普通通的数据，其实是用正则化坐标推导出来的模量平方算符表达式。
没错。
模量平方算符表达式。
也就是此前所说的那个
y轴数据！
此时此刻。
徐云只要把这个数据报给周绍平，再结合周绍平负责的微分算符进行展开，理论上就能完成‘冥王星’粒子的费米面计算。
接着徐云下意识便看了眼附近的波利亚科夫以及大卫·格罗斯两组人员，发现他们此时也都敲起了键盘。
这代表着他们同样进入了最后阶段，开始对费米面数据展开了最后的冲击。
同时从桌面上的算纸不难看出，他们使用的依旧是有限角度的矢量转动作为切入点。
“.”
见此情形。
徐云下意识眉头一皱，心中那丝古怪的违和感，顿时又上升了一大截。
不过很快他便轻轻甩了甩头，把心绪拉回了现实。
或许只是自己想多了吧。
有限角度的矢量转动理论上应该不存在任何问题，反而是他选择的绕y轴旋转算符的矩阵元，在逻辑上倒有些舍近求远了。
如今想来。
说不定周绍平原先考虑的也是有限角度的矢量转动这个思路，只是碍于不好否定自己才同意的矩阵元方向。
不过有限角度的矢量转动也好，绕y轴旋转算符的矩阵元也罢。
此时都已经走到了最后一步，孰优孰劣的问题倒不需要太过考虑了。
如果抓紧时间，自己这边应该能比其余几组更快得出答案。
想到这里。
徐云也不再犹豫，将笔记本朝周绍平一转：
“周院士，模量平方算符表达式已经出来了，您看看吧。”
周绍平挪过笔记本电脑，上下飞快的扫了几眼，赞许的点了点头：
“过程没问题，有些步骤的思路很精妙，不愧是能够证明梅森素