Talk:P-Product Metrics on Real Vector Space are Topologically Equivalent

It looks to me like the original author managed to do the hard part of this proof and then got stuck on the easy part, thinking zie had to prove more than was actually necessary. I replaced it with something far simpler that I think does work. However, I would really appreciate if other folks could check that I didn't do something totally stupid. --Dfeuer (talk) 18:32, 15 January 2013 (UTC)


 * There is nowhere where it is shown that $d_r \left({x,y}\right) \ge d_\infty \left({x, y}\right)$, or anything similar, as far as I can see. The step that shows why $d_r \left({x, y}\right) \ge d_{r+1} \left({x, y}\right)$ should be correct. --Anghel (talk) 19:06, 15 January 2013 (UTC)


 * Good point. I don't think that was proved in any of the material I erased either. --Dfeuer (talk) 19:09, 15 January 2013 (UTC)


 * But that follows trivially from the fact that the $n$th root is increasing, doesn't it? I'm thinking the whole proof of the chain of inequalities might well belong on a separate page to which this one need not link. Unless I'm thinking entirely bone-headedly, which is always a possibility. --Dfeuer (talk) 19:15, 15 January 2013 (UTC)


 * Yes, it does. So we just need to add that argument. Good job. --Anghel (talk) 19:34, 15 January 2013 (UTC)

I see your comment on "Nothing here seems to require the underlying factor space to be the real line; any metric space should do", but if you do see fit to expand it, please do it on another page. --prime mover (talk) 22:36, 15 January 2013 (UTC)


 * I have already posted this generalization for binary products on Product Space Metric Induces Product Topology. --abcxyz (talk) 02:38, 16 January 2013 (UTC)

hölderrove template ==

Yes, the proof here really doesn't need to deal with integers. But if you come up with a method that doesn't require the horrible derivative, I think it'd still be good to give that derivative its own page. I'm sure it must come up somewhere else. --Dfeuer (talk) 03:03, 16 January 2013 (UTC)


 * Proving $d_{\infty} \ge n^{-1/r} d_r$ is pretty similar to proving the special case $d_{\infty} \ge n^{-1} d_1$. --abcxyz (talk) 05:04, 16 January 2013 (UTC)


 * I don't have time tonight, but I'll try to work on it on Thursday. Do you have any ideas for a name for the function whose derivative is calculated here? &mdash;Dfeuer (talk) 05:50, 16 January 2013 (UTC)

There's no need for the general $d_r$-$d_t$ comparison. We can drop $d_t$ and just deal with $d_r$, $d_1$, and $d_\infty$. --Dfeuer (talk) 17:05, 16 January 2013 (UTC)


 * If you don't do it first, I'll strip out $d_t$. If that comparison has some value outside of proving this theorem (which it may), we should put it in its own page. --Dfeuer (talk) 17:09, 16 January 2013 (UTC)


 * We can also strip out $d_1$. I think that the comparison should have a page. --abcxyz (talk) 17:16, 16 January 2013 (UTC)


 * No problem. Can you come up with a title for the function whose derivative is currently used to prove it's decreasing? --Dfeuer (talk) 17:22, 16 January 2013 (UTC)


 * Don't worry, I saw that question. It seems reasonable to put it on Inequality of Hölder Means, but I don't know if it's the best place to put it. --abcxyz (talk) 17:43, 16 January 2013 (UTC)

Congrats, abcxyz. It looks like you've entirely eliminated the need for most of this proof. --Dfeuer (talk) 17:44, 16 January 2013 (UTC)


 * That's actually pretty much what I've been saying, anyway. --abcxyz (talk) 17:57, 16 January 2013 (UTC)

Now I see why the Hölder mean doesn't do it. Pesky $(1/n)^{1/p}$. If there's no standard name maybe we should make one up. Hölder sum? --Dfeuer (talk) 18:14, 16 January 2013 (UTC)


 * I think we can just state $n^{1/q} M_q \le n^{1/p} M_p$. No need for making up names, in my opinion. --abcxyz (talk) 18:19, 16 January 2013 (UTC)


 * The reason I would like a name (preferably a standard one) is that we can then have pages like Bounds for ____ Function, Derivative of _____ Function, and ______ Function is Increasing. The bounds theorem proves General Euclidean Metrics are Topologically Equivalent and P-Product Metrics are Topologically Equivalent. I don't know the applications of the other theorems. What's your alternative proposal? --Dfeuer (talk) 18:46, 16 January 2013 (UTC)


 * If you delete the exiting proof, Dfeuer, then you're blocked indefinitely. --prime mover (talk) 19:28, 16 January 2013 (UTC)


 * I won't delete anything here without your permission. What I'm trying to do is find a solution that will satisfy your needs. We have here a proof that uses certain properties of a certain kind of REAL function. All I'm proposing is that we extract that function and its properties from the proof about general Euclidean metrics. My thinking at present is that the way to do this is to define a special case of p-norm for sequences of real numbers (and possibly even one for FINITE sequences of real numbers), give that definition its own page, and prove the necessary properties. We can even transclude it here, if we're careful. --Dfeuer (talk) 19:40, 16 January 2013 (UTC)


 * The existing proof is a valid proof. It can stay as it is. If you want to craft something else, then add it as an alternative proof. --prime mover (talk) 19:42, 16 January 2013 (UTC)


 * Even then, we still need to rename the first lemma and move the second one somewhere else (it doesn't actually play any role in this proof). Can you suggest appropriate names for each? --Dfeuer (talk) 20:10, 16 January 2013 (UTC)


 * No we don't, and no we don't. --prime mover (talk) 21:17, 16 January 2013 (UTC)