الرياضيات · المسرد

ما معنى قياس لوبيغ؟

تعريف 9.10 الرياضيات الجامعية — السنة 3 · الفصل 9 — نظرية القياس

قياس لوبيغ الخارجي للمجموعة ARA \subseteq \R هو

λ(A)=inf{n(bnan):An(an,bn)}\lambda^*(A) = \inf\Bigl\{\sum_{n} (b_n - a_n) : A \subseteq \bigcup_n \intoo{a_n}{b_n}\Bigr\}

(بالتغطيات القابلة للعدّ بفترات مفتوحة).

أمثلة

مثال 9.14

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

اقرأ في الفصل ←