关于自然数集N到素数集P的一个单射的三种构造

本文逻辑有偏差，毕竟当时太年轻
原文写自（2016-03-06 20:06）
——————————————————————————
昨天在给组织同学们上课讲simhash算法的时候考虑了如下问题：

如何判断如下两个自然数构成的集合
$S_1=\{e_1,e_2....,e_n\}$和$S_2=\{b_1,b_2,...,b_n\}$相同

其中提到假设构造hash函数$F_e=\prod_{i=1}^n f(e_i)$和$F_b=\prod_{i=1}^n f(b_i)$后是否能通过$F_e$和$F_b$是否相同来判定两个集合相同的问题的时候。文杰同学说只要映射到素数就可以了，这个想法看似是可以的。如今仔细一想，有点问题，假设$e_i$和$b_i$的取值是有限个自然数，那么没有问题，因为素数有无穷多个，但是假设取值是无穷多个呢（即整个自然数集N）？是否存在这样的映射$f$呢？更进一步是否存在自然数集$N$到素数集$P$的一一映射？素数是否是可数的？

经过了2+小时的思考似乎解决了这个问题，当然只是构造了自然数集$N$到素数集$P$的一个单射。需要部分抽象代数知识，下面是构造的过程：

引理1：设$（a,m）=1$,设$k$为模$m$的剩余类加群中元素$a$的阶，$u,v$是任意整数，那么$a^u\equiv a^v (mod m)\Leftrightarrow u\equiv v (mod k)$
引理1证明：
充分性：由已考虑带余除法$u=pk+t,v=qk+t,p,q,t \in N,0\leq t \leq k.$那么$a^u\equiv a^{(pk+t)}\equiv a^{pk}\cdot a^t\equiv a^t (mod m)$,同理，$a^v\equiv a^t (mod m)$,故充分性得证。
必要性：设$l=u-v$,考虑带余除法$l=kq+r,0 \leq r < k.$由于$a^u\equiv a^v (mod m)$且$（a,m）=1$所以有$a^l \equiv 1 (mod m)$.故$a^{kq}\cdot a^r \equiv 1(mod m)$,于是$a^r \equiv 1(mod m)$，又由于$0 \leq r < k.$,所以$r=0$.
综上引理1得证。

引理2：设$p$为奇素数，若$2^p \equiv 1(mod q)$，那么2模$q$的阶为$p$
引理2证明：设$q$为$2^p-1$的一个素因子，那么考虑2模$q$的阶$k$,而$2^p \equiv 1(mod q)$,故由阶的定义有$k|p$.注意到$p$为素数，所以$k=1$或者$k=p$,但$k=1$时代入$2^p \equiv 1(mod q)$知道矛盾!故$k=p.$

引理3：(费马小定理)若$q$为素数，那么有$2^{q-1} \equiv 1 (mod q)$.
或者如下更强形式
（欧拉定理）若$(a,n)=1$,那么$a^{\phi(n)}\equiv 1(mod n)$,具体可以参见《近世代数.张禾瑞.P97》

回到原问题，考虑梅森素数的形式，$p$为素数，$2^p-1$的素因子$q$取$a_1=p$.设2模$q$的阶为$k$，由引理2有$k=p$,由引理3和引理1有$p|q-1$,故$q=px+1,x \in N$,取$a_2=q$,注意到$a_2=q=px+1>p=a_1$,继续考虑梅森素数形式$2^{a_2}-1$的素因数便得到$a_3$….

如此构造便有单调素数列$\{a_i\}$.故完成自然数集N到素数集P的一个单射的构造。

——————————————————————
那么反过来呢？素数和自然数之间是否存在一一映射，实际上，这是非常大的问题，假设这个一一映射被构造出来，那么相当于得到了精确的素数公式，天啊，这是了不起的成就，当然我本人是相信这样的素数公式是不存在的，否则密码界计算机界有大麻烦。关于素数公式或者黎曼猜想的知识大家可以参见《素数之恋》。

补充两种构造：（思路泉涌系列）
二、利用伯特兰-切比雪夫定理：设$n$为大于1的自然数，那么$n$和$2n$之间必存在素数，那么只要构造区间$[2,4],[4,8],...,[2^n,2^{n+1}]$,….即可以得到单调素数列。关于本定理的介绍可以参见下面的连接：
http://baike.baidu.com/link?url=6IAhYlc7tU1elPJZK0U7HDCORP9ZbVQyHcJW7Emli_Y6azulr63Wt2ZRzl4QPrGY9sM3iwJjmCODZtBn2kVEwa

三、上面的定理太高端了，但是可以利用他的思路来构造一个简单的证明！考虑一个给定的足够大的自然数$n$使得区间$[1,n]$至少有1个素数设为$a_1$，下面考察$n!+1$,若$n!+1$为素数，那么令$a_2$=$n!+1$,若为合数，那么由于$(n!,n!+1)=1$所以至少有两个素数在区间$[n+1,n!+1]$之间，取小的为$a_2$,继续考虑$(n!+1)!+1$,得到$a_3....$,如此便得到互不相同的单调素数列。