Intereting Posts

Working with binomial coefficient $\sum_{k=0}^n (-1)^k \binom nk=0$
How to determine whether this function is differentiable at a point
Let $G$ be a finite group with $|G|>2$. Prove that Aut($G$) contains at least two elements.
Existence of the limit of a sequence
Integral: $\int^\infty_{-\infty}\frac{\ln(t+1)}{t^2+1}\mathrm{d}t$
Does this modified random walk (2D) return with probability 1?
Evaluating $\sum_{n=1}^\infty \frac{n^2}{3^n} $
Show that for any integer $n\ge 6$, the inequality $2^n>7n$ holds.
How to evaluate integral $\int_{0}^{\infty} \left(\frac{1-e^{-x}}{x}\right)^n dx$.
The estimate of real and imaginary part of a holomorphic function
A generalization of the problem: “$\|\Delta u\|_{L^2}$ is an equivalent norm for standard $H^2$ norm in space $H_0^1\cap H^2$
Convergence of test-functions is not induced by any metric.
A surprising inequality about a $\limsup$ for any sequence of positive numbers
How do we show that $\int_{0}^{1}{\ln^k(x)\over x}\ln\left(1-\sqrt{x}\right)\mathrm dx=(-n)^{k+1}k!\zeta(k+2)?$
What is the Direction of a Zero (Null) Vector?

Possible Duplicate:

Continuity of the metric function

For $F$ closed in a metric space $(X,d)$, is the map $d(x,F) = \inf\limits_{y \in F} d(x,y)$ continuous?

I think it is, but I’m having a complete mind blank (it’s been a while since I did any analysis).

- How to resolve the apparent paradox resulting from two different proofs?
- $A \subseteq \mathbb R^n $ s.t. for every continuous function $f : A \to \mathbb R$ , $f(A)$ is closed in $\mathbb R$ , is $A$ closed $\mathbb R^n$?
- Sequences are Cauchy depending on the norm?
- Is there always an equivalent metric which is not complete?
- On continuously uniquely geodesic space II
- Regarding metrizability of weak/weak* topology and separability of Banach spaces.

Any hints would be appreciated.

- Is there a metric in which 1+2+3+4+… converges to -1/12?
- book for metric spaces
- Continuity and sequential continuity
- If $d$ is a metric, then $d/(1+d)$ is also a metric
- $d(w, V) = 1$ and $U = V \oplus\{\lambda w :\lambda \in \mathbb{F}\} $.
- Suppose $X$ is a metric space and $S \subseteq X.$ Then, $S^o=\{x \in X~|~dist(x,S^c)>0\}$.
- In a metric space, compactness implies completness
- Connected metric spaces with disjoint open balls
- Is total boundedness a topological property?
- Bijective local isometry to global isometry

Let $(X,\rho)$ be some metric space. For each $A\subset X$ we define distance from $x$ to $A$ by equality $\rho(x,A)=\inf\{\rho(x,y):y\in A\}$. Since for all $x_1,x_2,y\in X$ we have

$$

\rho(x_1,y)\leq\rho(x_2,y)+\rho(x_1, x_2)

$$

then after taking infimum we get

$$

\rho(x_1,A)\leq\rho(x_2,y)+\rho(x_1, x_2)

$$

then after taking infimum one more time we see

$$

\rho(x_1,A)\leq\rho(x_2,A)+\rho(x_1, x_2)

$$

Similarly we can prove that

$$

\rho(x_2,A)\leq\rho(x_1,A)+\rho(x_1, x_2),

$$

so $|\rho(x_1,A)-\rho(x_2,A)|\leq\rho(x_1, x_2)$. Now for each $\varepsilon>0$ take $\delta=\varepsilon$. Then for all $x_1,x_2\in X$ such that $\rho(x_1,x_2)<

\delta$ we have $|\rho(x_1,A)-\rho(x_2,A)|<\varepsilon$. Thus $\rho(\cdot,A):X\to\mathbb{R}_+$ not only continuous, but Lipschitz continuous with Lipschitz constant 1.

In this proof, closedness of $A$ is unnecessary.

Let $x\in X$, and let $d(x,F)=r$. we want to show that for all $\epsilon\gt 0$ there exists $\delta\gt 0$ such that if $d(x,y)\lt \delta$, then $|d(y,F)-r|\lt\epsilon$.

Let $d(y,F)=s$. Then for every $\gamma\gt 0$ there exists $f_1\in F$ such that $d(x,F)=r\leq d(x,f_1)\lt r+\gamma$. Therefore,

$$d(y,F) \leq d(y,f_1)\leq d(y,x)+d(x,f_1) \lt d(y,x)+r+\gamma$$

so

$$d(y,F)-r \leq d(y,x)+\gamma.$$

On the other hand, $d(x,F) \leq d(x,f_1) \leq d(x,y)+d(y,f_1) \leq d(x,y)+d(y,F)$, so

$$d(y,F) \geq d(x,F)-d(x,y) \geq d(x,F)-d(x,y)-\gamma,$$

hence

$$d(y,F)-r = d(y,F)-d(x,F)\geq -d(x,y)-\gamma.$$

I hope that’s sufficient?

- How should this volume integral be set up?
- Describe $R=\mathbb{Z}/(X^2-3,2X+4)$
- Hard Olympiad Inequality
- Express $(1-i)^{11}$ in cartesian form.
- Questions about the concept of Structure, Model and Formal Language
- Convergence of $\int_{1}^{\infty} \frac{\sin x}{x^{\alpha}}dx$
- how to be good at proving?
- Find the value of: $ J=\int_{0}^{\infty}\frac{x^3}{e^x-1}\ln(x)\,dx $
- Gentle introduction to fibre bundles and gauge connections
- How do you calculate that $\lim_{n \to \infty} \sum_{k=1}^{n} \frac {n}{n^2+k^2} = \frac{\pi}{4}$?
- Is $ \frac{\mathrm{d}{x}}{\mathrm{d}{y}} = \frac{1}{\left( \frac{\mathrm{d}{y}}{\mathrm{d}{x}} \right)} $?
- What does the completed graph of a function mean
- Decomposite a vector field into two parts
- Definition of an ellipsoid based on its focal points
- How to find this minimum of the value