Функция от множеств к числам
В математике, особенно в теории меры , функция множества — это функция , областью определения которой является семейство подмножеств некоторого заданного множества и которая (обычно) принимает свои значения в расширенной строке действительных чисел , состоящей из действительных чисел и
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pm \infty.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Функция множества обычно предназначена для измерения подмножеств тем или иным способом. Меры являются типичными примерами «измерения» функций множества. Поэтому термин «функция множества» часто используется, чтобы избежать путаницы между математическим значением слова «мера» и его общеязыковым значением.
Определения
Если это семейство множеств над (это означает, что где обозначает набор степеней ), то функция множества on — это функция с областью определения и кодоменом или, иногда, кодоменом вместо этого является некоторое векторное пространство , как в случае с векторными мерами , комплексными мерами и проекциями . ценные меры . Область определения функции множества может иметь любые числовые свойства; Часто встречающиеся свойства и категории семейств перечислены в таблице ниже.![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Омега}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}\subseteq \wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [-\infty,\infty]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
В общем, обычно предполагается, что оно всегда четко определено для всех или, что эквивалентно, что не принимает оба значения и . В этой статье впредь это будет предполагаться; хотя в качестве альтернативы все приведенные ниже определения могут быть уточнены такими утверждениями, как «всякий раз, когда определяется сумма/ряд». Иногда это делается с помощью вычитания, например, с помощью следующего результата, который верен всякий раз, когда является конечно аддитивным: ![{\ displaystyle \ му (E) + \ му (F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle +\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Формула разницы наборов :определяется с помощьюудовлетворяющихи
![{\displaystyle \mu (F)-\mu (E)=\mu (F\setminus E){\text{ всякий раз, когда }}\mu (F)-\mu (E)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\subseteq F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\setminus E\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Нулевые наборы
Набор называется
нулевой набор (относительно) или просто
null , если
Wheneverне равно тождественно ни одному из них,илитогда обычно также предполагается, что:![{\displaystyle \mu (F)=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle +\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- нулевой пустой набор :если
![{\displaystyle \mu (\varnothing)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varnothing \in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Вариация и масса
The Полная вариация набора равна![{\displaystyle S}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\mu |(S)~{\stackrel {\scriptscriptstyle {\text{def}}}{=}}~\sup\{|\mu (F)|:F\in {\mathcal {F }}{\text{ и }}F\subseteq S\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
абсолютное значениенормуполунормуполу
нормированном пространстве![{\displaystyle |\,\cdot \,|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \cup {\mathcal {F}}~{\stackrel {\scriptscriptstyle {\text{def}}}{=}}~\textstyle \bigcup \limits _{F\in {\mathcal {F}} }F\in {\mathcal {F}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Полная![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
масса![{\displaystyle \mu.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Функция множества называетсяконечно, если для каждогозначениеравно![{\displaystyle F\in {\mathcal {F}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
конечный (что по определению означает, чтои;![{\displaystyle \mu (F)\neq \infty}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
бесконечное значение – это значение, равноеили). Каждая функция конечного множества должна иметь конечную массу. ![{\displaystyle \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Общие свойства функций множеств
Функция множества на называется ![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- неотрицательный , если он оценивается в
![{\displaystyle [0,\infty].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- конечно-аддитивен , еслидля всехпопарно непересекающихсяконечных последовательностейтаких, что
![{\displaystyle \textstyle \sum \limits _{i=1}^{n}\mu \left(F_{i}\right)=\mu \left(\textstyle \bigcup \limits _{i=1}^ {n}F_{i}\вправо)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1},\ldots ,F_{n}\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcup \limits _{i=1}^{n}F_{i}\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если замкнуто относительно бинарных объединений , то конечно аддитивно тогда и только тогда, когда для всех непересекающихся пар
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ му (E \ чашка F) = \ му (E) + \ му (F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если конечно аддитивно, и если тогда взятие показывает то , что возможно только тогда или где в последнем случае для каждого (поэтому полезен только этот случай ).
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varnothing \in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E:=F:=\varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (\varnothing) = \mu (\varnothing)+\mu (\varnothing)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (\varnothing)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (\varnothing)=\pm \infty,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ му (E) = \ му (E \ чашка \ varnothing) = \ му (E) + \ му (\ varnothing) = \ му (E) + (\ pm \ infty) = \ pm \ infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (\varnothing)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- счетно-аддитивная илиσ-аддитивен, если помимо того, что он конечно аддитивен, для всехпопарно непересекающихсяпоследовательностейвтаких, чтовыполняются все следующие условия:
![{\displaystyle F_{1},F_{2},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcup \limits _{i=1}^{\infty }F_{i}\in {\mathcal {F}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)=\mu \left(\textstyle \bigcup \limits _{i=1} ^{\infty }F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Ряд в левой части определяется обычным образом как предел
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)~{\stackrel {\scriptscriptstyle {\text{def}}}{=} }~{\displaystyle \lim _{n\to \infty }}\mu \left(F_{1}\right)+\cdots +\mu \left(F_{n}\right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Как следствие, если есть какая-либо перестановка / биекция , то это потому, что применение этого условия (а) дважды гарантирует, что оба и выполняются. По определению сходящийся ряд, обладающий этим свойством, называется безусловно сходящимся . Говоря простым языком , это означает, что переупорядочение/перемаркировка наборов в новом порядке не влияет на сумму их мер. Это желательно, поскольку, поскольку объединение не зависит от порядка этих множеств, то же самое должно быть справедливо и для сумм и
![{\displaystyle \rho :\mathbb {N} \to \mathbb {N} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)=\textstyle \sum \limits _{i=1}^{\infty } \mu \left(F_{\rho (i)}\right);}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcup \limits _{i=1}^{\infty }F_{i}=\textstyle \bigcup \limits _{i=1}^{\infty }F_{\rho (i)} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)=\mu \left(\textstyle \bigcup \limits _{i=1} ^{\infty }F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \left(\textstyle \bigcup \limits _{i=1}^{\infty }F_{\rho (i)}\right)=\textstyle \sum \limits _{i=1}^ {\infty }\mu \left(F_{\rho (i)}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1},F_{2},\ldots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{\rho (1)},F_{\rho (2)},\ldots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F~{\stackrel {\scriptscriptstyle {\text{def}}}{=}}~\textstyle \bigcup \limits _{i\in \mathbb {N} }F_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (F)=\mu \left(F_{1}\right)+\mu \left(F_{2}\right)+\cdots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (F)=\mu \left(F_{\rho (1)}\right)+\mu \left(F_{\rho (2)}\right)+\cdots \,.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- если не бесконечен, то этот ряд также должен сходиться абсолютно , что по определению означает, что он должен быть конечным. Это автоматически верно, если оно неотрицательно (или даже просто оценивается в расширенных действительных числах).
![{\displaystyle \mu \left (\ textstyle \bigcup \limits _ {i = 1} ^ {\ infty } F_ {i} \ right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\left|\mu \left(F_{i}\right)\right|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Как и любой сходящийся ряд действительных чисел, по теореме о рядах Римана , ряд сходится абсолютно тогда и только тогда, когда его сумма не зависит от порядка его членов (свойство, известное как безусловная сходимость ). Поскольку безусловная сходимость гарантируется пунктом (а) выше, это условие автоматически истинно, если оно оценивается в
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)={\displaystyle \lim _{N\to \infty }}\mu \ left(F_{1}\right)+\mu \left(F_{2}\right)+\cdots +\mu \left(F_{N}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [-\infty,\infty].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- если бесконечно, то также требуется, чтобы значение хотя бы одного из рядов было конечным (чтобы сумма их значений была корректно определена). Это автоматически верно, если оно неотрицательно.
![{\displaystyle \mu \left(\textstyle \bigcup \limits _{i=1}^{\infty }F_{i}\right)=\textstyle \sum \limits _{i=1}^{\infty } \mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _ {\stackrel {i\in \mathbb {N} {\mu \left(F_{i}\right)>0}}\mu \left(F_{i}\ right)\;{\text{ and }}\;\textstyle \sum \limits _ {\stackrel {i\in \mathbb {N} }{\mu \left(F_{i}\right)<0}} \mu \left(F_{i}\right)\;}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- апредмера, если она неотрицательна,счетно-аддитивна(в том числе конечно-аддитивна) и имеет нулевое пустое множество.
- амера , если это предмера, областью определения которой являетсяσ-алгебра. Другими словами, мера — это неотрицательная счетно-аддитивная функция множества на σ-алгебре, которая имеет нулевое пустое множество.
- авероятностная мера, если это мера, имеющая массу
![{\displaystyle 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- авнешняя мера, если она неотрицательна, счетно субаддитивна, имеет нулевое пустое множество и имеетнабор степеней в качестве своей области определения.
![{\displaystyle \wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- азнаковая мера, если она счетно-аддитивна, имеет нулевое пустое множество ине принимает обазначенияи
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle +\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- завершено , если каждое подмножество каждого нулевого набора является нулевым; явно это означает: всякий раз, когдаиявляется любым подмножествомthenи
![{\displaystyle F\in {\mathcal {F}}{\text{ удовлетворяет }}\mu (F)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N\subseteq F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (N)=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- В отличие от многих других свойств, полнота предъявляет требования к множеству (а не только к значениям).
![{\displaystyle \operatorname {домен} \mu = {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- 𝜎-конечная, если существует последовательность,конечнаядля любого индекса, а также
![{\displaystyle F_{1},F_{2},F_{3},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle я,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcup \limits _{n=1}^{\infty }F_{n}=\textstyle \bigcup \limits _{F\in {\mathcal {F}}}F.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- разложима, если существуеттакое подсемейство попарно непересекающихся множеств, котороеконечно для каждогои также(где).
![{\displaystyle {\mathcal {P}}\subseteq {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (P)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P\in {\mathcal {P}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcup \limits _{P\in {\mathcal {P}}}\, P =\textstyle \bigcup \limits _{F\in {\mathcal {F}}}F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}=\operatorname {domain} \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Любая 𝜎-конечная функция множества разложима, но не наоборот. Например, считающая мера на (область определения ) разложима, но не 𝜎-конечна.
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (\mathbb {R})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- авекторная мера, если это счетно-аддитивная функция множества,имеющая значение втопологическом векторном пространстве(например,нормированном пространстве), областью определения которого являетсяσ-алгебра.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если число имеет значение в нормированном пространстве , то оно счетно-аддитивно тогда и только тогда, когда для любой попарно непересекающейся последовательности в
![{\displaystyle (X,\|\cdot \|)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1},F_{2},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lim _{n\to \infty }\left\|\mu \left(F_{1}\right)+\cdots +\mu \left(F_{n}\right)-\mu \left (\textstyle \bigcup \limits _{i=1}^{\infty }F_{i}\right)\right\|=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1},F_{2},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lim _{n\to \infty}\left\|\mu \left(F_{n}\cup F_{n+1}\cup F_{n+2}\cup \cdots \right)\ вправо\|=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- акомплексная мера , если она является счетно-аддитивнойкомплекснойфункцией множества, областью определения которой являетсяσ-алгебра.
![{\displaystyle \mu :{\mathcal {F}} \to \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- По определению, комплексная мера никогда не принимает значение и поэтому имеет пустое нулевое множество.
![{\displaystyle \pm \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- аслучайная мера, если этослучайный элемент.
Произвольные суммы
Как описано в разделе этой статьи, посвященном обобщенным рядам , для любого семейства действительных чисел , индексированного произвольным набором индексов , можно определить их сумму как предел сети конечных частичных сумм , где область определения направлена . Всякий
раз, когда эта сеть сходится, тогда ее предел обозначается символами, а если вместо этого эта сеть расходится к, то это можно указать, написав
Любая сумма по пустому множеству определяется как ноль; то есть если то по определению.
![{\displaystyle I,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\in \operatorname {FiniteSubsets} (I)\mapsto \textstyle \sum \limits _{i\in F}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {FiniteSubsets} (I)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,\subseteq.\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \pm \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}=\pm \infty .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=\varnothing }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in \varnothing }r_{i}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Например, если для каждого то
И можно показать, что
Если то обобщенный ряд сходится тогда и только тогда, когда сходится безусловно (или, что то же самое, сходится абсолютно ) в обычном смысле. Если обобщенный ряд сходится в то и то, и другое сходится к элементам и множество обязательно счетно (т. е. либо конечно, либо счетно бесконечно ); это остается верным , если заменить его любым нормированным пространством . [доказательство 1]
Отсюда следует, что для того, чтобы обобщенный ряд сходился в или необходимо, чтобы все, кроме не более чем счетного числа, были равны, что означает, что это сумма не более чем счетного числа ненулевых членов. Другими словами, если несчетно, то обобщенный ряд не сходится. ![{\displaystyle z_{i}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle я\в I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}z_{i}=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i} = \textstyle \sum \limits _ {\stackrel {i\in I,}{r_{i}=0}}r_{i }+\textstyle \sum \limits _ {\stackrel {i\in I,}{r_{i}\neq 0}}r_{i}=0+\textstyle \sum \limits _{\stackrel {i\in I,}{r_{i}\neq 0}}r_{i}=\textstyle \sum \limits _{\stackrel {i\in I,}{r_{i}\neq 0}}r_{i}. }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I=\mathbb {N} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _ {\stackrel {i\in I}{r_{i}>0}}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _ {\stackrel {i\in I}{r_{i}<0}}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{i\in I:r_{i}\neq 0\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {C},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}~=~\textstyle \sum \limits _ {\stackrel {i\in I}{r_{i}\neq 0}}r_ {я}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{i\in I:r_{i}\neq 0\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Таким образом, из-за природы действительных чисел и их топологии каждый сходящийся обобщенный ряд действительных чисел (индексированный произвольным набором) может быть сведен к обычному абсолютно сходящемуся ряду из счетного числа действительных чисел. Таким образом, в контексте теории меры рассмотрение бесчисленного множества множеств и обобщенных рядов дает мало пользы. В частности, именно поэтому определение «счетно-аддитивного» редко расширяется от счетного числа множеств в (и обычного счетного ряда ) до произвольного числа множеств (и обобщенного ряда ).![{\displaystyle F_{1},F_{2},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(F_{i}\right)_{i\in I}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \sum \limits _{i\in I}\mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Внутренние меры, внешние меры и другие свойства
Говорят, что функция множества / удовлетворяет ![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- монотонно , есливсякий разудовлетворять
![{\displaystyle \mu (E) \leq \mu (F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\subseteq F.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- модульный, если он удовлетворяет следующему условию, известному какмодульность:для всехтаких, что
![{\ displaystyle \ му (E \ чашка F) + \ му (E \ кепка F) = \ му (E) + \ му (F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\чашка F,E\cap F\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- субмодульный, еслидля всехтаких, что
![{\ displaystyle \ му (E \ чашка F) + \ му (E \ кепка F) \ leq \ му (E) + \ му (F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\чашка F,E\cap F\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- конечно субаддитивен, еслидля всех конечных последовательностей, удовлетворяющих
![{\displaystyle |\mu (F)|\leq \textstyle \sum \limits _{i=1}^{n}\left|\mu \left(F_{i}\right)\right|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F,F_{1},\ldots ,F_{n}\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\;\subseteq \;\textstyle \bigcup \limits _ {i = 1} ^ {n} F_ {i}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- счетно субаддитивная илиσ-субаддитивен , еслидля всех последовательностейизнего удовлетворяет
![{\displaystyle |\mu (F)|\leq \textstyle \sum \limits _{i = 1}^{\infty }\left|\mu \left(F_{i}\right)\right|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F,F_{1},F_{2},F_{3},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\;\subseteq \;\textstyle \bigcup \limits _{i=1}^{\infty }F_{i}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если замкнуто относительно конечных объединений, то это условие выполняется тогда и только тогда, когда для всех If неотрицательно, то абсолютные значения могут быть удалены.
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle |\му (F\чашка G)|\leq |\му (F)|+|\му (G)|}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F,G\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если — мера, то это условие выполняется тогда и только тогда, когда для всех в Если — вероятностная мера , то это неравенство является неравенством Буля .
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \left(\textstyle \bigcup \limits _{i=1}^{\infty }F_{i}\right)\leq \textstyle \sum \limits _{i=1}^{\infty }\mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1},F_{2},F_{3},\ldots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если счетно субаддитивен и с то конечно субаддитивен.
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varnothing \in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (\varnothing)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- супераддитивны , есливсякий разне пересекаются с
![{\ displaystyle \ му (E) + \ му (F) \ leq \ му (E \ чашка F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E,F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\чашка F\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- непрерывен сверху, еслидля всехневозрастающих последовательностеймножествизтаких, чтоси всеконечны.
![{\displaystyle \lim _{n\to \infty }\mu \left(F_{i}\right)=\mu \left(\textstyle \bigcap \limits _{i=1}^{\infty }F_{ Я прав)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1}\supseteq F_{2}\supseteq F_{3}\cdots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcap \limits _{i=1}^{\infty }F_{i}\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \left(\textstyle \bigcap \limits _{i = 1}^{\infty }F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Мера Лебега непрерывна сверху, но это не было бы так, если бы из определения было исключено предположение о том, что все они в конечном итоге конечны, как показывает этот пример: для каждого целого числа пусть будет открытый интервал, так что где
![{\displaystyle \lambda }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu \left(F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle я,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (я,\infty)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lim _{n\to \infty}\lambda \left(F_{i}\right)=\lim _{n\to \infty}\infty =\infty \neq 0 =\lambda (\varnothing )=\lambda \left(\textstyle \bigcap \limits _{i=1}^{\infty }F_{i}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcap \limits _{i=1}^{\infty }F_{i}=\varnothing .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- непрерывен снизу, еслидля всехнеубывающих последовательностеймножествизтаких, что
![{\displaystyle \lim _{n\to \infty }\mu \left(F_{i}\right)=\mu \left(\textstyle \bigcup \limits _{i=1}^{\infty }F_{ Я прав)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1}\subseteq F_{2}\subseteq F_{3}\cdots \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \textstyle \bigcup \limits _{i=1}^{\infty }F_{i}\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- к бесконечности приближаются снизу, если всякий раз, когдавыполняется условие,то для каждого реальногосуществуеттакое, чтои
![{\displaystyle F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (F)=\infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r>0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{r}\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{r}\subseteq F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r\leq \mu \left(F_{r}\right)<\infty .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- внешняя мера, если она неотрицательна, счетно субаддитивна, имеет нулевое пустое множество и имеет набор степеней в качестве своей области определения.
![{\displaystyle \wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- авнутренняя мера, еслиона неотрицательна, супераддитивна, непрерывна сверху, имеет нулевое пустое множество, имеет степеннойнаборв качестве области определения и приближается снизу.
![{\displaystyle \wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- атомарный , если каждое измеримое множество положительной меры содержит атом .
Если определена бинарная операция , то говорят, что функция множества![{\displaystyle \,+\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- инвариант перевода , еслидля всехитакой, что
![{\ displaystyle \ му (\ омега + F) = \ му (F)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \omega \in \Omega}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \omega +F\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Определения, связанные с топологией
Если топология включена, то говорят, что функция множества :![{\displaystyle \тау }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Омега}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- аБорелевская мера, если это мера, определенная на σ-алгебре всехборелевских множеств, которая является наименьшей σ-алгеброй, содержащей все открытые подмножества (то есть содержащую).
![{\displaystyle \тау }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- аМера Бэра, если она является мерой, определенной на σ-алгебре всехмножеств Бэра.
- локально конечна , если для каждой точкисуществует конечная окрестностьэтой точки.
![{\displaystyle \omega \in \Omega}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U\in {\mathcal {F}}\cap \tau }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (U)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если является конечно-аддитивным, монотонным и локально конечным, то обязательно конечно для любого компактного измеримого подмножества.
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (K)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle К.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
-аддитивный , есливсякий раз, когдаоннаправленпо отношению ки удовлетворяет![{\displaystyle \mu \left({\textstyle \bigcup }\, {\mathcal {D}}\right)=\sup _{D\in {\mathcal {D}}}\mu (D)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}\subseteq \tau \cap {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,\subseteq \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\textstyle \bigcup }\,{\mathcal {D}}~{\stackrel {\scriptscriptstyle {\text{def}}}{=}}~\textstyle \bigcup \limits _{D\in { \mathcal {D}}}D\in {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
направлена относительно тогда и только тогда, когда она не пуста и для всех существует такое, что и![{\displaystyle \,\subseteq \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A,B\in {\mathcal {D}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C\in {\mathcal {D}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B\subseteq C.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- внутренний регулярный илиплотно , если для каждого
![{\displaystyle \mu (F)=\sup\{\mu (K):F\supseteq K{\text{ с }}K\in {\mathcal {F}}{\text{компактное подмножество }} (\Омега,\тау)\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- внешний регулярный , если для каждого
![{\displaystyle \mu (F)=\inf\{\mu (U):F\subseteq U{\text{ и }}U\in {\mathcal {F}}\cap \tau \}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- регулярный , если он одновременно является внутренним регулярным и внешним регулярным.
- аРегулярная борелевская мера , если эта борелевская мера также являетсярегулярной.
- аМера Радона , если она является регулярной и локально конечной мерой.
- строго положительно , если каждое непустое открытое подмножество имеет (строго) положительную меру.
- аоценка , если она неотрицательна, монотонна, модульна, имеет нулевое пустое множество и имеет область определения.
![{\displaystyle \тау .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Отношения между функциями множества
Если и являются двумя заданными функциями, то:![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Омега,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Говорят, что этоабсолютно непрерывен относительно
илидоминирует
, записанныйif для каждого набора, который принадлежит области обоих, иifthen![{\displaystyle \mu \ll \nu,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu (F)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (F)=0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если и являются -конечными мерами на одном и том же измеримом пространстве и если тогда производная Радона–Никодима существует и для любого измеримого пространства
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ сигма }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\frac {d\mu {d\nu }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (F)=\int _{F}{\frac {d\mu }{d\nu }}d\nu .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
и называются
эквивалентны , если каждое из них абсолютно непрерывно относительно другого. называется
опорная мера меры,если -конечнаиониэквивалентны. [4]![{\displaystyle \nu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ сигма }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
и являются
единственное число , записанное, если существуют непересекающиеся множестваив областяхитакие, чтодля всехв областиидля всехв области![{\displaystyle \mu \perp \nu,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (F)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\subseteq M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu (F)=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F\subseteq N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \nu .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Примеры
Примеры функций набора включают в себя:
- Функция
![{\displaystyle d(A)=\lim _{n\to \infty }{\frac {|A\cap \{1,\ldots,n\}|}{n}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
присвоение плотностей достаточно хорошо управляемым подмножествам является функцией множества.![{\displaystyle A\subseteq \{1,2,3,\ldots \},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Вероятностная мера присваивает вероятность каждому набору в σ-алгебре . В частности, вероятность пустого набора равна нулю, а вероятность выборочного пространства равна другим наборам с заданными вероятностями между и
![{\displaystyle 1,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 1.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Мера возможности присваивает каждому набору в наборе степеней некоторого заданного набора число от нуля до единицы. См. теорию возможностей .
- Случайный набор — это случайная величина с множеством значений . См. статью «Случайный компакт» .
Жорданова мера on — это функция множества, определенная на множестве всех ее измеримых по Жордану подмножеств, которая переводит измеримое по Жордану множество в его жорданову меру.![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{n};}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Мера Лебега
Мера Лебега on — это функция множества, которая ставит в соответствие неотрицательное действительное число каждому набору действительных чисел, принадлежащему -алгебре Лебега . [5]![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Его определение начинается с набора всех интервалов действительных чисел, который является полуалгеброй на
. Функция, которая присваивает каждому интервалу его, является конечно-аддитивной функцией множества (явно, если имеет конечные точки , то ). Эту функцию множества можно расширить до внешней меры Лебега, на которой находится трансляционно-инвариантная функция множества , которая отправляет подмножество в нижнюю границу .![{\displaystyle \operatorname {Интервалы} (\mathbb {R})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {длина} (I)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle a\leq b}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {длина} (I)=ba}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda ^{\!*\!}:\wp (\mathbb {R})\to [0,\infty]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle E\subseteq \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda ^{\!*\!}(E)=\inf \left\{\sum _{k=1}^{\infty }\operatorname {length} (I_{k}):{( I_{k})_{k\in \mathbb {N} }}{\text{ – это последовательность открытых интервалов с }}E\subseteq \bigcup _{k=1}^{\infty }I_{k} \верно\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
𝜎-алгебрукритерию Каратеодори![{\displaystyle M\subseteq \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \lambda ^{\!*\!}(M)=\lambda ^{\!*\!}(M\cap E)+\lambda ^{\!*\!}(M\cap E^ {c})\quad {\text{ для каждого }}S\subseteq \mathbb {R} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
мерой ЛебегаМножества Виталинеизмеримых множествБесконечномерное пространство
Как подробно описано в статье о бесконечномерной мере Лебега , единственной локально конечной и трансляционно-инвариантной борелевской мерой в бесконечномерном сепарабельном нормированном пространстве является тривиальная мера . Однако можно определить гауссовы меры на бесконечномерных топологических векторных пространствах . Структурная теорема для гауссовских мер показывает, что абстрактная конструкция винеровского пространства — по существу единственный способ получить строго положительную гауссову меру в сепарабельном банаховом пространстве .
Конечно-аддитивные трансляционно-инвариантные функции множества
Единственная трансляционно-инвариантная мера на области , которая конечна на каждом компактном подмножестве, - это тривиальная функция множества , которая тождественно равна (т. е. переводит каждую в )
. Однако, если счетная аддитивность ослаблена до конечной аддитивности, то нетривиальная функция множества с этими свойствами действительно существует, и более того, некоторые из них даже оценены в. Фактически, такие нетривиальные функции множества будут существовать, даже если ее заменить любой другой абелевой группой ![{\displaystyle \Omega =\mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (\mathbb {R})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (\mathbb {R})\to [0,\infty]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S\subseteq \mathbb {R}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [0,1].}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Г.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Расширение функций набора
Переход от полуалгебр к алгебрам
Предположим, что это функция множества на полуалгебре над и пусть
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Омега}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {алгебра} ({\mathcal {F}}):=\left\{F_{1}\sqcup \cdots \sqcup F_{n}:n\in \mathbb {N} {\text{ и }}F_{1},\ldots ,F_{n}\in {\mathcal {F}}{\text{ попарно не пересекаются }}\right\},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
алгебройалгеброй![{\displaystyle \Омега}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {S}}_{d}:=\{\varnothing \}\чашка \left\{\left(a_{1},b_{1}\right]\times \cdots \times \ left(a_{1},b_{1}\right]~:~-\infty \leq a_{i}<b_{i}\leq \infty {\text{ for all }}i=1,\ldots , д\вправо\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Omega:=\mathbb {R} ^{d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (a,b]:=\{x\in \mathbb {R}:a<x\leq b\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -\infty \leq a<b\leq \infty.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,\leq \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle -\infty \leq a_{i}<b_{i}\leq \infty }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,<\,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{d};}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{d}\in {\mathcal {S}}_{d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varnothing \in {\mathcal {S}}_{d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если оно конечно аддитивно, то оно имеет уникальное расширение до функции множества, определяемой путем отправки (где указывает, что они попарно не пересекаются ) в: ![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mu }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \operatorname {алгебра} ({\mathcal {F}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1}\sqcup \cdots \sqcup F_{n}\in \operatorname {алгебра} ({\mathcal {F}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \,\sqcup \,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{i}\in {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mu }}\left(F_{1}\sqcup \cdots \sqcup F_{n}\right):=\mu \left(F_{1}\right)+\cdots +\ му \left(F_{n}\right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mu }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A_{1},\ldots,A_{n}\in \operatorname {алгебра} ({\mathcal {F}}),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mu }}\left(A_{1}\cup \cdots \cup A_{n}\right) = {\overline {\mu }}\left(A_{1}\right) +\cdots +{\overline {\mu }}\left(A_{n}\right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если, кроме того, расширено вещественнозначно и монотонно (что, в частности, будет иметь место, если оно неотрицательно), то оно будет монотонным и конечно субаддитивным: для любого такого, что ![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mu }}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A,A_{1},\ldots,A_{n}\in \operatorname {алгебра} ({\mathcal {F}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\subseteq A_{1}\cup \cdots \cup A_ {n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\overline {\mu }}\left(A\right)\leq {\overline {\mu }}\left(A_{1}\right)+\cdots +{\overline {\mu }} \left(A_{n}\right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Расширение от колец до σ-алгебр.
Если является предмерой на кольце множеств (например, алгебре множеств ) над then , имеет расширение до меры на σ-алгебре, порожденной формулой. Если σ-конечно, то это расширение уникально.![{\displaystyle \mu :{\mathcal {F}}\to [0,\infty]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Омега}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sigma ({\mathcal {F}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {F}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Чтобы определить это расширение, сначала расширьте его до внешней меры на
![{\displaystyle \mu ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle 2^{\Omega }=\wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}(T)=\inf \left\{\sum _{n}\mu \left(S_{n}\right):T\subseteq \cup _{n}S_{n }{\text{ с }}S_{1},S_{2},\ldots \in {\mathcal {F}}\right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
измеримыми по Каратеодори множествами![{\displaystyle {\mathcal {F}}_{M}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M\subseteq \Omega}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}(S)=\mu ^{*}(S\cap M)+\mu ^{*}(S\cap M^{\mathrm {c} })\quad {\ text{ для каждого подмножества }}S\subseteq \Omega .}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle \ сигма }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ограничение внешних мер
Если это внешняя мера на множестве, где (по определению) область определения обязательно является степенным множеством , то подмножество называется –измеримым или измеримым по Каратеодори , если оно удовлетворяет следующему критерию Каратеодори : ![{\displaystyle \mu ^{*}:\wp (\Omega)\to [0,\infty]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \wp (\Omega)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Омега,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M\subseteq \Omega}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}(S)=\mu ^{*}(S\cap M)+\mu ^{*}(S\cap M^{\mathrm {c} })\quad {\ text{ для каждого подмножества }}S\subseteq \Omega,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
_
![{\displaystyle M^{\mathrm {c}}:=\Omega \setminus M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle М.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Семейство всех –измеримых подмножеств является σ-алгеброй и ограничение внешней меры на это семейство есть мера .![{\displaystyle \mu ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu ^{*}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Примечания
- ^ Калленберг, Олав (2017). Случайные меры, теория и приложения . Швейцария: Шпрингер. п. 21. дои : 10.1007/978-3-319-41598-7. ISBN 978-3-319-41596-3.
- ^ Колмогоров и Фомин 1975 г.
- ^ Функция , инвариантная к трансляции, означает, что для каждого подмножества
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mu (S) = \mu (g+S)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle г\in G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle S\subseteq G.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Доказательства
- ^ Предположим, что сеть сходится к некоторой точке метризуемого топологического векторного пространства (например, или нормированного пространства ), где напомним, что областью определения этой сети является направленное множество.
Как и любая сходящаяся сеть, эта сходящаяся сеть частичных сумм является сетью Коши , которая для этой конкретной сети означает (по определению), что для каждой окрестности начала координат в существует конечное подмножество такое , что для всех конечных надмножеств
это означает, что для каждого (взяв и ). Поскольку метризуема, она имеет счетную окрестную базу в начале координат, пересечение которой обязательно (поскольку является хаусдорфовой ТВС). Для каждого положительного целого числа выберите конечное подмножество такое, что для каждого
если принадлежит то принадлежит к
Таким образом, для каждого индекса , который не принадлежит счетному множеству
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (\operatorname {Finite} (I),\subseteq).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A\mapsto \textstyle \sum \limits _{i\in A}r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\textstyle \textstyle \sum \limits _{i\in B}r_{i}-\textstyle \sum \limits _{i\in C}r_{i}\in W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B,C\supseteq A_{0};}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r_{i}\in W}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\in I\setminus A_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B:=A_{0}\чашка \{i\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C:=A_{0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U_{1},U_{2},\ldots }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U_{1}\cap U_{2}\cap \cdots =\{0\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle n\in \mathbb {N},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A_{n}\subseteq I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r_{i}\in U_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle i\in I\setminus A_ {n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle я}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (I\setminus A_{1})\cap (I\setminus A_{2})\cap \cdots =I\setminus \left(A_{1}\cup A_{2}\cup \cdots \right )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r_{i}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle U_{1}\cap U_{2}\cap \cdots =\{0\}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle r_{i}=0}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle я\в I}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \blacksquare }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Рекомендации
- Дарретт, Ричард (2019). Вероятность: теория и примеры (PDF) . Кембриджская серия по статистической и вероятностной математике. Том. 49 (5-е изд.). Кембридж, Нью-Йорк, Нью-Йорк: Издательство Кембриджского университета . ISBN 978-1-108-47368-2. OCLC 1100115281 . Проверено 5 ноября 2020 г.
- Колмогоров Андрей ; Фомин, Сергей Васильевич (1957). Элементы теории функций и функционального анализа . Дуврские книги по математике. Нью-Йорк: Дуврские книги. ISBN 978-1-61427-304-2. ОКЛК 912495626.
- А. Н. Колмогоров и С. В. Фомин (1975), Вводный реальный анализ , Дувр. ISBN 0-486-61226-0
- Ройден, Хэлси ; Фитцпатрик, Патрик (15 января 2010 г.). Реальный анализ (4-е изд.). Бостон: Прентис Холл . ISBN 978-0-13-143747-0. ОСЛК 456836719.
- Рудин, Уолтер (1991). Функциональный анализ. Международная серия по чистой и прикладной математике. Том. 8 (Второе изд.). Нью-Йорк, штат Нью-Йорк: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5. ОСЛК 21163277.
дальнейшее чтение