How to prove the triangle inequality for this metric spaceShow that in a discrete metric space, every subset is both open and closed.Proof that a discrete metric is indeed a metric spaceContinuity of functions in a metric space.What characteristics of binary space are needed to prove that it is totally disconnected?Continuous functions in a metric space using the discrete metricMetric space - complete - discreteThe limit points of a subset of binary space with ultra metricGiven a distance function $d$ prove it is a metric on the Baire space.How does the metric on a space $X$, affect the way we can define neighborhoods of points $ p in X$?How to prove the set of bounded sequences is clopen in the uniform metric?

Relationship between sampajanna definitions in SN 47.2 and SN 47.35

Brexit - No Deal Rejection

How to pronounce "I ♥ Huckabees"?

Is Manda another name for Saturn (Shani)?

Bacteria contamination inside a thermos bottle

Violin - Can double stops be played when the strings are not next to each other?

What is the purpose or proof behind chain rule?

If I can solve Sudoku, can I solve the Travelling Salesman Problem (TSP)? If so, how?

What favor did Moody owe Dumbledore?

How could an airship be repaired midflight?

What is the relationship between relativity and the Doppler effect?

Why one should not leave fingerprints on bulbs and plugs?

What's the meaning of a knight fighting a snail in medieval book illustrations?

Simplify an interface for flexibly applying rules to periods of time

New passport but visa is in old (lost) passport

How to explain that I do not want to visit a country due to personal safety concern?

Are all passive ability checks floors for active ability checks?

Do I need to be arrogant to get ahead?

What is a ^ b and (a & b) << 1?

Encrypting then Base64 Encoding

Why did it take so long to abandon sail after steamships were demonstrated?

Have the tides ever turned twice on any open problem?

How do you talk to someone whose loved one is dying?

A diagram about partial derivatives of f(x,y)



How to prove the triangle inequality for this metric space


Show that in a discrete metric space, every subset is both open and closed.Proof that a discrete metric is indeed a metric spaceContinuity of functions in a metric space.What characteristics of binary space are needed to prove that it is totally disconnected?Continuous functions in a metric space using the discrete metricMetric space - complete - discreteThe limit points of a subset of binary space with ultra metricGiven a distance function $d$ prove it is a metric on the Baire space.How does the metric on a space $X$, affect the way we can define neighborhoods of points $ p in X$?How to prove the set of bounded sequences is clopen in the uniform metric?













2












$begingroup$


Let $X = prod_k=1^infty 0,1$ which can be viewed as the set of all sequences of binary digits. For $f,g in X$, with $f neq g$, define $m(f, g) = mink : f(k) neq g(k)$ and define $d : X times X to mathbbR$ by



$$d(f, g) = begincases2^-m(f,g) & textif f neq g \ 0 & textif f = g.endcases$$



The first three axioms have been given I imagine the first starting point is to prove that



$$m(a,c) ge minm(a,b), m(b,c).$$



Followed by:




For $f in X$, $n in mathbbN$, prove that $B(f, 2^-n)$ consists of all $g in X$ for which
$$f(1) = g(1), f(2) = g(2), ldots, text and f(n) = g(n).$$




This I think you must use the previous fact that $d(f,g) = 2^-m(f,g)$.



Followed by:




Show that for all $f in X$, $r > 0$, either $B'(f,r) = B(f,r)$ or $B'(f,r) = B(f,2r)$.




This I believe must be a continuity using open sets problem.










share|cite|improve this question











$endgroup$







  • 6




    $begingroup$
    Please do mathJax, so difficult to read your question.. math.meta.stackexchange.com/questions/5020/…
    $endgroup$
    – Yujie Zha
    3 hours ago






  • 1




    $begingroup$
    I was going to edit your question to format it properly, but then I noticed that you've been here for almost a year now (happy anniversary, in $5$ days time!) and have asked four prior questions that others have all formatted for you. So, unfortunately, this time I'm just going to down-vote. If you do format your question, give me a ping in the comments (@TheoBendit) and I'll remove the down-vote, attempt to answer the question, and give you an up-vote to boot. If you have any questions about using MathJax, ask Meta. Good luck!
    $endgroup$
    – Theo Bendit
    3 hours ago






  • 1




    $begingroup$
    Alexander, it really does not take much effort, but you have not put it in for 360 days! If you don't know how to do it, then learn it, or keep the MathJax documentation page open while you're typing! I did this for six months , and eventually rote learned all the simple commands. Take the time to do it, because your question ticks all the boxes and deserves attention and upvotes, except for its legibility. (Yes, you are starting to change it, that is good!)
    $endgroup$
    – астон вілла олоф мэллбэрг
    2 hours ago







  • 2




    $begingroup$
    @AlexanderQuinn Removing the down-vote for effort, but I'd like to see a little bit more done before I come in and clean it up for you. You can press "edit" on your previous questions to see how others have formatted them, and you can even try changing things to test how it affects the layout. Here are some simple commands too: neq = "$neq$", in = "$in$", ge = "$ge$". Try putting $ signs around most of the maths, and it will already look much better. If you try another edit, I'll finish it up for you if you wish.
    $endgroup$
    – Theo Bendit
    2 hours ago







  • 2




    $begingroup$
    $What is B'???$
    $endgroup$
    – William Elliot
    2 hours ago















2












$begingroup$


Let $X = prod_k=1^infty 0,1$ which can be viewed as the set of all sequences of binary digits. For $f,g in X$, with $f neq g$, define $m(f, g) = mink : f(k) neq g(k)$ and define $d : X times X to mathbbR$ by



