Question in Lee's Introduction to Smooth Manifolds, Corollary 6.17

261 Views Asked by At

ds,

I got stuck in the underlined sentence. I see that how Lemma 6.13 implies the existence of a vector $v_{N+2n+1}$ such that $v_{N+2n+1}$ is arbitrarily close to $e_{N+2n+1}$ and $\pi_{v_{N+2n+1}}~|_{\tilde M}~$ is an embedding. But what means that $\pi_{v_{N+2n+1}}~$ is arbitrarily close to $\pi_{e_{N+2n+1}}~$, and how can we show it?

2

There are 2 best solutions below

2
On BEST ANSWER

Hint: The maps $\pi_v$ are linear maps $\mathbb R^{N+1}\to\mathbb R^N$ and thus lie in a finite dimensional vector space, which has only one reasonable topology. (My preferred interpretation for all "arbitrarily close" statements would be in topological terms.) To verify the statement, you can simply compute the matrix representations of $\pi_{e_{N+2n+1}}$ and $\pi_{v_{N+2n+1}}$ and observe that they are close to each other (in your preferred norm). The main point is that $\pi_v$ (more or less evidently) depends continuously on $v$ (just think about matrix entries).

0
On

Since the statement of the corollary is that $f$ can be uniformly approximated by embeddings, the point is to get the embedding uniformly close to $f$. The phrase "$\pi_{v_{N+2n+1}}$ is arbitrarily close to $\pi_{e_{N+2n+1}}$" is shorthand for "given any $\varepsilon>0$, $v_{N+2n+1}$ can be chosen so that $$ \sup _{x\in \widetilde M} \big|\pi_{v_{N+2n+1}}(x) - \pi_{e_{N+2n+1}}(x)\big|<\varepsilon."$$