Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In, Lie bracket operation is defined as having bilinearity: $[ax+by,z] = a[x,z]+b[y,z], [z,ax+by] = a[z,x]+b[z,y]$.

But in, it is said as the following: "for functions f and g, $[fX,gY] = fg[X,Y] + fX(g)Y-gY(f)X$." ($X,Y$ vector fields.)

My question is, the later description seems to violate bilinearity - function would anyway be evaluated at $p$ of smooth manifold $M$ which would make situation basically similar to the first description. Am I wrong here?

share|cite|improve this question
From what is written there, I can't figure out what is meant by $fX$. It is not even explained what $f$ is other than "a function". Could $f$ be from $M$ to $\Bbb R$? Then $fX(m):=f(m)X(m)$ would make sense... No doubt someone will recognize what is meant. – rschwieb Apr 10 '13 at 13:25

Vector fields form a Lie algebra over the real numbers, not the ring of functions (which is not a field anyways). If $a,b$ are real numbers and $X$ and $Y$ vector fields then $[aX,bY] = ab[X,Y]$.

Note that this is consistent with what you wrote for functions if you consider $a$ and $b$ to be constant functions, since then $X(b) = 0 = Y(a)$.

share|cite|improve this answer

Your Answer


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.