$$d(f, g) = begincases2^-m(f,g) & textif f neq g \ 0 & textif f = g.endcases$$



The first three axioms have been given I imagine the first starting point is to prove that



$$m(a,c) ge minm(a,b), m(b,c).$$



Followed by:




For $f in X$, $n in mathbbN$, prove that $B(f, 2^-n)$ consists of all $g in X$ for which
$$f(1) = g(1), f(2) = g(2), ldots, text and f(n) = g(n).$$




This I think you must use the previous fact that $d(f,g) = 2^-m(f,g)$.



Followed by:




Show that for all $f in X$, $r > 0$, either $B'(f,r) = B(f,r)$ or $B'(f,r) = B(f,2r)$.




This I believe must be a continuity using open sets problem.










share|cite|improve this question











$endgroup$







  • 6




    $begingroup$
    Please do mathJax, so difficult to read your question.. math.meta.stackexchange.com/questions/5020/…
    $endgroup$
    – Yujie Zha
    3 hours ago






  • 1




    $begingroup$
    I was going to edit your question to format it properly, but then I noticed that you've been here for almost a year now (happy anniversary, in $5$ days time!) and have asked four prior questions that others have all formatted for you. So, unfortunately, this time I'm just going to down-vote. If you do format your question, give me a ping in the comments (@TheoBendit) and I'll remove the down-vote, attempt to answer the question, and give you an up-vote to boot. If you have any questions about using MathJax, ask Meta. Good luck!
    $endgroup$
    – Theo Bendit
    3 hours ago






  • 1




    $begingroup$
    Alexander, it really does not take much effort, but you have not put it in for 360 days! If you don't know how to do it, then learn it, or keep the MathJax documentation page open while you're typing! I did this for six months , and eventually rote learned all the simple commands. Take the time to do it, because your question ticks all the boxes and deserves attention and upvotes, except for its legibility. (Yes, you are starting to change it, that is good!)
    $endgroup$
    – астон вілла олоф мэллбэрг
    2 hours ago







  • 2




    $begingroup$
    @AlexanderQuinn Removing the down-vote for effort, but I'd like to see a little bit more done before I come in and clean it up for you. You can press "edit" on your previous questions to see how others have formatted them, and you can even try changing things to test how it affects the layout. Here are some simple commands too: neq = "$neq$", in = "$in$", ge = "$ge$". Try putting $ signs around most of the maths, and it will already look much better. If you try another edit, I'll finish it up for you if you wish.
    $endgroup$
    – Theo Bendit
    2 hours ago







  • 2




    $begingroup$
    $What is B'???$
    $endgroup$
    – William Elliot
    2 hours ago













2












2








2


2



$begingroup$


Let $X = prod_k=1^infty 0,1$ which can be viewed as the set of all sequences of binary digits. For $f,g in X$, with $f neq g$, define $m(f, g) = mink : f(k) neq g(k)$ and define $d : X times X to mathbbR$ by



$$d(f, g) = begincases2^-m(f,g) & textif f neq g \ 0 & textif f = g.endcases$$



The first three axioms have been given I imagine the first starting point is to prove that



$$m(a,c) ge minm(a,b), m(b,c).$$



Followed by:




For $f in X$, $n in mathbbN$, prove that $B(f, 2^-n)$ consists of all $g in X$ for which
$$f(1) = g(1), f(2) = g(2), ldots, text and f(n) = g(n).$$




This I think you must use the previous fact that $d(f,g) = 2^-m(f,g)$.



Followed by:




Show that for all $f in X$, $r > 0$, either $B'(f,r) = B(f,r)$ or $B'(f,r) = B(f,2r)$.




This I believe must be a continuity using open sets problem.










share|cite|improve this question











$endgroup$




Let $X = prod_k=1^infty 0,1$ which can be viewed as the set of all sequences of binary digits. For $f,g in X$, with $f neq g$, define $m(f, g) = mink : f(k) neq g(k)$ and define $d : X times X to mathbbR$ by



$$d(f, g) = begincases2^-m(f,g) & textif f neq g \ 0 & textif f = g.endcases$$



The first three axioms have been given I imagine the first starting point is to prove that



$$m(a,c) ge minm(a,b), m(b,c).$$



Followed by:




For $f in X$, $n in mathbbN$, prove that $B(f, 2^-n)$ consists of all $g in X$ for which
$$f(1) = g(1), f(2) = g(2), ldots, text and f(n) = g(n).$$




This I think you must use the previous fact that $d(f,g) = 2^-m(f,g)$.



Followed by:




Show that for all $f in X$, $r > 0$, either $B'(f,r) = B(f,r)$ or $B'(f,r) = B(f,2r)$.




This I believe must be a continuity using open sets problem.







general-topology metric-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 hours ago









Theo Bendit

19.4k12353




19.4k12353










asked 3 hours ago









Alexander QuinnAlexander Quinn

315




