Continuity Set

A Borel set whose boundary has measure zero for a specified measure.

Version

v1 · 2026-09-28 · History

Domain-specific #

8692

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomains

Measure Theory, Probability Theory → Mathematics

Aliases

Measure continuity set, Μ-continuity set

Core Idea

A continuity set is a relation between a Borel subset, a topology, and a measure. Take the set's topological boundary—the points where membership can change under arbitrarily small neighborhood shifts—and ask whether that boundary has zero mass under the stated measure. For a signed measure, use its total variation so positive and negative contributions cannot cancel a charged boundary. The same subset may qualify under one measure and fail under another.

The condition matters in probability because weak convergence controls integrals of bounded continuous functions, while the indicator of a set jumps at its boundary. The Portmanteau theorem recovers convergence of set probabilities when the limiting measure assigns that jump set zero mass. This is not the 'continuity set' of a function, which names points where that function is continuous. Nor does a boundary-null set automatically provide any convergence without a weakly convergent measure sequence.

How would you explain it like I'm…

No Sand on the Line

Draw a chalk circle on the playground and sprinkle sand everywhere. Now look only at the chalk line itself: is any sand sitting right on the line? If no sand is on the line, the circle is a 'continuity set' for that sand. With a different sprinkle of sand, the very same circle might not be.

Clean-Edge Shapes

A continuity set is a region checked against a particular way of spreading 'weight' (like sand or chance) over a space. You look at the region's edge, the places where a tiny step could take you from inside to outside. If the edge carries no weight at all, the region counts as a continuity set for that spreading. The same region can pass for one spreading and fail for another. This matters when a series of spreadings settles toward a final one: the amount inside the region only settles properly if the final spreading puts nothing on the edge.

Measure-Zero Boundary Set

A continuity set is a set whose boundary gets zero weight under a chosen measure, the rule that says how much 'mass' each region has. The boundary is the set of points where every tiny neighborhood contains both members and non-members. Whether a set qualifies depends on the measure, not just the set: a disk is a continuity set for a smooth spread of mass, but not for a measure that puts a lump on its rim. This matters in probability because when a sequence of distributions approaches a limit in the weak sense, averages of smooth quantities converge, but the 'in or out' switch of a set jumps at its edge. If the limit puts no mass on that edge, the set's probabilities converge too. Do not confuse this with the set of points where a function is continuous.

 

A continuity set is defined relative to three things: a Borel set A, a topology (which fixes the boundary, closure minus interior), and a measure mu. A is a mu-continuity set when mu(boundary of A) = 0; for a signed measure one uses the total variation |mu|, so positive and negative charge on the boundary cannot cancel into a false zero. The notion is not intrinsic to A: the same set can be a continuity set for one measure and fail for another. Its main use is in weak convergence. Weak convergence of mu_n to mu only guarantees convergence of integrals of bounded continuous functions, and the indicator of A is discontinuous exactly on the boundary of A. The Portmanteau theorem says that if mu_n converges weakly to mu and A is a mu-continuity set, then mu_n(A) converges to mu(A). Being boundary-null gives nothing by itself; it only converts an existing weak convergence into convergence of set probabilities. The term is distinct from the 'set of continuity points' of a function.

Scope of Application

These uses require a Borel set, declared topology, and specified reference measure.

• Weak-convergence proofs. Use limiting-measure continuity sets for event-probability convergence.
• Atomic-measure checks. See whether endpoint atoms obstruct a proposed interval event.
• Signed-measure reasoning. Apply total variation rather than cancellation-prone signed mass.
• Measurable-set classification. Record topology and measure whenever calling a Borel set continuous.

Clarity

State the topology, Borel set, and reference measure before testing whether the set's boundary has zero mass; use total variation for a signed measure. Under Lebesgue probability on [0,1], [0,½] qualifies, but an atom at ½ makes it fail for that measure. A merely Borel set or a set with charged boundary is the near miss; the whole set need not be null. This is not the set of continuity points of a function, and Portmanteau additionally requires weak convergence.

Manages Complexity

The two-word name compresses Borel membership and a boundary-null test into a portable event condition. That lets probability proofs replace difficult indicator limits with a single boundary check. The compression hides dependence on topology, the limiting measure, and atoms; omitting any of these can reverse the classification.

Abstract Reasoning

1. Specify the topological space and Borel σ-algebra.
2. Choose the candidate Borel set and compute its topological boundary.
3. Specify the measure, or total variation for a signed measure.
4. Test whether the boundary has zero mass under that measure.
5. Invoke Portmanteau's set-probability conclusion only with a suitable weakly converging sequence and the limiting measure.

Knowledge Transfer

The boundary-null test transfers across Borel measures on topological spaces, but qualification must be recalculated when topology or measure changes. One interval's Lebesgue status does not carry to an atomic law, and a Portmanteau conclusion cannot be moved to sets with charged boundaries.

Relationships to Other Abstractions

Current abstraction Continuity Set Domain-specific

Parents (1) — more general patterns this builds on

• Continuity Set is a kind of Borel Set Domain-specific

  Every measure-continuity set is a Borel set with the additional condition that its boundary is null for a specified measure.

Hierarchy path (1) — routes to 1 parentless root

• Continuity Set → Borel Set → Set and Membership

Neighborhood in Abstraction Space

Continuity Set sits in a crowded region of the domain-specific corpus (33^rd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Formal Systems & Discrete Structures (18 abstractions)

Nearest neighbors

• Orthocompact Space — 0.91
• Mathematical Space — 0.89
• Perfect measure — 0.88
• Urysohn's lemma — 0.88
• Radon Measure — 0.87

Computed from structural-signature embeddings · 2026-10-08