Skip to main content
2 of 3
deleted 95 characters in body
node
  • 351
  • 1
  • 6

Collection of local defining maps for smooth Euclidean submanifolds

Suppose the set $S \subset \mathbb{R}^{n}$ is a smooth submanifold of dimension $k$, that is [Lee, Proposition 5.16] for every $x \in S$ there exist an open set $W \subset \mathbb{R}^{n}$ and a smooth submersion $\phi : W\to \mathbb{R}^{n - k}$ such that $W \cap S$ is a level set of $\phi$.

The submersion $\phi$ is termed a local defining map.

Can one find a finite a collection of open sets $W_{1},\ldots, W_{m}$ and corresponding local defining maps $\phi_{1},\ldots,\phi_{m}$ such that $S \subset \bigcup_{i = 1}^{m} W_{i}$?

node
  • 351
  • 1
  • 6