MHB Understand Example 3.10 (b) Karl R. Stromberg, Chapter 3: Limits & Continuity

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I am reading Karl R. Stromberg's book: "An Introduction to Classical Real Analysis". ... ...

I am focused on Chapter 3: Limits and Continuity ... ...

I need help in order to fully understand Example 3.10 (b) on page 95 ... ... Example 3.10 (b) reads as follows:

View attachment 9208

My question is as follows:Stromberg says that if $$X$$ is any set and $$\mathscr{T}$$ is the family of all subsets of $$X$$ ...

... then $$\mathscr{T}$$ is nothing but the metric topology obtained from the discrete metric ...Can someone demonstrate/explain exactly how/why this is true ...?

Help will be much appreciated ...

Peter

===================================================================================Example 3.10 (b) above refers to Example 3.2 (a) ... ... so I am providing access to the same ... as follows:

View attachment 9212
It may help readers of the above post to have access to Stromberg's definition of a topological space ... so I am providing access to the same ... as follows:
View attachment 9209

Stromberg's definition of a topological space refers to Theorem 3.6 ... ... so I am providing access to the statement of the same ... as follows:
View attachment 9210

Stromberg's definition of a topological space also refers to Definition 3.3 ... ... so I am providing access to the same ... as follows:

View attachment 9211

Hope that helps ...

Peter
 

Attachments

  • Stromberg - Example 3.10 (b) ...  .png
    Stromberg - Example 3.10 (b) ... .png
    8 KB · Views: 127
  • Stromberg -  Defn 3.9  ... Defn of a Topological Space ... .png
    Stromberg - Defn 3.9 ... Defn of a Topological Space ... .png
    19.3 KB · Views: 145
  • Stromberg - Statement of Theorem 3.6 ... .png
    Stromberg - Statement of Theorem 3.6 ... .png
    5.2 KB · Views: 128
  • Stromberg -  Defn 3.3  ... Defn of a Ball of Radius r with Center a  ... .png
    Stromberg - Defn 3.3 ... Defn of a Ball of Radius r with Center a ... .png
    7.9 KB · Views: 132
  • Stromberg - Example 3.2 (a) ... Discrete Metric Space .png
    Stromberg - Example 3.2 (a) ... Discrete Metric Space .png
    14.6 KB · Views: 154
Physics news on Phys.org
Peter said:
Stromberg says that if $$X$$ is any set and $$\mathscr{T}$$ is the family of all subsets of $$X$$ ...

... then $$\mathscr{T}$$ is nothing but the metric topology obtained from the discrete metric ...Can someone demonstrate/explain exactly how/why this is true ...?
Let $\rho$ be the discrete metric on the set $X$, and let $x\in X$. Then $\rho(x,y) = 1$ whenever $y\ne x$. Therefore $B_1(x) = \{y\in X:\rho(x,y)<1\} = \{x\}$. In words, that says that $B_1(x)$ is an open set consisting of the single point $x$.

Now let $S$ be a subset of $X$. Then $$S = \bigcup_{x\in S}\{x\} = \bigcup_{x\in S}B_1(x)$$. That is a union of open sets and is therefore open. Again putting it in words, this says that in the discrete metric every subset of $X$ is open.

So the topology obtained from the discrete metric (which by definition is the family of all open subsets of $X$) is the family of all subsets of $X$.
 
Opalg said:
Let $\rho$ be the discrete metric on the set $X$, and let $x\in X$. Then $\rho(x,y) = 1$ whenever $y\ne x$. Therefore $B_1(x) = \{y\in X:\rho(x,y)<1\} = \{x\}$. In words, that says that $B_1(x)$ is an open set consisting of the single point $x$.

Now let $S$ be a subset of $X$. Then $$S = \bigcup_{x\in S}\{x\} = \bigcup_{x\in S}B_1(x)$$. That is a union of open sets and is therefore open. Again putting it in words, this says that in the discrete metric every subset of $X$ is open.

So the topology obtained from the discrete metric (which by definition is the family of all open subsets of $X$) is the family of all subsets of $X$.
Thanks for a most helpful post, Opalg ...

Just reflecting on what you have said ...

Thanks again ...

Peter
 
Back
Top