aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--analysis_3.tex16
1 files changed, 16 insertions, 0 deletions
diff --git a/analysis_3.tex b/analysis_3.tex
index ab5a5e8..fac49f3 100644
--- a/analysis_3.tex
+++ b/analysis_3.tex
@@ -39,3 +39,19 @@ Sei $\emptyset \neq \mathcal{E} \subseteq \mathcal{P}(X)$, dann gilt:
\item $\mathcal{E}$ ist $\sigma$-Algebra $\Rightarrow \mathcal{E} = \sigma(\mathcal{E})$
\item $\mathcal{E} \subseteq \mathcal{E}' \subseteq \mathcal{P}(X) \Rightarrow \sigma(\mathcal{E}) \subseteq \sigma(\mathcal{E}')$
\end{enumerate}
+
+\subsection*{Borelsche $\sigma$-Algebra}
+
+Sei $X$ ein metrischer Raum und $\mathcal{O}(X)$ das System der in $X$ offenen Mengen, dann ist $\mathcal{B}(X) := \sigma(\mathcal{O}(X))$ die Borelsche $\sigma$-Algebra auf $X$.
+
+Im Speziellen wird $\mathcal{B}_m := \mathcal{B}(\mathbb{R}^m)$ gesetzt.
+
+$\mathcal{B}_m$ enthält insb. alle offenen und abgeschlossenen Mengen in $\mathbb{R}^m$ sowie deren abzählbaren Vereinigungen und Durchschnitte.
+
+\subsubsection*{Charakterisierung}
+
+\vspace*{-4mm}
+\begin{align*}
+ \mathcal{B}_m &= \sigma(\{(a, b) | a, b \in \mathbb{Q}^m, a \leq b\}) \\
+ &= \sigma(\{(a, b] | a, b \in \mathbb{Q}^m, a \leq b\})
+\end{align*}