315







  • 6




    $begingroup$
    Please do mathJax, so difficult to read your question.. math.meta.stackexchange.com/questions/5020/…
    $endgroup$
    – Yujie Zha
    3 hours ago






  • 1




    $begingroup$
    I was going to edit your question to format it properly, but then I noticed that you've been here for almost a year now (happy anniversary, in $5$ days time!) and have asked four prior questions that others have all formatted for you. So, unfortunately, this time I'm just going to down-vote. If you do format your question, give me a ping in the comments (@TheoBendit) and I'll remove the down-vote, attempt to answer the question, and give you an up-vote to boot. If you have any questions about using MathJax, ask Meta. Good luck!
    $endgroup$
    – Theo Bendit
    3 hours ago






  • 1




    $begingroup$
    Alexander, it really does not take much effort, but you have not put it in for 360 days! If you don't know how to do it, then learn it, or keep the MathJax documentation page open while you're typing! I did this for six months , and eventually rote learned all the simple commands. Take the time to do it, because your question ticks all the boxes and deserves attention and upvotes, except for its legibility. (Yes, you are starting to change it, that is good!)
    $endgroup$
    – астон вілла олоф мэллбэрг
    2 hours ago







  • 2




    $begingroup$
    @AlexanderQuinn Removing the down-vote for effort, but I'd like to see a little bit more done before I come in and clean it up for you. You can press "edit" on your previous questions to see how others have formatted them, and you can even try changing things to test how it affects the layout. Here are some simple commands too: neq = "$neq$", in = "$in$", ge = "$ge$". Try putting $ signs around most of the maths, and it will already look much better. If you try another edit, I'll finish it up for you if you wish.
    $endgroup$
    – Theo Bendit
    2 hours ago







  • 2




    $begingroup$
    $What is B'???$
    $endgroup$
    – William Elliot
    2 hours ago












  • 6




    $begingroup$
    Please do mathJax, so difficult to read your question.. math.meta.stackexchange.com/questions/5020/…
    $endgroup$
    – Yujie Zha
    3 hours ago






  • 1




    $begingroup$
    I was going to edit your question to format it properly, but then I noticed that you've been here for almost a year now (happy anniversary, in $5$ days time!) and have asked four prior questions that others have all formatted for you. So, unfortunately, this time I'm just going to down-vote. If you do format your question, give me a ping in the comments (@TheoBendit) and I'll remove the down-vote, attempt to answer the question, and give you an up-vote to boot. If you have any questions about using MathJax, ask Meta. Good luck!
    $endgroup$
    – Theo Bendit
    3 hours ago






  • 1




    $begingroup$
    Alexander, it really does not take much effort, but you have not put it in for 360 days! If you don't know how to do it, then learn it, or keep the MathJax documentation page open while you're typing! I did this for six months , and eventually rote learned all the simple commands. Take the time to do it, because your question ticks all the boxes and deserves attention and upvotes, except for its legibility. (Yes, you are starting to change it, that is good!)
    $endgroup$
    – астон вілла олоф мэллбэрг
    2 hours ago







  • 2




    $begingroup$
    @AlexanderQuinn Removing the down-vote for effort, but I'd like to see a little bit more done before I come in and clean it up for you. You can press "edit" on your previous questions to see how others have formatted them, and you can even try changing things to test how it affects the layout. Here are some simple commands too: neq = "$neq$", in = "$in$", ge = "$ge$". Try putting $ signs around most of the maths, and it will already look much better. If you try another edit, I'll finish it up for you if you wish.
    $endgroup$
    – Theo Bendit
    2 hours ago







  • 2




    $begingroup$
    $What is B'???$
    $endgroup$
    – William Elliot
    2 hours ago







6




6




$begingroup$
Please do mathJax, so difficult to read your question.. math.meta.stackexchange.com/questions/5020/…
$endgroup$
– Yujie Zha
3 hours ago




$begingroup$
Please do mathJax, so difficult to read your question.. math.meta.stackexchange.com/questions/5020/…
$endgroup$
– Yujie Zha
3 hours ago




1




1




$begingroup$
I was going to edit your question to format it properly, but then I noticed that you've been here for almost a year now (happy anniversary, in $5$ days time!) and have asked four prior questions that others have all formatted for you. So, unfortunately, this time I'm just going to down-vote. If you do format your question, give me a ping in the comments (@TheoBendit) and I'll remove the down-vote, attempt to answer the question, and give you an up-vote to boot. If you have any questions about using MathJax, ask Meta. Good luck!
$endgroup$
– Theo Bendit
3 hours ago




$begingroup$
I was going to edit your question to format it properly, but then I noticed that you've been here for almost a year now (happy anniversary, in $5$ days time!) and have asked four prior questions that others have all formatted for you. So, unfortunately, this time I'm just going to down-vote. If you do format your question, give me a ping in the comments (@TheoBendit) and I'll remove the down-vote, attempt to answer the question, and give you an up-vote to boot. If you have any questions about using MathJax, ask Meta. Good luck!
$endgroup$
– Theo Bendit
3 hours ago




1




1




$begingroup$
Alexander, it really does not take much effort, but you have not put it in for 360 days! If you don't know how to do it, then learn it, or keep the MathJax documentation page open while you're typing! I did this for six months , and eventually rote learned all the simple commands. Take the time to do it, because your question ticks all the boxes and deserves attention and upvotes, except for its legibility. (Yes, you are starting to change it, that is good!)
$endgroup$
– астон вілла олоф мэллбэрг
2 hours ago





$begingroup$
Alexander, it really does not take much effort, but you have not put it in for 360 days! If you don't know how to do it, then learn it, or keep the MathJax documentation page open while you're typing! I did this for six months , and eventually rote learned all the simple commands. Take the time to do it, because your question ticks all the boxes and deserves attention and upvotes, except for its legibility. (Yes, you are starting to change it, that is good!)
$endgroup$
– астон вілла олоф мэллбэрг
2 hours ago





