[论文解读] Graph-null sets

M. Laczkovich, A. Máthé|arXiv (Cornell University)|Feb 1, 2026

Advanced Topology and Set Theory被引用 0

一句话总结

本论文引入并分析平面集合的图空性与平移 Kakeya 性质，证明紧集的等价性，并表明典型与广义类图形是图空的，包括绝对连续与大多数连续函数的图形。

ABSTRACT

We say that a plane set $A$ is {\it graph-null,} if there is a function $g\colon [0,1] o \mathbb{R}$ such that $λ_2 (A+{ m graph}\, g)=0$. A plane set $A$ has the {\it translational Kakeya property} if, for every translated copy $A'$ of $A$ and for every $ε>0$, there is a finite sequence of vertical and horizontal translations bringing $A$ to $A'$ such that the area touched during the horizontal translations is less than $ε$. These properties are equivalent if $A$ is compact. We show that the graph of every absolutely continuous function is graph-null. Also, the graph of a typical continuous function is graph-null. Therefore, there are nowhere differentiable continuous functions whose graphs are graph-null. Still, we show that there exists a continuous function whose graph is not graph-null.

研究动机与目标

• 为平面集合的图空性与平移 Kakeya 性质提供动机与形式化定义。
• 在紧集上建立 K^t、图空及典型图空之间的等价性。
• 证明绝对连续函数的图是图空的，且典型连续图的图也是图空的。
• 提供示例以说明这些性质的局限性并指出未解问题。

提出的方法

• 定义 K^t 与图空性质，并将其与简单函数联系起来。
• 在紧集上证明 K^t、图空与典型图空之间的等价性（定理 1.4）。
• 利用 Sawer 定理证明连续可微函数的图是图空（定理 1.5）。
• 将图空性推广至绝对连续曲线（定理 1.8），并推导绝对连续函数的推论（Corollary 1.9）。
• 证明在 C[a,b] 中图空的 continuous f 集是 comeager（定理 1.10），并构造其图非图空的连续函数（定理 1.11）。
• 讨论对单调函数的含义（定理 1.12），并提出未解问题。

实验结果

研究问题

• RQ1 在平面集合 A 满足什么条件时，K^t、图空与典型图空的性质相 coincide（特别是对于紧集 A）？
• RQ2 大多数常见函数类的图（例如绝对连续、连续、单调）是否图空，能否刻画例外情况？
• RQ3 图空性质是否可以推广或限定到更广或更窄的集合族（例如 G_delta、非紧集）？
• RQ4 K^t 或图空集合族是否对自然集合运算（理想、σ-理想）闭合，存在何种精确定理的限制？
• RQ5 有哪些连续函数的图不能为图空的具体例子，它们具有哪些结构特征？

主要发现

• 对于每个紧集 A，K^t、图空与典型图空是等价的性质。
• 任意连续可微函数的图都是图空的（借助 Sawer 定理）。
• 典型连续函数的图是图空的（在 C[a,b] 中为 comeager）。
• 存在在任何处点不可微的连续函数，其图是图空的，同时也存在图非图空的连续函数。
• 每个绝对连续函数的图是图空的（更一般地，在温和的非退化条件下对于绝对连续曲线亦成立）。
• 在连续函数空间中存在图空性极为常见的递增连续函数，但其图非图空的单调函数是否存在仍未解。