Let $M$ be a complete non-compact manifold (possibly with boundary). Let $E$ be an open proper connected non-precompact subset of $M$ with smooth topological boundary, so that $\overline{E}$ is a non-compact complete manifold with boundary. Suppose that $E=M\setminus K$, where $K$ is a compact set that is the closure of a non-empty open set. If we now assume that $\overline{E}$ is a manifold with boundary of bounded geometry as described [here](https://mathoverflow.net/questions/236186/how-to-define-the-injectivity-radius-of-manifolds-with-boundary/236194#236194), is it then also true that $M$ is of bounded geometry? I believe that it is true but does someone know a proof or a reference for that statement?


**Added question**: Is it essential that we assume that $\overline{E}$ is of bounded geometry and not $E$? What happends if we just assume that $E$ is of bounded geometry?
Thanks in advance!



Is this a manifold of bounded geometry?
Unless I am terribly mistaken, the answer is yes and the proof strategy is rather simple. The crucial observation is that the definition of bounded geometry depends on quantities that are continuous.


Consider first the injectivity radius function of the boundary, $r\_{b}\colon\delta X\to \mathbb{R}$,
$$r\_b(x)=\sup\{\ t>0\mid \exp\colon B\_{\delta X}(0\_x,t)\to \delta X \quad \text{is a diffeomorphism}\ \}.$$ This is a continuous and positive function on $\delta X$ and it is bounded away from zero on $\delta X\setminus K$, so it must be bounded away from zero over all $\delta X$ because $K$ is compact. Denote the positive lower bound by $r\_b(X)$; this is the injectivity radius of $X$.


Now define the ''normal collar injectivity radius'' $r\_C\colon \delta X\to\mathbb{R}$ as $$r\_c(x)=\sup\{\ t>0\mid \kappa\colon B\_{\delta X}(x,r\_b(X))\times[0,t)\to X\quad \text{is well-defined and a diffeomorphism} \ \},$$
where $\kappa(x,t)=\exp(t\nu\_x)$ and $\nu\_x$ is the unit inward normal vector. Again, this is continuous and bounded away from zero outside a compact set, hence bounded away from zero; we have obtained that $X$ satisfies the normal collar condition in Schick's definition.


A similar argument works for the remaining two conditions.


**Answer to the added question**: If $E$ is a manifold with boundary of bounded geometry with the metric that is the restriction of that of $\overline{E}$, then $E=\overline{E}$.


Assume for the sake of contradiction that $E$ is of bounded geometry and there is a point $x\in \overline{E}\setminus E$. Consider first the case where $x$ is in the closure of $\delta E$, so $x\in \delta \overline{E}$ and there is a sequence $(y\_n)$ in $\delta E$ with $y\_n\to x$. The injectivity radius $r\_b$ of $\delta E$ is positive, so $B\_{\delta \overline{E}}(y\_n,r\_b)\subset \delta E$ and $d\_{\delta \overline{E}}(x,y\_n)>r\_b$ for all $n$, a contradiction.


Similar arguments apply when $x$ is a limit of points in the normal collar or a limit of points not in the normal collar.


