全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Mathematics · 术语表

什么是 measure?

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

A measure on (X,A)(X, \mathcal A) is a map μ ⁣:A→[0,+∞]\mu \colon \mathcal A \to [0, +\infty] with μ(∅)=0\mu(\varnothing) = 0 that is σ\sigma-additive: for pairwise disjoint (An)n∈N(A_n)_{n\in\N},

μ(⨆nAn)=∑nμ(An).\mu\Bigl(\bigsqcup_n A_n\Bigr) = \sum_n \mu(A_n).

(X,A,μ)(X, \mathcal A, \mu) is a measure space; μ\mu is finite if μ(X)<∞\mu(X) < \infty, a probability measure if μ(X)=1\mu(X) = 1, σ\sigma-finite if XX is a countable union of sets of finite measure. Examples: counting measure on (N,P(N))(\N, \mathcal P(\N)); the Dirac mass δa(A)=1a∈A\delta_a(A) = \mathbf 1_{a \in A}; and, the object of this chapter, Lebesgue measure.

示例

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.

在原文中阅读 →