Mathematics
Limits and Continuity at a Point in Topological Spaces
Quick fact
In a topological space, a function is continuous at a point if every open set containing the function value contains the image of some open set containing the point—no distances, no epsilon-delta, yet it exactly captures the idea of 'no sudden jumps'.
Why this is interesting
You already know that a continuous function has no jumps—but what if we remove the ruler that measures distance? How can we still define limits and continuity?
Read the full explanation
Understanding Limits and Continuity at a Point in Topological Spaces
Think of the real line as a collection of neighborhoods: around each point, you can draw small intervals. In calculus, we say f(x) approaches L as x approaches c if, no matter how small an interval you choose around L, you can find a corresponding interval around c whose image falls inside it. Topology generalizes this by replacing intervals with open sets. In a topological space, a 'neighborhood' of a point is any open set containing it. The limit of a function at a point c is a value L such that for every neighborhood V of L, there is a neighborhood U of c whose image is contained in V. This definition does not require a notion of distance—just a collection of open sets. Continuity at a point is similar: f is continuous at c if for every neighborhood V of f(c), there is a neighborhood U of c with f(U) ⊆ V. This local idea extends to global continuity, meaning the preimage of every open set is open. The elegance is that the same definition works in discrete spaces, infinite-dimensional spaces, and even spaces where metrics are impossible.
A deeper explanation
The power of the topological definition lies in its abstraction. By stripping away distance, we focus on the fundamental structure: which sets are open. Open sets encode 'closeness'—two points are close if many open sets contain both. In a metric space, open balls generate the topology, and the topological definition reduces to the familiar epsilon-delta proof. The mechanism works because continuity is about preserving the relationship of proximity, not about preserving actual distances. In general topological spaces, sequences are often insufficient to capture convergence because a sequence may converge to multiple points or fail to converge even when the space is 'good' in some other sense. Instead, we use nets or filters, which generalize sequences. A net is a function from a directed set to the space, and a net converges to a point if it is eventually in every neighborhood of that point. This recovers a robust theory of convergence for all topological spaces. Continuity can also be characterized by net convergence: f is continuous at c iff for every net (xi) converging to c, the net (f(xi)) converges to f(c). This equivalence demonstrates that continuity is exactly the preservation of convergence. Understanding this concept is crucial because it reveals that the essence of continuity is structural, not metric, and it underpins advanced topics like compactness, connectedness, and homotopy.