全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 Lebesgue measure?

Definition 9.10 University Mathematics — Year 3 · 第 9 章 — Measure Theory

The Lebesgue outer measure of A⊆RA \subseteq \R is

λ∗(A)=inf⁡{∑n(bn−an):A⊆⋃n(an, bn)}\lambda^*(A) = \inf\Bigl\{\sum_{n} (b_n - a_n) : A \subseteq \bigcup_n \intoo{a_n}{b_n}\Bigr\}

(countable covers by open intervals).

示例

Example 9.14

The Cantor set (Exercise 6.10) has λ(C)=0\lambda(C) = 0: C⊆CnC \subseteq C_n, a union of 2n2^n intervals of length 3−n3^{-n}, so λ(C)≤(2/3)n→0\lambda(C) \leq (2/3)^n \to 0. An uncountable null set — cardinality does not see measure. Conversely, fat Cantor sets (Exercise 9.5) are nowhere dense with positive measure: topology does not see measure either. The weekend problem pushes this interplay to its striking conclusion: there are Lebesgue-measurable sets that are not Borel.

在原文中阅读 →