![](http://oshiete.xgoo.jp/images/v2/pc/qa/question_title.png?8acaa2e)
Cantor集合の説明で
[0,1]を3等分して(1/3,2/3)を取除くと[0,1/3]と[2/3,1]が残る。次に[0,1/3]と[2/3,1]を3等分して
(1/9,2/9),(7/9.8/9)を取除く。
n回目には長さ1/3^nの区間2^(n-1)を取除いた事になるので取除かれた区間全体Gの長さμ(G) (μはLebesgue測度)は
Σ[n=1..∞]2^(n-1)/3^n=1 …(1)
従って μ([0,1]\G)=μ([0,1])-μ(G)=(1-0)-1(∵Lebesgue測度の定義と(1))=0
でこの差集合[0,1]\GをCantor集合という。
でμ([0,1]\G)=μ([0,1])-μ(G)となぜ変形出来るのか分かりません。
Lebesbue測度の定義は下記のとおりだと思います。でもどうしても差集合のルベーグ測度が夫々のルベーグ測度の差になる事が導けません。μ([0,1]\G)=μ([0,1])-μ(G)となぜ変形出来るのでしょうか?
[定義]Aを全体集合,B⊂2^Aとする。BがA上でσ集合体をなす時,AはBの可測空間をな
すと言い,(A,B)と表す。
[定義] (A,B)を可測空間とする。写像f:B→R∪{+∞}は(A,B)上で測度をなす。
⇔(def)
(i) ∀A∈B,f(A)∈{r∈R;0≦r}∪{+∞},f(φ)=0
(ii) ∀m,n∈N\{0} (m≠n), b_m,b_n∈B且つ
b_m∩b_n=φ⇒f(∪[k=1..∞]b_k)=Σ[k=1..∞]f(b_k)
[定義]f:B→R∪{+∞}を可測空間(A,B)上の外測度をなす。
⇔(def)
(i) f(2^A)⊂[0,∞],特にf(φ)=0
(ii) C⊂D(C,D∈2^A)⇒f(C)≦f(D)
(iii) f(∪[n=1..∞]C_n)≦Σ[n=1..∞]f(C_n) (C_n∈2^A (n∈N))
[定義]f:B→R∪{+∞}を可測空間(A,B)上の外測度とする。E(⊂A)は(A,B)上でf-可測
(集合)。
⇔(def)
∀C∈2^A,f(C)=f(C∩E)+f(C∩E^c)
[定義] R^nのm次元区間全{Π[i=1..m](a_i,b_i]\
{∞};a_i,b_i∈R∪{∞}(i=1,2,…,m)} (m≦n)をI(m,n)で表す。
[定義] R^nのm次元区間塊全体{∪[j=1..k]I_i;k∈N\{0},I^m∋I_1,I_2,…,I_k:互い
に素}をC(m,n)で表す。
このとき,C(n,n)はR^nで有限加法族をなす。
[定義] 写像g:∪C(n,n)→R^nを
C(n,n)∋∀∪[i=1..k]Π[ji=1..n](a_ji,b_ji]→g(∪[i=1..k]Π[ji=1..n](a_ji,b_ji]):=
Π(b_i-a_i) (k=1且つΠ[i=1..n](a_j1,b_j1]は有界の時)
sup{Π[i=1..n](d_i-c_i);(Π[j1=1..n](a_j1,b_j1]⊃)Π[i=1..n](c_i,d_i]は有界}
(k=1でΠ[j1=1..n](a_j1,bj1]は非有界の時)
0 (k=1でΠ[j1=1..n](a_j1,b_j1]=φの時)
Σ[i=1..k]g(Π[ji=1..n](a_ji,b_ji]) (k>1で
∪[i=1..k]Π[ji=1..n](a_ji,b_ji]∈C(n,n) (但し
,Π[j1=1..n](a_j1,b_j1],Π[j2=1..n](a_j2,b_j2],…,Π[jn=1..n](a_jn,b_jn]は互
いに素)の時)
と定義するとこのgは可測空間(R^n,C(n,n))での有限測度をなす。
そして写像h:2^(R^n)→Rを2^(R^n)∋∀A→h(A):=
inf{Σ[k=1..∞]g(E_k);A⊂∪[k=1..∞]E_k (E_k∈C(n,n) (n∈N\{0}))}
で定義するとこのhは可測空間(R^n,C(n,n))で外測度をなす。
この時,このhをLebesgue外測度という。
[定義] 写像h:2^(R^n)→R∪{+∞}はルベーグ外測度とする。
L:={E∈2^(R^n);Eは可測空間(R^n,2^(R^n))上でh-可測}をLebesgue可測集合全体の集
合という。
[定義] hをLebesgue外測度とする。制限写像h|Lは測度をなす。
この時,この制限写像h|HをR^n上のLebesgue測度という。
No.1ベストアンサー
- 回答日時:
こんにちは。
測度の定義の2番目(ii) ∀m,n∈N\{0} (m≠n), b_m,b_n∈B且つ
b_m∩b_n=φ⇒f(∪[k=1..∞]b_k)=Σ[k=1..∞]f(b_k)
これから、
A∩B=φ⇒f(A∪B)=f(A)+f(B)
ですから
f(A∪B)-f(B)=f(A)
上の式においてfをμ、A=[0,1]\G, B=G, A∪B=[0,1]
とおけば
μ([0,1]\G)=μ([0,1])-μ(G)
となります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 食器・キッチン用品 温度計について 温度計を買う予定で、欲しい機能としては、温度が300度以上、制度1度以下が1度、測定 2 2022/05/06 16:02
- 物理学 アインシュタインの相対論は、3者間でどういう誤魔化しも効かなくなりますか? 2 2022/05/06 21:23
- 車検・修理・メンテナンス 夏場のタイヤの空気圧について質問です。 今日職場から帰ってくる途中家の近くのGSで空気圧を測定。規定 8 2023/07/18 22:06
- 統計学 2019年度の毎日朝6時に測定された東京都霞が関における窒素酸化物(Nox)濃度のモニタリングデータ 4 2023/04/24 16:45
- 体温計・血圧計 体温計のメーカー別の測定値の差異について。 オムロンとテルモの体温計を持ってますが、0.4度程測定地 2 2022/12/13 14:56
- 糖尿病・高血圧・成人病 簡易血糖値測定器の差異 1 2023/03/23 10:24
- 物理学 質量とは何か? 6 2023/04/17 20:44
- 工学 測温抵抗体 2つの温調で利用できますか? 1 2022/11/22 21:18
- 不動産業・賃貸業 地積測量図と確定測量図について 2 2022/10/12 21:17
- その他(住宅・住まい) 壁際(野外)での騒音計測について 1 2023/04/20 16:55
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
分からない課題で困っています...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
多様体の問題です。
-
内積の ・内積あるいはエルミー...
-
初めての複素関数の勉強
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
連続写像、逆写像 f:S→S′が連...
-
順序を保つ写像
-
有限アーベル群について
-
線形、非線型ってどういう意味...
-
集合と位相
-
コホモロジー複体の具体例
-
同型でないことを示す問題です。
-
四次対称群S4が可解群であるこ...
-
線形独立テストsa+tb=0を行うと...
-
至急お願いします!(線形代数)
-
Card(0,1)=Card[0,1]の証明
-
アーベル群の個数
-
NからN×Nの全単写
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
線形、非線型ってどういう意味...
-
内積の ・内積あるいはエルミー...
-
四次対称群S4が可解群であるこ...
-
「十人十色」ならば「百人百色...
-
微分方程式の線形、非線形の証明
-
全射・部分写像の個数の問題
-
初めての複素関数の勉強
-
写像がwell-definedであること...
-
射と写像の違い
-
NからN×Nの全単写
-
f^(-1)(f(P))=Pを示したい
-
基本的な事ですが…(単射、全射...
-
線形・非線形って何ですか?
-
有限アーベル群の基本定理の証...
-
行列の階数
-
代数学「素体」
-
この写像がwell definedである...
-
写像の基本定理:B1⊂B2⇒f~(B1)⊂...
-
族(数学)について
-
数学の集合について
おすすめ情報