素数整数幂乘积表示正实数的唯一性问题

问题描述 #

定义$p_k$为第$(k+1)$个素数（即$p_0=2, p_1=3, p_2=5, \dots$），我提出以下猜想：
所有正实数都可以表示为无穷乘积形式：
$$\prod_{k=0}^\infty p_k^{e_k}$$
其中每个$e_k \in \mathbb{Z}$，并且这种表示是唯一的。

我直觉上坚信这个结论成立，但不知道该如何证明。

编辑补充：为了更清晰，我给出两个有理数的示例：

• $1 = 2^0\cdot30\cdot5^0\cdot70\cdot11^0\cdot\dots$
• $\frac{22}{7} = 2^1\cdot30\cdot5^2\cdot7{-1}\cdot11^1\cdot\dots$

对猜想的分析与结论 #

首先，我们可以把这个问题转化到对数域上简化分析：正实数$x>0$对应$\ln x$，而无穷乘积$\prod_{k=0}^\infty p_k^{{e_k}$对应无穷和$\sum_{k=0}}\infty e_k \ln p_k$。这样一来，猜想可以拆解为两个部分：存在性（所有实数都能写成这样的收敛整数系数和）和唯一性（这种表示是唯一的）。

1. 唯一性部分：对正有理数成立，但对全体正实数无意义

先看唯一性：如果两个不同的指数序列对应同一个正实数，那么它们的对数和相等，即$\sum_{k=0}^\infty (e_k - f_k)\ln p_k = 0$。根据素数对数的$\mathbb{Q}$-线性无关性（若$a_0\ln p_0 + a_1\ln p_1 + \dots + a_n\ln p_n=0$，$a_i\in\mathbb{Q}$，则所有$a_i=0$），可以推出每个$e_k=f_k$——这部分是成立的，但问题出在存在性上。

2. 存在性部分：猜想不成立，仅正有理数可表示

这里的核心矛盾是无穷乘积的收敛性要求：
要让$\prod_{k=0}^\infty p_k^{{e_k}$收敛到一个正实数，必须满足当$k\to\infty$时，$p_k}{e_k}\to1$，也就是$e_k \ln p_k\to0$。但素数趋向于无穷大，$\ln p_k\to\infty$，而$e_k$是整数——这意味着当$k$足够大时，$e_k$必须为0（否则$|e_k \ln p_k|\geq\ln p_k$，会导致对数级数发散，乘积要么趋向0要么无穷大）。

换句话说，这个“无穷乘积”实际上只能是有限乘积，对应的正实数就是正有理数（素数的整数幂次乘积，允许负指数）。而无理数（比如$\sqrt{2}$、$\pi$）的对数无法表示成有限个$\ln p_k$的整数组合（由线性无关性），自然也无法用这种形式表示。

最终结论

你的猜想中，唯一性对正有理数成立（这就是算术基本定理的延伸），但**“所有正实数均可表示”的结论不成立**——只有正有理数能以这种形式表示，无理数无法满足收敛性要求。

内容的提问来源于stack exchange，提问作者Supware