Myujth

数学におけるボレル集合（ボレルしゅうごう、英: Borel set）は、位相空間の開集合系（あるいは閉集合系）から可算回の合併、交叉、差を取ることによって得られる集合の総称である。名称はエミール・ボレルに由来する。

位相空間 X に対し、X 上のボレル集合全体の成す族（ボレル集合族）は完全加法族（σ-集合体）を成し、ボレル集合体 (Borel algebra) あるいはボレル完全加法族 (Borel σ-algebra) と呼ばれる。X 上のボレル集合体は、全ての開集合を含む最小の完全加法族である（全ての閉集合を含む最小の完全加法族でもある）。

ボレル集合は測度論において重要である。これは任意のボレル集合体上で定義された測度が空間内の開集合（あるいは閉集合）上での値のみから一意に定まることによる。ボレル集合体上で定義された測度はボレル測度と呼ばれる。ボレル集合およびそれに付随するボレル階層は、記述集合論においても基本的な役割を果たす。

文脈によっては、位相空間の（開集合ではなくて）コンパクト集合の生成するものとしてボレル集合を定めることもある。多くの素性の良い (well-behaved) 空間、例えば任意の σ-コンパクトハウスドルフ空間などでは、この定義は先の（開集合を用いた）定義と同値になるが、そうでない病的な空間では違ってくる。

ボレル集合族の生成

ボレル集合族は最初に述べた意味で「生成的」に記述することができる。

任意の順序数 α に関する列 B^α を以下のような超限帰納法で定める。

• 初期条件として、B⁰ は X の開集合系とする。


• α が0より大きいときは、Bα:=⋃i=1n(Ai)c:n∈N,βi<α,Ai∈Bβidisplaystyle mathbf B ^alpha :=bigcup _i=1^n(A_i)^c:nin mathbb N ,beta _i<alpha ,A_iin mathbf B ^beta _i（ここで (A_i)^c は A_i の補集合）

このとき、ボレル集合族は最小の非可算順序数 ω₁ に対する B^ω₁ に他ならない。即ち、ボレル集合族は空間の開集合から、補集合を取る操作と可算合併を最小の非可算順序数回反復的に適用して「生成」することができる。

この構成はボレル階層に密接に関係している。

距離空間の場合は補集合を取らずに、可算合併と可算共通部分でボレル集合族を生成することも可能である（距離空間の閉集合は開集合の可算共通部分として表せることに注意）。

各ボレル集合 B に対しては、ある可算順序数 α_B が存在して、B は上記の操作を α_B 回反復適用して得られるが、B をボレル集合全てに渡って動かすとき α_B の可算順序数全てに渡る場合がある、よってボレル集合族全体を常に得るには最小の非可算順序数 ω₁ が必要になる（特に実直線のボレル集合族は可算順序数で表せない）。

例

一つの重要な例は、実数直線 R 上のボレル集合体 B(R) で、これは特に確率論において重要である。このボレル集合体の上にはボレル測度が定義できる。確率空間上で定義される実確率変数が与えられたとき、その確率分布もまた定義によりこのボレル集合体上の測度になる。

実数直線上のボレル集合体 B(R) は、R 内の任意の区間を含む最小の完全加法族である。

上記の超限帰納法による構成において、その各段階で得られた集合の数は、高々連続体濃度の冪であることが示せる。故に、ボレル集合の総数は ℵ1×2ℵ0=2ℵ0displaystyle aleph _1times 2^aleph _0,=2^aleph _0 以下である。

標準ボレル空間とクラトフスキーの定理

以下は、ボレル空間に関する数あるクラトフスキーの定理のうちの一つである。ボレル空間というのは、はっきり決まった完全加法族を備えた集合の別名であり、用語を流用してその完全加法族に属する元を、このボレル空間のボレル集合と呼ぶ。ボレル空間の全体は、ボレル空間の間のボレル可測写像を射として圏を成す。ここに、写像 f: X → Y がボレル可測であるというのは、Y の任意のボレル部分集合に対して逆像 f⁻¹(B) が X においてボレルとなることをいう。

