Skip to content

BorelσAlgebra

Stephen Crowley edited this page Nov 3, 2023 · 7 revisions

A Borel measure is a fundamental concept in measure theory, a branch of mathematics that studies notions of length, area, volume, and other size-related properties of sets. Here's a detailed explanation of Borel measure:

Definition:

A Borel measure is a function defined on the Borel σ-algebra of a topological space that satisfies certain properties. The Borel σ-algebra is generated by the open sets of the space, or equivalently, the closed sets, compact sets, or continuous real-valued functions.

  1. Measure: A measure $\mu$ on a σ-algebra $\mathcal{F}$ is a function $\mu: \mathcal{F} \rightarrow [0, \infty]$ that satisfies:

    • Non-negativity: $\mu(A) \geq 0$ for all $A$ in $\mathcal{F}$.
    • Null Empty Set: $\mu(\emptyset) = 0$.
    • Countable Additivity: If $(A_n)$ is a countable sequence of disjoint sets in $\mathcal{F}$, then $\mu(\bigcup_n A_n) = \sum_n \mu(A_n)$.
  2. Borel Measure: A Borel measure $\mu$ on a topological space $X$ is a measure defined on the Borel σ-algebra $\mathcal{B}(X)$ of $X$.

Properties:

  • Complete: A Borel measure is complete if every subset of a null set (a set of measure zero) is measurable, i.e., is in the Borel σ-algebra, and hence also has measure zero.
  • σ-finite: A Borel measure is σ-finite if the space can be covered by countably many sets of finite measure.
  • Regular: A Borel measure is regular if for every set in the Borel σ-algebra and every ε > 0, there is a compact set and an open set such that the compact set is contained in the set, the set is contained in the open set, and the measure of the open set minus the measure of the compact set is less than ε.

Examples:

  • Lebesgue Measure: The most common example of a Borel measure is the Lebesgue measure on the real line. The Lebesgue measure of an interval is its length, and it extends this notion to more complicated sets in a way that satisfies the properties of a measure.

  • Counting Measure: The counting measure assigns a measure of 1 to each singleton set and counts the number of points in any other set. It's a Borel measure on any topological space.

Applications:

Borel measures have numerous applications in mathematics and its various branches such as probability theory, real analysis, and functional analysis. They are fundamental in the theory of integration, which extends the classical notion of integration to more general settings.

In probability theory, for instance, the concept of a Borel measure is central to the definition of a probability measure, which assigns probabilities to events in a probability space.

Clone this wiki locally