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.

In definition of a linear connection (or covarient derivative) we have four conditions that two of them are: i) $‎\nabla‎‎_{X+Y}Z=‎\nabla_{X}Z+‎\nabla_{Y}Z\quad$ii) $‎\nabla‎‎_{fX}Y=f‎\nabla_{X}Y\quad$ $;\;f\in C^{\infty}\;,\;X,Y,Z\in T_{m}M$

how we can get from these two, that $‎\nabla‎‎_{X}Y$ at a point $m\in M$ only depends on $X$ at $m$ and not on $X$ in a neighborhood of $m$?

(note that: $M$ is a diferentiable manifold.)

share|improve this question
1  
For reference, I believe it's standard to use $\nabla$ (\nabla) instead of $\bigtriangledown$ (\bigtriangledown). –  Neal Dec 15 '12 at 15:50
    
@Neal I changed triangledowns with nabla. –  AmirHosein SadeghiManesh May 11 '13 at 11:12

1 Answer 1

up vote 1 down vote accepted

Firstly, by ii), we can reduce $M$ to $\mathbb{R}^d$, where $d=\dim M$. To see this, given $m\in M$, there exists a coordinate chart $(U,\varphi)$, such that $U\ni m$ is open in $M$ and $\varphi:U\to \mathbb{R}^d$ is diffeomorphic, i.e. $U$ can be identified with $\mathbb{R}^d$. Moreover, there exists a smooth function $f:M\to\mathbb{R}$, such that $f=1$ on $\varphi^{-1}(B(0,1))$ and $f=0$ outside $\varphi^{-1}(B(0,2))$, where $B(0,r)$ is the ball in $\mathbb{R}^d$ centered at $0$ with radius $r$. Then by ii), $\nabla_{fX}Y=f\nabla_XY$, i.e. the value of $\nabla_XY$ at $m$ depends only on $fX$. Since $fX$ vanishes outside $U$, we can reduce $M$ to $\mathbb{R}^d$.

Now assume that $M=\mathbb{R}^d$ with coordinates $x^1,\dots,x^d$. Then for each vector fied $X$ of $\mathbb{R}^d$, there exist smooth functions $X^1,\dots,X^d:\mathbb{R}^d\to \mathbb{R}$, such that $X=\sum_{i=1}^dX^i\frac{\partial}{\partial x^i}$. Then by i) and ii), $\nabla_XY=\sum_{i=1}^dX^i\nabla_{\frac{\partial}{\partial x^i}}Y$, whose value at $m$ depends only on $X(m)=\sum_{i=1}^dX^i(m)\frac{\partial}{\partial x^i}$.

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.