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

A recreational problem The 2019 Stack Overflow Developer Survey Results Are In Unicorn Meta Zoo #1: Why another podcast? Announcing the arrival of Valued Associate #679: Cesar Manaraprime factors of numbers formed by primorialsAll the small primes close together yet againSimple quadratic, crazy question part 2Can every odd prime $pne 11$ be the smallest prime factor of a carmichael-number with $3$ prime factors?Is the product of consecutive primes in $(a, b)[n]$ $=$ $1$ $pmod ab$?Pythagorean triples that “survive” Euler's totient functionA question about a certain type of primesPrimes of the form $p^2+p+41$

369. pr. Kr. Događaji Rođenja Smrti

A weird inequality regarding integrals, limits, as well as sequence of functions. The 2019 Stack Overflow Developer Survey Results Are InA question regarding limits and integrable functionsChanging the order of $lim$ and $inf$ for point-wise converging monotonic sequence of functionsSequence of Distribution FunctionsBasic question on interchanging limits and integralsA sequence of functions $f_n$ that converges non-uniformly to $f$ but the limit of the integrals equals the integral of the limits?Is this (exotic) integral well defined and convergent (always)? and the bound correct?Sequence of differentiable,equicontinuous functionsProb. 10 (d), Chap. 6, in Baby Rudin: Holder Inequality for Improper Integrals With Infinite LimitsSuppose $f_n : [0,1]rightarrowmathbbR$ is a sequence of $C^1$ functions that converges pointwise to $f$.Suppose $f$ is a continuous function on $[a,b]$ and let $M=sup_ a leq x leq b |f(x)|$