Radius of an Open Ball inside the Intersection of an Open, Dense Subset and the Ball Around a Point in the...











up vote
0
down vote

favorite












Let $I subseteq mathbf{R} $ be dense and open.



Because $I$ is dense, for $x in mathbf{R}$,
$$exists yin I:y=I cap B_{epsilon}(x)$$



Because $I$ and $B_{epsilon}(x)$ are open, $I cap B_{epsilon}(x)$ is also open and thus $exists delta, text{as a function of y, }delta(y) text{, such that}$:
$$B_{delta}(y) subseteq I cap B_{epsilon}(x) tag{*}$$



Question: Is there a way to construct $y$ so that we can have an upper bound for $delta (y)$ that makes (*) holds? In other words, can we find a $y' in I$ such that:



$$delta (y') < alpha to B_{delta(y')}(y')subseteq I cap B_{epsilon}(x)$$










share|cite|improve this question
























  • We can think of diameter of $I cap B_{epsilon} left( x right)$ to find an upper bound?
    – Aniruddha Deshmukh
    Nov 29 at 4:07










  • Wouldn't the interesting question be to find a lower bound on $delta(y)$?
    – user25959
    Nov 29 at 4:12










  • @AniruddhaDeshmukh The only thing about the diameter $d$ of $Icap B$ that I can come up with is that $d<epsilon$. What do you think and how are you going to proceed with this?
    – A Slow Learner
    Nov 29 at 4:39










  • @user25959 I am not sure about this. Obviously, one of the lower bounds is $0$. But I don't think there exists a largest lower bound.
    – A Slow Learner
    Nov 29 at 4:45












  • @ASlowLearner I think an upper bound for your function $delta left( y right)$ should be half of the diameter. Although I do not know if we can find a tighter bound.
    – Aniruddha Deshmukh
    Nov 29 at 6:00

















up vote
0
down vote

favorite












Let $I subseteq mathbf{R} $ be dense and open.



Because $I$ is dense, for $x in mathbf{R}$,
$$exists yin I:y=I cap B_{epsilon}(x)$$



Because $I$ and $B_{epsilon}(x)$ are open, $I cap B_{epsilon}(x)$ is also open and thus $exists delta, text{as a function of y, }delta(y) text{, such that}$:
$$B_{delta}(y) subseteq I cap B_{epsilon}(x) tag{*}$$



Question: Is there a way to construct $y$ so that we can have an upper bound for $delta (y)$ that makes (*) holds? In other words, can we find a $y' in I$ such that:



$$delta (y') < alpha to B_{delta(y')}(y')subseteq I cap B_{epsilon}(x)$$










share|cite|improve this question
























  • We can think of diameter of $I cap B_{epsilon} left( x right)$ to find an upper bound?
    – Aniruddha Deshmukh
    Nov 29 at 4:07










  • Wouldn't the interesting question be to find a lower bound on $delta(y)$?
    – user25959
    Nov 29 at 4:12










  • @AniruddhaDeshmukh The only thing about the diameter $d$ of $Icap B$ that I can come up with is that $d<epsilon$. What do you think and how are you going to proceed with this?
    – A Slow Learner
    Nov 29 at 4:39










  • @user25959 I am not sure about this. Obviously, one of the lower bounds is $0$. But I don't think there exists a largest lower bound.
    – A Slow Learner
    Nov 29 at 4:45












  • @ASlowLearner I think an upper bound for your function $delta left( y right)$ should be half of the diameter. Although I do not know if we can find a tighter bound.
    – Aniruddha Deshmukh
    Nov 29 at 6:00















up vote
0
down vote

favorite









up vote
0
down vote

favorite











Let $I subseteq mathbf{R} $ be dense and open.



Because $I$ is dense, for $x in mathbf{R}$,
$$exists yin I:y=I cap B_{epsilon}(x)$$



Because $I$ and $B_{epsilon}(x)$ are open, $I cap B_{epsilon}(x)$ is also open and thus $exists delta, text{as a function of y, }delta(y) text{, such that}$:
$$B_{delta}(y) subseteq I cap B_{epsilon}(x) tag{*}$$



Question: Is there a way to construct $y$ so that we can have an upper bound for $delta (y)$ that makes (*) holds? In other words, can we find a $y' in I$ such that:



$$delta (y') < alpha to B_{delta(y')}(y')subseteq I cap B_{epsilon}(x)$$










share|cite|improve this question















Let $I subseteq mathbf{R} $ be dense and open.



Because $I$ is dense, for $x in mathbf{R}$,
$$exists yin I:y=I cap B_{epsilon}(x)$$



Because $I$ and $B_{epsilon}(x)$ are open, $I cap B_{epsilon}(x)$ is also open and thus $exists delta, text{as a function of y, }delta(y) text{, such that}$:
$$B_{delta}(y) subseteq I cap B_{epsilon}(x) tag{*}$$



Question: Is there a way to construct $y$ so that we can have an upper bound for $delta (y)$ that makes (*) holds? In other words, can we find a $y' in I$ such that:



$$delta (y') < alpha to B_{delta(y')}(y')subseteq I cap B_{epsilon}(x)$$







general-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 29 at 4:07

























asked Nov 29 at 4:02









A Slow Learner

403212




403212












  • We can think of diameter of $I cap B_{epsilon} left( x right)$ to find an upper bound?
    – Aniruddha Deshmukh
    Nov 29 at 4:07










  • Wouldn't the interesting question be to find a lower bound on $delta(y)$?
    – user25959
    Nov 29 at 4:12










  • @AniruddhaDeshmukh The only thing about the diameter $d$ of $Icap B$ that I can come up with is that $d<epsilon$. What do you think and how are you going to proceed with this?
    – A Slow Learner
    Nov 29 at 4:39










  • @user25959 I am not sure about this. Obviously, one of the lower bounds is $0$. But I don't think there exists a largest lower bound.
    – A Slow Learner
    Nov 29 at 4:45












  • @ASlowLearner I think an upper bound for your function $delta left( y right)$ should be half of the diameter. Although I do not know if we can find a tighter bound.
    – Aniruddha Deshmukh
    Nov 29 at 6:00




















  • We can think of diameter of $I cap B_{epsilon} left( x right)$ to find an upper bound?
    – Aniruddha Deshmukh
    Nov 29 at 4:07










  • Wouldn't the interesting question be to find a lower bound on $delta(y)$?
    – user25959
    Nov 29 at 4:12










  • @AniruddhaDeshmukh The only thing about the diameter $d$ of $Icap B$ that I can come up with is that $d<epsilon$. What do you think and how are you going to proceed with this?
    – A Slow Learner
    Nov 29 at 4:39










  • @user25959 I am not sure about this. Obviously, one of the lower bounds is $0$. But I don't think there exists a largest lower bound.
    – A Slow Learner
    Nov 29 at 4:45












  • @ASlowLearner I think an upper bound for your function $delta left( y right)$ should be half of the diameter. Although I do not know if we can find a tighter bound.
    – Aniruddha Deshmukh
    Nov 29 at 6:00


















We can think of diameter of $I cap B_{epsilon} left( x right)$ to find an upper bound?
– Aniruddha Deshmukh
Nov 29 at 4:07




We can think of diameter of $I cap B_{epsilon} left( x right)$ to find an upper bound?
– Aniruddha Deshmukh
Nov 29 at 4:07












Wouldn't the interesting question be to find a lower bound on $delta(y)$?
– user25959
Nov 29 at 4:12




Wouldn't the interesting question be to find a lower bound on $delta(y)$?
– user25959
Nov 29 at 4:12












@AniruddhaDeshmukh The only thing about the diameter $d$ of $Icap B$ that I can come up with is that $d<epsilon$. What do you think and how are you going to proceed with this?
– A Slow Learner
Nov 29 at 4:39




@AniruddhaDeshmukh The only thing about the diameter $d$ of $Icap B$ that I can come up with is that $d<epsilon$. What do you think and how are you going to proceed with this?
– A Slow Learner
Nov 29 at 4:39












@user25959 I am not sure about this. Obviously, one of the lower bounds is $0$. But I don't think there exists a largest lower bound.
– A Slow Learner
Nov 29 at 4:45






@user25959 I am not sure about this. Obviously, one of the lower bounds is $0$. But I don't think there exists a largest lower bound.
– A Slow Learner
Nov 29 at 4:45














@ASlowLearner I think an upper bound for your function $delta left( y right)$ should be half of the diameter. Although I do not know if we can find a tighter bound.
– Aniruddha Deshmukh
Nov 29 at 6:00






@ASlowLearner I think an upper bound for your function $delta left( y right)$ should be half of the diameter. Although I do not know if we can find a tighter bound.
– Aniruddha Deshmukh
Nov 29 at 6:00












1 Answer
1






active

oldest

votes

















up vote
0
down vote













Let $left( X, d right)$ be any metric space with the $d$ as the distance function. Consider your dense open subset $I$ and any point $x in X$. Now for a given epsilon, consider $I cap B_{epsilon} left( x right)$. Now, if $y$ belongs to the intersection, in particular, $y$ belongs to $I$.



Therefore, $exists delta_1 > 0$ such that $B_{delta_1} left( y right) subseteq I$.



Also, $y$ is in $B_{epsilon} left( x right)$. Therefore, $exists delta_2 > 0$ such that $B_{delta_2} left( y right) subseteq B_{epsilon} left( x right)$. Now, if you choose $delta = min leftlbrace delta_1, epsilon - d left( x, y right) rightrbrace$, then $B_{delta} left( y right) subseteq I cap B_{epsilon} left( x right)$ which will do your work.



I have attached an image below for better understanding. In the image, $y$ is shown with $2$ open balls, one is relative to $I$ and other is relative to $B_{epsilon} left( x right)$. Once you choose the lesser radius, you are done with what you want.



enter image description here






share|cite|improve this answer





















  • I am not sure but is there a typo in the $6^{th}$ line?
    – A Slow Learner
    Nov 29 at 7:33










  • Where do you think exactly is the error?
    – Aniruddha Deshmukh
    Nov 29 at 7:52










  • Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
    – A Slow Learner
    Nov 29 at 7:56










  • Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
    – Aniruddha Deshmukh
    Nov 29 at 7:57












  • Ok so I am confused now. Did you mean both will work?
    – A Slow Learner
    Nov 29 at 7:58











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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3018156%2fradius-of-an-open-ball-inside-the-intersection-of-an-open-dense-subset-and-the%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote













Let $left( X, d right)$ be any metric space with the $d$ as the distance function. Consider your dense open subset $I$ and any point $x in X$. Now for a given epsilon, consider $I cap B_{epsilon} left( x right)$. Now, if $y$ belongs to the intersection, in particular, $y$ belongs to $I$.



Therefore, $exists delta_1 > 0$ such that $B_{delta_1} left( y right) subseteq I$.



Also, $y$ is in $B_{epsilon} left( x right)$. Therefore, $exists delta_2 > 0$ such that $B_{delta_2} left( y right) subseteq B_{epsilon} left( x right)$. Now, if you choose $delta = min leftlbrace delta_1, epsilon - d left( x, y right) rightrbrace$, then $B_{delta} left( y right) subseteq I cap B_{epsilon} left( x right)$ which will do your work.



I have attached an image below for better understanding. In the image, $y$ is shown with $2$ open balls, one is relative to $I$ and other is relative to $B_{epsilon} left( x right)$. Once you choose the lesser radius, you are done with what you want.



enter image description here






share|cite|improve this answer





















  • I am not sure but is there a typo in the $6^{th}$ line?
    – A Slow Learner
    Nov 29 at 7:33










  • Where do you think exactly is the error?
    – Aniruddha Deshmukh
    Nov 29 at 7:52










  • Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
    – A Slow Learner
    Nov 29 at 7:56










  • Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
    – Aniruddha Deshmukh
    Nov 29 at 7:57












  • Ok so I am confused now. Did you mean both will work?
    – A Slow Learner
    Nov 29 at 7:58















up vote
0
down vote













Let $left( X, d right)$ be any metric space with the $d$ as the distance function. Consider your dense open subset $I$ and any point $x in X$. Now for a given epsilon, consider $I cap B_{epsilon} left( x right)$. Now, if $y$ belongs to the intersection, in particular, $y$ belongs to $I$.



Therefore, $exists delta_1 > 0$ such that $B_{delta_1} left( y right) subseteq I$.



Also, $y$ is in $B_{epsilon} left( x right)$. Therefore, $exists delta_2 > 0$ such that $B_{delta_2} left( y right) subseteq B_{epsilon} left( x right)$. Now, if you choose $delta = min leftlbrace delta_1, epsilon - d left( x, y right) rightrbrace$, then $B_{delta} left( y right) subseteq I cap B_{epsilon} left( x right)$ which will do your work.



I have attached an image below for better understanding. In the image, $y$ is shown with $2$ open balls, one is relative to $I$ and other is relative to $B_{epsilon} left( x right)$. Once you choose the lesser radius, you are done with what you want.



enter image description here






share|cite|improve this answer





















  • I am not sure but is there a typo in the $6^{th}$ line?
    – A Slow Learner
    Nov 29 at 7:33










  • Where do you think exactly is the error?
    – Aniruddha Deshmukh
    Nov 29 at 7:52










  • Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
    – A Slow Learner
    Nov 29 at 7:56










  • Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
    – Aniruddha Deshmukh
    Nov 29 at 7:57












  • Ok so I am confused now. Did you mean both will work?
    – A Slow Learner
    Nov 29 at 7:58













up vote
0
down vote










up vote
0
down vote









Let $left( X, d right)$ be any metric space with the $d$ as the distance function. Consider your dense open subset $I$ and any point $x in X$. Now for a given epsilon, consider $I cap B_{epsilon} left( x right)$. Now, if $y$ belongs to the intersection, in particular, $y$ belongs to $I$.



Therefore, $exists delta_1 > 0$ such that $B_{delta_1} left( y right) subseteq I$.



Also, $y$ is in $B_{epsilon} left( x right)$. Therefore, $exists delta_2 > 0$ such that $B_{delta_2} left( y right) subseteq B_{epsilon} left( x right)$. Now, if you choose $delta = min leftlbrace delta_1, epsilon - d left( x, y right) rightrbrace$, then $B_{delta} left( y right) subseteq I cap B_{epsilon} left( x right)$ which will do your work.



I have attached an image below for better understanding. In the image, $y$ is shown with $2$ open balls, one is relative to $I$ and other is relative to $B_{epsilon} left( x right)$. Once you choose the lesser radius, you are done with what you want.



enter image description here






share|cite|improve this answer












Let $left( X, d right)$ be any metric space with the $d$ as the distance function. Consider your dense open subset $I$ and any point $x in X$. Now for a given epsilon, consider $I cap B_{epsilon} left( x right)$. Now, if $y$ belongs to the intersection, in particular, $y$ belongs to $I$.



Therefore, $exists delta_1 > 0$ such that $B_{delta_1} left( y right) subseteq I$.



Also, $y$ is in $B_{epsilon} left( x right)$. Therefore, $exists delta_2 > 0$ such that $B_{delta_2} left( y right) subseteq B_{epsilon} left( x right)$. Now, if you choose $delta = min leftlbrace delta_1, epsilon - d left( x, y right) rightrbrace$, then $B_{delta} left( y right) subseteq I cap B_{epsilon} left( x right)$ which will do your work.



I have attached an image below for better understanding. In the image, $y$ is shown with $2$ open balls, one is relative to $I$ and other is relative to $B_{epsilon} left( x right)$. Once you choose the lesser radius, you are done with what you want.



enter image description here







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Nov 29 at 7:18









Aniruddha Deshmukh

811418




811418












  • I am not sure but is there a typo in the $6^{th}$ line?
    – A Slow Learner
    Nov 29 at 7:33










  • Where do you think exactly is the error?
    – Aniruddha Deshmukh
    Nov 29 at 7:52










  • Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
    – A Slow Learner
    Nov 29 at 7:56










  • Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
    – Aniruddha Deshmukh
    Nov 29 at 7:57












  • Ok so I am confused now. Did you mean both will work?
    – A Slow Learner
    Nov 29 at 7:58


















  • I am not sure but is there a typo in the $6^{th}$ line?
    – A Slow Learner
    Nov 29 at 7:33










  • Where do you think exactly is the error?
    – Aniruddha Deshmukh
    Nov 29 at 7:52










  • Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
    – A Slow Learner
    Nov 29 at 7:56










  • Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
    – Aniruddha Deshmukh
    Nov 29 at 7:57












  • Ok so I am confused now. Did you mean both will work?
    – A Slow Learner
    Nov 29 at 7:58
















I am not sure but is there a typo in the $6^{th}$ line?
– A Slow Learner
Nov 29 at 7:33




I am not sure but is there a typo in the $6^{th}$ line?
– A Slow Learner
Nov 29 at 7:33












Where do you think exactly is the error?
– Aniruddha Deshmukh
Nov 29 at 7:52




Where do you think exactly is the error?
– Aniruddha Deshmukh
Nov 29 at 7:52












Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
– A Slow Learner
Nov 29 at 7:56




Shouldn't it be $delta = min leftlbrace delta_1, delta_2 rightrbrace$ instead?
– A Slow Learner
Nov 29 at 7:56












Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
– Aniruddha Deshmukh
Nov 29 at 7:57






Yes, that will also work. Even what I have written will work, since $epsilon - d left( x, y right)$ is the distance of the point $y$ from the boundary of $B_{epsilon} left( x right)$. Now, if you see carefully, the $delta$ I have proposed guarantees that the open ball lies within $I$ (since $delta leq delta_1$ and also it is less than or equal to the distance of $y$ from the boundary of $B_{epsilon} left( x right)$. Hence, the open ball will be completely inside the intersection.
– Aniruddha Deshmukh
Nov 29 at 7:57














Ok so I am confused now. Did you mean both will work?
– A Slow Learner
Nov 29 at 7:58




Ok so I am confused now. Did you mean both will work?
– A Slow Learner
Nov 29 at 7:58


















draft saved

draft discarded




















































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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3018156%2fradius-of-an-open-ball-inside-the-intersection-of-an-open-dense-subset-and-the%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Berounka

Sphinx de Gizeh

Different font size/position of beamer's navigation symbols template's content depending on regular/plain...