Path Connectedness and Connectedness in Finite Topological Spaces

Section Path Connectedness and Connectedness in Finite Topological Spaces

In this section we will demonstrate that connectedness and path connectedness are equivalent concepts in finite topological spaces. In the following section, we prove that path connectedness and connectedness are not equivalent in infinite topological spaces. Throughout this section, we assume that

X

is a finite topological space. We begin with an example to motivate the main ideas.

🔗

Activity 19.5.

🔗

Let

X = {a, b, c, d}

and

τ = {\emptyset, {b}, {c}, {a, b}, {b, c}, {a, b, c}, {b, c, d}, X} .

Assume that

τ

is a topology on

X .

🔗

(a)

🔗

X

connected? Explain.

🔗

(b)

🔗

For each

x \in X,

let

U_{x}

be the intersection of all open sets that contain

x

(we call

U_{x}

a minimal neighborhood of

x

🔗

Definition 19.11.

🔗

For

x \in X,

the minimal neighborhood

U_{x}

x

is the intersection of all open sets that contain

x .

🔗

Find

U_{x}

for each

x \in X .

🔗

(c)

🔗

We will see that the minimal neighborhoods of

X

are path connected. Here we will illustrate with

U_{d} .

🔗

(i)

🔗

Let

p : [0, 1] \to X

be defined by

p (t) = {\begin{cases} b & if 0 \leq t < \frac{1}{2} \\ d & if \frac{1}{2} \leq t \leq 1. \end{cases}

🔗

Show that

p

is a path in

U_{d}

from

b

d .

🔗

(ii)

🔗

Let

p : [0, 1] \to X

be defined by

p (t) = {\begin{cases} c & if 0 \leq t < \frac{1}{2} \\ d & if \frac{1}{2} \leq t \leq 1. \end{cases}

🔗

Show that

p

is a path in

U_{d}

from

c

d .

🔗

(iii)

🔗

Explain why

U_{d}

is path connected.

🔗

The terminology in Definition 19.11 is apt. Since every neighborhood

N

of a point

x \in X

must contain an open set

O

with

x \in O,

it follows that

U_{x} \subseteq O \subseteq N .

So every neighborhood of

x \in X

has

U_{x}

as a subset. In addition, when

X

is finite, the set

U_{x}

is a finite intersection of open sets, so the sets

U_{x}

are open sets (this is not true in general in infinite topological spaces — you are asked to find an example in Exercise 1). In Activity 19.5 we saw that

U_{x}

was path connected for a particular

x

in one example. The next activity shows that this result is true in general in finite topological spaces.

🔗

Activity 19.6.

🔗

Let

X

be a finite topological space, and let

x \in X .

In this activity we demonstrate that

U_{x}

is path connected. Let

y \in U_{x}

and define

p : [0, 1] \to X

p (t) = {\begin{cases} y & if 0 \leq t < \frac{1}{2} \\ x & if \frac{1}{2} \leq t \leq 1. \end{cases}

🔗

To prove that

p

is continuous, let

O

be an open set in

X .

We either have

x \in O

x \notin O .

🔗

(a)

🔗

Suppose

x \in O .

Why must

y

also be in

O ?

What, then, is

p^{- 1} (O) ?

🔗

(b)

🔗

Now suppose

x \notin O .

There are two cases to consider.

🔗

(i)

🔗

What is

p^{- 1} (O)

y \in O ?

🔗

(ii)

🔗

What is

p^{- 1} (O)

y \notin O ?

🔗

(c)

🔗

Explain why

p

is a path from

y

x .

🔗

(d)

🔗

Show that we can find a path between any two points in

U_{x} .

Conclude that

U_{x}

is path connected.

🔗

The sets

U_{x}

collectively form the space

X,

and each of the

U_{x}

is a path connected subspace. So every point in

X

is contained in some neighborhood with a path connected subset containing

x .

Spaces with this property are called locally path connected.

🔗

Definition 19.12.

🔗

A topological space

(X, τ)

is locally path connected at

x

if every neighborhood of

x

contains a path connected open neighborhood with

x

as an element. The space

(X, τ)

is locally path connected if

X

is locally path connected at every point.

🔗

X

is a finite topological space, for any

x \in X

the set

U_{x}

is the smallest open set containing

x .

This means that any neighborhood of

N

x

will contain

U_{x}

as a subset. Thus, a finite topological space is locally path connected (this is not true in general of infinite topological spaces, see Exercise 4 for example). One consequence of a locally path connected space is the following.

🔗

Lemma 19.13.

🔗

A space

X

is locally path connected if and only if for every open set

O

X,

each path component of

O

is open in

X .

🔗

Proof.

🔗

Let

X

be a locally path connected topological space. We first show that for every open set

O

X,

every path component of

O

is open in

X .

Let

O

be an open set in

X

and let

P

be a path component of

O .

Let

p \in P .

Since

X

is locally path connected, the neighborhood

O

x

contains an open path connected neighborhood

Q

p .

The fact that

p \in Q

and

P

is a path component of

O

implies that

Q \subseteq P .

Thus,

P

contains a neighborhood of

p

and

P

is open.

🔗

Now we show that if for every open set

O

X

the path components of

O

are open in

X,

then

X

is locally path connected. Let

x \in X

and let

N

be a neighborhood of

x .

Then

N

contains an open set

U

with

x \in U .

Let

P

be the path component in

U

that contains

x .

Now

P

is path connected and, by hypothesis,

P

is open in

X

and so is an open path connected neighborhood of

x .

Thus,

N

contains a path connected neighborhood of

x

and

X

is locally path connected at every point.

🔗

Since

X

is open in

X

whenever

X

is a topological space, a natural corollary of Lemma 19.13 is the following.

🔗

Corollary 19.14.

🔗

Let

X

be a locally path connected topological space. Then every path component of

X

is open in

X .

🔗

Since there are only finitely many open sets in the finite space

X,

any arbitrary intersection of open sets in

X

just reduces to a finite intersection. So the intersection of any collection of open sets in

X

is again an open set in

X .

We will show that

X

is a union of path connected components, which will ultimately allow us to prove that if

X

is connected, then

X

is also path connected.

🔗

Activity 19.7.

🔗

Let

X

be a locally path connected topological space. In this activity we will prove that the components and path components of

X

are the same.

🔗

(a)

🔗

Let

x \in X,

and let

C

be the component of

X

containing

x

and

P

be the path component of

X

containing

x .

Show that

P \subseteq C .

🔗

(b)

🔗

To complete the proof that

P = C,

proceed by contradiction and assume that

C \neq P .

Let

Q

be the union of all path components of

X

that are different from

P

and that intersect

C .

Each such path component is connected, and is therefore a subset of

C .

C = P \cup Q .

Explain why

P

and

Q

form a separation of

C .

Hint.

How do we use the fact that

X

is locally path connected?

🔗

We can now complete our main result of this section.

🔗

Theorem 19.15.

🔗

Let

X

be a finite topological space. Then

X

is connected if and only if

X

is path connected.

🔗

Proof.

🔗

Let

X

be a finite topological space. Theorem 19.10 demonstrates that if

X

is path connected, then

X

is connected. For the reverse implication, assume that

X

is path connected. Then

X

is composed of a single path component,

P = X .

Since the path components and components of

X

are the same, we conclude that

P = X

is a component of

X

and that

X

is connected.

Topology: An Inquiry-Based Approach

Search Results:

Section Path Connectedness and Connectedness in Finite Topological Spaces

Activity 19.5.

(a)

(b)

Definition 19.11.

(c)

(i)

(ii)

(iii)

Activity 19.6.

(a)

(b)

(i)

(ii)

(c)

(d)

Definition 19.12.

Lemma 19.13.

Proof.

Corollary 19.14.

Activity 19.7.

(a)

(b)

Theorem 19.15.

Proof.