基本介紹
- 中文名：康威十三進制函式
- 別名：康威函式
定義,性質,推廣,
定義
為定義康威函式
首先將自變數 x 在十三進制下展開，並忽略展式中出現的正負號或小數點. （為保證單一性，不妨令非零 x 的展式中含有無窮項且不以
結尾，並規定
；對於有限項展式則利用
將其化為無窮項.）設十三進制所使用的13個字元為
為方便起見，稱其中的
為數碼，而
為字母. 康威函式的取值規則如下：
1.若 x 的十三進制展式從某位起右側為
式中諸
為數碼（
中的元素），則定義 f(x) 的十進制展式為
（上式中允許無
或無
此時可認為空字元串對應於0.）
2.類似的，若x 的十三進制展式從某位起右側為
其中所有的
都為數碼，則定義 f(x) 的十進制展式為
（同樣允許無
或無
此時適當補0.）
3.其他情形下一律定義
具體包括：
3.1x 的十三進制展式中有無窮多個字母（屬於
），包括 x 非零且為有限位（因而以 C 的循環結尾）的情形；
3.2 展式中最右一個字母不是 C，C 包括展式僅由數碼構成的情形，特別地，包括 x=0；
3.3展式中最右一個字母是 C，C但其左側無字母或左側第一個字母仍為C。
簡言之，對於 x 的無窮十三進制展式，忽略小數點和正負號，若從右往左數第一個字母為 C， C，將其變為小數點，後面照抄；再從那一位開始往左數，遇到的第一個A 或 B 變為相應的正負號，中間照抄；再左側的全部刪去. 所得的不包含字母的字元串可視為一個十進制數，即為 f(x) 其他情況下f(x) = 0。
例如：
性質
如上定義的康威函式 f 無處連續，卻和連續函式一樣滿足介值性. 具體地說，對任何閉區間
在 [a,b] 上可以取到介於f(a) 和f(b)之間的任何值 . 事實上f 還滿足更強的性質——強達布性質，即 f 在
的每個非退化區間（左端點小於右端點的區間）上值域均為
；或等價地說，對每個
的水平集
在實軸上稠密. 顯然，強達布性質蘊含介值性和無處連續性（因函式在連續點的某個鄰域內有界）.
對強達布性質的證明，關鍵在於康威函式的定義本質上只與自變數十三進制展式的尾部有關. 詳言之，對任意
首先寫出 y 的無限十進制展式，之後將其小數點變為 C，C 正負號分別變為 A 或B，然後在其頭部（即左側）添加任意一個位數有限的十三進制字元串 X，再隨意添加一個小數點和一個正負號，可得一個新的十三進制數. 根據康威函式的構造，按此法所得的新的十三進制數均在
中，反之亦然（此時要求
）. 事實上這正是康威函式的非零水平集（除零點集之外的其他水平集）之刻畫：以
為例，
由所有十三進制展式中（忽略小數點）尾部為
的實數組成，例如
若
，
由所有十三進制展式中尾部為
的實數組成。
因此，對任何非退化區間
設其長度
並記
為
的中點. 對於
的十三進制展式，保持其整數部分和小數點後 M 位不動，將其右側修改為任意的十三進制字元串
其中
為數碼，則
只由Y 決定， 且所得的新十三進制數 t 與
的整數部分和小數部分前 M 位都相同，故
即
可見只要適當選取
跑遍所有實數，即 f 滿足強達布性質，換言之 f 的所有水平集都稠密.
從水平集的可數性角度考慮，康威函式 f 在
上的所有非零水平集均可數，而其零點集
不可數. 前一論斷是因為非零水平集的十三進制展式尾部須固定，而其左側僅有有限項；後一論斷是因為
包含所有十三進制展式僅由數碼構成（不包含字母）的實數，此類數構成的集合到(0,1) 中實數的小數部分有一個自然的滿射，故不可數（因 (0,1) 不可數），從而
亦不可數。
康威函式f 是幾乎處處為0的可測函式，事實上其零點集的補集
是稠密且不可數的零測集（注意，康威函式的每個非零水平集都可數，但它們的並集不可數）。 由 f 的強達布性質， T 的稠密性顯然，不可數性亦為其推論： f 的每一個水平集都非空，而不可數個非空集合之並必定不可數。T 的零測性蘊含於下述兩個事實：第一，T 中每點的十三進制展式中僅有有限個字母；第二，對於任何一個字元，例如A，十三進制展式中僅包含有限個 A 的實數全體為零測集。 （後一個事實的證明類似於康托三分集為零測集的證明.）
推廣
康威函式 f 的任一非零水平集雖稠密但可數. 一個自然的問題是：是否存在一個函式，其所有水平集不但稠密而且不可數. 答案是肯定的，並可由康威函式稍加改造而說明. 具體地講，在康威函式的定義中，將 f(x) 的十進制小數部分由
變為
其他一律照舊，所構造的新函式稱為g，則 g 的任一水平集為不可數稠密集.
證明亦類似。因
故 g 的零點集為不可數稠密集。對於 g 的非零水平集
，不妨設
則
恰為十三進制展式形如
的實數組成的集合（忽略正負號和小數點），其中 X 取遍位數有限的十三進制字元串，
取遍由數碼組成的無窮序列. 由 X 的任意性，
稠密；其不可數性源於
為不可數集.
