Дельта-кільце

У математиці непуста сім'я множин ${\mathcal {R}}$ називається δ-кільцем якщо вона є замкнутою щодо операцій об'єднання, доповнення і зліченного перетину:

$A\cup B\in {\mathcal {R}}$ якщо $A,B\in {\mathcal {R}}$
$A-B\in {\mathcal {R}}$ якщо $A,B\in {\mathcal {R}}$
$\bigcap _{n=1}^{\infty }A_{n}\in {\mathcal {R}}$ якщо $A_{n}\in {\mathcal {R}}$ для всіх $n\in \mathbb {N}$

Якщо виконуються лише перші дві умови, то ${\mathcal {R}}$ є кільцем але не δ-кільцем. Тому можна дати означення, що δ-кільце є кільцем множин замкнутим щодо операції зліченного перетину.

Приклади

Кожне σ-кільце (і зокрема σ-алгебра) є δ-кільцем. Це випливає із співвідношення для множин: $\bigcap _{i=1}^{+\infty }A_{i}=A_{1}\setminus \bigcup _{i=2}^{+\infty }(A_{1}\setminus A_{i}).$ Натомість, як показують приклади нижче, δ-кільце не обов'язково є σ-кільцем.
Якщо X є нескінченною множиною, то сім'я всіх її скінченних підмножин є δ-кільцем але не σ-кільцем.
${\displaystyle {\mathcal {K}}=\{S\subset {\mathcal {R}}\$ де $\mu (S)$ позначає міру Лебега є δ-кільцем. Це кільце не є σ-кільцем оскільки, наприклад, $\cup _{N=1}^{\infty }[0,N]$ має нескінченну міру.
Узагальнюючи попередній приклад, якщо (X, 𝒜, $μ$ ) є вимірним простором, то ті множини σ-алгебри 𝒜, міра яких є скінченною утворюють δ-кільце.

Застосування у теорії міри

δ-кільце можна використовувати замість σ-алгебр у розвитку теорії міри якщо не допускається нескінченна міра.

Наприклад, традиційно у теоремі Каратеодорі про продовження, яка поширює міра, задану на кільці множин, до міри на породженій ним σ-алгебр, конструкція приводить до міри, яка не є скінченною. Якщо початкова міра є сигма-скінченною, можна альтернативно розглянути розширення на δ-кільце, породжене 𝒜, а не на σ-алгебру. При цьому не використовуватиметься значення $+ \infty$ у визначенні міри.

Якщо задано δ-кільце 𝒟 на множині X, то підмножина $A$ називається локально вимірною відносно 𝒟 якщо:

\forall E\in {\mathcal {D}}\quad E\cap A\in {\mathcal {D}}.

Клас локально вимірних множин відносно 𝒟 утворює σ-алгебру. Якщо задана скінченна міра $μ$ на 𝒟, її можна поширити на міру на σ-алгебрі локально вимірних множин взявши для всіх $A$ із цієї σ-алгебри:

\mu (A)=\mathrm {Sup} \,\{\mu (B)\,\mid \,B\in {\mathcal {D}}\ \land \ B\subset A\}.

Див. також

Посилання

Cortzen, Allan. "Delta-Ring." From MathWorld—A Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/Delta-Ring.html

Література

John L. Kelley, T. P. Srinivasan, Measure and Integral, Springer, 1987 ISBN 978-0-387-96633-5

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.