Connectedness of Points is Equivalence Relation

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau}$ be a topological space.

Let $a \sim b $ denote the relation:

$a \sim b \iff a$ is connected to $b$

where $a, b \in S$.


Then $\sim$ is an equivalence relation.


Proof

Checking in turn each of the criteria for equivalence:


Reflexivity

We have that $\set a \subseteq S$ is a (degenerate) connected set of $S$.

So $a$ is in the same connected set as itself and so $a \sim a$.

So $\sim$ has been shown to be reflexive.

$\Box$


Symmetry

If $x \sim y$ then $x$ is in the same connected set as $y$ by definition.

Trivially it follows that $y$ is in the same connected set as $x$ and so $y \sim x$.

So $\sim$ has been shown to be symmetric.

$\Box$


Transitivity

Let $x \sim y$ and $y \sim z$.

Then by definition:

$x$ is in the same connected set as $y$
$y$ is in the same connected set as $z$

By Union of Connected Sets with Non-Empty Intersections is Connected it follows that $x$ is in the same connected set as $z$.

Thus so $x \sim z$.

So $\sim$ has been shown to be transitive.

$\Box$


$\sim$ has been shown to be reflexive, symmetric and transitive.

Hence by definition it is an equivalence relation.

$\blacksquare$


Sources