x]
上,某种与素数分布相关的“算术链”或“算术上同调类”的“大小”或“维度”。
关键的一步在于,庞加莱证明(或给出了严格化的思路),对于实数轴这个特殊的“流形”,其第一个贝蒂数
b?
确实与区间的长度
x
呈线性关系,且系数为1!更准确地说,在适当的同调理论下,区间
[0,
x]
的某种“一维同调”的秩(或相关的不变量)的渐近行为就是
~
x。
然后,他通过精巧的论证(可能涉及“显式公式”的某种几何形式,将
ψ(x)
与某个算子的“迹”或同调群的“秩”联系起来),成功地证明了:ψ(x)
的渐近增长,由这个底层一维复形(实数轴)的拓扑复杂度(即
b?
~
x)所控制和控制。也就是说,ψ(x)
~
x
是因为它所处的“空间”的拓扑在宏观上是“平直的”(b?
~
x)!
这就严格化了艾莎证明的核心逻辑:
艾莎的“素数流形
p”
在这个具体实现中,就是实数轴
r。