全部书籍

专业

应用 关于 Coach 登录 开始阅读

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

Matematika · 术语表

什么是 ukuran?

Definisi 9.5 Matematika Universitas — Tahun 3 · 第 9 章 — Teori Ukuran

Sebuah ukuran pada (X,A)(X, \mathcal A) adalah pemetaan μ ⁣:A→[0,+∞]\mu \colon \mathcal A \to [0, +\infty] dengan μ(∅)=0\mu(\varnothing) = 0 yang bersifat aditif-σ\sigma: yakni untuk (An)n∈N(A_n)_{n\in\N} yang saling lepas berpasangan,

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

Tripel (X,A,μ)(X, \mathcal A, \mu) disebut ruang ukuran; ukuran μ\mu disebut berhingga jika μ(X)<∞\mu(X) < \infty, sebuah ukuran peluang jika μ(X)=1\mu(X) = 1, dan berhingga-σ\sigma jika XX merupakan gabungan terbilang himpunan berukuran berhingga. Contohnya: ukuran cacah pada (N,P(N))(\N, \mathcal P(\N)); massa Dirac δa(A)=1a∈A\delta_a(A) = \mathbf 1_{a \in A}; dan, yang menjadi pokok bab ini, ukuran Lebesgue.

示例

Contoh 9.14

Himpunan Cantor (Latihan 6.10) mempunyai λ(C)=0\lambda(C) = 0: sebab C⊆CnC \subseteq C_n, yaitu gabungan 2n2^n selang berpanjang 3−n3^{-n}, sehingga λ(C)≤(2/3)n→0\lambda(C) \leq (2/3)^n \to 0. Jadi ada himpunan nol yang tak terbilang — kardinalitas tak melihat ukuran. Sebaliknya, himpunan Cantor gemuk (Latihan 9.5) bersifat tak padat di mana pun tetapi berukuran positif: jadi topologi pun tak melihat ukuran. Soal akhir pekan mendorong permainan ini sampai kesimpulannya yang mencolok: bahwa ada himpunan terukur Lebesgue yang bukan himpunan Borel.

在原文中阅读 →