定理 (Kuratowski).

X がポーランド空間、即ち X の位相を定める X 上の距離函数 d が存在して、X が d に関して完備な可分距離空間となるものとする。このとき、X はボレル空間として、(1) R, (2) Z, (3) 有限空間、の何れか一つに同型である。

（この結果はマハラムの定理を髣髴とさせる）。

ボレル空間として考えるとき、実数直線 R と、R に可算集合を合併させたものとは、互いに同型である。

標準ボレル空間 (standard Borel space) とはポーランド空間に付随するボレル空間を言う。

標準ボレル空間は（同型を除いて）その濃度によって決まること^[1]、および任意の非可算標準ボレル空間は連続体濃度を持つことに注意せよ。

ポーランド空間の部分集合に対して、ボレル集合はポーランド空間上で定義される連続単射の像として得られる集合として特徴づけることができる。しかし、単射でない連続写像の像は必ずしもボレルにならない（解析集合を参照）。

標準ボレル空間は、その上の任意の確率測度に関して標準確率空間となる。

非ボレル集合

実数直線の部分集合でボレル集合にならないものの例として、ルジンによるもの^[2] (see Sect. 62, pages 76–78) を述べる。この例は、存在を証明できるけれども構成的でない非可測集合の場合とは対照的である。

任意の無理数は連分数

x=a0+1a1+1a2+1a3+1⋱displaystyle x=a_0+cfrac 1a_1+cfrac 1a_2+cfrac 1a_3+cfrac 1ddots ,

として一意的に表すことができる。ここで a₀ は何らかの整数、残りの a_k は全て正整数である。連分数展開から得られる数列 (a₀, a₁, …) が

その無限部分列

(ak0,ak1,…)displaystyle (a_k_0,a_k_1,dots )

で各項が後続項の約数となっているようなものがとれる

という性質を持つような無理数全てからなる集合を A とすると、この A はボレルでない。実は、A は解析集合であり、また解析集合全体の成す集合族において完全 (complete) である^{[訳語疑問点]}。更なる詳細は記述集合論の項目および Kechris (1995)（特に Exercise (27.2); p. 209, Definition (22.9); p. 169, Exercise (3.4)(ii); p. 14）を参照。

非ボレル集合のもう一つの例は、無限パリティ函数（英語版）

f:0,1ω→0,1displaystyle fcolon 0,1^omega to 0,1

に関する逆像 f⁻¹(0) である。ただし、これが非ボレルであることの証明に選択公理を用いるので、構成的な例ではない。

関連項目

• ベール集合


• 筒集合体（英語版）


• ポーランド空間


• 記述集合論


• ボレル階層（英語版）

参考文献

An excellent exposition of the machinery of Polish topology is given in Chapter 3 of the following reference:

• 
  William Arveson, An Invitation to C*-algebras, Springer-Verlag, 1981


• 
  Richard Dudley, Real Analysis and Probability. Wadsworth, Brooks and Cole, 1989


• 
  Paul Halmos, Measure Theory, D.van Nostrand Co., 1950


• 
  Halsey Royden, Real Analysis, Prentice Hall, 1988


• 
  Alexander S. Kechris, Classical Descriptive Set Theory, Springer-Verlag, 1995 (Graduate texts in Math., vol. 156)

外部リンク

• 
  Hazewinkel, Michiel, ed. (2001), “Borel set”, Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4, http://eom.springer.de/p/b017120.htm 
  


• 
  Formal definition of Borel Sets in the Mizar system, and the list of theorems that have been formally proved about it.


• Weisstein, Eric W. "Borel Set". MathWorld（英語）..mw-parser-output cite.citationfont-style:inherit.mw-parser-output .citation qquotes:"""""""'""'".mw-parser-output .citation .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-ws-icon abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center.mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-maintdisplay:none;color:#33aa33;margin-left:0.3em.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em