2




2




$begingroup$
@AlexanderQuinn Removing the down-vote for effort, but I'd like to see a little bit more done before I come in and clean it up for you. You can press "edit" on your previous questions to see how others have formatted them, and you can even try changing things to test how it affects the layout. Here are some simple commands too: neq = "$neq$", in = "$in$", ge = "$ge$". Try putting $ signs around most of the maths, and it will already look much better. If you try another edit, I'll finish it up for you if you wish.
$endgroup$
– Theo Bendit
2 hours ago





$begingroup$
@AlexanderQuinn Removing the down-vote for effort, but I'd like to see a little bit more done before I come in and clean it up for you. You can press "edit" on your previous questions to see how others have formatted them, and you can even try changing things to test how it affects the layout. Here are some simple commands too: neq = "$neq$", in = "$in$", ge = "$ge$". Try putting $ signs around most of the maths, and it will already look much better. If you try another edit, I'll finish it up for you if you wish.
$endgroup$
– Theo Bendit
2 hours ago





2




2




$begingroup$
$What is B'???$
$endgroup$
– William Elliot
2 hours ago




$begingroup$
$What is B'???$
$endgroup$
– William Elliot
2 hours ago










3 Answers
3






active

oldest

votes


















3












$begingroup$

Suppose $f ne g ne h ne f.$ Let $a=m(f,g),,b=m(g,h), ,c=m(f,h).$



Suppose $d(f,g)+d(g,h)<d(f,h).$



Then $ 2^-a+2^-b<2^-c,$ which implies $(,c<a land c<b,). $ But then $$ f(c)=g(c)quad (text as c<a=m(f,g),)$$ $$ text and quad g(c)=h(c)quad (text as c<b=m(g,h),)$$ so $f(c)=h(c),$ contrary to the def'n of $c=m(f,h).$ Contradiction.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    Thanks! So then perhaps the second part can be done by contradiction also?
    $endgroup$
    – Alexander Quinn
    1 hour ago










  • $begingroup$
    This is a very nice answer.
    $endgroup$
    – H. H.
    49 mins ago


















2












$begingroup$

If $a(i)$ agrees with $b(i)$ for all $i = 1, ldots, m(a, b) - 1$. Similarly, $b(i)$ agrees with $c(i)$ for all $i = 1, ldots, m(b, c) - 1$. So, we have $a(i) = b(i) = c(i)$ for all $i = 1, ldots, k$, where $k = min m(a, b), m(b, c) - 1$, as $k$ is a number smaller than both $m(a, b) - 1$ and $m(b, c) - 1$. Therefore, $m(a, c)$, the first $i$ such that $a(i) neq c(i)$, must be at least $k + 1$. That is,
$$m(a, c) ge minm(a, b), m(b, c).$$



Thus, excluding the easy cases where $a, b, c$ are not pairwise distinct,
beginalign*
d(a, b) + d(b, c) &= 2^-m(a, b) + 2^-m(b, c) \
&= 2^-maxm(a, b), m(b, c) + 2^-minm(a, b), (b, c) \
&ge 2^-minm(a, b), (b, c) \
&ge 2^-m(a, c) = d(a, c).
endalign*




If $g in B(f, 2^-n)$, then either $f = g$ (in which case, the result is trivially true), or
$$2^-n > d(f, g) = 2^-m(a, b) implies m(a, b) > n.$$
So, the first point at which $f$ and $g$ disagree occurs past $n$, i.e. $f(i) = g(i)$ for $i = 1, ldots, n$.




Note that the distance function $d(f, g)$ only takes countably many values:
$$0, frac12, frac14, ldots, frac12^n, ldots$$
When $r$ is between these values, the ball $B(f; r)$ will not grow or shrink when you vary $r$ by a small amount. For example, for any $f in X$,
$$Bleft(f, frac13right) = Bleft(f, frac12right) = B'left(f, frac14right),$$
simply because a point that at most $frac13$ distance away from $f$, basically only rules out their distances being $frac12$.



