Discrete metric and topology

Metric space definition

Let $X$ be a set. The discrete metric, or trivial metric is the metric defined as follows:

• $$d:X\times X\rightarrow \mathbb{R}_{\ge 0}$$ with $$d:(x,y)\mapsto\left\{\begin{array}{lr}0 & \text{if }x=y \\1 & \text{otherwise}\end{array}\right.$$

However any strictly positive value will do for the $x\ne y$ case. For example we could define $d$ as:

• $$d:(x,y)\mapsto\left\{\begin{array}{lr}0 & \text{if }x=y \\v & \text{otherwise}\end{array}\right.$$
  • Where $v$ is some arbitrary member of $\mathbb{R}_{> 0}$ - traditionally (as mentioned) $v=1$ is used.
    

Note: however in proofs we shall always use the case $v=1$ for simplicity

Open balls

The open balls of $X$ with the discrete topology are entirely $X$ or a single point, that is:

[Expand]

• $$B_r(x):=\{p\in X\vert\ d(x,p)<r\}=\left\{\begin{array}{lr}\{x\} & \text{for }r\le 1\\ X & \text{otherwise}\end{array}\right.$$

---

By definition $$B_r(x):=\{p\in X\vert\ d(x,p)<r\}$$ note that for:

• $r\le 1$ we have $B_r(x)=\{x\}$ as
  • $d(x,p)< r \le 1$ so $d(x,p)<1$ only when $x=p$, as if $x\ne p$ then $d(x,p)=1\not<1$ (proof by contrapositive)
• $r> 1$ we have $B_r(X)=X$ as
  • $d(x,y)\le 1$ always, so we have $\forall x,y\in X[d(x,y)\le 1< r]$ so $\forall x,y\in X[d(x,y)< r]$ thus the ball contains every point in $X$

This completes the proof

Open sets

The open sets of $(X,d_\text{discrete})$ consist of every subset of $X$ (the power set of $X$) - this is how the topology induced by the metric may be denoted $(X,\mathcal{P}(X))$

[Expand]

Every subset of $X$ is an open set

---

Let $A$ be a subset of $X$, we will show that $\forall x\in A\exists r>0[B_r(x)\subseteq A]$

---

TODO: Do this, it's easy enough see Metric space page for outline

---