I am trying to prove that the unit disk $S=\{(x,y) \mid x^{2} + y^{2} \leq 1 \}$ is a 2-manifold with boundary. This seems to be a well-established fact, but I can't find a reference that explicitly gives the charts for this. Specifically, the boundary charts are what is confusing me. Obviously, $\partial S$, the topological boundary of $S$, will also be the boundary in the manifold sense, but for each such point $z \in \partial S$, we must find a local diffeomorphism
$$ \phi: U \cap S \rightarrow \mathbb{R} \times \{0\}$$
such that $z \in U$. Does anybody know what such a diffeomorphism would look like, or have a reference to the charts explicitly written out? Thanks in advance!
Well you can use the linear fractional transformation $f$ from $\bar{\mathbb{H}}^{2} \rightarrow S$ defined by $f(z) = \frac{z-i}{z+i}$ this maps the $\bar{\Bbb{H}}^{2}$ to $S \setminus \{ (1,0)\}$. Now define $g(z) = \frac{i-z}{z+i}$ then $g$ maps the upper half plane to the $S \setminus \{(-1,0)\}$. for $ z \in \bar{\Bbb H}^{2} \setminus \{(1,0) , (-1,0) \}$ then $g^{-1}\circ f(z) = -z$ which is clearly a smooth function. So these two charts define a smooth atlas on $\bar{\Bbb H }^{2} \setminus \{(1,0),(-1,0) \}$.