Is Neighborhood an open set?
$begingroup$
I am reading a book where it is written that ,
Let $(X,d)$ be any metric space $a in X$ then for any $r gt 0$ the set $S_r(a)$ ={$x in X$ : $d(x,a) lt r$} is called an open ball of radius $r$ centered at $a.$
&
Let $(X,d)$ be any metric space and $x in X$. A subset $N{(a)}$ of $X$ is called a neighborhood of a point $a$ , if there exist an open ball $S_r(a)$ centered at $a$ and contained in $N{(a)}$ i.e $S_r(a)$ $subseteq$ $N{(a)}$.
But in Rudin ,it is given that in a metric space $X$
a neighborhood of $a$ is a set $N_r(a)$ containing of all q such that $d(a,q) lt r$, for some $r gt 0$ ,the number $r$ is called the radius of $a$ .
According to the definition of Rudin every neighborhood is an open set.
But according to the text which I am reading, does it tell that every neighborhood is an open set?
general-topology
edited Jan 9 at 16:34
Thomas Shelby
2,585421
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
$endgroup$
add a comment |
$begingroup$
I am reading a book where it is written that ,
Let $(X,d)$ be any metric space $a in X$ then for any $r gt 0$ the set $S_r(a)$ ={$x in X$ : $d(x,a) lt r$} is called an open ball of radius $r$ centered at $a.$
&
Let $(X,d)$ be any metric space and $x in X$. A subset $N{(a)}$ of $X$ is called a neighborhood of a point $a$ , if there exist an open ball $S_r(a)$ centered at $a$ and contained in $N{(a)}$ i.e $S_r(a)$ $subseteq$ $N{(a)}$.
But in Rudin ,it is given that in a metric space $X$
a neighborhood of $a$ is a set $N_r(a)$ containing of all q such that $d(a,q) lt r$, for some $r gt 0$ ,the number $r$ is called the radius of $a$ .
According to the definition of Rudin every neighborhood is an open set.
But according to the text which I am reading, does it tell that every neighborhood is an open set?
general-topology
edited Jan 9 at 16:34
Thomas Shelby
2,585421
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
$endgroup$
1
$begingroup$
There tend to do be two definitions of "neighborhood of $a$." I believe the older older one has this connotation - just anyset containing an open ball around $a.$ The newer one, as per Rudin, has neighborhoods being open and containing $a.$ The older form has more use when discussing "continuity at a point," rather than continuity on a whole space. But it also turns out that continuitity at a point can be made into continuity on the whole space under a different topology, so it is less relevant. Hence, I believe Rudin's approach is now preferred.
$endgroup$
– Thomas Andrews
Jan 9 at 17:03
$begingroup$
I might be missing something but Rudin's definition, as stated in the question, does not require $N_r(a)$ to be open, but merely to contain $B(a, r)$.
$endgroup$
– Solomonoff's Secret
Jan 9 at 20:47
add a comment |
$begingroup$
I am reading a book where it is written that ,
Let $(X,d)$ be any metric space $a in X$ then for any $r gt 0$ the set $S_r(a)$ ={$x in X$ : $d(x,a) lt r$} is called an open ball of radius $r$ centered at $a.$
&
Let $(X,d)$ be any metric space and $x in X$. A subset $N{(a)}$ of $X$ is called a neighborhood of a point $a$ , if there exist an open ball $S_r(a)$ centered at $a$ and contained in $N{(a)}$ i.e $S_r(a)$ $subseteq$ $N{(a)}$.
But in Rudin ,it is given that in a metric space $X$
a neighborhood of $a$ is a set $N_r(a)$ containing of all q such that $d(a,q) lt r$, for some $r gt 0$ ,the number $r$ is called the radius of $a$ .
According to the definition of Rudin every neighborhood is an open set.
But according to the text which I am reading, does it tell that every neighborhood is an open set?
general-topology
edited Jan 9 at 16:34
Thomas Shelby
2,585421
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
$endgroup$
I am reading a book where it is written that ,
Let $(X,d)$ be any metric space $a in X$ then for any $r gt 0$ the set $S_r(a)$ ={$x in X$ : $d(x,a) lt r$} is called an open ball of radius $r$ centered at $a.$
&
Let $(X,d)$ be any metric space and $x in X$. A subset $N{(a)}$ of $X$ is called a neighborhood of a point $a$ , if there exist an open ball $S_r(a)$ centered at $a$ and contained in $N{(a)}$ i.e $S_r(a)$ $subseteq$ $N{(a)}$.
But in Rudin ,it is given that in a metric space $X$
a neighborhood of $a$ is a set $N_r(a)$ containing of all q such that $d(a,q) lt r$, for some $r gt 0$ ,the number $r$ is called the radius of $a$ .
According to the definition of Rudin every neighborhood is an open set.
But according to the text which I am reading, does it tell that every neighborhood is an open set?
general-topology
general-topology
edited Jan 9 at 16:34
Thomas Shelby
2,585421
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
edited Jan 9 at 16:34
Thomas Shelby
2,585421
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
edited Jan 9 at 16:34
Thomas Shelby
2,585421
edited Jan 9 at 16:34
Thomas Shelby
2,585421
edited Jan 9 at 16:34
Thomas Shelby
2,585421
2,585421
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
asked Jan 9 at 16:29
Supriyo BanerjeeSupriyo Banerjee
1166
1166
1
$begingroup$
There tend to do be two definitions of "neighborhood of $a$." I believe the older older one has this connotation - just anyset containing an open ball around $a.$ The newer one, as per Rudin, has neighborhoods being open and containing $a.$ The older form has more use when discussing "continuity at a point," rather than continuity on a whole space. But it also turns out that continuitity at a point can be made into continuity on the whole space under a different topology, so it is less relevant. Hence, I believe Rudin's approach is now preferred.
$endgroup$
– Thomas Andrews
Jan 9 at 17:03
$begingroup$
I might be missing something but Rudin's definition, as stated in the question, does not require $N_r(a)$ to be open, but merely to contain $B(a, r)$.
$endgroup$
– Solomonoff's Secret
Jan 9 at 20:47
add a comment |
1
$begingroup$
There tend to do be two definitions of "neighborhood of $a$." I believe the older older one has this connotation - just anyset containing an open ball around $a.$ The newer one, as per Rudin, has neighborhoods being open and containing $a.$ The older form has more use when discussing "continuity at a point," rather than continuity on a whole space. But it also turns out that continuitity at a point can be made into continuity on the whole space under a different topology, so it is less relevant. Hence, I believe Rudin's approach is now preferred.
$endgroup$
– Thomas Andrews
Jan 9 at 17:03
$begingroup$
I might be missing something but Rudin's definition, as stated in the question, does not require $N_r(a)$ to be open, but merely to contain $B(a, r)$.
$endgroup$
– Solomonoff's Secret
Jan 9 at 20:47
1
1
$begingroup$
There tend to do be two definitions of "neighborhood of $a$." I believe the older older one has this connotation - just anyset containing an open ball around $a.$ The newer one, as per Rudin, has neighborhoods being open and containing $a.$ The older form has more use when discussing "continuity at a point," rather than continuity on a whole space. But it also turns out that continuitity at a point can be made into continuity on the whole space under a different topology, so it is less relevant. Hence, I believe Rudin's approach is now preferred.
$endgroup$
– Thomas Andrews
Jan 9 at 17:03
$begingroup$
There tend to do be two definitions of "neighborhood of $a$." I believe the older older one has this connotation - just anyset containing an open ball around $a.$ The newer one, as per Rudin, has neighborhoods being open and containing $a.$ The older form has more use when discussing "continuity at a point," rather than continuity on a whole space. But it also turns out that continuitity at a point can be made into continuity on the whole space under a different topology, so it is less relevant. Hence, I believe Rudin's approach is now preferred.
$endgroup$
– Thomas Andrews
Jan 9 at 17:03
$begingroup$
I might be missing something but Rudin's definition, as stated in the question, does not require $N_r(a)$ to be open, but merely to contain $B(a, r)$.
$endgroup$
– Solomonoff's Secret
Jan 9 at 20:47
$begingroup$
I might be missing something but Rudin's definition, as stated in the question, does not require $N_r(a)$ to be open, but merely to contain $B(a, r)$.
$endgroup$
– Solomonoff's Secret
Jan 9 at 20:47
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
There are different notions of neighbourhoods floating around. Usually one calls Rudin's approach open neighbourhoods to avoid confusion. Whereas the one you just cited is just the ordinary neighbourhood definition (if people use open neighbourhoods instead of neighbourhoods always, they usually say that in the introduction). Generally speaking a neighbourhood of $x$ is just a set $X$ such that it contains an open set $U$ with $x in U$.
In particular every neighbourhood contains an open neighbourhood, and so passing from general neighbourhoods to open ones contained in them is not too hard. Passing to closed neighbourhoods in a given neighbourhood however is more difficult and is one of the reasons one likes to have a regular Hausdorff (also known as $T_3$) spaces.
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
$endgroup$
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
add a comment |
$begingroup$
Clearly not. Take $X = mathbb R$ with the usual metric, then $(-1, 1]$ contains a ball $(-1/2, 1/2)$ centered at $0$, so $(-1, 1]$ is a neighborhood of $0$, but itself is not open.
answered Jan 9 at 16:41
xbhxbh
6,1151522
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3067662%2fis-neighborhood-an-open-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
There are different notions of neighbourhoods floating around. Usually one calls Rudin's approach open neighbourhoods to avoid confusion. Whereas the one you just cited is just the ordinary neighbourhood definition (if people use open neighbourhoods instead of neighbourhoods always, they usually say that in the introduction). Generally speaking a neighbourhood of $x$ is just a set $X$ such that it contains an open set $U$ with $x in U$.
In particular every neighbourhood contains an open neighbourhood, and so passing from general neighbourhoods to open ones contained in them is not too hard. Passing to closed neighbourhoods in a given neighbourhood however is more difficult and is one of the reasons one likes to have a regular Hausdorff (also known as $T_3$) spaces.
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
$endgroup$
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
add a comment |
$begingroup$
There are different notions of neighbourhoods floating around. Usually one calls Rudin's approach open neighbourhoods to avoid confusion. Whereas the one you just cited is just the ordinary neighbourhood definition (if people use open neighbourhoods instead of neighbourhoods always, they usually say that in the introduction). Generally speaking a neighbourhood of $x$ is just a set $X$ such that it contains an open set $U$ with $x in U$.
In particular every neighbourhood contains an open neighbourhood, and so passing from general neighbourhoods to open ones contained in them is not too hard. Passing to closed neighbourhoods in a given neighbourhood however is more difficult and is one of the reasons one likes to have a regular Hausdorff (also known as $T_3$) spaces.
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
$endgroup$
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
add a comment |
$begingroup$
There are different notions of neighbourhoods floating around. Usually one calls Rudin's approach open neighbourhoods to avoid confusion. Whereas the one you just cited is just the ordinary neighbourhood definition (if people use open neighbourhoods instead of neighbourhoods always, they usually say that in the introduction). Generally speaking a neighbourhood of $x$ is just a set $X$ such that it contains an open set $U$ with $x in U$.
In particular every neighbourhood contains an open neighbourhood, and so passing from general neighbourhoods to open ones contained in them is not too hard. Passing to closed neighbourhoods in a given neighbourhood however is more difficult and is one of the reasons one likes to have a regular Hausdorff (also known as $T_3$) spaces.
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
$endgroup$
There are different notions of neighbourhoods floating around. Usually one calls Rudin's approach open neighbourhoods to avoid confusion. Whereas the one you just cited is just the ordinary neighbourhood definition (if people use open neighbourhoods instead of neighbourhoods always, they usually say that in the introduction). Generally speaking a neighbourhood of $x$ is just a set $X$ such that it contains an open set $U$ with $x in U$.
In particular every neighbourhood contains an open neighbourhood, and so passing from general neighbourhoods to open ones contained in them is not too hard. Passing to closed neighbourhoods in a given neighbourhood however is more difficult and is one of the reasons one likes to have a regular Hausdorff (also known as $T_3$) spaces.
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
edited Jan 9 at 16:54
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
answered Jan 9 at 16:37
EnkiduEnkidu
1,30119
1,30119
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
add a comment |
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
sorry meant $T_3$ or regular Hausdorff, also I already changed it. Thanks for the remark.
$endgroup$
– Enkidu
Jan 9 at 16:54
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
$begingroup$
I'm curious - if you define neighborhoods to necessarily be open, then what do you do once you get into the topic of filters and want to define the neighborhood filter? With the more permissive definition, you just say the set of all neighborhoods of $a$ forms a filter, end of story.
$endgroup$
– Daniel Schepler
Jan 9 at 23:38
add a comment |
$begingroup$
Clearly not. Take $X = mathbb R$ with the usual metric, then $(-1, 1]$ contains a ball $(-1/2, 1/2)$ centered at $0$, so $(-1, 1]$ is a neighborhood of $0$, but itself is not open.
answered Jan 9 at 16:41
xbhxbh
6,1151522
$endgroup$
add a comment |
$begingroup$
Clearly not. Take $X = mathbb R$ with the usual metric, then $(-1, 1]$ contains a ball $(-1/2, 1/2)$ centered at $0$, so $(-1, 1]$ is a neighborhood of $0$, but itself is not open.
answered Jan 9 at 16:41
xbhxbh
6,1151522
$endgroup$
add a comment |
$begingroup$
Clearly not. Take $X = mathbb R$ with the usual metric, then $(-1, 1]$ contains a ball $(-1/2, 1/2)$ centered at $0$, so $(-1, 1]$ is a neighborhood of $0$, but itself is not open.
answered Jan 9 at 16:41
xbhxbh
6,1151522
$endgroup$
Clearly not. Take $X = mathbb R$ with the usual metric, then $(-1, 1]$ contains a ball $(-1/2, 1/2)$ centered at $0$, so $(-1, 1]$ is a neighborhood of $0$, but itself is not open.
answered Jan 9 at 16:41
xbhxbh
6,1151522
answered Jan 9 at 16:41
xbhxbh
6,1151522
answered Jan 9 at 16:41
xbhxbh
6,1151522
answered Jan 9 at 16:41
xbhxbh
6,1151522
6,1151522
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3067662%2fis-neighborhood-an-open-set%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
There tend to do be two definitions of "neighborhood of $a$." I believe the older older one has this connotation - just anyset containing an open ball around $a.$ The newer one, as per Rudin, has neighborhoods being open and containing $a.$ The older form has more use when discussing "continuity at a point," rather than continuity on a whole space. But it also turns out that continuitity at a point can be made into continuity on the whole space under a different topology, so it is less relevant. Hence, I believe Rudin's approach is now preferred.
$endgroup$
– Thomas Andrews
Jan 9 at 17:03
$begingroup$
I might be missing something but Rudin's definition, as stated in the question, does not require $N_r(a)$ to be open, but merely to contain $B(a, r)$.
$endgroup$
– Solomonoff's Secret
Jan 9 at 20:47