[Math] Showing that $\bar{\mathbb{B}}^n$ is a manifold with boundary (Lee ITM Probelm 3-4)

Question

"Show that every closed ball in $\mathbb{R}^n$ is an $n$-dimensional manifold with boundary, as is the complement of every open ball. Assuming the theorem on the
invariance of the boundary, show that the manifold boundary of each is equal
to its topological boundary as a subset of $\mathbb{R}^n$, namely a sphere. Hint: for the unit ball in Rn, consider the map $\pi \circ \sigma^{-1}: \mathbb{R}^n \rightarrow \mathbb{R}^n$, where $\sigma$ is the stereographic projection and $\pi$ is a projection from $\mathbb{R}^{n + 1}$ to $\mathbb{R}^n$ that omits some
coordinate other than the last."

So, I've got (the first part, anyways) of the question done, but my technique was a little different than what Prof. Lee suggested: I considered the ball as infinitely many foliated spheres, mapped each one to a plane using the stereographic projection, and then put the last coordinate as a function of the distance from the north/south pole. However, my solution seemed to neatly avoid any use of $\pi$ as mentioned, and I'm curious if anyone knows how that solution runs.

Answer 1

I've been worked on this problem for some time, and i think i probably solved it based on the hint given on the book. Maybe this seems a little long, but it is really not. I tried my best to make this simple. It is really helpful to follow the arguments with a picture for the case $n=2$ in mind.

It is enough to solve this for the closed unit ball $\bar{\mathbb{B}}^n$ in $\mathbb{R}^n$, since any other closed ball $\bar{B}_r(p)$ in $\mathbb{R}^n$ is homeomorphic to $\bar{\mathbb{B}}^n$ by composition of translation $T : \bar{B}_r(p) \to \bar{B}_r(0)$, defined as $x \mapsto x - p$ together with dilation $D : \bar{B}_r(0) \to \bar{\mathbb{B}}^n$, defined as $x \mapsto \frac{x}{r}$.

$\diamond \quad $ As a subspace of $\mathbb{R}^n$, $\bar{\mathbb{B}}^n$ is a second countable Hausdorff space. For any point $p\in \mathbb{B}^n$, the identity map on $\mathbb{B}^n$ serve as the homeomorphism. So we only need to construct homeomorphisms between neighbourhood of points on $\partial \bar{\mathbb{B}}^n=\mathbb{S}^{n-1}$ with open subsets in $\mathbb{H}^n$. To do this we need to consider $\bar{\mathbb{B}}^n$ as a subspace of $\mathbb{R}^{n+1}$.

Consider the stereographic projection from the south pole $\sigma : \mathbb{S}^n\smallsetminus \{S\} \to \mathbb{R}^n$, which is a homeomorphism, defined as $$ \sigma(x_1,\dots,x_{n+1}) = \frac{(x_1,\dots,x_n)}{1+x_{n+1}}. $$ For $i=1,\dots,n$, define $$U_i^{+} =\{ (x_1,\dots,x_n) \in \mathbb{R}^n : x_i > 0 \}, \quad U_i^{-} =\{ (x_1,\dots,x_n) \in \mathbb{R}^n : x_i < 0 \}$$ be $2n$-many open subsets of $\mathbb{R}^n$, and also for $i=1,\dots,n$ $$ \widetilde{U}_i^+ = \{(x_1,\dots,x_{n+1}) \in \mathbb{R}^{n+1} : x_i>0 \}, \quad \widetilde{U}_i^- = \{(x_1,\dots,x_{n+1}) \in \mathbb{R}^{n+1} : x_i<0 \} $$ are $2n$-many open subsets in $\mathbb{R}^{n+1}$.

Observe that $$\sigma^{-1}(U_i^{\pm}) = \mathbb{S}^n \cap \widetilde{U}_i^{\pm}$$ for each $i=1,\dots,n$. That is $\sigma^{-1}$ map $U_i^+$ to the open hemisphere of $\mathbb{S}^n$ where $x_i>0$, and same for $U_i^-$. In particular,

$\bullet \quad \sigma^{-1}$ is an identity map on $$\partial \bar{\mathbb{B}}^n = \mathbb{S}^{n-1} = \{(x_1,\dots,x_{n+1}) \in \mathbb{R}^{n+1} : x_{n+1} = 0 \text{ and }\sum_{i=1}^{n} x_i^2 = 1 \},$$

$\bullet \quad $ The inside region, $\mathbb{B}^n \cap U_i^+$, is maped to the upper part ($x_{n+1}>0$) of the hemisphere $\sigma^{-1}(U_i^+)$, and the outside region, $U_i^+ \smallsetminus \overline{\mathbb{B}^n}$ , is maped to the lower part ($x_{n+1}<0$) of hemisphere $\sigma^{-1}(U_i^+)$.

Since these hemispheres $\sigma^{-1}(U^{\pm}_i)$ homeomorphic to open unit ball $\mathbb{B}^{n}$ via projection map $\pi_i : (x_1,\dots,x_i,\dots,x_{n+1}) \mapsto (x_1,\dots,x_{i-1},x_{i+1},\dots,x_{n+1})$, then by restricting the composition map $\pi_i \circ \sigma^{-1} : \mathbb{R}^n \to \mathbb{R}^n$ to $U_i^{\pm} \cap \bar{\mathbb{B}}^n$, we obtain the desired homeomorphisms $$ \varphi:=\pi_i \circ (\sigma^{-1})|_{U_i^{\pm}\cap \bar{\mathbb{B}}^n} : U_i^{\pm}\cap \bar{\mathbb{B}}^n \to \mathbb{H}^n, $$ with domains cover $\partial\bar{\mathbb{B}}^n = \mathbb{S}^{n-1}$. By construction, any $p\in \mathbb{S}^{n-1}$ must contained in one such neighbourhoods, with $\varphi(p) \in \partial \mathbb{H}^n$ and $\varphi(U_i^{\pm}\cap \bar{\mathbb{B}}^n)$ is an open half unit ball in $\mathbb{H}^n$. Therefore, $\bar{\mathbb{B}}^n$ is an $n$-manifold with boundary with manifold boundary is equal to its topological boundary $\mathbb{S}^{n-1}$.

Note that by similar way we can show that the complement of any open ball is an $n$-manifold with boundary, with its topological boundary as the manifold boundary. Only this time we use stereographic projection form the north pole.