The smallest sigma-algebra on a topological space generated by its open sets (equivalently by its closed sets or by a base of the topology), whose elements are called Borel sets and which provides the minimal measurable structure compatible with the topology.

Principle

Take the topology's open sets and close under countable unions, countable intersections, and complements to obtain a sigma-algebra that reflects topological measurability while remaining the minimal such collection.

Demonstration

On the real line with its standard topology, the Borel sigma-algebra is generated by open intervals; it contains all intervals, countable unions and intersections thereof, and many more sets arising from countable operations.

Misapplication

Treating every Lebesgue measurable set as a Borel set; in fact, Lebesgue measurable sets form the completion of the Borel sigma-algebra with respect to Lebesgue measure and can strictly contain non-Borel measurable sets.

Consequence

Equipping a topological space with its Borel sigma-algebra allows definition of Borel measures and measurable maps continuous from the topology perspective, enabling integration and probabilistic modeling consistent with open‑set structure.

Reversal

The discrete sigma-algebra (power set) or the trivial sigma-algebra {∅, X}, which represent extremes: maximal measurability versus minimal nontrivial measurability, not reflecting the topology's finer structure.

Boundary

Defined relative to a given topology and valid on any topological space; it does not necessarily include all subsets (unless the topology is discrete) and may be strictly smaller than completed or generated sigma-algebras used for specific measures.

Semantic Tension

Often conflated with completions (e.g., Lebesgue sigma-algebra) or with arbitrary sigma-algebras; the tension is between topologically generated measurability (Borel) and measure-theoretic completions that add null-set modifications.

Synthesis

The Borel sigma-algebra is the minimal collection of sets closed under countable set operations that contains the topology's open sets, providing a canonical measurable structure tied to the space's topology.