MHB Carothers' Definitions: Neighborhoods, Open Sets, and Open Balls

Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
The Definition of a Neighborhood and the Definition of an Open Set ... Carothers, Chapters 3 & 4 ...

I am reading N. L. Carothers' book: "Real Analysis". ... ...

I am focused on Chapter 3: Metrics and Norms and Chapter 4: Open Sets and Closed Sets ... ...

I need help with an aspect of Carothers' definitions of open balls, neighborhoods and open sets ...Now ... on page 45 Carothers defines an open ball as follows:
View attachment 9213Then ... on page 46 Carothers defines a neighborhood as follows:
View attachment 9214
And then ... on page 51 Carothers defines an open set as follows:
View attachment 9215
Now my question is as follows:

When Carothers re-words his definition of an open set he says the following:

" ... ... In other words, $$U$$ is an open set if, given $$x \in U$$, there is some $$\epsilon \gt 0$$ such that $$B_\epsilon (x) \subset U $$ ... ... "
... BUT ... in order to stay exactly true to his definition of neighborhood shouldn't Carothers write something like ..." ... ... In other words, $$U$$ is an open set if, for each $$x \in U$$, $$U$$ contains a neighborhood $$N$$ of $$x$$ such that $$N$$ contains an open ball $$B_\epsilon (x)$$ ... ..."Can someone lease explain how, given his definition of neighborhood he arrives at the statement ...

" ... ... In other words, $$U$$ is an open set if, given $$x \in U$$, there is some $$\epsilon \gt 0$$ such that $$B_\epsilon (x) \subset U$$ ... ... "

=========================================================================================

Reflection ... maybe we can regard $$B_\epsilon (x)$$ as a neighborhood contained in U since $$B_{ \frac{ \epsilon }{ 2} }(x)$$ $$\subset$$ $$B_\epsilon (x)$$ ... is that correct?But then why doesn't Carothers just define a neighborhood of $$x$$ as an open ball about $$x$$ ... rather than a set containing an open ball about $$x$$?=========================================================================================

Hope someone can clarify ...

Peter
 

Attachments

  • Carothers - Defn of an Open Ball ... Page 45 ... .png
    Carothers - Defn of an Open Ball ... Page 45 ... .png
    12.7 KB · Views: 150
  • Carothers - Defn of a Neighborhood of x ... ... page 46 ... .png
    Carothers - Defn of a Neighborhood of x ... ... page 46 ... .png
    5.4 KB · Views: 128
  • Carothers - Defn of an Open Set ... Page 51 ... .png
    Carothers - Defn of an Open Set ... Page 51 ... .png
    4.7 KB · Views: 124
Last edited:
Physics news on Phys.org
Re: The Definition of a Neighborhood and the Definition of an Open Set ... Carothers, Chapters 3 & 4

Peter said:
... BUT ... in order to stay exactly true to his definition of neighborhood shouldn't Carothers write something like ..." ... ... In other words, $$U$$ is an open set if, for each $$x \in U$$, $$U$$ contains a neighborhood $$N$$ of $$x$$ such that $$N$$ contains an open ball $$B_\epsilon (x)$$ ... ..."
If $$U$$ contains a neighborhood $$N$$ of $$x$$ such that $$N$$ contains an open ball $$B_\epsilon (x)$$ then $x\in B_\epsilon (x) \subseteq N \subseteq U$, so it is certainly true that $B_\epsilon (x) \subseteq U$. Conversely, $B_\epsilon (x)$ is a neighbourhood of $x$, so if $B_\epsilon (x) \subseteq U$ then we can take $N = B_\epsilon (x)$. It will then be true that "$$U$$ contains a neighborhood $$N$$ of $$x$$ such that $$N$$ contains an open ball $$B_\epsilon (x)$$".

Notice that an open set containing $x$ is a neighbourhood of $x$. But a neighbourhood of $x$ need not be an open set contining $x$ (because a neighbourhood does not have to be open).
 
Re: The Definition of a Neighborhood and the Definition of an Open Set ... Carothers, Chapters 3 & 4

Opalg said:
If $$U$$ contains a neighborhood $$N$$ of $$x$$ such that $$N$$ contains an open ball $$B_\epsilon (x)$$ then $x\in B_\epsilon (x) \subseteq N \subseteq U$, so it is certainly true that $B_\epsilon (x) \subseteq U$. Conversely, $B_\epsilon (x)$ is a neighbourhood of $x$, so if $B_\epsilon (x) \subseteq U$ then we can take $N = B_\epsilon (x)$. It will then be true that "$$U$$ contains a neighborhood $$N$$ of $$x$$ such that $$N$$ contains an open ball $$B_\epsilon (x)$$".

Notice that an open set containing $x$ is a neighbourhood of $x$. But a neighbourhood of $x$ need not be an open set contining $x$ (because a neighbourhood does not have to be open).
Thanks for the help Opalg ...

Peter
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top