I am studying Spacetime and Geometry : An Introduction to General Relativity by Sean M Carroll and have a question about commutators of vector fields. A vector field on a manifold can be thought of as differential operator which transforms smooth functions to smooth functions on the manifold. For a vector field X and a function f(xi) we write
X(f) = g, where g is another function. We then define the commutator of two fields X and Y as
[X,Y](f) = X(Y(f)) - Y(X(f)
In the exercise I am working on, we are asked to find two vector fields whose commutator does not vanish. An important step is to show that if the commutator vanishes for one function f, it vanishes for all functions. This is implied by the question but not proven.
Is my solution below correct?
Is there a more obvious solution? (I.e. Am I missing something?)
The Attempt at a Solution
I proved it this way using 'Reductio ad absurdum'.
Our starting point is f ≠ 0 and [X,Y](f) = 0. We have another function g ≠ 0 and [X,Y](g) ≠ 0.
We already know that commutators are linear (from the previous exercise), so
[X,Y](f + g) = [X,Y](f) + [X,Y](g)
[X,Y](f + g) = [X,Y](g)
Therefore f = 0, which breaks our starting assumption, with which there must be some error. The only non trivial possibility is that [X,Y](g) = 0. QED?