集合論1

tags: probability-theory

集合

集合とは要素の集まりである。

\[ A = \left\{a, b, c\right\} \]

集合を大文字のアルファベットで記し、中括弧の中に要素を並べて定義する。要素はアルファベットとは限らず、数字、名前、住所、人など様々ある。

集合の四則演算

二つの集合\(A, B\)を考える。
\[ A = \left\{a, b, c\right\}, \,\, B = \left\{a, c, d\right\} \]

集合の加算

\[ A \cup B = \left\{a, b, c, d\right\} \]

集合の積算

\[ A \cap B = \left\{a, c\right\} \]

集合の減算

\[ A \backslash B = \left\{b\right\} \]

集合の除算

なし。

部分集合

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

\[ A = \left\{a, b, c\right\}, \,\, B = \left\{a, c\right\} \]

のとき、集合\(B\)は集合\(A\)の部分集合であるといい、

\[ B \subset A \]

と記す。

補集合

\(B\)の補集合とは、集合\(A\)の要素のうち、\(B\)に現れない要素からなる部分集合である。

\[ B^c = \left\{b\right\} \]

補集合は\(B^c\)\(B^C\)\(\overline{B}\)などと記す。

部分集合族

集合\(A\)の部分集合を考える。

\[ A_1 = \left\{a, b\right\}, A_2 = \left\{a, c\right\}, A_3 = \left\{b\right\} \]

これらはすべて、\(A\)の部分集合である。このとき、部分集合を要素にもつ集合

\[ \mathcal{A} = \left\{A_1, A_2, A_3\right\} \]

を部分集合族という。

加法族

集合\(A\)の部分集合族\(\mathcal{A}\)が、性質
\[ \forall i\neq j, A_i\cup A_j \in \mathcal{A} \]
を満たすとき、部分集合族\(\mathcal{A}\)には加法性が成り立つという。また、加法性が成り立つ集合族を加法族という。

加法族はさらに、任意の添え字列 \(i_1, i_2, \ldots, i_n, \ldots\) に対して、有限回の加法性
\[ \forall n<\infty, \bigcup_{j=1}^n A_{i_j} \in \mathcal{A} \]
のみが成り立つ有限加法族と、加算無限回の加法性
\[ \lim_{n\rightarrow\infty} \bigcup_{j=1}^n A_{i_j} \in \mathcal{A} \]
も成り立つ加算加法族がある。

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

加法族の性質

\(\mathcal{A}\)を加法族とする。このとき
\[ \forall i, {A_i}^c \in \mathcal{A} \]

\[ \forall i\neq j, A_i\cap A_j \in \mathcal{A} \]
が示せる。

集合論と確率論

確率論では、確率を評価できるすべての事象は、標本空間\(\mathcal{X}\)の部分集合である、と定める。そして、確率論における確率の加法法則は、個々の確率の和ではなく、対応するそれぞれの事象の和集合の確率となる。
\[ Pr\left[A_1\mbox{または}A_2\right] = Pr\left[A_1\cup A_2\right] \not\equiv Pr\left[A_1\right] + Pr\left[A_2\right] \]
和で計算できる場合もあるが、それが可能となるには部分集合同士が互いに疎でなければならない。

確率の乗法法則も、個々の確率の積ではなく、対応するそれぞれの事象の積集合の確率となる。
\[ Pr\left[A_1\mbox{かつ}A_2\right] = Pr\left[A_1\cap A_2\right] \not\equiv Pr\left[A_1\right]\times Pr\left[A_2\right] \]
積で計算できる場合もあるが、それが可能となるには部分集合同士が互いに独立でなければならない。

また、コルモゴロフの公理から、
\[ Pr\left[\overline{A}\right] = 1-Pr\left[A\right] \]
も示せる。

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