Can Non-Compact Closed Subsets Be Disjoint in a Metric Space?

  • Thread starter Thread starter Kreizhn
  • Start date Start date
Kreizhn
Messages
714
Reaction score
1

Homework Statement



Give an example of a metric space (X,d), and nonempty subsets A,B of X such that both A,B are closed, non-compact, disjoint (A \cap B = \emptyset), and \forall k&gt;0, \; \exists a \in A, b \in B such that d(a,b)<k

The Attempt at a Solution



I've been trying to consider the set of all infinite binary sequences
X = \left\{ (x^{(1)}, x^{(2)}, \ldots, x^{(n)}, \ldots ) | x^{(i)} \in \{0,1\} \forall i \geq 1 \right\}

but I ended up showing that this is a compact metric space and as such all closed subsets are necessarily compact.

So I'm not terribly sure about any other examples that might work...

Edit: X is a compact metric space under

d(x,y) = \displaystyle \sum_{k=1}^\infty \frac{1}{2^k} | x^{(k)} - y^{(k)} |
 
Last edited:
Physics news on Phys.org
R^2 is not compact. And graphs of continuous functions R->R are closed. Does that suggest anything?
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top