Open balls in metric space property The 2019 Stack Overflow Developer Survey Results Are InProper inclusion between open ball, closure of open ball and the closed ball in a metric spaceOpen sets in a metric spaceThe union of open balls.Open Balls in Metric Space.Difference between open sets and open balls in metric spaceUnderstanding open balls in metric spacesabout shape of open ball in metric spaceIs the empty set an open ball in a metric space?Give a “constructive” proof of the fact that in a metric space the intersection of two open balls is openlimit in open set in metric space
What are the motivations for publishing new editions of an existing textbook, beyond new discoveries in a field?
What is the closest word meaning "respect for time / mindful"
The difference between dialogue marks
Identify This Plant (Flower)
Who coined the term "madman theory"?
Is flight data recorder erased after every flight?
Falsification in Math vs Science
Can someone be penalized for an "unlawful" act if no penalty is specified?
Which Sci-Fi work first showed weapon of galactic-scale mass destruction?
Why isn't the circumferential light around the M87 black hole's event horizon symmetric?
Identify boardgame from Big movie
FPGA - DIY Programming
I see my dog run
Am I thawing this London Broil safely?
Can we generate random numbers using irrational numbers like π and e?
Why did Acorn's A3000 have red function keys?
Time travel alters history but people keep saying nothing's changed
Does a dangling wire really electrocute me if I'm standing in water?
How come people say “Would of”?
How can I autofill dates in Excel excluding Sunday?
Origin of "cooter" meaning "vagina"
How to obtain Confidence Intervals for a LASSO regression?
Why didn't the Event Horizon Telescope team mention Sagittarius A*?
What could be the right powersource for 15 seconds lifespan disposable giant chainsaw?
Open balls in metric space property
The 2019 Stack Overflow Developer Survey Results Are InProper inclusion between open ball, closure of open ball and the closed ball in a metric spaceOpen sets in a metric spaceThe union of open balls.Open Balls in Metric Space.Difference between open sets and open balls in metric spaceUnderstanding open balls in metric spacesabout shape of open ball in metric spaceIs the empty set an open ball in a metric space?Give a “constructive” proof of the fact that in a metric space the intersection of two open balls is openlimit in open set in metric space
$begingroup$
$textbfDefinition:$ Let $(X;d)$ a metric space $r>0$ and $a in X$. The open ball of center $a$ and radius $r$ is the set : $$ B(a;r)= x in X vert d(a,x)< r $$
And the closed ball of center $a$ and radius $r$ is the set : $$B[a;r]= xin X vert d(a,x)leq r $$
$textbfProblem$ Let $(X;d)$ a metric space, $ain X$ and $r>0$. Prove that :
$$ B(a;r)=bigcup_0<s<r B[a;s] $$
$textbfMi proof$
Let $x in B(a;r)$ then $d(x,a)<r$. Choose any $s>0$ such that : $0leq d(x,a)<s<r$.
$$ implies xin B(a;s) subseteq B[a;s] subseteq bigcup_0<s<r B[a;s]$$
Conversely $xin bigcup_0<s<r B[a;s]$ then exists $0<s<r$ such that $xin B[a;s]$
$$ implies d(a,x)leq s<r implies x in B(a;r) $$
I have two questions, one is if my proof is correct.
And the second is if it is true that:
$$ B(a;r)=bigcup_0<s<r B(a;s)$$
If it seems true, then in my test I have not used the inequality $leq$. Thanks!
metric-spaces
$endgroup$
add a comment |
$begingroup$
$textbfDefinition:$ Let $(X;d)$ a metric space $r>0$ and $a in X$. The open ball of center $a$ and radius $r$ is the set : $$ B(a;r)= x in X vert d(a,x)< r $$
And the closed ball of center $a$ and radius $r$ is the set : $$B[a;r]= xin X vert d(a,x)leq r $$
$textbfProblem$ Let $(X;d)$ a metric space, $ain X$ and $r>0$. Prove that :
$$ B(a;r)=bigcup_0<s<r B[a;s] $$
$textbfMi proof$
Let $x in B(a;r)$ then $d(x,a)<r$. Choose any $s>0$ such that : $0leq d(x,a)<s<r$.
$$ implies xin B(a;s) subseteq B[a;s] subseteq bigcup_0<s<r B[a;s]$$
Conversely $xin bigcup_0<s<r B[a;s]$ then exists $0<s<r$ such that $xin B[a;s]$
$$ implies d(a,x)leq s<r implies x in B(a;r) $$
I have two questions, one is if my proof is correct.
And the second is if it is true that:
$$ B(a;r)=bigcup_0<s<r B(a;s)$$
If it seems true, then in my test I have not used the inequality $leq$. Thanks!
metric-spaces
$endgroup$
4
$begingroup$
Your proof is correct and your claim is correct.
$endgroup$
– parsiad
Apr 6 at 19:57
$begingroup$
Thanks for your answer!
$endgroup$
– Orested
Apr 6 at 20:02
add a comment |
$begingroup$
$textbfDefinition:$ Let $(X;d)$ a metric space $r>0$ and $a in X$. The open ball of center $a$ and radius $r$ is the set : $$ B(a;r)= x in X vert d(a,x)< r $$
And the closed ball of center $a$ and radius $r$ is the set : $$B[a;r]= xin X vert d(a,x)leq r $$
$textbfProblem$ Let $(X;d)$ a metric space, $ain X$ and $r>0$. Prove that :
$$ B(a;r)=bigcup_0<s<r B[a;s] $$
$textbfMi proof$
Let $x in B(a;r)$ then $d(x,a)<r$. Choose any $s>0$ such that : $0leq d(x,a)<s<r$.
$$ implies xin B(a;s) subseteq B[a;s] subseteq bigcup_0<s<r B[a;s]$$
Conversely $xin bigcup_0<s<r B[a;s]$ then exists $0<s<r$ such that $xin B[a;s]$
$$ implies d(a,x)leq s<r implies x in B(a;r) $$
I have two questions, one is if my proof is correct.
And the second is if it is true that:
$$ B(a;r)=bigcup_0<s<r B(a;s)$$
If it seems true, then in my test I have not used the inequality $leq$. Thanks!
metric-spaces
$endgroup$
$textbfDefinition:$ Let $(X;d)$ a metric space $r>0$ and $a in X$. The open ball of center $a$ and radius $r$ is the set : $$ B(a;r)= x in X vert d(a,x)< r $$
And the closed ball of center $a$ and radius $r$ is the set : $$B[a;r]= xin X vert d(a,x)leq r $$
$textbfProblem$ Let $(X;d)$ a metric space, $ain X$ and $r>0$. Prove that :
$$ B(a;r)=bigcup_0<s<r B[a;s] $$
$textbfMi proof$
Let $x in B(a;r)$ then $d(x,a)<r$. Choose any $s>0$ such that : $0leq d(x,a)<s<r$.
$$ implies xin B(a;s) subseteq B[a;s] subseteq bigcup_0<s<r B[a;s]$$
Conversely $xin bigcup_0<s<r B[a;s]$ then exists $0<s<r$ such that $xin B[a;s]$
$$ implies d(a,x)leq s<r implies x in B(a;r) $$
I have two questions, one is if my proof is correct.
And the second is if it is true that:
$$ B(a;r)=bigcup_0<s<r B(a;s)$$
If it seems true, then in my test I have not used the inequality $leq$. Thanks!
metric-spaces
metric-spaces
asked Apr 6 at 19:50
OrestedOrested
998
998
4
$begingroup$
Your proof is correct and your claim is correct.
$endgroup$
– parsiad
Apr 6 at 19:57
$begingroup$
Thanks for your answer!
$endgroup$
– Orested
Apr 6 at 20:02
add a comment |
4
$begingroup$
Your proof is correct and your claim is correct.
$endgroup$
– parsiad
Apr 6 at 19:57
$begingroup$
Thanks for your answer!
$endgroup$
– Orested
Apr 6 at 20:02
4
4
$begingroup$
Your proof is correct and your claim is correct.
$endgroup$
– parsiad
Apr 6 at 19:57
$begingroup$
Your proof is correct and your claim is correct.
$endgroup$
– parsiad
Apr 6 at 19:57
$begingroup$
Thanks for your answer!
$endgroup$
– Orested
Apr 6 at 20:02
$begingroup$
Thanks for your answer!
$endgroup$
– Orested
Apr 6 at 20:02
add a comment |
0
active
oldest
votes
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%2f3177372%2fopen-balls-in-metric-space-property%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3177372%2fopen-balls-in-metric-space-property%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
4
$begingroup$
Your proof is correct and your claim is correct.
$endgroup$
– parsiad
Apr 6 at 19:57
$begingroup$
Thanks for your answer!
$endgroup$
– Orested
Apr 6 at 20:02