3.1 Continuous Functions
3.1 Continuous Functions
We are familiar with the notion of continuous function in real analysis, in general, in a metric space. Recall Definition 2.1.7 of continuity of a function in a metric space. We know that a function is continuous on a set if it is continuous at all its points.
Now the question is, how can we define continuity of a function on a set in the absence of a distance function? In Subsection 2.1.2, we discussed that we need to define continuity of a function in terms of open sets in order to define it in a topological space. Let us see how this can be done. We recall the definition in a metric space below and try to see how we can generalize it to a topological space by bringing the open sets into picture.
Let (X, d) and (Y, ρ) be metric spaces and f : X → Y be a function. Then f is continuous if for every a ∈ X and ∈ > 0, there is δ > 0 such that ρ(f(x), f(a)) ∈ whenever d(x, a) δ.
That is,
f(Bd(a, δ)) ⊆ Bρ(f(a), ∈). (3.1)
Equivalently,
Bd(a, δ) ⊆ f−1(Bρ(f(a), ∈ )).
Thus, in order to have continuity of f, we must have Bd(a, δ) ⊆ f−1(Bρ(f(a), ∈ )). In other words, the set f−1(Bρ(f(a), ∈ )) must contain an open ball Bd(a, δ) containing a. That is, a is an interior point of the set f−1(Bρ(f(a), ∈ )). In fact, it can be easily shown that the set f−1(Bρ(f(a), ∈ )) is open in X. Note that the ball Bρ(f(a), ∈ ) is open in Y. Thus, if we have the condition that the “inverse image of every open subset of Y, under f, is open in X”, then we can conclude the continuity of f. This brings the open subsets of X and Y into picture.