Intereting Posts

Uniqueness of IVP solution with a condition weaker than Lipschitz?
Elementary proof of topological invariance of dimension using Brouwer's fixed point and invariance of domain theorems?
“What if” math joke: the derivative of $\ln(x)^e$
Teaching irrational numbers?
Can we recover a compact smooth manifold from its ring of smooth functions?
Functions determine geometry … Riemannian / metric geometry?
Prove $ \sin(A+B)\sin(A-B)=\sin^2A-\sin^2B $
Check in detail that $\langle x,y \mid xyx^{-1}y^{-1} \rangle$ is a presentation for $\mathbb{Z} \times \mathbb{Z}$.
Flow of sum of non-commuting vector fields
$2^{nd}$ order ODE $4x(1-x)y''-y=0$ with $y'(0)=1$ at $x=0$
Cayley-Hamilton theorem on square matrices
Enlightening proof that the algebraic numbers form a field
What is the algorithm for long division of polynomials with multiple variables?
$D(G)$ is finite if $G$ has finitely many commutators
A proviso in l'Hospital's rule

I was given this innocent looking homework question.

Given two nonempty sets $A,B \subseteq X$ where $(X,d)$ is a metric space.

- Show that $\mathrm{dist}(A,B) = \inf \{d(x,y) \mid x \in A, y \in B \}$ is well-defined.
- Suppose $A \cap B = \phi$. Suppose $A$ is closed and $B$ is compact. Show that $\mathrm{dist}(A, B) > 0$.

Aren’t both (1) and (2) properties of the fact that $S = \{ d(x,y) \mid x \in A, y \in B \}$ is a subset of $P = \{ x \mid x \ge 0 \}$, which is bounded?

- Contraction mapping in an incomplete metric space
- Prove that $$ is not isometric to $$.
- Convergence in metric and a.e
- Let $L_p$ be the complete, separable space with $p>0$.
- $\mathbb N$ when given the metric $d(m,n)=\frac{1}{m}-\frac{1}{n}$
- Metrizability of a compact Hausdorff space whose diagonal is a zero set

for (1): $S \subseteq P$ and $P$ bounded implies $S$ is bounded. Hence $\mathrm{inf} S$ exists. Since $\mathrm{inf} S$ is unique, we conclude that $\mathrm{dist}(A, B)$ is well defined.

for (2): Since $\mathrm{inf} P \ge 0$ and $S \subseteq P$, $\mathrm{dist}(A, B) \ge 0$. Since $A \cap B = \phi$, $x \ne y$ $\forall x \in A, y \in B$. Then $d(x,y) \ne 0$. Hence $\mathrm{dist}(A,B) > 0$.

Am I missing something very very obvious? Where does compactness come into play?

- How to investigate the $\limsup$, the $\liminf$, the $\sup$, and especially the $\inf$ of the sequence $(\sqrt{|\sin{n}|})_{n=1}^{\infty}$?
- If $f$ is continuous, $f(x) \to -\infty$ as $x \to -\infty$, and $f(x) \to \infty$ as $x \to \infty$, then $f(\mathbb{R}) = \mathbb{R}$.
- Compact Metric Spaces and Separability of $C(X,\mathbb{R})$
- Are weak derivatives and distributional derivatives different?
- Countability of disjoint intervals
- Must $f$ be measurable if each $f^{-1}(c)$ is?
- Looking for differentiable functions $f$ such that the set of points at which $|f|$ is not differentiable has some particular properties
- Proving $C()$ Is Not Complete Under $L_1$ Without A Counter Example
- Evaluation of $\int_0^1 \frac{\log(1+x)}{1+x}\log\left(\log\left(\frac{1}{x}\right)\right) \ dx$
- between Borel $\sigma$ algebra and Lebesgue $\sigma$ algebra, are there any other $\sigma$ algebra?

For 1, $S$ might be unbounded, contrary to your statement. But you have exactly the right idea: it is bounded *below* by 0, and that is all you need.

$\def\dist{\operatorname{dist}}$But for 2 your idea is no good. Let $A = (-1,0)$ and $B = (0, 1)$. Then $A\cap B = \phi$, and yet $\dist(A, B) = 0$. There are no two points $a\in A, b\in B$ with distance zero, as you said, but there *are* points $a,b$ at arbitrarily small distance, and that is all we need for the infimum of $S$ to be zero. So if we want to prove that $\dist(A,B)>0$, it is not enough to know that $A$ and $B$ are disjoint; we need some additional information about $A$ and $B$. That is where the compactness comes in.

In fact it’s not even enough for the two sets to be closed; the usual example is that the hyperbola $H = \{ \langle x,y\rangle \mid xy = 1 \}$ is closed and the $x$-axis $L = \{ \langle x,y\rangle \mid y = 0 \}$ is closed, but $\dist(H, X) = 0$ because for any positive $s$ we can choose $0<t<s$ and then $h = \left\langle \frac1t, t\right\rangle, \ell = \left\langle \frac1t, 0\right\rangle$ are closer than $s$.

You should show that $d_S(x):=\operatorname{inf}_{s\in S}d(s,x)$ is a continous function (for all subsets $S$). If you have that, then

$$

d(A,B)=\operatorname{inf}_{x\in B}d_A(x)=\operatorname{inf}_{x\in A}d_B(x)

$$

Now if $B$ is compact $d_A$ has a Minimum $m$ on $B$, say at the point $b\in B$. By definition, we find a sequence $a_n \in A$ such that $d(a_n,b)\rightarrow m$. If $m=0$, this would imply that $a_n \rightarrow b$. But $A$ is closed, so $b\in A$ is impossible $\Rightarrow m>0$

- Proof of Pythagorean theorem without using geometry for a high school student?
- Expectation of an Absolute Value that is the Standard Normal?
- Do Integrals over Fractals Exist?
- What is a good asymptotic for $f_n = f_{n-1}+\ln(f_{n-1})$?
- Probability that a random permutation has no fixed point among the first $k$ elements
- How to solve this recurrence relation
- How to figure out the spectral radius of this matrix
- Every manifold admits a vector field with only finitely many zeros
- Prove $H$ is normal subgroup
- with cocountable topology X Let Y be topological space and $f:X \to Y$ and $x_n \to x$ show $f(x_n)=f(x)$
- The field of Laurent series over $\mathbb{C}$ is quasi-finite
- Active and passive transformations in Linear Algebra
- Is restriction of scalars a pullback?
- forming ODE by elimination of arbitrary constant
- Evaluating $\sum_{k=1}^{\infty}\frac{\sin\left(k\theta\right)}{k^{2u+1}}$ with multiple integrals