康威十三進位函數,或簡稱為康威函數,是由英國數學家約翰·康威構造的一個實函數(實變實值)。康威函數滿足強達布性質:它限制在任一非空開區間上的值域都是全體實數。作為推論,康威函數在實軸上無處連續,但和連續函數一樣也滿足介值性。因此,康威函數可用來說明介值定理的逆命題不真,即一個函數有介值性,並不代表它連續。
為定義康威函數
首先將自變量
在十三進位下展開,並忽略展式中出現的正負號或小數點. (為保證唯一性,不妨令非零
的展式中含有無窮項且不以
結尾,並規定
;對於有限項展式則利用
將其化為無窮項.)設十三進位所使用的13個字符為
為方便起見,稱其中的
為數碼,而
為字母. 康威函數的取值規則如下:
- 若
的十三進位展式從某位起右側為
式中諸
為數碼(
中的元素),則定義
的十進位展式為
(上式中允許無
或無
此時可認為空字符串對應於0.)
- 類似的,若
的十三進位展式從某位起右側為
其中所有的
都為數碼,則定義
的十進位展式為
(同樣允許無
或無
此時適當補0.)
- 其他情形下一律定義
具體包括:
的十三進位展式中有無窮多個字母(屬於
),包括
非零且為有限位(因而以
的循環結尾)的情形;
- 展式中最右一個字母不是
包括展式僅由數碼構成的情形,特別地,包括
;
- 展式中最右一個字母是
但其左側無字母或左側第一個字母仍為
.
簡言之,對於
的無窮十三進位展式,忽略小數點和正負號,若從右往左數第一個字母為
將其變為小數點,後面照抄;再從那一位開始往左數,遇到的第一個
或
變為相應的正負號,中間照抄;再左側的全部刪去. 所得的不包含字母的字符串可視為一個十進位數,即為
其他情況下
.
例如:
其中
是圓周率
在十進位下的小數部分;
![{\displaystyle f((A.0B3C1415{\dot {9}})_{13})=-3.1415{\dot {9}}=-3.1416;}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a13db97adcb5660eefc582486eae37dd72d05a05)
其中
同上.
如上定義的康威函數
無處連續,卻和連續函數一樣滿足介值性. 具體地說,對任何閉區間
在
上可以取到介於
和
之間的任何值 . 事實上
還滿足更強的性質——強達布性質,即
在
的每個非退化區間(左端點小於右端點的區間)上值域均為
;或等價地說,對每個
的水平集
在實軸上稠密. 顯然,強達布性質蘊含介值性和無處連續性(因函數在連續點的某個鄰域內有界).
對強達布性質的證明,關鍵在於康威函數的定義本質上只與自變量十三進位展式的尾部有關. 詳言之,對任意
首先寫出
的唯一無限十進位展式,之後將其小數點變為
正負號分別變為
或
然後在其頭部(即左側)添加任意一個位數有限的十三進位字符串
,再隨意添加一個小數點和一個正負號,可得一個新的十三進位數. 根據康威函數的構造,按此法所得的新的十三進位數均在
中,反之亦然(此時要求
). 事實上這正是康威函數的非零水平集(除零點集之外的其他水平集)之刻畫:以
為例,
由所有十三進位展式中(忽略小數點)尾部為
的實數組成,例如
若
,
由所有十三進位展式中尾部為
的實數組成.
因此,對任何非退化區間
設其長度
並記
為
的中點. 對於
的十三進位展式,保持其整數部分和小數點後
位不動,將其右側修改為任意的十三進位字符串
其中
為數碼,則
只由
決定, 且所得的新十三進位數
與
的整數部分和小數部分前
位都相同,故
即
可見只要適當選取
跑遍所有實數,即
滿足強達布性質,換言之
的所有水平集都稠密.
從水平集的可數性角度考慮,康威函數
在
上的所有非零水平集均可數,而其零點集
不可數. 前一論斷是因為非零水平集的十三進位展式尾部須固定,而其左側僅有有限項;後一論斷是因為
包含所有十三進位展式僅由數碼構成(不包含字母)的實數,此類數構成的集合到
中實數的小數部分有一個自然的滿射,故不可數(因
不可數),從而
亦不可數.
康威函數
是幾乎處處為0的可測函數,事實上其零點集的補集
是稠密且不可數的零測集(注意,康威函數的每個非零水平集都可數,但它們的併集不可數). 由
的強達布性質,
的稠密性顯然,不可數性亦為其推論:
的每一個水平集都非空,而不可數個非空集合之並必定不可數.
的零測性蘊含於下述兩個事實:第一,
中每點的十三進位展式中僅有有限個字母;第二,對於任何一個字符,例如
十三進位展式中僅包含有限個
的實數全體為零測集. (後一個事實的證明類似於康托三分集為零測集的證明.)
康威函數
的任一非零水平集雖稠密但可數. 一個自然的問題是:是否存在一個函數,其所有水平集不但稠密而且不可數. 答案是肯定的,並可由康威函數稍加改造而說明. 具體地講,在康威函數的定義中,將
的十進位小數部分由
變為
其他一律照舊,所構造的新函數稱為
則
的任一水平集為不可數稠密集.
證明亦類似. 因
故
的零點集為不可數稠密集. 對於
的非零水平集
,不妨設
則
恰為十三進位展式形如
的實數組成的集合(忽略正負號和小數點),其中
取遍位數有限的十三進位字符串,
取遍由數碼組成的無窮序列. 由
的任意性,
稠密;其不可數性源於
為不可數集.