実数にどうやって確率を割り当てるのか？

この記事では、連続確率変数を扱うときの基本となる ボレルσ-代数 を紹介します。

「ボレル集合」は難しく見えますが、本質は 実数直線上で確率を自然に定義できる“扱いやすい集合族” です。

🔍 ボレルσ-代数は、開区間から生成されるσ-代数 です。
サイコロやコインのような離散変数では不要ですが、連続変数では不可欠です。

1. なぜボレルσ-代数が必要か

結果が実数（$\mathbb{R}$）になるとき、 $\mathbb{R}$ のどの部分集合に確率を与えるか を決める必要があります。

たとえば直感的には、区間に確率を与えたいはずです。

• $[0,1]$ の長さは1 → 確率1
• $[0,0.5]$ の長さは0.5 → 確率0.5

さらに実際には、次のような集合も扱いたくなります。

• 開区間・閉区間・半開区間・無限区間
• 有理数集合や無理数集合

✅ 開区間から集合演算で作れる集合をまとめたものが、ボレルσ-代数です。

2. 定義と構成

ボレルσ-代数 $\mathcal{B}$ は

と定義されます。つまり、開区間を出発点に、それらを含む最小のσ-代数です。

σ-代数は次の演算に閉じています。

• 補集合
• 可算和
• 可算共通部分

これらを繰り返し適用して得られる集合全体がボレルσ-代数です。

3. ボレル集合の例

最初から含まれるもの

• 開区間 $(a,b)$

集合演算で作られるもの

• 閉区間 $[a,b]$
• 半開区間 $[a,b), (a,b]$
• 無限区間 $(-\infty,a], (b,\infty)$
• 有理数 $\mathbb{Q}$
• 無理数 $\mathbb{R}\setminus\mathbb{Q}$
• $[0,1]\setminus\mathbb{Q}$ のような集合

4. 確率論での位置づけ

確率測度は通常 $(\mathbb{R},\mathcal{B})$ 上で定義されます。

• $\Omega = \mathbb{R}$（標本空間）
• $\mathcal{F} = \mathcal{B}$（事象族）
• $P$（確率測度）

この枠組みにより、正規分布や一様分布などの連続分布を厳密に扱えます。

5. 直感：なぜ「全部の部分集合」ではだめなのか

$\mathbb{R}$ のすべての部分集合に確率（長さ）を一貫して定義することはできません（非可測集合の問題）。

そのため、数学的に矛盾のない集合族としてボレルσ-代数を採用します。

可視化デモ

以下のデモでは、開区間からどのように集合が作られ、どの集合がボレル集合に入るかを視覚的に確認できます。

What Are Borel Sets?

A visual journey through the construction of Borel σ-algebra

Previous

Next

Step 1: Start with Open Intervals

0

0.25

0.5

0.75

1

(0.2, 0.8)

Begin with simple open intervals like (0.2, 0.8)

Common Sets: Are They Borel?

Closed Interval

[a, b]

✓

Half-open Interval

[a, b)

✓

Single Point

{x}

✓

Rational Numbers

ℚ

✓

Irrational Numbers

ℝ \ ℚ

✓

Weird Set

Vitali Set

✗

Key Insight

Borel sets include virtually every set you can naturally describe or construct in real analysis. They're built systematically from open intervals using standard set operations.

The Big Picture

Borel sets are the collection of "well-behaved" sets on the real line. Starting from simple open intervals, we systematically build up a rich family of sets by taking complements, unions, and intersections. This gives us exactly the sets we need for probability theory on continuous spaces.

まとめ

• ボレルσ-代数は、開区間から生成される最小のσ-代数。
• 連続確率変数の確率を定義するための標準的な事象族。
• 「十分に広いが、矛盾は起こさない」集合のクラスとして機能する。