Algebra Borel

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare

În matematică , algebra lui Borel , sau mai adecvat σ-algebra lui Borel , este cea mai mică σ-algebră de pe un set cu o structură topologică care este compatibilă cu topologia însăși, adică conține toate seturile deschise ale topologie .

Spațiu măsurabil astfel definit ia numele de spațiu Borelian, seturile conținute în σ-algebra Borel sunt numite seturi Borelian sau seturi Borel și o măsură definită pe un Borel σ-algebra se numește măsură Borel.

Noțiunea de algebră a lui Borel a fost introdusă de Émile Borel în domeniul numerelor reale și mai târziu generalizată în spații topologice arbitrare. [1]

Definiție

Este un spațiu topologic. Algebra lui Borel de în comparație cu este cea mai mică σ-algebră care conține topologia , adică conținând fiecare subset deschis de . [2]

Definiția dată este motivată de faptul că, întrucât intersecția unei familii de σ-algebre este încă o σ-algebră, dată fiind o colecție generică de seturi, se arată că există o σ-algebră mai mică care conține colecția. Mai exact, dacă este un set ne-gol și o familie de subseturi de , atunci este bine definit , cea mai mică σ-algebră de pe conținând . [2]

Având în vedere două spații topologice Și și o funcție continuă , atunci această funcție este măsurabilă în raport cu algebra sigma a lui Borel. Intr-adevar este cuprins în σ-algebra lui Borel pentru orice set deschis din . De sine este axa reală a planului complex , funcțiile măsurabile în raport cu algebra sigma a lui Borel se numesc funcții Borel . [3]

Orice măsură definită pe o algebră Borel se numește măsură Borel , iar unii autori necesită acest lucru pentru fiecare compact . O măsură caracterizată prin regularitate internă și externă se numește regulată , în timp ce dacă este caracterizată prin regularitate internă și este local finită, se numește măsură Radon .

Terminologie

În unele cazuri, termenul "algebra lui Borel" este folosit pentru a indica σ-algebra generată de compacte ale topologiei din . Deoarece într-un spațiu Hausdorff fiecare compact este închis, în acest caz α-algebra Borel definită în el este mai fină decât cea generată de compacte. Se pare că acestea coincid dacă punctul de pornire al spațiului topologic este un spațiu metrizabil separabil și compact local . Această a doua definiție a algebrei lui Borel este utilizată de exemplu pentru a construi măsura Haar .

Uneori, „algebra Borel” identifică și algebra mulțimilor generate de seturile deschise ale unui spațiu topologic, și nu σ-algebra. Cu toate acestea, acest termen este mai puțin comun. De exemplu, înțeleasă cu acest sens, algebra de numere reale a lui Borel, echipată cu topologia euclidiană obișnuită, este constituită pur și simplu din uniunile finite ale intervalelor.

Termenul „spațiu borelian” este, de asemenea, folosit uneori ca prescurtare pentru spațiul borelian standard. Un spațiu borelian se numește standard dacă spațiul topologic , care generează spațiul borelian în sine, este un spațiu polonez .

Principalele rezultate

În teoria categoriei , spațiile boreliene formează o categorie ale cărei morfisme sunt funcții măsurabile . Este o subcategorie a categoriei spațiilor măsurabile .

Două spații boreliene Și se spune că sunt izomorfe dacă există o funcție bijectiv astfel încât ambele sunt măsurabile.

Lema de măsurabilitate a funcțiilor continue

Lasa-i sa fie Și două spații topologice și sunt Și spațiile boreliene aferente. Dacă o cerere este continuă în ceea ce privește Și atunci este măsurabilă în raport cu Și .

Acest rezultat este important și este folosit, de exemplu, pentru a arăta că funcțiile continue pe un compact de ele pot fi integrate în ceea ce privește măsura Lebesgue sau, mai general, pentru compacte ale grupurilor topologice compacte local cu privire la măsura Haar . De asemenea, rezultă că, dacă două spații topologice sunt homeomorfe , atunci spațiile Boreliene aferente sunt izomorfe.

Teorema lui Kuratowski

Este un spațiu polonez , e relativul Borel σ-algebră. Apoi, spațiul borelian este izomorf la unul dintre următoarele seturi:

  • Ansamblul numerelor reale echipat cu algebra Borel obișnuită.
  • Setul de numere întregi echipate cu σ-algebră a setului de părți, care este pur și simplu Borel σ-algebră generată de topologia discretă.
  • Un set finit echipat cu σ-algebră a setului de părți, care este pur și simplu Borel σ-algebră generat de topologia discretă.

