, Measure Theory, D. 「極限との交換」 と 「の収束定理」 リーマンにおける 「極限との交換」 では、対象の関数の点列 が、ある共通の定数 K に対して、連続関数で一様収束 しなければならない。 これは任意のボレル集合体上で定義された測度が空間内の開集合（あるいは閉集合）上での値のみから一意に定まることによる。 」 証明： 定義：ｄ次元ボレル集合体 pp. この式は、例えば、 のときは、 となり、下図のように、２つの単関数 f,g の組み合わせによって、 領域の分割が生じる様子を示している。
10定理 1 ： を とする。 これにより、先のディリクレ関数（の値が０）のようないたるところで不連続な関数も出来る。
このボレル集合族を定義域とする測度は、ボレル測度と呼ばれ、一意に定まる測度となる。
ご教授いただけたら幸いです。
その結果として、測度という概念が必要になってくる。
ルベーグ測度上で見た通り、Rの部分集合の長さはその部分集合のindicator functionの広義積分によって定義されていた。 （証明略）図より自明 このエゴロフの定理を用いれば、 の基本性質である、「（単関数における）極限との順序の交換可能性」を示すことが出来る。 事象族とシグマ集合族 確率空間を構成する3つの文字の一つ、事象族について。
鈴木武・山田作太郎『 』内田老鶴圃、 1998 年、 pp. 14-15 「特に重要なのは E が d 次元ユークリッド空間 R d の場合である。 「絶対値」は、実数や複素数といった「数」に対して定義されます。
（証明略） この定理から、ここでの主目的であった、 の性質を確かめるための補助的な量 に対する、演算で一般的に成り立つ性質（線形性など）の導出と、 この補助的な量 が、の定義に一致する、即ち、 の関係を示すことが出来る。
以下、例を用いて、このほとんどいたるところの概念が、「上無視できる部分を除いて」の意味になっていることを示す。
測度の定義というのは、外測度で与えられていたんだけど P72 、その外測度を用いて可測であるということの定義が与えられていた P64。
ボレル集合およびそれに付随するは、においても基本的な役割を果たす。 対象となる集合 事象族として選ばれる集合族 離散集合 シグマ集合族 ボレル集合族 ボレル集合族は実数上の自然なシグマ集合族として重要で、これは確率変数が実数への可測関数として定義される事から、確率変数中心の定式化ではボレル集合族が主役となります。
4多くの well-behaved 空間、例えば任意のなどでは、この定義は先の（開集合を用いた）定義と同値になるが、そうでない空間では違ってくる。 A ベストアンサー 次元は本質的ではないです。
そこで、「に影響しない例外（今の場合、測度０の零集合）に関しては、無視する。
ちょっと誤解をうみやすい説明でしたね。
引用集 鈴木・山田『 』 p. 上で定義される実確率変数が与えられたとき、そのもまた定義によりこのボレル集合体上の測度になる。
そこでまずは、単関数の場合に限定し、更に、の性質を確かめるための補助的な量を別途定義した上で、先のの定義と関連付けて議論することにする。 （証明） 測度は、-スティルチェス測度の一種なので、 先の定理（-スティルチェス測度の一意性と完備化）と同様にして、成り立つ。
8Hazewinkel, Michiel, ed. この構成はに密接に関係している。
数直線全体の長さは無限大です。
2 が集合族に含まれて測度０： より成り立つ。
世論調査するときに、特定の年齢層ばかり集めてくれば（サンプルの間に相関がある）、でてきた結果もおかしいでしょう。
（途中計算略） ここで、この関数の点列 に単調収束定理 を適用すると、 の関係が成り立つことが分かる。 即ち、 この cos 関数のディリクレ関数の近似の様子を図示すると、以下の図のようになる。
11（証明略）先の各点収束での単調収束定理と同様• 又、の線形性（後述） と単調収束定理（後述） の関係を合わせれば、項別の関係が成り立つ。 何か本の書き方が悪いようだ。
無限回のintersectionも許す所が理論的に難しい所だけど、 感覚的にはある部分集合の、否定をとってもintersectionをとってもその集合族に属す、と思っておけば機械学習的には十分。
24-25 はきわめて有用。
そこで、ディリクレ関数のような不連続な関数のを可能にするでは、値域である縦軸の方向からみて、値域の逆の分割から関数のを考える。
その定理の証明で、「ベクトル」として性質を使わずに「ノルム」の性質だけを使って証明ができれば、 それは「ベクトル」に対する証明でなくて「ノルムを持つもの」に対する証明になります。
このAとgが同じものだと思っていた。
専門家でなく、また、結構ブランクがあるので、ちゃんとした確認までしてませんが、 （と言い訳させていただきますが） たぶん、あっているのではないでしょうか？ 1です。
, 1950• この２次元ボレル集合族を定義域とする測度は、２次元ボレル測度と呼ばれ、一意に定まる測度となる。
普通確率じゃない測度はで表す事が多い気がするので、 ここでもそうしよう。 実は、 A はであり、また解析集合全体の成す集合族において完全 complete である [ ]。
6このサイトは「自称専門家」がとんでもない回答をしたりしているのですから。
（証明略）• 確率変数は、このように、本来数学では扱えない「現象の集合」を、数の集合に変換するのに使うのです。
すると部分集合族の系列から新しいタイプの集合が次々と得られる。
とはいえ、これ１冊では、測度論全体を俯瞰できるようなボリュームの説明になっていないし、又、例も少なく、定義、定理、証明の厳密性にも欠ける印象を受けました。
（） 参考文献 [ ] An excellent exposition of the machinery of Polish topology is given in Chapter 3 of the following reference:• 4 によって、 R n において、 I n を含む が存在するが、これをボレル集合族、ボレル集合体、ボレル代数などとい によってあらわす。
区分的に連続ではない関数の代表例として、以下のようなディリクレ関数を考える。
このボレル集合体の上にはが定義できる。
この式は領域D内にある、特異点を含む単一曲線を示していると考えてください。
における ボレル集合（ボレルしゅうごう、: Borel set）は、の系（あるいは系）から回の、、を取ることによって得られる集合の総称である。
（この結果はを髣髴とさせる）。
あまり、触れないように避けたのですが、Rって、実数集合のことだったんですね。
否定が含まれるとは Fの否定もまたに含まれる、という事の意味を、先程のサイコロの例で考えてみよう。
。