Intereting Posts

$C^{1}$ function such that $f(0) = 0$, $\int_{0}^{1}f'(x)^{2}\, dx \leq 1$ and $\int_{0}^{1}f(x)\, dx = 1$
Need help with this geometry problem on proving three points are collinear
Representing the multiplication of two numbers on the real line
Prove that a UFD is a PID if and only if every nonzero prime ideal is maximal
Using the Limit definition to find the derivative of $e^x$
A combinatorics problem related to Bose-Einstein statistics
Find $\int e^{2\theta} \cdot \sin{3\theta} \ d\theta$
Separating Out Parts of a Matrix (Translation, Rotation, Scaling)
If $V_0$ is the subspace of matrices of the form $C=AB-BA$ for some $A,B$ in a vector space $V$ then $V_0=\{A\in V|\operatorname{Trace} (A)=0\}$
Is an isometry necessarily surjective?
A function with only removable discontinuities
Partition of a set
Indefinite integral question: $\int \frac{1}{x\sqrt{x^2+x}}dx$
Measurability of limit function into a Polish space
Understanding the trivial primality test

This question is (1-21)(b) from M. Spivak’s Calculus on Manifolds.

**Question:**

If $A$ is closed, $B$ is compact, and $A \cap B = \emptyset$, prove that there is $d > 0$ such that $||y – x|| \geq d$ for all $y \in A$ and $x \in B$.

Now, I interpret this as an instruction to find a single $d$ that works for all $y \in A$ and $x \in B$. However, I can’t see why the following is not a counter-example:

- How can I prove that $e^x \cdot e^{-x}=1$ using Taylor series?
- Proof that this limit equals $e^a$
- If $x^2$ is not uniformly continuous then how does this theorem hold?
- Is the derivative of a big-O class the same as the big-O class of the derivative?
- Closed form for ${\large\int}_0^\infty\frac{x-\sin x}{\left(e^x-1\right)x^2}\,dx$
- Proving that $\int_0^1 \frac{\log \left(\frac{1}{t}\right) \log (t+2)}{t+1} \, dt=\frac{13}{24} \zeta (3)$

Consider the set

$$A_0 = (-\infty, 0) \cup \left[\bigcup_{n=1}^{\infty} \left(\frac{1}{n + 1}, \frac{1}{n}\right)\right] \cup (1, \infty)$$

where $(a,b)$ denotes the open interval as usual. Since $A_0$ is a union of open sets, it too is open. Thus

$$A = \mathbb{R} – A_0 = \left\{ \frac{1}{n} \quad \colon \quad n \in \mathbb{N}\right\}$$

is closed. The set

$$B = [-1, 0]$$

is certainly compact. Moreover, $A \cap B = \emptyset$. However, for all $d > 0$, there exists a $y \in A$ such that

$$||0 – y|| = ||y|| < d$$

I must be overlooking something somewhere. Any help spotting where will be appreciated.

- Can we teach calculus without reals?
- Intuitive Proof of the Chain Rule in 1 Variable
- Isotopy and homeomorphism
- How prove that $\lim\limits_{x\to+\infty}f(x)=\lim\limits_{x\to+\infty}f'(x)=0$ if $\lim\limits_{x\to+\infty}(^2+f^3(x))=0$?
- Why are the coefficients of the equation of a plane the normal vector of a plane?
- Distance in 3-space between two parallel vectors
- f is monotone and the integral is bounded. Prove that $\lim_{x→∞}xf(x)=0$
- Does the graph of a continuous function have an empty interior?
- $C_c(X)$ is dense in $C_0(X)$
- Limit evaluate $\lim_{x\to0}{{\frac{\ln(\cos(-5x))}{\ln(\cos(-3x))}}}$

Here we prove the result of the book:

Recall that the function $x\mapsto d(x,A)$ is continuous and that (since $A$ is closed):

$$x\in A\iff d(x,A)=0$$

$$d=\inf_{x\in B}d(x,A)$$

The function

$$f:B\to \mathbb{R}\quad,\quad x\mapsto d(x,A)$$

is continuous on the compact $B$ then it’s bounded and there’s $x_0\in B$ s.t

$$f(x_0)=\min_{x\in B}f(x)=d=d(x_0,A)>0$$

since $x_0\not\in A$

The counter-example fails as the set $A$ contains $0$ so $A \cap B \ne \emptyset$. I had overlooked this fact for some reason.

- Independence of disjoint events
- Ahlfors “Prove the formula of Gauss”
- Improper integrals and right-hand Riemann sums
- Nowhere differentiability of Space-filling curves?
- Predicting Spirals
- How many positive numbers need to be added together to ensure that the sum is infinite?
- Surprising Generalizations
- I would like to show that all reflections in a finite reflection group $W :=\langle t_1, \ldots , t_n\rangle$ are of the form $wt_iw^{-1}.$
- Formalizing an idea
- tangent space at some point of a quasi-projective variety
- Seeing quotient groups
- Given a drawing of a parabola is there any geometric construction one can make to find its focus?
- Bisections of the unit line inequality
- Can Spectra be described as abelian group objects in the category of Spaces? (in some appropriate $\infty$-sense)
- Proving that the coefficients of the characteristic polynomial are the traces of the exterior powers