Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $S$ be a $\mathcal{C}^{\infty}$Riemannian surface. Consider $x \in S$. Can I always find two smooth vector fields $X$,$Y$ defined in a neighborhood $V$ of $x$ such that $\forall y \in V$ $(X(y),Y(y))$ form a orthonormed basis of $T_yS$ ? The point that causes me trouble is the smoothness of such vector fields. I thought maybe working with the exponential chart and taking $(\partial r, \partial \theta)$ would work, but I can't see why.

Thank you very much

share|improve this question
3  
The exponential chart is the answer, but why use polar coordinates? Just use the usual orthonormal coordinates. –  Zhen Lin Feb 25 '12 at 17:48

1 Answer 1

Gram-Schmidt: locally you do have a smooth frame $X=\partial_1, Y=\partial_2$ from a chart. you can surly define $X_1:=X/\vert|X\|$, a smooth vector field. Now define $$ Y_0:=Y-g(Y,X_1)X_1 \quad Y_1:=Y_0/\vert|Y_0\| $$ Now $X_1,Y_1$ are smooth and orthonormed.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.