集合論2

tags: `probability-theory`

集合

以下、

x

は実数の値を取るものとする。集合とは範囲、または範囲の集まりである。

A = {x; a < x \leq b}

B = {x; a < x \leq b or c < x \leq d}

C = {x; a < x \leq b and c < x \leq d}

集合を大文字のアルファベットで記し、中括弧の中に範囲を記して定義する。範囲は等式あるいは不等式で表されるとする。

集合の四則演算

二つの集合

A, B

を考える。

A = {x; a < x \leq b}, B = {x; c < x \leq d}

集合の加算

A \cup B = {x; a < x \leq b or c < x \leq d}

集合の積算

A \cap B = {x; a < x \leq b and c < x \leq d}

集合の減算

A ∖ B = {x; a < x \leq b} \cap {x; x \leq or d < x}

集合の除算

なし。

部分集合

ある集合の、一部の範囲のみからなる集合を、部分集合という。たとえば

A = {x; a < x \leq b}, B = {x; c < x \leq d}

で、

a \leq c

かつ

d \leq b

のとき、集合

B

は集合

A

の部分集合であるといい

B \subseteq A

と記す。さらに

a < c

または

d < b

のとき、

B

は

A

と一致しないので

B \subset A

と記す。

補集合

B

の補集合とは、集合

A

の要素のうち、

B

に含まれない範囲からなる部分集合である。

B^{c} = {c; a < x \leq c or b < x \leq d}

補集合は

B^{c}

、

B^{C}

、

\overset{―}{B}

などと記す。

部分集合族

集合

A

の部分集合はたくさんある考える。

A_{1} = {x; a_{1} < x \leq b_{1}}, A_{2} = {x; a_{2} < x \leq b_{2}}, A_{3} = {x; a_{3} < x \leq b_{3}}

これらは

a_{1}, a_{2}, a_{c} \geq a

かつ

b_{1}, b_{2}, b_{c} \leq b

であればすべて、

A

の部分集合である。このとき、これらの部分集合を要素にもつ集合

A = {A_{1}, A_{2}, A_{3}}

を部分集合族という。

加法族

集合

A

の部分集合族

A

が、性質

\forall i \neq j, A_{i} \cup A_{j} \in A

を満たすとき、部分集合族

A

には加法性が成り立つという。また、加法性が成り立つ集合族を加法族という。

加法族はさらに、任意の添え字列

i_{1}, i_{2}, \dots, i_{n}, \dots

に対して、有限回の加法性

\forall n < \infty, ⋃_{j = 1}^{n} A_{i_{j}} \in A

のみが成り立つ有限加法族と、加算無限回の加法性

lim_{n \to \infty} ⋃_{j = 1}^{n} A_{i_{j}} \in A

も成り立つ加算加法族がある。

加法族が部分集合族である必要はないが、確率論ではそれ以外の一般の集合族が登場しないので、このように説明した。

加法族の性質

A

を加法族とする。このとき

\forall i, {A_{i}}^{c} \in A

や

\forall i \neq j, A_{i} \cap A_{j} \in A

が示せる。

集合論と確率論

確率論では、確率を評価できるすべての事象は、標本空間

X

の部分集合である、と定める。そして、確率論における確率の加法法則は、個々の確率の和ではなく、対応するそれぞれの事象の和集合の確率となる。

P r [A_{1} または A_{2}] = P r [A_{1} \cup A_{2}] ≢ P r [A_{1}] + P r [A_{2}]

和で計算できる場合もあるが、それが可能となるには部分集合同士が互いに疎でなければならない。

確率の乗法法則も、個々の確率の積ではなく、対応するそれぞれの事象の積集合の確率となる。

P r [A_{1} かつ A_{2}] = P r [A_{1} \cap A_{2}] ≢ P r [A_{1}] \times P r [A_{2}]

積で計算できる場合もあるが、それが可能となるには部分集合同士が互いに独立でなければならない。

また、コルモゴロフの公理から、

P r [\overset{―}{A}] = 1 - P r [A]

も示せる。

このように、確率の計算は、集合論に基づいて定義される。