他に大事な性質として、誘導外測度のカラテオドリ可測集合族は元の集合体を含むというものがあります。してめでたく有限加法的測度から外測度を経由して完備測度を構成できました。Lebesugue測度を作るのが大目標でした。上の方法で構成できるのでしょうか。できないことはない気がします。Lebesugue測度が持っていてほしい性質を調べるのは困難です。リーマン積分を再考し抽象化するというのがルベーグ積分という更なる大目標でしたので、区間の長さなど最低限測りたい集合がLebesugue測度にはあるのですが、どのような集合を測れるのかというのが上述したカラテオドリ可測という条件ではわかりにくいのです。区間たちの集合をどんどん拡張していくことで「わかりやすい集合族」の上にLebesugue測度は定義されてほしいのです。もとの集合体として、区間の直和からなる集合族がとれることにはとれますが、これの拡張がカラテオドリ可測集合になる保証は現状在りません。それを保証するべく測度の拡張というものを考えます。次回の記事で測度の拡張を扱います。お付き合いいただきありがとうございました。頼むからはてなブログはもっとmarkdown記法のときの数式を書きやすくしてほしい。\でエスケープが必要だったり不必要だったりに一切規則性がないわ、[]その他記号をmarkdownと認識するわで書きにくすぎる。何か良いCSSスタイルはあるのだろうか。PDFを添付できるようにしてほしい。ワークショップ...2016-12-08人工知能ブームという名のニイタカヤマをノボレ1208おはようございますまたはこんにちはまたはこんばんは。»プロフィールid:chijanカイヤンです。好きなものは下手の横好き。(1)注目記事...はてなブログをはじめよう!chijanさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。