SOLUTION: Let C be a compact set in {{{R^n}}} , and let S be a subset of C such that for any x and y in S, {{{abs(abs(x-y)) >= 1}}}. Prove that S is finite.

Algebra ->  Length-and-distance -> SOLUTION: Let C be a compact set in {{{R^n}}} , and let S be a subset of C such that for any x and y in S, {{{abs(abs(x-y)) >= 1}}}. Prove that S is finite.      Log On


   



Question 1030129: Let C be a compact set in R%5En , and let S be a subset of C such that for any x and y in S, abs%28abs%28x-y%29%29+%3E=+1. Prove that S is finite.
Answer by robertb(5830) About Me  (Show Source):
You can put this solution on YOUR website!
Suppose C is infinite.
Then by the Bolzano-Weierstrass theorem, since C is bounded (and closed!), C will have a limit point x%5B0%5D that is contained in C.
This implies that there will be a positive integer n>1 such that abs%28abs%28x-x%5B0%5D%29%29+%3C+1%2Fn+%3C+1 for an infinite number of elements x in C.
Contradiction, because it should be that abs%28abs%28x-x%5B0%5D%29%29+%3E=+1.
Hence C should be finite.