We defined an inner measure m^i for an arbitrary set C;
m^i(C)=|J|-m^o(J\cap C^c) .
, where m^o was an outer measure, and J was a measurable set which covered C fully.
An outer measure will be also defined
m^o(C)=\inf \left\{\sum m(J_i)| C\subset\cup J_i \right\} .
You may think an inner measure defined by
m^{ii}(C)=\sup\left\{ \sum m(I_i)| \cup I_i\subset C \right\} .
However, m^i can handle more sets than m^{ii} .
For example, given \Omega=[0,1] and
f(x)=\left\{ \begin{array}{ll}
x=1 & x\in\mathbb{Q} \\
x=0 & x\notin\mathbb{Q}
\end{array} \right.
What does the measure of f ?
0 件のコメント:
コメントを投稿