مجموعه بورل

در ریاضیات، مجموعه بورل ، هر مجموعه در یک فضای توپولوژی است که بتوان آن را از طریق تعداد شمارایی از عملیات اجتماع‌گیری، اشتراک‌گیری، و متمم‌گیری نسبی مجموعه‌های باز (یا بسته) بدست آورد. مجموعه‌های بورل را به نام امیل بورل نامگذاری کرده‌اند.

برای فضای توپولوژی ، گردایه تمام مجموعه‌های بورل روی ، تشکیل -جبر می‌دهند که به آن جبر بورل یا -جبر بورل نیز گفته می‌شود. جبر بورل روی ، کوچک‌ترین -جبری است که تمام مجموعه‌های باز (یا به‌طور معادل، تمام مجموعه‌های بسته) را در بر می‌گیرد.

مجموعه‌های بورل در نظریه اندازه مهم اند، چرا که هر اندازه که روی مجموعه‌های باز یا روی هر مجموعه بسته از یک فضا تعریف گردد، لزوماً باید روی تمام مجموعه‌های بورل آن فضا نیز تعریف شوند. هر اندازه که روی مجموعه‌های بورل تعریف شود را اندازه بورل نامند. همچنین، مجموعه‌های بورل و سلسله مراتب بورل متناظر با آن‌ها، نقش بنیادینی در نظریه مجموعه‌های توصیفی دارند.

در برخی از مباحث، مجموعه‌های بورل را به جای تولید از روی مجموعه‌های باز، از روی مجموعه‌های فشرده تعریف می‌کنند. هردو تعریف اخیر برای بسیاری از فضاهای خوش-رفتار، شامل تمام فضاهای هاسدورف -فشرده معادل اند، اما ممکن است این وضعیت برای فضاهای پاتولوژیک تر تفاوت کند.

منابع 

 William Arveson, An Invitation to C*-algebras, Springer-Verlag, 1981. (See Chapter 3 for an excellent exposition of Polish topology)
 Richard Dudley,  Real Analysis and Probability. Wadsworth, Brooks and Cole, 1989
  See especially Sect. 51 "Borel sets and Baire sets".
 Halsey Royden, Real Analysis, Prentice Hall, 1988
 Alexander S. Kechris, Classical Descriptive Set Theory, Springer-Verlag, 1995 (Graduate texts in Math. , vol. 156)

پیوند به بیرون 

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

توپولوژی
نظریه توصیفی مجموعه‌ها