مجموعه بورل

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

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

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

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

منابع

الگو:پانویس الگو:چپ‌چین

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
الگو:Cite book 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)