The set of points each of whose every neighborhood intersects both a given subset of a topological space and its complement; equivalently the closure of the subset minus its interior.

Principle

A point belongs to the topological boundary of a set precisely when it cannot be separated from the set or its complement by any open neighborhood; the boundary captures the transition between membership and non‑membership.

Demonstration

In the real line with the usual topology, the boundary of the interval [0,1) is the two points {0,1} because every neighborhood of 0 or 1 meets both [0,1) and its complement, whereas interior points like 0.5 have neighborhoods contained in the set.

Misapplication

Treating the boundary as the same as the closure or the interior leads to errors: e.g., concluding that every point of the closure is a boundary point ignores interior points and yields incorrect topological invariants.

Consequence

Correct identification of boundaries allows correct statements about separation, compactness arguments, and the behavior of continuous maps at set edges; boundaries determine frontier phenomena like limit approaches and topological perimeter.

Reversal

The inversion considers points where some neighborhood is entirely contained in either the set or its complement; these points are precisely the interior points and exterior points rather than boundary points.

Boundary

Applies in any topological space; excludes metric-specific notions like distance-based 'epsilon-boundary' unless the topology derives from a metric. The concept is purely topological and does not require measures or local linear structure.

Semantic Tension

Often confused with closure and frontier in different disciplines: closure collects all adherent points, interior those with neighborhoods inside the set, while boundary is their set-theoretic difference; in analysis 'boundary' may also be used informally for limit sets or accumulation phenomena, which can blur meanings.

Synthesis

The topological boundary is the locus of points that mediate between a set and its complement: precisely those points that every neighborhood touches both sides, capturing the set's edge in purely topological terms.