The boundary ∂A of a subset A of a topological space X is the set of points whose every neighborhood intersects both A and its complement; equivalently ∂A = cl(A) \ int(A).

Principle

Captures the interface between a set and its complement; boundary points are neither interior to A nor interior to its complement and the boundary operator yields closed sets and behaves predictably under unions and intersections.

Demonstration

In R, the boundary of the open interval (0,1) is {0,1}; for A = Q ⊆ R the boundary is R because every interval contains both rational and irrational points.

Misapplication

Treating boundary as the same as closure or derived set can mislead: ∂A need not equal A' (derived set) and cl(A) may include isolated points that are not boundary points when they are interior to cl(A).

Consequence

Proper use characterizes separation properties, supports definitions of nowhere dense and meager sets, and shows that ∂A is closed and empty iff A is clopen (both open and closed).

Reversal

The reversal focuses on interior: int(A) is the complement in A of points that belong to ∂A; taking complements swaps roles of boundary and boundary of complement since ∂(X \ A) = ∂A.

Boundary

Defined in any topological space; special cases include trivial topologies where boundaries may coincide with whole space or be empty; notion is not purely metric and requires only topology.

Semantic Tension

Tension exists between boundary, closure, and derived set: closure concerns all limit points and original points, derived set concerns accumulation only, while boundary records the mutual adjacency to complement; these sometimes coincide but are conceptually distinct.

Synthesis

The boundary of A is the closed interface between A and its complement, expressible as cl(A) \ int(A), fundamental for expressing edge phenomena, separation, and density-related properties in topology.