复底数进制

Template:NoteTA 複底数进制是指底數為虛數或複數的进位制系統。 其中，底數為虛數的进位制系統最早由高德纳於1955年提出；底數為複數的进位制系統於1964年由所羅門·I·赫梅利尼克（Solomon I. Khmelnik）和1965年由沃爾特·F·彭尼（Walter F. Penney）提出。

概述

令$D$為整环$\subset ℂ$和$|\cdot |$為（阿基米德）绝对赋值。

數$X\in D$在进位制系統中可以表示為：

$X=\pm \sum _{\nu }^{}{x}_{\nu }{\rho }^{\nu },$

其中

$\rho \in D$		為底數，並滿足$|\rho |>1$，
$\nu \in \mathbb{Z}$		是指數，代表各個位數，
$x_{\nu }$		是进制中每個位數，來自有限的位數數碼集合$Z\subset D$，通常滿足$|x_{\nu }|<|\rho |.$

其势$R:=|Z|$稱為分解程度（level of decomposition）

进位制系統或編碼系統是一對二元組：

$⟨\rho ,Z⟩$

包括了其底數$\rho$和位數數碼集合$Z$。通常會將有$R$個位數數碼的位數數碼集合表示為：

$Z_R:=\{0,1,2,\dots ,R-1\}.$

理想的进位制系統或編碼系統具有以下特性：

• 任何在环$D$內的數如整數$\mathbb{Z}$、高斯整數$\mathbb{Z}[\mathrm{i}]$或环$\mathbb{Z}\left[\frac{-1+\mathrm{i}\sqrt{7}}{2}\right]$的整數可以表達為為唯一的編碼，並可能帶有正負號±。
• 任何在分式環$K:=\mathrm{Quot}(D)$內的數，或者再取完備化（$|\cdot |$度量的意義下）所得的$K:=ℝ$或$K:=ℂ$內的數，皆可以表示為在$|\cdot |$下，於$\nu \to -\mathrm{\infty }$收斂的無窮級數$X$，且不只一種表示方式之數的集合测度為0。後者要求集合$Z$最小，即對於實數$R=|\rho |$、對於複數$R=|\rho {|}^2$。

實數

在這種表示法中，一般常見的標準十进制表示為：

$⟨10,Z_{10}⟩,$

標準二进制系統表示為：

$⟨2,Z_2⟩,$

負二进制系統表示為：

$⟨-2,Z_2⟩,$

平衡三進位系統表示為：

$⟨3,\{-1,0,1\}⟩.$

上述這幾個进位制系統在$\mathbb{Z}$和$ℝ$中都具有上述的特性。後兩個不需要使用正負號。

複數

較廣為人知的複底数进位制系統包括下列幾個进位制系統（其中$\mathrm{i}$表示虛數單位）：

• $⟨\sqrt{R},Z_R⟩$，例如$⟨\pm \mathrm{i}\sqrt{2},Z_2⟩$ （$\mathrm{i}\sqrt{2}$进制）和

$⟨\pm 2\mathrm{i},Z_4⟩$，即2i进制，由高德纳於1995年提出。

• $⟨\sqrt{2}{e}^{\pm \frac{\pi }{2}\mathrm{i}}=\pm \mathrm{i}\sqrt{2},Z_2⟩$和

