I'm really struggling to understand the definition of a "submanifold with boundary". Until now, I'm only familiar with the notion of a "submanifold of $\mathbb R^d$. I've defined this notion in the form I'm aware of below$^1$, but meanwhile I guess it should better be called "$C^1$-submanifold" and what I call "chart" should be called "$C^1$-chart", but in particular the latter might be totally wrong.
Let $M\subseteq\mathbb R^d$ for some $d\in\mathbb N$, $k\in\{1,\ldots,d\}$ and $\mathbb H^k:=\{x\in\mathbb R^k:x_k\ge0\}$.
Maybe it's easier to motivate the definition of a "submanifold with boundary" using the following equivalent characterization of a submanifold: Let $$\mathcal D_d:=\{(\Omega,\psi)\mid\Omega\subseteq\mathbb R^d\text{ is open and }\psi\text{ is a diffeomorphism from }\Omega\text{ onto }\psi(\Omega)\}.$$ Then $M$ is a $k$-dimensional embedded ($C^1$-)submanifold of $\mathbb R^d$ if and only if $$\forall x\in M:\exists(\Omega,\psi)\in\mathcal D_d:x\in\Omega\text{ and }\psi(M\cap\Omega)=\psi(\Omega)\cap(\mathbb R^k\times\{0\}).\tag2$$ Now let $\iota_k$ denote the canonical embedding of $\mathbb R^k$ into $\mathbb R^d$ with $\iota\mathbb R^k=\mathbb R^k\times\{0\}$. Then, it's easy to see that if $(\Omega_1,\psi)\in\mathcal D_d$ with $\psi(M\cap\Omega)=\psi(\Omega)\cap(\mathbb R^k\times\{0\})$ and $\Omega_2:=\psi(\Omega_1)$, then $U:=\iota_k^{-1}(\Omega_2)$ is open, $\psi^{-1}\in C^1(\Omega_2,\mathbb R^d)$, $$\phi:=\psi^{-1}\circ\left.\iota_k\right|_U\in C^1(U,\mathbb R^d)$$ and $$\phi(U)=M\cap\Omega_1$$ and hence $(U,\phi)$ is a $k$-dimensional chart of $M$.
Now, and hopefully I got it right, the definition of a "submanifold with boundary" should be as follows: $M$ is called $k$-dimensional embedded ($C^1$-)submanifold with boundary of $\mathbb R^d$ if for all $x\in M$ there is a $(\Omega,\psi)\in\mathcal D_d$ with $x\in\Omega$ and either
- $\psi(M\cap\Omega)=\psi(\Omega)\cap(\mathbb R^k\times\{0\})$; or
- $\psi(M\cap\Omega)=\psi(\Omega)\cap(\mathbb H^k\times\{0\})$ and $\psi_k(x)=0$.
I'm not sure, but maybe we can show that for each fixed $x$, either all choices of $(\Omega,\psi)$ satisfy (1.) or all choices satisfy (2.). I've asked for that separetegly: Show that these two diffeomorphisms cannot exist simultaneously.
How does the corresponding "chart definition" of a submanifold with boundary look like? Am I right that we can construct such a chart in the same way as before? Assuming $x\in M$ and $(\Omega,\psi)$ is as in the definition above satisfyin (2.). Then, if again $U:=\iota_k^{-1}(\Omega_2)$ and $\phi:=\psi^{1-}\circ\left.\iota_k\right|_U$, we should have $\psi(M\cap\Omega_1)=\iota(U\cap\mathbb H^k)$ and hence $M\cap\Omega_1=\phi(\mathbb H^k\cap U)$. $\phi$ is still an immersion from $U$ to $\mathbb R^d$ and a topological embedding of $U$ into $\phi(U)$. And $U\cap\mathbb H^k$ is open in $\mathbb H^k$; maybe that's what we need to replace.
Besides that I've read that we can always (i.e. for any submanifold with boundary, $x\in M$ and $(\Omega,\psi)\in\mathcal D_d$ with $x\in\Omega$) assume that $\psi(M\cap\Omega)=\psi(\Omega)\cap(\mathbb H^k\times\{0\})$; the only difference would be that if $x\in\partial M$ (I'm not sure if the topological boundary is meant), then $\psi_k(x)=0$ and if $x\in M^\circ$ (I'm not sure if the topological boundary is meant), then $\psi_k(x)>0$. Why is that the case?
$^1$ $(U,\phi)$ is called $k$-dimensional chart of $M$ if $U\subseteq\mathbb R^k$ is open, $\phi:U\to\mathbb R^d$ is an immersion and a topological embedding of $U$ into $M$ and $\phi(U)$ is $M$-open. Let $\mathcal C_k(M)$ denote the set of $k$-dimensional charts of $M$.
$M$ is called $k$-dimensional embedded submanifold of $\mathbb R^d$ if $$\forall x\in M:\exists(U,\phi)\in\mathcal C_k(M):x\in\phi(U)\tag1.$$