0
$\begingroup$

Consider the two point set $X=\{a,b\}$ The possible topologies that can be found from X as follows. $$\begin{eqnarray} \tau_1&=&\{X,\emptyset\} &\text{Indiscrete topology} \\ \tau_2&=&\{X,\emptyset,{a}\} \\ \tau_3&=&\{X,\emptyset,{b}\} \\ \tau_4&=&\{X,\emptyset,{a},{b}\} &\text{Discrete topology} \end{eqnarray}$$

It is given that the trivial topology is Pseudometric and Discrete topology is a metric space.Also, $\tau_2$ and $\tau_3$ are known as Sierpinski space. Can you please explain me the above facts?

Further,I know that $\tau_2$ and $\tau_3$ are not $T_1$. But can they be Pseudo metric?

$\endgroup$
  • 3
    $\begingroup$ I’ve answered the last question, but I’m not really sure what you want explained about the rest. Those topologies aren’t quite right: everywhere that you have $a$ or $b$, you should have $\{a\}$ or $\{b\}$. $\endgroup$ – Brian M. Scott Nov 13 '12 at 1:13
1
$\begingroup$

No, $\tau_2$ and $\tau_3$ are not pseudometrizable. Suppose that $d$ is a pseudometric generating $\tau_2$. Since $a\in\{a\}\in\tau_2$, there must be some $r>0$ such that $a\in B_d(a,r)\subseteq\{a\}$, where $$B_d(a,r)=\{x:d(a,x)<r\}$$ is as usual the open ball of radius $r$ centred at $a$. Note that $b\notin B_d(a,r)$, so $d(a,b)\ge r$. A pseudometric is symmetric, so $d(b,a)=d(a,b)\ge r$, and therefore $a\notin B_d(b,r)$. Thus, $b$ has an open neighborhood that does not contain $a$. But this is false: the only open set containing $b$ is $\{a,b\}$. Thus, $\tau_2$ cannot in fact be generated by any pseudometric.

The indiscrete topology on any set $X$ is generated by the pseudometric $d$ such that $d(x,y)=0$ for all $x,y\in X$; I’ll leave it to you to check that this really is a pseudometric.

The discrete topology on any set $X$ is generated by the metric $d$ defined by

$$d(x,y)=\begin{cases}0,&\text{if }x=y\\1,&\text{if }x\ne y\;;\end{cases}$$

you should not have much trouble verifying that this really is a metric.

$\endgroup$
  • $\begingroup$ @ Brian,thanks Brian for the answer.Also I want to know how can be the trivial topology is Pseudometric and Discrete topology is a metric space?Can you please explain me? $\endgroup$ – ccc Nov 13 '12 at 1:13
  • 1
    $\begingroup$ @ccc: I’ll add those to my answer. $\endgroup$ – Brian M. Scott Nov 13 '12 at 1:17
  • $\begingroup$ @ccc: You’re welcome! $\endgroup$ – Brian M. Scott Nov 13 '12 at 1:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.