The remark stems from a previous version of the article, in which I had included Lebesgue's proof of the Weierstrass approximation theorem as an example of the technique, and I think the following is what I had in mind.
Define a relation ~ on collections of functions saying that A ~ B if and only if any function in A can be uniformly approximated arbitrarily well by a function in B. Weierstrass approximation is the statement that if
X is the collection of continuous functions on and
Y is the collection of polynomials on ,
then X ~ Y. Lebesgue's proof proceeds via the intermediate collection Z, the collection of piecewise linear functions on . Now, ~ is not a symmetric relation in general, which is why I made that remark.
That said, I guess ~ is an equivalence relation if one restricts it to just the collections X, Y and Z, though one does not really need to know this. (One only needs the transitivity, which follows from the unrestricted version of the relation.)
Actually, having re-read the quick description of the article, I now see why this is an issue: I wrote "show that they are both 'equivalent' to a third", whereas I was thinking "show that X ~ Z and Z ~ Y for some Z".
So either the quick description should be changed, or that remark should go. I'm not sure if there are interesting examples where ~ is not be an equivalence relation restricted to X, Y and Z, and even if they are, perhaps this article should be restricted to dealing with equivalence relations. I'll leave things as they are for a while in case someone else has an idea.
Olof, it seems to me that if you have one simple special case S, say, that's related to everything, and want to show that X is related to Y, then you'll need both symmetry and transitivity, since you get X related to S by symmetry and then X related to Y by transitivity. So it seems rather unlikely that there will be interesting examples where the relation is not an equivalence relation. Do you have any?
The remark stems from a previous version of the article, in which I had included Lebesgue's proof of the Weierstrass approximation theorem as an example of the technique, and I think the following is what I had in mind.
Define a relation ~ on collections of functions saying that A ~ B if and only if any function in A can be uniformly approximated arbitrarily well by a function in B. Weierstrass approximation is the statement that if
then X ~ Y. Lebesgue's proof proceeds via the intermediate collection Z, the collection of piecewise linear functions on . Now, ~ is not a symmetric relation in general, which is why I made that remark.
That said, I guess ~ is an equivalence relation if one restricts it to just the collections X, Y and Z, though one does not really need to know this. (One only needs the transitivity, which follows from the unrestricted version of the relation.)
Actually, having re-read the quick description of the article, I now see why this is an issue: I wrote "show that they are both 'equivalent' to a third", whereas I was thinking "show that X ~ Z and Z ~ Y for some Z".
So either the quick description should be changed, or that remark should go. I'm not sure if there are interesting examples where ~ is not be an equivalence relation restricted to X, Y and Z, and even if they are, perhaps this article should be restricted to dealing with equivalence relations. I'll leave things as they are for a while in case someone else has an idea.
[The Weierstrass example is now in the article Prove the result on a dense subset and then prove that the set where the result holds is closed.]
Olof, it seems to me that if you have one simple special case S, say, that's related to everything, and want to show that X is related to Y, then you'll need both symmetry and transitivity, since you get X related to S by symmetry and then X related to Y by transitivity. So it seems rather unlikely that there will be interesting examples where the relation is not an equivalence relation. Do you have any?