Przestrzeń mierzalna

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Przestrzeń mierzalnazbiór z określoną rodziną jego podzbiorów (tzw. \sigma-ciałem, \sigma-algebrą zbiorów) do której należy zbiór pusty oraz dopełnienia wszystkich jej elementów, a ponadto należy do niej suma dowolnej przeliczalnej rodziny jej elementów. Przestrzenie mierzalne / \sigma-ciała są obiektami studiowanymi w matematyce, przede wszystkim w teorii mnogości, teorii miary i rachunku prawdopodobieństwa (w ostatnich dwóch dziedzinach w powiązaniu z miarami).

Wprowadzenie[edytuj | edytuj kod]

Już we wczesnych latach rozwoju teorii miary i teorii mnogości zauważono, że przy założeniu aksjomatu wyboru istnieją zbiory na prostej rzeczywistej, dla których nie można określić miary Lebesgue'a; przykładem takiego zbioru jest zbiór Vitalego[1]. Później odkryto, że odrzucenie aksjomatu wyboru, a przyjęcie aksjomatu determinacji gwarantuje mierzalność wszystkich podzbiorów \mathbb R (twierdzenie Jana Mycielskiego i Stanisława Świerczkowskiego[2]). Stwierdzono również, że odpowiednie aksjomaty dużych liczb kardynalnych mogą dostarczyć sposobów mierzenia wszystkich podzbiorów prostej rzeczywistej.

Z różnych powodów tego typu dodatkowe założenia mogą nie być pożądane, należy wówczas zaakceptować, że mogą istnieć zbiory tak dziwne, że określenie ich wielkości (tzn. miary) nie jest możliwe. Na ogół takie zbiory nie pojawiają się „nieproszone” i w praktyce matematycznej wystarczające okazuje się ograniczenie do dobrych zbiorów, które powinny być zamknięte na jak najszerszą klasę podstawowych operacji. Za takie uważa się przekrój, sumę, czy też dopełnienie (z tego też powodu w teorii miary większy nacisk kładzie się na operację brania przeciwobrazu, który zachowuje te operacje w przeciwieństwie do operacji brania obrazu; zob. funkcja mierzalna). Z tego powodu zbiór skonstruowany z dobrych zbiorów za pomocą wspomnianych operacji również powinien być dobry. Zaakceptowanie poprzedniego stwierdzenia oznacza (na podstawie zasady indukcji) przyzwolenie na konstruowanie dobrych zbiorów ze skończonej liczby zbiorów połączonych wspomnianymi trzema działaniami. Rodziny tego rodzaju były badane, lecz rezultaty okazały się mało istotne. Dopiero rozszerzenie definicji poprzez zezwolenie na działania nieskończone, ale przeliczalne, doprowadziło do rozkwitu wspomnianych wyżej dziedzin. Pojęcie \sigma-ciała może być uznane za abstrakcyjną definicję opisanej wyżej rodziny dobrych zbiorów.

Definicje[edytuj | edytuj kod]

Jeżeli X jest ustalonym zbiorem, to rodzinę \mathcal{F} złożoną z jego podzbiorów nazywa się \sigma-ciałem (podzbiorów zbioru X), gdy \mathcal{F} jest przeliczalnie addytywne ciało podzbiorów zbioru X, tzn.

\varnothing \in \mathcal F;
A \in \mathcal F \Rightarrow X \setminus A \in \mathcal F;
A_1, A_2, \ldots \in \mathcal{F} \Rightarrow \bigcup_{i=1}^\infty A_i \in \mathcal F.

\sigma-ciała są też czasami nazywane \sigma-algebrami zbiorów. X z \sigma-ciałem \mathcal{F}, tzn. parę (X, \mathcal F) nazywa się przestrzenią mierzalną. Przestrzeń (mierzalna) z miarą to trójka uporządkowana (X, \mathcal F, \mu), gdzie (X, \mathcal F) jest przestrzenią mierzalną, a

\mu\colon \mathcal F \to [0, \infty]

jest (σ-addytywną) miarą. Przestrzeń (mierzalną) z miarą probabilistyczną nazywa się przestrzenią probabilistyczną.

Własności[edytuj | edytuj kod]

Ponieważ każde \sigma-ciało jest zamknięte na przekroje przeliczalne, to przekrój dowolnej rodziny \sigma-ciał na X jest znów \sigma-ciałem zbiorów. Dowodzi się, że dla dowolnej rodziny \mathcal A podzbiorów zbioru X istnieje najmniejsze \sigma-ciało zbiorów zawierające wszystkie zbiory tej rodziny. Nazywa się je \sigma-ciałem generowanym przez tę rodzinę i oznacza symbolem \sigma(\mathcal A) bądź \langle \mathcal A \rangle. Niech \mathcal F będzie \sigma-ciałem podzbiorów X, a \mathcal I będzie \sigma-ideałem podzbiorów X. Wówczas \sigma-ciałem generowanym przez \mathcal F \cup \mathcal I jest zbiór

\sigma(\mathcal F \cup \mathcal I) = \left\{A \triangle B\colon A \in \mathcal F \and B \in \mathcal I\right\},

gdzie \triangle oznacza operację różnicy symetrycznej.

Przykłady[edytuj | edytuj kod]

Niech X będzie niepustym zbiorem. Wówczas następujące rodziny podzbiorów X\sigma-ciałami na X:

  • rodzina złożona ze zbioru pustego i zbioru X – jest to najmniejsze \sigma-ciało określone na X,
  • rodzina wszystkich podzbiorów zbioru X – jest to z kolei największe \sigma-ciało na danym zbiorze,
  • rodzina \mathcal F_A = \{\varnothing, X, A, X \setminus A\} dla dowolnego A \subseteq X,
  • każde skończone ciało podzbiorów X.

Niech (X, \tau) będzie przestrzenią topologiczną. Wówczas elementy \sigma-ciała \sigma(\tau) nazywa się zbiorami borelowskimi przestrzeni X.

\sigma(\mathcal B \cup \mathcal L) = \{G \triangle L\colon L \in \mathcal L \and G jest zbiorem typu Gδ\} jest \sigma-ciałem zbiorów mierzalnych w sensie Lebesgue'a
oraz
\sigma(\mathcal B \cup \mathcal K) = \{O \triangle K\colon K \in \mathcal K \and O jest zbiorem otwartym\} jest \sigma-ciałem zbiorów o własności Baire'a.
Jeśli \lambda jest miarą Lebesgue'a na prostej, to (\mathbb R, \sigma(\mathcal B \cup \mathcal L), \lambda) jest przestrzenią z miarą.

Przypisy

  1. Giuseppe Vitali. Sul problema della misura dei gruppi di punti di una retta. „Bologna, Tip. Gamberini e Parmeggiani”, 1905. 
  2. Jan Mycielski, Stanisław Świerczkowski: On the Lebesgue measurability and the axiom of determinateness. „Fundamenta Mathematicae”. 54 (1964), s. 67-71.

Bibliografia[edytuj | edytuj kod]

Zobacz też[edytuj | edytuj kod]