康威十三进制函数

康威十三进制函数，或简称为康威函数，是由英国数学家约翰·康威构造的一个实函数（实变实值）. 康威函数满足强达布性质：它限制在任一非空开区间上的值域都是全体实数. 作为推论，康威函数在实轴上无处连续，但和连续函数一样也满足介值性. 因此，康威函数可用来说明介值定理的逆命题不真，即一个函数的介值性并不蕴含它的连续性.

性质

如上定义的康威函数 无处连续，却和连续函数一样满足介值性. 具体地说，对任何闭区间  在  上可以取到介于 和  之间的任何值. 事实上 还满足更强的性质——强达布性质，即  在  的每个非退化区间（左端点小于右端点的区间）上值域均为；或等价地说，对每个  的水平集 在实轴上稠密. 显然，强达布性质蕴含介值性和无处连续性（因函数在连续点的某个邻域内有界）.
对强达布性质的证明，关键在于康威函数的定义本质上只与自变量十三进制展式的尾部有关. 详言之，对任意 首先写出 的唯一无限十进制展式，之后将其小数点变为 正负号分别变为 或  然后在其头部（即左侧）添加任意一个位数有限的十三进制字符串，再随意添加一个小数点和一个正负号，可得一个新的十三进制数. 根据康威函数的构造，按此法所得的新的十三进制数均在 中，反之亦然（此时要求）. 事实上这正是康威函数的非零水平集（除零点集之外的其他水平集）之刻画：以  为例， 由所有十三进制展式中（忽略小数点）尾部为 的实数组成，例如 若 ， 由所有十三进制展式中尾部为 的实数组成.
因此，对任何非退化区间 设其长度 并记 为  的中点. 对于  的十三进制展式，保持其整数部分和小数点后 位不动，将其右侧修改为任意的十三进制字符串 其中  为数码，则  只由 决定， 且所得的新十三进制数 与  的整数部分和小数部分前 位都相同，故  即  可见只要适当选取  跑遍所有实数，即  满足强达布性质，换言之  的所有水平集都稠密.
从水平集的可数性角度考虑，康威函数 在  上的所有非零水平集均可数，而其零点集 不可数. 前一论断是因为非零水平集的十三进制展式尾部须固定，而其左侧仅有有限项；后一论断是因为 包含所有十三进制展式仅由数码构成（不包含字母）的实数，此类数构成的集合到 中实数的小数部分有一个自然的满射，故不可数（因  不可数），从而  亦不可数.
康威函数 是几乎处处为0的可测函数，事实上其零点集的补集  是稠密且不可数的零测集（注意，康威函数的每个非零水平集都可数，但它们的并集不可数）. 由  的强达布性质，  的稠密性显然，不可数性亦为其推论： 的每一个水平集都非空，而不可数个非空集合之并必定不可数.  的零测性蕴含于下述两个事实：第一，  中每点的十三进制展式中仅有有限个字母；第二，对于任何一个字符，例如  十三进制展式中仅包含有限个 的实数全体为零测集. （后一个事实的证明类似于康托三分集为零测集的证明.）

推广

康威函数 的任一非零水平集虽稠密但可数. 一个自然的问题是：是否存在一个函数，其所有水平集不但稠密而且不可数. 答案是肯定的，并可由康威函数稍加改造而说明. 具体地讲，在康威函数的定义中，将  的十进制小数部分由 变为 其他一律照旧，所构造的新函数称为 则  的任一水平集为不可数稠密集.
证明亦类似. 因  故  的零点集为不可数稠密集. 对于  的非零水平集，不妨设 则  恰为十三进制展式形如 的实数组成的集合（忽略正负号和小数点），其中  取遍位数有限的十三进制字符串， 取遍由数码组成的无穷序列. 由  的任意性， 稠密；其不可数性源于 为不可数集.