# General Topology — Part 2

--

*ε-δ Definition of Continuous Function*

Remember the ε-δ definition of Continuous Function that you have learnt in your high school ?

A function f : R → R is said to be **continuous** at x0 ∈ R if

∀ε>0, ∃δ>0 such that|x−x0|<δ ⇒|f(x)−f(x0)|< ε

A function is **continuous** over an open interval if it is **continuous** at every point in the interval.

Take the function as shown in the above diagram. When x0 = 2 and ε = 0.5, there is a open interval (1.5, 2.5) for x such that|f(x) -f(2)| < 0.5. So, this function is continuous at 2.

Consider another function, Unit Step Function, which is a discontinuous one:

When x0 = 0 and ε = 0.1, ∀δ > 0, ∀x ∈ (-δ, δ)⇒|f(x) -f(0)| = 0.5 > ε. Thus, the continuous condition is not satisfied and function is discontinuous at x=0.

# Topological Definition of Continuous Function

We can generalise the definition of Continuous Function from Euclidean space R to the more general Topological space. To be more concrete, the condition “|x−x0|<δ ” can be generalised by considering the point x is within the open set defined for point x0. In terms of topology language, we can express the ε-δ definition of Continuous Function as follows:

Let (X, τX) be topological space for set X and (Y, τY) be topological space for set Y.

A mapping f : X → Y is said to be **Continuous** if

∀oY ∈ τY, f-1(oY) ∈ τX

In topological terms, “mapping” instead of “function” will be used. Also, there is no distance concept.

Let’s prove that both definitions are equivalent. In this case, τX and τY will be the standard topology on R: τ ={o|o = ∪(a,b)}. (Please refer to my previous article to recap the definition of topological space.)

**Proof-**

From ε-δ definition to Topological definition:

∀oY ∈ τY

⇒ oY = ∪(a,b) **[ Open set is a union of bases which are (a,b) for R ]**

⇒ f-1(oY) = f-1(∪(a,b)) = ∪f-1((a,b))

⇒ f-1(oY) = ∪f-1({y| |y-y0| < ε where ε=(b-a)/2>0 and y0=(a+b)/2})

if f-1(oY) ≠ ø

⇒ f-1(oY) = ∪{ x| |x-x0| < δ ⇒ |f(x)−f(x0)| < ε where f(x0)=y0} **[ By ε-δ definition ]**

⇒ f-1(oY) = ∪(x0-δ, x0+δ) ∈ τX

if f-1(oY) = ø

⇒ f-1(oY) ∈ τX **[By T1, ø is an open set]**

From Topological definition to ε-δ definition:

∀ε>0, |f(x)−f(x0)|< ε, let oY =(f(x0)-ε, f(x0)+ε)

⇒ oY ∈ τY

⇒ ∃oX ∈ τX s.t. x0 ∈ oX and oX= f-1(oY)) **[ By Topological definition ]**

⇒ ∃oX ∈ τX s.t. x0 ∈ oX and oX= ∪(a[i],b[i])) **[ Open set is a union of bases which is (a,b) for R ]**

⇒ ∃(a, b) ⊆ ∪(a[i],b[i])) s.t. x0 ∈ (a, b) ⊆ oX

⇒ ∃δ=min(x0-a, b-x0)>0 s.t. x ∈ (x0-δ, x0+δ) ⊆ (a, b)

To test the continuity of a map from a topological space on X to that on Y, sometimes it will be more easy to use basis or subbasis of topological space on Y.

Let’s prove that the following statements are equivalent:

1. A mapping f : X → Y is continuous.

2. Inverse image of every basis element of τY is open.

3. Inverse image of every subbasis element of τY is open.

**Proof-**

Let BX be Bases and SX be Subbasis for topology τX

Let BY be Bases and SY be Subbasis for topology τY

1 ⇒ 2

∀b ∈ BY

⇒ b ∈ τY **[ Open set is a union of bases ]**

⇒ f-1(b) ∈ τX

2 ⇒ 1

∀o ∈ τY

⇒ o = ∪b[i] where b[i] ∈ BY

⇒ f-1(o) = f-1(∪b[i]) = ∪f-1(b[i])

⇒ f-1(o) ∈ τX **[ By f-1(b[i]) ∈ τX and topology axiom T2 ]**

2 ⇒ 3

∀s ∈ SY

⇒ s ∈ BY **[ Basis is a finite intersection of subbases ]**

⇒ f-1(s) ∈ τX

3 ⇒ 2

∀b ∈ BY

⇒ b = ∩s[i] where s[i] ∈ SY

⇒ f-1(b) = f-1(∩s[i]) = ∩f-1(s[i])

⇒ f-1(b) ∈ τX **[ By f-1(s[i]) ∈ τX and topology axiom T3 ]**

Consider the Unit Step Function f:R→R again in the previous example. Now, f-1((0.4, 0.6)) = {0}, (0.4, 0.6) is an open set in R but {0} is not an open set in R. Thus, f is not a continuous mapping.

The continuity of mapping f:X→Y depends on the topology defined on X and Y. The following example shows that when the topology changes, the mapping can be changed from a continuous one into a discontinuous one.

Let τ = {o|o = ∪(a,b)} and τ’ = {o|o = ∪[a,b)}. Both (R, τ) and (R, τ’) are topological spaces for R. τ is called **Standard Topology** on R and τ’ is called **Lower Limit Topology** on R.

Consider the following 2 identity functions f & g:

f:(R, τ)→(R, τ’) f(x) = x

g:(R, τ’)→(R, τ) g(x) = x

∀[a,b) ∈ τ’, f-1([a,b))=[a, b) ∉ τ **[ By definition of τ ]**

So, f is not a continuous mapping.

∀(a,b) ∈ τ, g-1((a,b))=(a,b)=∪[a’,b) where a’= a+(b-a)/(n+1) as n→∞

b-a’=b-[a+(b-a)/(n+1)]=(b-a)(1–1/(n+1)) > 0 **[ By n>0 and b > a ]**

⇒ [a’,b) ∈ τ’

⇒ (a,b)=∪[a’,b) ∈ τ’ **[ By topology axiom T2]**

So, g is a continuous mapping.

# Conclusion

In this post, we have studied the definition of continuous mapping between Topological Spaces and how this definition is generalised from ε-δ definition.

In the coming next 2 articles, I will show you the concept of **Closure** and one application of topology theory for constructing continuous function — **Urysohn’s lemma**.

# Your feedback is highly appreciated and will help me to continue my articles.

# Please give this post a clap if you like this post. Thanks!!

Reference:

“https://en.wikipedia.org/wiki/Topological_space”

“https://en.wikipedia.org/wiki/Open_set”

“https://en.wikipedia.org/wiki/Base_(topology)”

“https://en.wikipedia.org/wiki/Subbase”

“https://en.wikipedia.org/wiki/Subspace_topology”

“https://en.wikipedia.org/wiki/Continuous_function”

“https://en.wikipedia.org/wiki/Lower_limit_topology”

“Topology (2nd edition) by James Munkres”