全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示 العربية 版。

الرياضيات · 术语表

什么是 قياس?

تعريف 9.5 الرياضيات الجامعية — السنة 3 · 第 9 章 — نظرية القياس

القياس على (X,A)(X, \mathcal A) هو تطبيق μ ⁣:A→[0,+∞]\mu \colon \mathcal A \to [0, +\infty] يحقق μ(∅)=0\mu(\varnothing) = 0 ويكون جمعيًا من النمط σ\sigma: أي إنه من أجل (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) فضاء قياس؛ ويكون μ\mu منتهيًا إذا كان μ(X)<∞\mu(X) < \infty، وقياس احتمال إذا كان μ(X)=1\mu(X) = 1، ومنتهيًا من النمط σ\sigma إذا كان XX اتحادًا قابلًا للعدّ لمجموعات ذات قياس منتهٍ. أمثلة: قياس العدّ على (N,P(N))(\N, \mathcal P(\N))؛ وكتلة ديراك δa(A)=1a∈A\delta_a(A) = \mathbf 1_{a \in A}؛ وموضوع هذا الفصل، أي قياس لوبيغ.

示例

مثال 9.14

مجموعة كانتور (التمرين 6.10) تحقق λ(C)=0\lambda(C) = 0: إذ C⊆CnC \subseteq C_n، وهو اتحاد 2n2^n فترةً طول كلٍّ منها 3−n3^{-n}، ومنه λ(C)≤(2/3)n→0\lambda(C) \leq (2/3)^n \to 0. أي مجموعة غير قابلة للعدّ ومعدومة القياس — فعدد العناصر لا يرى القياس. وبالعكس، فإن مجموعات كانتور السمينة (التمرين 9.5) غير كثيفة في أي مكان وذات قياس موجب: فالطوبولوجيا لا ترى القياس أيضًا. وتدفع مسألة نهاية الأسبوع هذا التفاعل إلى خلاصته اللافتة: أي إن هناك مجموعات قابلة للقياس بمعنى لوبيغ وليست بوريلية.

在原文中阅读 ←