Această teoremă, importantă în multe domenii ale matematicii și în special în teoria descriptivă a mulțimilor și teoria probabilității , se datorează matematicianului polonez Kazimierz Kuratowski .

Construcție explicită a σ-algebrei lui Borel

În cazul în care este metrizabil (adică, în cazul în care topologia poate fi luată în considerare ca indusă de o distanță ), se poate da o descriere destul de explicită a σ-algebrei lui Borel.

Având o familie de subseturi de , se definesc singuri:

  • familia subseturilor de format din toate unirile numărabile de elemente ale .
  • familia subseturilor de format din toate intersecțiile numărabile ale elementelor din .

unde cu notația înseamnă pur și simplu .

Σ-algebra lui Borel este construită prin inducție transfinită prin definirea unei familii de mulțimi , parametrizat prin numere ordinale .

  • Baza inducției: este definită , topologia lui .
  • Pas inductiv: se disting cele două cazuri, cel în care este un ordinal limită și în care nu este. De sine nu este un ordinal limită, deci admite un ordinal care o precedă și apare:
De sine este un ordinal limită, apoi stabilim:

Cu aceste definiții, σ-algebra lui Borel este dată de , unde este este primul ordinal nenumărat. De fapt, într-un spațiu metric fiecare deschidere este uniunea celor închise conținute în el, din care rezultă cu ușurință asta este o σ-algebră. Proprietatea de minimalitate a (adică faptul că este cea mai mică σ-algebră care conține seturile deschise) rezultă în schimb dintr-o observație mai subtilă. Într-adevăr, este posibil să arătăm acest lucru pentru orice set borelian există un ordinal numărabil astfel încât . Cu toate acestea, pe măsură ce Borelianul se schimbă acest indice numărabil devine în mod arbitrar mare și se apropie de primul ordinal nenumărat.

Exemple

Majoritatea spațiilor măsurabile utilizate în analiza matematică sunt borelieni.

  • Este un set ne-gol și lăsați-i să fie topologie banală e topologia discretă a (aici și jos indică ansamblul părților din ). Și ele sunt, de asemenea, două σ-algebre, [4] și, prin urmare , σ-algebrele generate de acestea Și . Rezultă că acestea sunt algebre Borel și Și sunt cele mai simple exemple de spații boreliene.
  • Având în vedere orice set ne-gol , familia formată din toate subseturile de care au cardinalitate numărabilă sau a cărei complementaritate are cardinalitate numărabilă este o σ-algebră. Este imediat să verificăm dacă această σ-algebră este cea generată de topologia menționată mai sus și, prin urmare, este o algebră boreliană.
  • Algebra Borel utilizată cel mai frecvent în matematică este σ-algebra lui Borel pe numere reale (sau mai general pe spații euclidiene ). Aceasta este cea mai mică σ-algebră care conține toate intervalele reale și este utilizată în general pentru a defini funcții măsurabile și variabile aleatorii cu valoare reală, măsura Borel și în unele dintre posibilele construcții ale măsurii Lebesgue . Poate fi construit inductiv urmând procedura generală indicată mai jos. Se poate arăta că această σ-algebră are cardinalitatea continuumului și, prin urmare, doar câteva subseturi ale numerelor reale sunt borelieni. Cu toate acestea, toate subseturile din care apar cel mai des sunt borelieni, de exemplu:
    • Seturi numărabile, cum ar fi numere întregi , raționale sau subseturile lor.
    • Intervalele deschise și închise, dar și semi-deschise , iar semiliniile deschise și închise. De exemplu intervalul este borelian.
    • Uniunile și intersecțiile seturilor de tipuri descrise mai jos.
  • Un exemplu de σ-algebră neboreliană este dat de σ-algebra lui Lebesgue . Aceasta poate fi, de exemplu, definită ca completarea σ-algebrei boreliene a realilor în raport cu măsura Borel (finalizarea unei σ-algebre se obține prin adăugarea seturilor de măsură zero la seturile care o compun).

Notă

  1. ^ O scurtă descriere a dezvoltării istorice a teoriei măsurătorilor și a structurilor ei de seturi se găsește în Boyer, History of Mathematics , cap. 28.
  2. ^ a b W. Rudin , Pagina 12 .
  3. ^ W. Rudin , Pag. 13.
  4. ^ Aceste două σ-algebre sunt numite improprii .

Bibliografie

Elemente conexe

linkuri externe

Matematica Portalul de matematică : accesați intrările Wikipedia care se ocupă de matematică