Consider $M\subseteq \mathbb{R}^n$, an (embedded) $C^{k\geq 1}$ manifold.
Is $M$ Borel?
I think yes but I got stuck at proving this. For some context, I was checking that integrals over manifolds with respect to Hausdorff measures make sense.
My try:
- Graphs of continuous functions are Borel: let $U$ be open and $f:U \rightarrow \mathbb{R}^q$ be continuous. Let $\phi(x)=(x,f(x))$, a continuous function. We can write $U=\bigcup_n K_n$ for some compact sets $K_n \subseteq U$ and therefore $\text{graf}f=\phi(U)=\bigcup_n\phi(K_n)$, so that the graph of $f$ is the countable union of compact (hence Borel) sets.
- A manifold is "countably locally" the graph of a $C^k$ function: by this I mean that $M$ is the countable union of the graphs of some $C^k$ functions. Here I am stuck. I know that $M$ is locally a graph, but I cannot get the countability property. I was thinking of using the density of rationals in the real numbers but I'm not sure if this is the way to go, also beacause I'm not sure that second countability of $M$ is guaranteed with my definition of manifold (see below).
Do you have any hint on how to get through point 2, provided my claim is correct?
$M\subseteq \mathbb{R}^n$ is an embedded $C^{k\geq 1}$ $m-$manifold if for every $p$ in $M$ there exists $U\subseteq \mathbb{R}^m$ open and $\phi:U\rightarrow M$ of class $C^{k}$ such that:
- $\phi(U)$ is a neighbourhood of $p$, open in $M$
- $\phi$ is a homeomorphism onto its image
- $d\phi$ is everywhere injective
Best Answer
$\bullet$ $\mathbb R^n$ is second countable with a countable basis $B$ given by all balls with rational radii and centers.
$\bullet$ Subspaces of second countable spaces are second countable: If $Y\subseteq X$ and $B$ is a countable basis for $X$, then $\{U\cap Y: U\in B\}$ is a countable basis for $Y$.
$\bullet$ Second countable spaces are Lindelöf: Any open cover admits a countable subcover (see for example here or here).
So an embedded submanifold $M$ of $ \mathbb R^n$ is is "countably locally" the graph of a continous function, which finishes your proof.