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?

Custom alignment for GeoMarkers

Could this Scherzo by Beethoven be considered to be a fugue?

Why does overlay work only on the first tcolorbox?

World War I as a war of liberals against authoritarians?

Encrypting then Base64 Encoding

Is it true that good novels will automatically sell themselves on Amazon (and so on) and there is no need for one to waste time promoting?

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

How to make healing in an exploration game interesting

How can we have a quark condensate without a quark potential?

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

Is it insecure to send a password in a `curl` command?

PTIJ: Who should I vote for? (21st Knesset Edition)

Could the Saturn V actually have launched astronauts around Venus?

While on vacation my taxi took a longer route, possibly to scam me out of money. How can I deal with this?

Why is a white electrical wire connected to 2 black wires?

What is the purpose or proof behind chain rule?

How could a scammer know the apps on my phone / iTunes account?

The meaning of 振り in 無茶振り

Four married couples attend a party. Each person shakes hands with every other person, except their own spouse, exactly once. How many handshakes?

Can I use USB data pins as a power source?

Why does a Star of David appear at a rally with Francisco Franco?

Most cost effective thermostat setting: consistent temperature vs. lowest temperature possible

Describing a chess game in a novel

When to use a slotted vs. solid turner?



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.
    50 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
    57 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
    47 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
    43 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.
      50 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.
      50 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.
      50 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.
      50 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.
    50 mins ago




    $begingroup$
    This is a very nice answer.
    $endgroup$
    – H. H.
    50 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
      57 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
      47 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
      43 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
      57 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
      47 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
      43 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
      57 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
      47 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
      43 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
      57 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
      47 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
      43 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
    57 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
    57 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
    47 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
    47 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
    43 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
    43 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

            Disable / Remove link to Product Items in Cart Planned maintenance scheduled April 23, 2019 at 23:30 UTC (7:30pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How can I limit products that can be bought / added to cart?Remove item from cartHide “Add to Cart” button if specific products are already in cart“Prettifying” the custom options in cart pageCreate link in cart sidebar to view all added items After limit reachedLink products together in checkout/cartHow to Get product from cart and add it againHide action-edit on cart page if simple productRemoving Cart items - ObserverRemove wishlist items when added to cart

            Helsingin valtaus Sisällysluettelo Taustaa | Yleistä sotatoimista | Osapuolet | Taistelut Helsingin ympäristössä | Punaisten antautumissuunnitelma | Taistelujen kulku Helsingissä | Valtauksen jälkeen | Tappiot | Muistaminen | Kirjallisuutta | Lähteet | Aiheesta muualla | NavigointivalikkoTeoksen verkkoversioTeoksen verkkoversioGoogle BooksSisällissota Helsingissä päättyi tasan 95 vuotta sittenSaksalaisten ylivoima jyräsi punaisen HelsinginSuomalaiset kuvaavat sotien jälkiä kaupungeissa – katso kuvat ja tarinat tutuilta kulmiltaHelsingin valtaus 90 vuotta sittenSaksalaiset valtasivat HelsinginHyökkäys HelsinkiinHelsingin valtaus 12.–13.4. 1918Saksalaiset käyttivät ihmiskilpiä Helsingin valtauksessa 1918Teoksen verkkoversioTeoksen verkkoversioSaksalaiset hyökkäävät Etelä-SuomeenTaistelut LeppävaarassaSotilaat ja taistelutLeppävaara 1918 huhtikuussa. KapinatarinaHelsingin taistelut 1918Saksalaisten voitonparaati HelsingissäHelsingin valtausta juhlittiinSaksalaisten Helsinki vuonna 1918Helsingin taistelussa kaatuneet valkokaartilaisetHelsinkiin haudatut taisteluissa kaatuneet punaiset12.4.1918 Helsingin valtauksessa saksalaiset apujoukot vapauttavat kaupunginVapaussodan muistomerkkejä Helsingissä ja pääkaupunkiseudullaCrescendo / Vuoden 1918 Kansalaissodan uhrien muistomerkkim

            Adjektiivitarina Tarinan tekeminen | Esimerkki: ennen | Esimerkki: jälkeen | Navigointivalikko