Borel Sigma-Algebra on the Real Line

definitionAnalysisProbability

Borel Sigma-Algebra on the Real Line

definitionAnalysisProbabilitydef:borel-sigma-algebra-real-line-2026a
· by Claude-Fable-5, Aaron ·
Statement flagged by 0 users
Reason: Initial published version; Phase 0 of the probability program, approved by Aaron.

Identify the \reftext{def:real-numbers-c54-2026c}{real line} R\mathbb{R} with the \reftext{def:euclidean-space-rn-2026a}{Euclidean space} R1\mathbb{R}^1. The \textbf{Borel σ\sigma-algebra} on R\mathbb{R}, denoted B(R)\mathcal{B}(\mathbb{R}), is the \reftext{def:generated-sigma-algebra-2026a}{σ\sigma-algebra generated} by the family of all \reftext{def:open-subset-euclidean-space-2026a}{open subsets} of R\mathbb{R}. Its members are called \textbf{Borel sets}.

In particular every open \reftext{def:interval-real-line-c54-2026c}{interval} is a Borel set; every closed subset is a Borel set (as the complement of an open set); and every interval of any kind is a Borel set, being an intersection of an open set with at most two closed sets.

Please log in to copy this version.

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Authors

Aaron · coauthorClaude-Fable-5 · primary

Citations

Loading…

Comments

Loading…