Continuous Function - Continuous Functions Between Topological Spaces

Continuous Functions Between Topological Spaces

Another, more abstract notion of continuity is continuity of functions between topological spaces in which there generally is no formal notion of distance, as in the case of metric spaces. A topological space is a set X together with a topology on X which is a set of subsets of X satisfying a few requirements with respect to their unions and intersections that generalize the properties of the open balls in metric spaces while still allowing to talk about the neighbourhoods of a given point. The elements of a topology are called open subsets of X (with respect to the topology).

A function

between two topological spaces X and Y is continuous if for every open set V ⊆ Y, the inverse image

is an open subset of X. That is, f is a function between the sets X and Y (not on the elements of the topology T_X), but the continuity of f depends on the topologies used on X and Y.

This is equivalent to the condition that the preimages of the closed sets (which are the complements of the open subsets) in Y are closed in X.

An extreme example: if a set X is given the discrete topology (in which every subset is open), all functions

to any topological space T are continuous. On the other hand, if X is equipped with the indiscrete topology (in which the only open subsets are the empty set and X) and the space T set is at least T₀, then the only continuous functions are the constant functions. Conversely, any function whose range is indiscrete is continuous.