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










1












$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!










share|cite|improve this question









$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















1












$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!










share|cite|improve this question









$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













1












1








1





$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!










share|cite|improve this question









$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






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










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












  • 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










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



);













draft saved

draft discarded


















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















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.




draft saved


draft discarded














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





















































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

What does it mean to find percent difference when two values are equivalent? The 2019 Stack Overflow Developer Survey Results Are InWhat does “percent of change” mean?Find what percent X is between two numbers?Unable to determine 'original amount' in simple percentage problemsWhat is the correct percent difference formula?How does proportionality hold when quantities are high? And the percentage increase formulaprofit and loss GRE questionProfitability calculationWhat is the difference between $xtimes 0.8$ and $x div 1.2 ? $Finding the percent probability of completing BUDs trainingCalculating Percent Difference with zero and near zero values

Why did some early computer designers eschew integers?What register size did early computers use?What other computers used this floating-point format?Why did so many early microcomputers use the MOS 6502 and variants?Why were early computers named “Mark”?Why did expert systems fall?Why were early personal computer monitors not green?When did “Zen” in computer programming become a thing?History of advanced hardwareWere there any working computers using residue number systems?Why did some CPUs use two Read/Write lines, and others just one?

How to avoid repetitive long generic constraints in Rust The 2019 Stack Overflow Developer Survey Results Are In Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern) The Ask Question Wizard is Live! Data science time! April 2019 and salary with experienceIs it possible to automatically implement a trait for any tuple that is made up of types that all implement the trait?Is there a constraint that restricts my generic method to numeric types?How can foreign key constraints be temporarily disabled using T-SQL?How do I use reflection to call a generic method?How to create a generic array in Java?How to get a class instance of generics type THow is `last` allowed to be called for an Args value?How to implement a trait for a parameterized traitAvoiding PhantomData in a struct to enforce type constraintsIs it possible to return part of a struct by reference?Associated References types as Value Types