نمایش مبدأ برای مجموعه بورل

در [[ریاضیات]]، '''مجموعه بورل''' {{انگلیسی|Borel Set}}، هر مجموعه در یک [[فضای توپولوژی]] است که بتوان آن را از طریق تعداد شمارایی از عملیات [[اجتماع (نظریه مجموعه‌ها)|اجتماع‌گیری]]، [[اشتراک (نظریه مجموعه‌ها)|اشتراک‌گیری]]، و متمم‌گیری نسبی [[مجموعه‌های باز]] (یا [[مجموعه بسته|بسته]]) بدست آورد. مجموعه‌های بورل را به نام [[امیل بورل]] نامگذاری کرده‌اند.

برای فضای توپولوژی <math>X</math>، گردایه تمام مجموعه‌های بورل روی <math>X</math>، تشکیل [[جبر سیگما|<math>\sigma</math>-جبر]] می‌دهند که به آن '''جبر بورل''' یا '''<math>\sigma</math>-جبر بورل''' نیز گفته می‌شود. جبر بورل روی <math>X</math>، کوچک‌ترین <math>\sigma</math>-جبری است که تمام مجموعه‌های باز (یا به‌طور معادل، تمام مجموعه‌های بسته) را در بر می‌گیرد.

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

در برخی از مباحث، مجموعه‌های بورل را به جای تولید از روی مجموعه‌های باز، از روی [[فضای فشرده|مجموعه‌های فشرده]] تعریف می‌کنند. هردو تعریف اخیر برای بسیاری از فضاهای خوش-رفتار، شامل تمام [[فضای هاسدورف|فضاهای هاسدورف]] <math>\sigma</math>-فشرده معادل اند، اما ممکن است این وضعیت برای فضاهای پاتولوژیک تر تفاوت کند.

== منابع ==
{{پانویس}}
{{چپ‌چین}}
* [[William Arveson]], ''An Invitation to C*-algebras'', Springer-Verlag, 1981. (See Chapter 3 for an excellent exposition of ''Polish topology'')
* [[Richard M. Dudley|Richard Dudley]], '' Real Analysis and Probability''. Wadsworth, Brooks and Cole, 1989
* {{cite book
|first=Paul R.
|last=Halmos
|author-link=Paul Halmos
|title=Measure theory
|url=https://archive.org/details/dli.ernet.233649
|publisher=D. van Nostrand Co
|year=1950}} 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)
{{پایان چپ‌چین}}
*{{یادکرد-ویکی|پیوند=https://en.wikipedia.org/w/index.php?title=Borel_set&oldid=1018110455|عنوان=Borel Set|زبان=انگلیسی|بازیابی=۲۶ مهٔ ۲۰۲۱}}

== پیوند به بیرون ==
{{چپ‌چین}}
* {{Springer|title=Borel set|id=p/b017120}}
* [https://web.archive.org/web/20130923121802/http://mws.cs.ru.nl/mwiki/prob_1.html#K12 Formal definition] of Borel Sets in the [[Mizar system]], and the [http://mmlquery.mizar.org/cgi-bin/mmlquery/emacs_search?input=(symbol+Borel_Sets+%7C+notation+%7C+constructor+%7C+occur+%7C+th)+ordered+by+number+of+ref list of theorems] {{Webarchive|url=https://web.archive.org/web/20200601022908/http://mmlquery.mizar.org/cgi-bin/mmlquery/emacs_search?input=(symbol+Borel_Sets+%7C+notation+%7C+constructor+%7C+occur+%7C+th)+ordered+by+number+of+ref |date=1 ژوئن 2020 }} that have been formally proved about it.
* {{MathWorld|title=Borel Set |id=BorelSet}}
{{پایان چپ‌چین}}

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