x
=
1(其中
p_x
是
p
在“尺度x以下的部分”)。
推导:从这个拓扑结论
b?(p)
~
x,直接推出分析的结论
ψ(x)
~
x。
这个证明在逻辑上无懈可击,但其核心难点在于:“素数流形”
p
和“渐近贝蒂数”
b?(p)
都是未被明确定义的几何对象和概念。这正是克莱因和柏林学派攻击的焦点,也是希尔伯特试图回避几何、转向分析的原因。
庞加莱的绝妙之处在于,他没有去强行定义那个虚幻的“素数流形”p,而是为艾莎的证明逻辑,找到了一个具体的、严格的数学实体来实现它!
他意识到,素数定理本身已经隐含了一个天然的、可严格定义的“几何”场景——即实数轴
r(或者其紧化后的圆
s^1)上的素数分布。ψ(x)
衡量的是小于x的素数幂的加权和,这可以视为实数轴上的一个算术“测度”
的积分。
庞加莱将他正在发展的代数拓扑工具,特别是同调论的雏形,应用于这个场景。他将实数轴视为一个简单的一维复形。那么,ψ(x)
的增长,可以关联到这个一维复形的某种“拓扑复杂度”的增长。他严格地定义了在区间
[0,
x]