$⟨\sqrt{2}{e}^{\pm \frac{3\pi }{4}\mathrm{i}}=-1\pm \mathrm{i},Z_2⟩$（參見下方[[#−1_±_i进制|Template:Math进制]]一節）

• $⟨\sqrt{R}{e}^{\mathrm{i}\phi },Z_R⟩$，其中$\phi =\pm \arccos (-\beta /(2\sqrt{R}))$、 $\beta <\min (R,2\sqrt{R})$且${\beta }_{}^{}$是一個正整數，在給定的$R$可以取多個值。 比如$\beta =1$且$R=2$是指

$⟨\frac{-1+\mathrm{i}\sqrt{7}}{2},Z_2⟩$进位制系統。（$\frac{-1+\mathrm{i}\sqrt{7}}{2}$进制）

• $⟨2e^{\frac{\pi }{3}\mathrm{i}},A_4:=\{0,1,e^{\frac{2\pi }{3}\mathrm{i}},e^{-\frac{2\pi }{3}\mathrm{i}}\}⟩$。
• $⟨-R,A_R^2⟩$，其中，集合$A_R^2$由複數$r_{\nu }={\alpha }_{\nu }^1+{\alpha }_{\nu }^2\mathrm{i}$組成，且數${\alpha }_{\nu }^{}\in Z_R$，例如

$⟨-2,\{0,1,\mathrm{i},1+\mathrm{i}\}⟩$。

• $⟨\rho ={\rho }_2,Z_2⟩$，其中${\rho }_2=\{\begin{array}{cc}(-2{)}^{\frac{\nu }{2}}& \text{if }\nu \text{ even,}\\ (-2{)}^{\frac{\nu -1}{2}}\mathrm{i}& \text{if }\nu \text{ odd.}\end{array}$ 

二元系統

複數的二元系統是僅使用兩個數碼——0和1的进位制系統，即位數數碼集合為$Z_2=\{0,1\}$的进位制系統，這類記數系統具有較實際的用途。 下表列出了一些$⟨\rho ,Z_2⟩$的进位制系統（皆為上述进位制系統的特例），並用其表達Template:Math。 同時也列出標準的二进制（下表的第一列）和「負二进制」（下表的第二列）供比較。這兩個进位制無法真正地表達出虛數單位Template:Math。

部分的进位制系統和一些數的表達

底數	–1 ←	2 ←	–2 ←	Template:Math ←	多種表示形式的數
2	Template:進制	Template:進制	Template:進制	Template:Math	1 ←	0.1 = 1.0
–2	Template:進制	Template:進制	Template:進制	Template:Math	Template:Sfrac ←	0.01 = 1.10
$\mathrm{i}\sqrt{2}$	Template:進制	Template:進制	Template:進制	Template:進制...	$\frac{1}{3}+\frac{1}{3}\mathrm{i}\sqrt{2}$ ←	0.0011 = 11.1100
$\frac{-1+\mathrm{i}\sqrt{7}}{2}$	111	1010	110	11.110001100...	$\frac{3+\mathrm{i}\sqrt{7}}{4}$ ←	1.011 = 11.101 = 11100.110
${\rho }_2$	101	10100	100	10	Template:Sfrac + Template:SfracTemplate:Math ←	0.0011 = 11.1100
–1+Template:Math	Template:進制	Template:進制	Template:進制	Template:進制	Template:Sfrac + Template:SfracTemplate:Math ←	0.010 = 11.001 = 1110.100
[[2i进制|2Template:Math]]	Template:進制	Template:進制	Template:進制	Template:進制	Template:Sfrac + Template:SfracTemplate:Math ←	0.0033 = 1.3003 = 10.0330 = 11.3300

與所有具有阿基米德绝对赋值的进位制系統一樣，有些數字具有多種表示形式。此類數字的範例顯示在表格的右欄中。這些數都是循環小數，其循環節以上標水平線標記。

进制轉換

若要將一高斯整數$z$轉換為一個以高斯整數$b$為底數的进位制$⟨b,Z_R⟩$可以將數分成一個可被底數整除的高斯整數和一個位於位數數碼集合內的數，並將可被底數整除的高斯整數部分除以底數當作商，位於位數數碼集合內的數當作餘數，並用商數繼續計算，並重複以上步驟，直到商為零，一系列的餘數部分即為轉換完成的結果。Template:Rp

$z_{}=q_{1}b+a_0$

$q_1=q_{2}b+a_1$

$q_2=q_{3}b+a_2$

$⋮$

$q_t=0_{}b+a_t$

其中，$q_1$、$q_2$、$q_3$……$q_t$為高斯整數，$a_1$、$a_2$、$a_3$……$a_t$為位於位數數碼集合內的數，

則$z={(a_t\cdots a_2{a}_1{a}_0)}_b$。

以5+12i轉換成-2+i进制（$⟨-2+\mathrm{i},\{0,1,2,3,4\}⟩$）為例：Template:Rp

$5+12\mathrm{i}$	$=$	$(2-5\mathrm{i})(-2+\mathrm{i})+4$
$2-5\mathrm{i}$	$=$	$(-1+2\mathrm{i})(-2+\mathrm{i})+2$
$-1+2\mathrm{i}$	$=$	$\left(2\right)(-2+\mathrm{i})+3$
$2$	$=$	$\left(0\right)(-2+\mathrm{i})+2$

故5+12i₍₁₀₎轉換成-2+i进制為Template:進制。

Template:Math进制

在Template:Math進位制系統中整數部分全為零的複數

較常被討論的複底数进制是2i进制和Template:Math进制（[[-1+i进制|Template:Math进制]]和Template:Math进制），因為其皆可不使用正負號有限地表達所有高斯整數。

Template:Math进制以0和1为基本數碼，其於1964年由所羅門·I·赫梅利尼克（Solomon I. Khmelnik）和1965年由沃爾特·F·彭尼（Walter F. Penney）提出。

Template:Math進制與相關進制比較

十進制	二進制	2i進制	Template:Math進制	Template:Math進制
0	Template:進制	Template:進制	Template:進制	Template:進制
1	Template:進制	Template:進制	Template:進制	Template:進制
2	Template:進制	Template:進制	Template:進制	Template:進制
−1	Template:進制	Template:進制	Template:進制	Template:進制
−2	Template:進制	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制
Template:Math	Template:Math	Template:進制	Template:進制	Template:進制

與twindragon關聯

整數的捨入區域——即在這系統表達之下，共用整數部分的複數（非整數）集合$S$——在複平面中具有分形：twindragon。根據定義，集合$S$的所有點可以計為$\sum _{k\ge 1}{x}_k(\mathrm{i}-1{)}^{-k}$，其中$x_k\in Z_2$。$S$可以分解成16塊$\frac{1}{4}S$。注意到，若$S$逆時針旋轉135°，則會得到兩個與$\frac{1}{\sqrt{2}}S$相等的相鄰集合，因為$(\mathrm{i}-1)S=S\cup (S+1)$。中心的矩形 R 在以下點逆時針地與坐標軸相交：$\frac{2}{15}\leftarrow 0.\overline{00001100}$、$\frac{1}{15}\mathrm{i}\leftarrow 0.\overline{00000011}$、$-\frac{8}{15}\leftarrow 0.\overline{11000000}$和$-\frac{4}{15}\mathrm{i}\leftarrow 0.\overline{00110000}$。因此，S 包含所有絕對值≤ Template:Sfrac的複數Template:Rp。

由此，複矩形

$[-\frac{8}{15},\frac{2}{15}]\times [-\frac{4}{15},\frac{1}{15}]\mathrm{i}$

透過单射

$\sum _{k\ge 1}{x}_k(\mathrm{i}-1{)}^{-k}\mapsto \sum _{k\ge 1}{x}_k{b}^{-k}$

映入實數區間$[0,1)$，其中$b>2$。

此外，還有兩個映射

$\begin{array}{ccc}{Z}_2^{\mathbb{N}}& \to & S\\ {\left(x_k\right)}_{k\in \mathbb{N}}& \mapsto & \sum _{k\ge 1}{x}_k(\mathrm{i}-1{)}^{-k}\end{array}$

和

$\begin{array}{ccc}{Z}_2^{\mathbb{N}}& \to & [0,1)\\ {\left(x_k\right)}_{k\in \mathbb{N}}& \mapsto & \sum _{k\ge 1}{x}_k{2}^{-k}\end{array}$

兩者皆满射，也就是產生了一個滿射（空間填充）的映射

$[0,1)\to S$

然而，其並不連續，因此不是空間填充曲線。但是一個類似的曲線——戴維斯-高德納龍（Davis-Knuth dragon），是連續的空間填充曲線。