Algebra sigma Borel

O algebră sigma Borel este o algebră sigma  minimală care conține toate submulțimile deschise ale unui spațiu topologic (conține și toate cele închise ). Aceste submulțimi se mai numesc și Borel.

Dacă nu se specifică altfel, linia reală acționează ca un spațiu topologic .

Algebra sigma Borel acționează de obicei ca o algebră sigma a evenimentelor aleatoare într-un spațiu de probabilitate . Sigma-algebra Borel pe o linie sau pe un segment conține multe mulțimi „simple”: toate intervalele, semiintervalele, segmentele și uniunile lor numărabile.

Numit după Émile Borel .

Concepte înrudite

Proprietăți

Un exemplu de set Lebesgue măsurabil, dar nu Borel

Orice subset al unui set de măsură zero este automat măsurabil Lebesgue, dar un astfel de subset nu trebuie să fie Borel.

Luați în considerare o funcție pe interval , unde  este scara Cantor . Această funcție este monotonă și continuă și, în consecință, este măsurabilă. Funcția inversă acesteia este, de asemenea, măsurabilă. Măsura imaginii setului Cantor este , deoarece măsura imaginii complementului său este . Deoarece măsura imaginii unui set Cantor este diferită de zero, este posibil să găsiți un set nemăsurabil în el . Apoi imaginea sa inversă va fi măsurabilă (din moment ce se află într-un set Cantor a cărui măsură este zero), dar nu și Borel (pentru că altfel ar fi măsurabilă ca imagine inversă a unui set Borel sub o mapare măsurabilă ).

Literatură