日本大百科全書(ニッポニカ) 「ボレル集合」の意味・わかりやすい解説
ボレル集合
ぼれるしゅうごう
Borel set
直線上の[a,b)の形の半開区間、また平面上の[a1,b1)×[a2,b2]の形の半開区間をIとする。このような半開区間からIの補集合Ic、および可算個のInから和集合∪Inをつくることにより得られる集合の全体をボレル集合族といい、それに属する集合をボレル集合という。
明らかに半開区間には、その長さまたは面積が決定できる。よって、それから生成される完全加法的な測度を考えると、ボレル集合は可測になり、測度が定義される。
なお開集合は半開区間の可算個の和集合として表されるから、ボレル集合は開集合から生成される完全加法的な集合族と定義してもよい。
以上の定義はn次元空間にもそのまま拡張される。
[洲之内治男]