2
$\begingroup$

Let $\mathcal M \subset \mathbb R^d$ be a smooth manifold, and for each $s \in \mathcal M$ let $T_s[\mathcal M]$ denote the tangent space of $\mathcal M$ at $s$. Also, for each $s \in \mathcal M$ let $P_s$ denote the orthogonal projection of $\mathbb R^d$ into $T_s[\mathcal M]$. What can be said about the continuity properties of $P_s$ in $s$?

In particular, I seek that $s$ has a modulus of continuity.

  • 0
    What makes you say this? A sketch would suffice.2012-11-07

1 Answers 1

3

You want to show that the map $P:x\in M\to P_x\in L(\mathbb R^d,\mathbb R^d)$ is smooth.

Necessary and sufficient condition for the smoothness of $P:M\to L(\mathbb R^d,\mathbb R^d)$ is that, for any $i,j=1,\dots,d,$ the maps $P^{ij}x\in M\to \langle e_i,P_x e_j\rangle\in\mathbb R$ are smooth. Here $\langle\cdot,\cdot\rangle$ is the Euclidean scalar product on $\mathbb R^d.$

Working locally we can take a local orthonormal frame $V_1,\dots,V_k$ on $M.$ Then we have $P_xe_j=e_j-\sum_{l=1}^k\langle e_j,V_l(x)\rangle V_l(x),$ and so $P^{ij}_x=\delta_{ij}-\sum_{l=1}^k\langle e_j,V_l(x)\rangle\langle e_i,V_l(x)\rangle$ which is effectively a smooth functon of $x\in M.$