Cantor集合的基本性质及其用於反例.pdfVIP

Cantor集合的基本性質及其用於反例 胡紹宗 Cantor 集是一個構思巧妙的特殊點集, 則 E1 是 I 的零測度子集 此集合是 Cantor 在解三角級數問題時作出 在 E1 上定義函數: 來的, 它有著一些 “奇怪”的性質。 一般實變函 x − a g (x) = g ( ), x ∈ E1 1 數教科書中都有證明: Cantor集是一個疏朗 b − a 的完全集, 具有連續基數的點集和不可數的 則 g (E ) = R。 1 1 零測度集。 這些性質在對許多問題的討論中 (3) 定義所要求的函數 f , 先令它在整 都起著很大的作用, 特別常是構造重要反例 數集 Z 上等於零, 然後定義開集序列 {G } n 的基礎。 如下: +∞ 例 1: 構造一個在 R 上幾乎處處等於零 G1 = R − Z = (n, n + 1)。 的函數, 它在每個非空開區間上的值域都是 n=−∞ R。 在每一個這些開區間 I 上, 設 E1 為 (2) 中 定義的零測度集, 並在 E 上定義 f 等於 g 。 解: (1) 設 p 是 [0,1] 上的 Cantor 1 1 G 內 f 尚未定義的點 成子集 G , 它是開 三分集, θ 為定義在 [0,1]上的 Cantor 函數 1 2 集, 因而是互不相交的開區間的聯集。 在每一 (參見 「數學傳播」 第二十一卷第一期, 胡紹宗 個這些開區間 I 上, 設 E1 為 (2) 中定義的零 「Cantor 函數的分析性質及其用於反例」)。 測度集, 並在 E 上定義 f 等於 g 。 G 內 在 (0,1) 上定義函數: 1 I 2 f 尚未定義的子集 G3 仍是開集, 因而還是 1 g (x) = tan[π (θ (x) − )], 0 x 1 互不相交的開區間的聯集。 在每一個這些開 2 區間 I 上, 設 E1 為 (2) 中定義的零測度 則 g [p ∩