This might give you an idea about how to go about attacking this third problem. I'll let you think about it. Let me know via comment if you need further help.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
    $endgroup$
    – Alexander Quinn
    1 hour ago










  • $begingroup$
    @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
    $endgroup$
    – Theo Bendit
    56 mins ago











  • $begingroup$
    So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
    $endgroup$
    – Alexander Quinn
    46 mins ago










  • $begingroup$
    (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
    $endgroup$
    – Theo Bendit
    45 mins ago










  • $begingroup$
    @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
    $endgroup$
    – Theo Bendit
    42 mins ago


















0












$begingroup$

For any $ain X$ and radius $r$, the closure of the open ball of radius $r$ around $a$ is the closed ball of radius $r$.



For any two distinct points $a,b$ in the space and any positive $epsilon$, there is a point $c$ within $epsilon$ of $b$, and closer to $a$ than $b$ is.
That is, for every $aneq b$ and $epsilongt 0$, there is $c$ with $d(c,b)<epsilon$ and $d(a,c)<d(a,b)$.



Proof. If the closed ball property holds, then fix any $a,b$ with $r=d(a,b)$. Since the closure of $B$ includes $b$, the second property follows. Conversely, if the second property holds, then if $r=d(a,b)$, then the property ensures that $b$ is in the closure of $B$, and so the closure of the open ball includes the closed ball






share|cite|improve this answer









$endgroup$












    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%2f3151098%2fhow-to-prove-the-triangle-inequality-for-this-metric-space%23new-answer', 'question_page');

    );

    Post as a guest















    Required, but never shown

























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    3












    $begingroup$

    Suppose $f ne g ne h ne f.$ Let $a=m(f,g),,b=m(g,h), ,c=m(f,h).$



    Suppose $d(f,g)+d(g,h)<d(f,h).$



    Then $ 2^-a+2^-b<2^-c,$ which implies $(,c<a land c<b,). $ But then $$ f(c)=g(c)quad (text as c<a=m(f,g),)$$ $$ text and quad g(c)=h(c)quad (text as c<b=m(g,h),)$$ so $f(c)=h(c),$ contrary to the def'n of $c=m(f,h).$ Contradiction.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Thanks! So then perhaps the second part can be done by contradiction also?
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      This is a very nice answer.
      $endgroup$
      – H. H.
      49 mins ago















    3












    $begingroup$

    Suppose $f ne g ne h ne f.$ Let $a=m(f,g),,b=m(g,h), ,c=m(f,h).$



    Suppose $d(f,g)+d(g,h)<d(f,h).$



    Then $ 2^-a+2^-b<2^-c,$ which implies $(,c<a land c<b,). $ But then $$ f(c)=g(c)quad (text as c<a=m(f,g),)$$ $$ text and quad g(c)=h(c)quad (text as c<b=m(g,h),)$$ so $f(c)=h(c),$ contrary to the def'n of $c=m(f,h).$ Contradiction.






    share|cite|improve this answer











    $endgroup$












    • $begingroup$
      Thanks! So then perhaps the second part can be done by contradiction also?
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      This is a very nice answer.
      $endgroup$
      – H. H.
      49 mins ago













    3












    3








    3





    $begingroup$

    Suppose $f ne g ne h ne f.$ Let $a=m(f,g),,b=m(g,h), ,c=m(f,h).$



    Suppose $d(f,g)+d(g,h)<d(f,h).$



    Then $ 2^-a+2^-b<2^-c,$ which implies $(,c<a land c<b,). $ But then $$ f(c)=g(c)quad (text as c<a=m(f,g),)$$ $$ text and quad g(c)=h(c)quad (text as c<b=m(g,h),)$$ so $f(c)=h(c),$ contrary to the def'n of $c=m(f,h).$ Contradiction.






    share|cite|improve this answer











    $endgroup$



    Suppose $f ne g ne h ne f.$ Let $a=m(f,g),,b=m(g,h), ,c=m(f,h).$



    Suppose $d(f,g)+d(g,h)<d(f,h).$



    Then $ 2^-a+2^-b<2^-c,$ which implies $(,c<a land c<b,). $ But then $$ f(c)=g(c)quad (text as c<a=m(f,g),)$$ $$ text and quad g(c)=h(c)quad (text as c<b=m(g,h),)$$ so $f(c)=h(c),$ contrary to the def'n of $c=m(f,h).$ Contradiction.







    share|cite|improve this answer














    share|cite|improve this answer



    share|cite|improve this answer








    edited 1 hour ago

























    answered 1 hour ago









    DanielWainfleetDanielWainfleet

    35.5k31648




    35.5k31648











    • $begingroup$
      Thanks! So then perhaps the second part can be done by contradiction also?
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      This is a very nice answer.
      $endgroup$
      – H. H.
      49 mins ago
















    • $begingroup$
      Thanks! So then perhaps the second part can be done by contradiction also?
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      This is a very nice answer.
      $endgroup$
      – H. H.
      49 mins ago















    $begingroup$
    Thanks! So then perhaps the second part can be done by contradiction also?
    $endgroup$
    – Alexander Quinn
    1 hour ago




    $begingroup$
    Thanks! So then perhaps the second part can be done by contradiction also?
    $endgroup$
    – Alexander Quinn
    1 hour ago












    $begingroup$
    This is a very nice answer.
    $endgroup$
    – H. H.
    49 mins ago




    $begingroup$
    This is a very nice answer.
    $endgroup$
    – H. H.
    49 mins ago











    2












    $begingroup$

    If $a(i)$ agrees with $b(i)$ for all $i = 1, ldots, m(a, b) - 1$. Similarly, $b(i)$ agrees with $c(i)$ for all $i = 1, ldots, m(b, c) - 1$. So, we have $a(i) = b(i) = c(i)$ for all $i = 1, ldots, k$, where $k = min m(a, b), m(b, c) - 1$, as $k$ is a number smaller than both $m(a, b) - 1$ and $m(b, c) - 1$. Therefore, $m(a, c)$, the first $i$ such that $a(i) neq c(i)$, must be at least $k + 1$. That is,
    $$m(a, c) ge minm(a, b), m(b, c).$$



    Thus, excluding the easy cases where $a, b, c$ are not pairwise distinct,
    beginalign*
    d(a, b) + d(b, c) &= 2^-m(a, b) + 2^-m(b, c) \
    &= 2^-maxm(a, b), m(b, c) + 2^-minm(a, b), (b, c) \
    &ge 2^-minm(a, b), (b, c) \
    &ge 2^-m(a, c) = d(a, c).
    endalign*




    If $g in B(f, 2^-n)$, then either $f = g$ (in which case, the result is trivially true), or
    $$2^-n > d(f, g) = 2^-m(a, b) implies m(a, b) > n.$$
    So, the first point at which $f$ and $g$ disagree occurs past $n$, i.e. $f(i) = g(i)$ for $i = 1, ldots, n$.




    Note that the distance function $d(f, g)$ only takes countably many values:
    $$0, frac12, frac14, ldots, frac12^n, ldots$$
    When $r$ is between these values, the ball $B(f; r)$ will not grow or shrink when you vary $r$ by a small amount. For example, for any $f in X$,
    $$Bleft(f, frac13right) = Bleft(f, frac12right) = B'left(f, frac14right),$$
    simply because a point that at most $frac13$ distance away from $f$, basically only rules out their distances being $frac12$.



    This might give you an idea about how to go about attacking this third problem. I'll let you think about it. Let me know via comment if you need further help.






    share|cite|improve this answer









    $endgroup$












    • $begingroup$
      So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
      $endgroup$
      – Theo Bendit
      56 mins ago











    • $begingroup$
      So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
      $endgroup$
      – Alexander Quinn
      46 mins ago










    • $begingroup$
      (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
      $endgroup$
      – Theo Bendit
      45 mins ago










    • $begingroup$
      @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
      $endgroup$
      – Theo Bendit
      42 mins ago















    2












    $begingroup$

    If $a(i)$ agrees with $b(i)$ for all $i = 1, ldots, m(a, b) - 1$. Similarly, $b(i)$ agrees with $c(i)$ for all $i = 1, ldots, m(b, c) - 1$. So, we have $a(i) = b(i) = c(i)$ for all $i = 1, ldots, k$, where $k = min m(a, b), m(b, c) - 1$, as $k$ is a number smaller than both $m(a, b) - 1$ and $m(b, c) - 1$. Therefore, $m(a, c)$, the first $i$ such that $a(i) neq c(i)$, must be at least $k + 1$. That is,
    $$m(a, c) ge minm(a, b), m(b, c).$$



    Thus, excluding the easy cases where $a, b, c$ are not pairwise distinct,
    beginalign*
    d(a, b) + d(b, c) &= 2^-m(a, b) + 2^-m(b, c) \
    &= 2^-maxm(a, b), m(b, c) + 2^-minm(a, b), (b, c) \
    &ge 2^-minm(a, b), (b, c) \
    &ge 2^-m(a, c) = d(a, c).
    endalign*




    If $g in B(f, 2^-n)$, then either $f = g$ (in which case, the result is trivially true), or
    $$2^-n > d(f, g) = 2^-m(a, b) implies m(a, b) > n.$$
    So, the first point at which $f$ and $g$ disagree occurs past $n$, i.e. $f(i) = g(i)$ for $i = 1, ldots, n$.




    Note that the distance function $d(f, g)$ only takes countably many values:
    $$0, frac12, frac14, ldots, frac12^n, ldots$$
    When $r$ is between these values, the ball $B(f; r)$ will not grow or shrink when you vary $r$ by a small amount. For example, for any $f in X$,
    $$Bleft(f, frac13right) = Bleft(f, frac12right) = B'left(f, frac14right),$$
    simply because a point that at most $frac13$ distance away from $f$, basically only rules out their distances being $frac12$.



    This might give you an idea about how to go about attacking this third problem. I'll let you think about it. Let me know via comment if you need further help.






    share|cite|improve this answer









    $endgroup$












    • $begingroup$
      So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
      $endgroup$
      – Theo Bendit
      56 mins ago











    • $begingroup$
      So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
      $endgroup$
      – Alexander Quinn
      46 mins ago










    • $begingroup$
      (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
      $endgroup$
      – Theo Bendit
      45 mins ago










    • $begingroup$
      @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
      $endgroup$
      – Theo Bendit
      42 mins ago













    2












    2








    2





    $begingroup$

    If $a(i)$ agrees with $b(i)$ for all $i = 1, ldots, m(a, b) - 1$. Similarly, $b(i)$ agrees with $c(i)$ for all $i = 1, ldots, m(b, c) - 1$. So, we have $a(i) = b(i) = c(i)$ for all $i = 1, ldots, k$, where $k = min m(a, b), m(b, c) - 1$, as $k$ is a number smaller than both $m(a, b) - 1$ and $m(b, c) - 1$. Therefore, $m(a, c)$, the first $i$ such that $a(i) neq c(i)$, must be at least $k + 1$. That is,
    $$m(a, c) ge minm(a, b), m(b, c).$$



    Thus, excluding the easy cases where $a, b, c$ are not pairwise distinct,
    beginalign*
    d(a, b) + d(b, c) &= 2^-m(a, b) + 2^-m(b, c) \
    &= 2^-maxm(a, b), m(b, c) + 2^-minm(a, b), (b, c) \
    &ge 2^-minm(a, b), (b, c) \
    &ge 2^-m(a, c) = d(a, c).
    endalign*




    If $g in B(f, 2^-n)$, then either $f = g$ (in which case, the result is trivially true), or
    $$2^-n > d(f, g) = 2^-m(a, b) implies m(a, b) > n.$$
    So, the first point at which $f$ and $g$ disagree occurs past $n$, i.e. $f(i) = g(i)$ for $i = 1, ldots, n$.




    Note that the distance function $d(f, g)$ only takes countably many values:
    $$0, frac12, frac14, ldots, frac12^n, ldots$$
    When $r$ is between these values, the ball $B(f; r)$ will not grow or shrink when you vary $r$ by a small amount. For example, for any $f in X$,
    $$Bleft(f, frac13right) = Bleft(f, frac12right) = B'left(f, frac14right),$$
    simply because a point that at most $frac13$ distance away from $f$, basically only rules out their distances being $frac12$.



    This might give you an idea about how to go about attacking this third problem. I'll let you think about it. Let me know via comment if you need further help.






    share|cite|improve this answer









    $endgroup$



    If $a(i)$ agrees with $b(i)$ for all $i = 1, ldots, m(a, b) - 1$. Similarly, $b(i)$ agrees with $c(i)$ for all $i = 1, ldots, m(b, c) - 1$. So, we have $a(i) = b(i) = c(i)$ for all $i = 1, ldots, k$, where $k = min m(a, b), m(b, c) - 1$, as $k$ is a number smaller than both $m(a, b) - 1$ and $m(b, c) - 1$. Therefore, $m(a, c)$, the first $i$ such that $a(i) neq c(i)$, must be at least $k + 1$. That is,
    $$m(a, c) ge minm(a, b), m(b, c).$$



    Thus, excluding the easy cases where $a, b, c$ are not pairwise distinct,
    beginalign*
    d(a, b) + d(b, c) &= 2^-m(a, b) + 2^-m(b, c) \
    &= 2^-maxm(a, b), m(b, c) + 2^-minm(a, b), (b, c) \
    &ge 2^-minm(a, b), (b, c) \
    &ge 2^-m(a, c) = d(a, c).
    endalign*




    If $g in B(f, 2^-n)$, then either $f = g$ (in which case, the result is trivially true), or
    $$2^-n > d(f, g) = 2^-m(a, b) implies m(a, b) > n.$$
    So, the first point at which $f$ and $g$ disagree occurs past $n$, i.e. $f(i) = g(i)$ for $i = 1, ldots, n$.




    Note that the distance function $d(f, g)$ only takes countably many values:
    $$0, frac12, frac14, ldots, frac12^n, ldots$$
    When $r$ is between these values, the ball $B(f; r)$ will not grow or shrink when you vary $r$ by a small amount. For example, for any $f in X$,
    $$Bleft(f, frac13right) = Bleft(f, frac12right) = B'left(f, frac14right),$$
    simply because a point that at most $frac13$ distance away from $f$, basically only rules out their distances being $frac12$.



    This might give you an idea about how to go about attacking this third problem. I'll let you think about it. Let me know via comment if you need further help.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered 1 hour ago









    Theo BenditTheo Bendit

    19.4k12353




    19.4k12353











    • $begingroup$
      So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
      $endgroup$
      – Theo Bendit
      56 mins ago











    • $begingroup$
      So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
      $endgroup$
      – Alexander Quinn
      46 mins ago










    • $begingroup$
      (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
      $endgroup$
      – Theo Bendit
      45 mins ago










    • $begingroup$
      @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
      $endgroup$
      – Theo Bendit
      42 mins ago
















    • $begingroup$
      So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
      $endgroup$
      – Alexander Quinn
      1 hour ago










    • $begingroup$
      @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
      $endgroup$
      – Theo Bendit
      56 mins ago











    • $begingroup$
      So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
      $endgroup$
      – Alexander Quinn
      46 mins ago










    • $begingroup$
      (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
      $endgroup$
      – Theo Bendit
      45 mins ago










    • $begingroup$
      @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
      $endgroup$
      – Theo Bendit
      42 mins ago















    $begingroup$
    So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
    $endgroup$
    – Alexander Quinn
    1 hour ago




    $begingroup$
    So the main thing in the last question is that we need to prove for any f ∈ X and radius r, the closure of the open ball of radius r around x is the closed ball of radius r.
    $endgroup$
    – Alexander Quinn
    1 hour ago












    $begingroup$
    @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
    $endgroup$
    – Theo Bendit
    56 mins ago





    $begingroup$
    @AlexanderQuinn Well actually, every open ball is closed, and is equal to a closed ball! But. not necessarily the closed ball of the same radius as the open ball. The closure of $B(f, 1/2)$ is $B(f, 1/2) = B'(f, 1/4)$, not $B(f, 1/2)$ (which is equal to $X$).
    $endgroup$
    – Theo Bendit
    56 mins ago













    $begingroup$
    So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
    $endgroup$
    – Alexander Quinn
    46 mins ago




    $begingroup$
    So it must be the B(f,r) = B'(f,r) is the only reasonable one out of the two as if you take the limit you eventually approach 0 for r
    $endgroup$
    – Alexander Quinn
    46 mins ago












    $begingroup$
    (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
    $endgroup$
    – Theo Bendit
    45 mins ago




    $begingroup$
    (In my previous comment, the third (and last) instance of $B(f, 1/2)$ should be $B'(f, 1/2)$)
    $endgroup$
    – Theo Bendit
    45 mins ago












    $begingroup$
    @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
    $endgroup$
    – Theo Bendit
    42 mins ago




    $begingroup$
    @AlexanderQuinn I'm not certain what you mean here. You will have $B(f, r) = B'(f, r)$ when $r$ is not $0$ or a negative power of $2$, as in this case, the difference between the sets (which is the sphere $S(f, r)$) is empty! If $r$ is not one of these numbers, then there are no points in the space of distance exactly $r$ from each other.
    $endgroup$
    – Theo Bendit
    42 mins ago











    0












    $begingroup$

    For any $ain X$ and radius $r$, the closure of the open ball of radius $r$ around $a$ is the closed ball of radius $r$.



    For any two distinct points $a,b$ in the space and any positive $epsilon$, there is a point $c$ within $epsilon$ of $b$, and closer to $a$ than $b$ is.
    That is, for every $aneq b$ and $epsilongt 0$, there is $c$ with $d(c,b)<epsilon$ and $d(a,c)<d(a,b)$.



    Proof. If the closed ball property holds, then fix any $a,b$ with $r=d(a,b)$. Since the closure of $B$ includes $b$, the second property follows. Conversely, if the second property holds, then if $r=d(a,b)$, then the property ensures that $b$ is in the closure of $B$, and so the closure of the open ball includes the closed ball






    share|cite|improve this answer









    $endgroup$

















      0












      $begingroup$

      For any $ain X$ and radius $r$, the closure of the open ball of radius $r$ around $a$ is the closed ball of radius $r$.



      For any two distinct points $a,b$ in the space and any positive $epsilon$, there is a point $c$ within $epsilon$ of $b$, and closer to $a$ than $b$ is.
      That is, for every $aneq b$ and $epsilongt 0$, there is $c$ with $d(c,b)<epsilon$ and $d(a,c)<d(a,b)$.



      Proof. If the closed ball property holds, then fix any $a,b$ with $r=d(a,b)$. Since the closure of $B$ includes $b$, the second property follows. Conversely, if the second property holds, then if $r=d(a,b)$, then the property ensures that $b$ is in the closure of $B$, and so the closure of the open ball includes the closed ball






      share|cite|improve this answer









      $endgroup$















        0












        0








        0





        $begingroup$

        For any $ain X$ and radius $r$, the closure of the open ball of radius $r$ around $a$ is the closed ball of radius $r$.



        For any two distinct points $a,b$ in the space and any positive $epsilon$, there is a point $c$ within $epsilon$ of $b$, and closer to $a$ than $b$ is.
        That is, for every $aneq b$ and $epsilongt 0$, there is $c$ with $d(c,b)<epsilon$ and $d(a,c)<d(a,b)$.



        Proof. If the closed ball property holds, then fix any $a,b$ with $r=d(a,b)$. Since the closure of $B$ includes $b$, the second property follows. Conversely, if the second property holds, then if $r=d(a,b)$, then the property ensures that $b$ is in the closure of $B$, and so the closure of the open ball includes the closed ball






        share|cite|improve this answer









        $endgroup$



        For any $ain X$ and radius $r$, the closure of the open ball of radius $r$ around $a$ is the closed ball of radius $r$.



        For any two distinct points $a,b$ in the space and any positive $epsilon$, there is a point $c$ within $epsilon$ of $b$, and closer to $a$ than $b$ is.
        That is, for every $aneq b$ and $epsilongt 0$, there is $c$ with $d(c,b)<epsilon$ and $d(a,c)<d(a,b)$.



        Proof. If the closed ball property holds, then fix any $a,b$ with $r=d(a,b)$. Since the closure of $B$ includes $b$, the second property follows. Conversely, if the second property holds, then if $r=d(a,b)$, then the property ensures that $b$ is in the closure of $B$, and so the closure of the open ball includes the closed ball







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered 1 hour ago









        Alexander QuinnAlexander Quinn

        315




        315



























            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%2f3151098%2fhow-to-prove-the-triangle-inequality-for-this-metric-space%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

            How should I use the fbox command correctly to avoid producing a Bad Box message?How to put a long piece of text in a box?How to specify height and width of fboxIs there an arrayrulecolor-like command to change the rule color of fbox?What is the command to highlight bad boxes in pdf?Why does fbox sometimes place the box *over* the graphic image?how to put the text in the boxHow to create command for a box where text inside the box can automatically adjust?how can I make an fbox like command with certain color, shape and width of border?how to use fbox in align modeFbox increase the spacing between the box and it content (inner margin)how to change the box height of an equationWhat is the use of the hbox in a newcommand command?

            Doxepinum Nexus interni Notae | Tabula navigationis3158DB01142WHOa682390"Structural Analysis of the Histamine H1 Receptor""Transdermal and Topical Drug Administration in the Treatment of Pain""Antidepressants as antipruritic agents: A review"

            inputenc: Unicode character … not set up for use with LaTeX The Next CEO of Stack OverflowEntering Unicode characters in LaTeXHow to solve the `Package inputenc Error: Unicode char not set up for use with LaTeX` problem?solve “Unicode char is not set up for use with LaTeX” without special handling of every new interesting UTF-8 characterPackage inputenc Error: Unicode character ² (U+B2)(inputenc) not set up for use with LaTeX. acroI2C[I²C]package inputenc error unicode char (u + 190) not set up for use with latexPackage inputenc Error: Unicode char u8:′ not set up for use with LaTeX. 3′inputenc Error: Unicode char u8: not set up for use with LaTeX with G-BriefPackage Inputenc Error: Unicode char u8: not set up for use with LaTeXPackage inputenc Error: Unicode char ́ (U+301)(inputenc) not set up for use with LaTeX. includePackage inputenc Error: Unicode char ̂ (U+302)(inputenc) not set up for use with LaTeX. … $widehatleft (OA,AA' right )$Package inputenc Error: Unicode char â„¡ (U+2121)(inputenc) not set up for use with LaTeX. printbibliography[heading=bibintoc]Package inputenc Error: Unicode char − (U+2212)(inputenc) not set up for use with LaTeXPackage inputenc Error: Unicode character α (U+3B1) not set up for use with LaTeXPackage inputenc Error: Unicode characterError: ! Package inputenc Error: Unicode char ⊘ (U+2298)(inputenc) not set up for use with LaTeX