Intereting Posts

Chicken Problem from Terry Tao's blog (system of Diophantine equations)
Are rank of T and T^* equal?
Prove coefficients of polynomial are elementary symmetric polynomials
N.Alon, J.Spencer Probabilistic methods problem ch. $4$ problem $5$
Let $z_k = \cos\frac{2k\pi}n + i\sin\frac{2k\pi}n$. Show that $\sum_{k=1}^n|z_k-z_{k-1}|<2\pi$.
Showing that the intersection of all subgroups of order $n$ is normal
Gay Speed Dating Problem
What is the significance of the three nonzero requirements in the $\varepsilon-\delta$ definition of the limit?
Warp-like pattern in a closed curve
Semi-direct v.s. Direct products
Diophantine applications of Spec?
Why should I care about fields of positive characteristic?
Given $p \equiv q \equiv 1 \pmod 4$, $\left(\frac{p}{q}\right) = 1$, is $N(\eta) = 1$ possible?
Complex hermite polynomials as an eigenfunction of an operator?
If every composition of a differentiable path and a function is differentiable at 0, means the function is differentiable at 0

I’m trying to prove that the open ball of radius 1 centered at the origin in $\mathbb{R}^n$ is homeomorphic to $\mathbb{R}^n$. I believe the “shrinking map” from $\mathbb{R}^n$ to the ball given by $x \mapsto \dfrac{x}{1 + |x|}$ does the job, but I’m having trouble showing it’s a homeomorphism, particularly the “continuous inverse” part. What’s a good way to do this?

- Visualizing products of $CW$ complexes
- An easy to understand definition of $\omega_1$?
- A question on a quotient of Alexandroff's double segment space
- Sequences are Cauchy depending on the norm?
- If $S \times \Bbb{R}$ is homeomorphic to $T \times \Bbb{R}$ and $S$ is compact, can we conclude that $T$ is compact?
- Homeomorphism between the Unit Disc and Complex Plane
- Compact space which is not sequentially compact
- A metric space is complete if for some $\epsilon \gt 0$, every $\epsilon$-ball in $X$ has compact closure.
- What are relative open sets?
- Making Tychonoff Corkscrew in Counterexamples in Topology rigorous?

To figure out the inverse, note that if $|x|=\lambda$, then

$$\left|\frac{x}{1+|x|}\right| = \frac{\lambda}{1+\lambda}.$$

Thus, given $y\in\mathbb{R}^n$ with $0\leq |y|\lt 1$, you want to find $\lambda$ such that $\lambda = (1+\lambda)|y|$. Letting $|y|=\mu$, we have

$(1-\mu)\lambda = \mu$, or $\lambda = \frac{1}{1-\mu}$.

So the map you want for the inverse is

$$y\longmapsto \frac{y}{1-|y|}.$$

Note that this is well-defined, since $0\leq |y|\lt 1$, so $0\lt 1-|y|\leq 1$. Also, the compositions are the identity:

$$\begin{align*}

x &\longmapsto \frac{x}{1+|x|}\\

&\longmapsto \left(\frac{1}{1- \frac{|x|}{1+|x|}}\right)\frac{x}{1+|x|}

= \left(\frac{1+|x|}{1+|x|-|x|}\right)\frac{x}{1+|x|}\\

&= \vphantom{\frac{1}{x}}x.\\

y &\longmapsto \frac{y}{1-|y|}\\

&\longmapsto \left(\frac{1}{1 + \frac{|y|}{1-|y|}}\right)\frac{y}{1-|y|}

= \left(\frac{1-|y|}{1-|y|+|y|}\right)\frac{y}{1-|y|}\\

&= \vphantom{\frac{1}{y}}y.

\end{align*}$$

Now simply verify that both maps are continuous.

- A difficult integral evaluation problem
- How many 2-edge-colourings of $K_n$ are there?
- Why $f(x) = \sqrt{x}$ is a function?
- Generalizing $(-1)^{n}$ by using $k$th-level figurate numbers
- Bounds on the size of these intersecting set families
- Motivation for/history of Jacobi's triple product identity
- Simple doubt about complex numbers
- Classify orbits of conjugating action on $GL_2(\mathbb{C})$
- Is $512^3+675^3+720^3$ a composite number?
- Functions on vector spaces over finite fields
- Proving inequalities about integral approximation
- Prove that $x^\alpha \cdot\sin(1/x)$ is absolutely continuous on $(0,1)$
- Real Analysis, Folland Proposition 2.1
- What's the justification for defining the (definite) integral using a countably infinite sum?
- All Sylow $p$-subgroups of $GL_2(\mathbb F_p)$?