Siguiente: Codificación con primos Un nivel arriba: Algunas funciones de apareamiento Anterior: Exceso de cuadrados

Exceso de potencias de 2

Para la inyección $\mbox{\it ep}:(x,y)\mapsto 2^x(2y+1)-1,$ las proyecciones son

$$\begin{eqnarray*}\pi^{\mbox{\it ep}}_1:z &\mapsto& \mathop{\rm Max}\{x:(2^x\vert... ...ac{1}{2}\left(\frac{z+1}{2^{\pi^{\mbox{\it ep}}_1(z)}}-1\right) \end{eqnarray*}$$