4 Некоторые свойства $ \omega$ $ \in$ $ \Omega$

Пусть $ \cal {G}$0(*) -- алгебра всех множеств H, H $ \subset$ $ \bf I$, измеримых по Жордану относительно (счетно-аддитивной) меры l0, продолжающей l на алгебру $ \cal {A}$ подмножеств $ \bf I$, порожденную $ \cal {I}$. Тогда для множеств из $ \cal {G}$0(*) имеет место совпадение, при $ \omega$ $ \in$ $ \Omega$, значений меры Лебега и $ \omega$. Как следствие, для канторового дисконтинуума P0: $ \omega$(P0) = 0.

Если $ \omega$ $ \in$ $ \Omega$ и (xi)i $\scriptstyle \in$ $\scriptstyle \cal {N}$ -- сходящаяся последовательность в $ \bf I$, то $ \omega$({xi : i $ \in$ $ \cal {N}$}) = 0.

Вместе с тем, для непрерывных функций f : $ \bf I$$ \to$$ \bold$R имеет место $ \forall$$ \omega$ $ \in$ $ \Omega$:

$\displaystyle \int\limits_{{\bf I}}^{}$f d$\displaystyle \omega$ = (R)$\displaystyle \int\limits_{0}^{1}$f (t) dt,

где слева используется простейший интеграл по к.-а. мере , а справа -- интеграл Римана.