Action of a vector on the pull-back of a function

  • Context: Graduate 
  • Thread starter Thread starter spaghetti3451
  • Start date Start date
  • Tags Tags
    Function Vector
Click For Summary
SUMMARY

The discussion focuses on the action of a vector ##\bf{v}## at point ##x## of manifold ##M## as a differential operator on the pull-back of a function ##F^{*}f##. It establishes that the expression ##{\bf{v}}(F^{*}f) = (F_{*}{\bf{v}})(f) = df(F_{*}{\bf{v}})## holds true, emphasizing the relationship between the vector field and the function's derivatives. The conversation also clarifies that the action of the vector on the function does not equate to the product of the derivatives of the function and the transformation of the vector, highlighting a common misconception in the application of the Einstein summation convention.

PREREQUISITES
  • Understanding of differential geometry concepts, particularly vector fields and manifolds.
  • Familiarity with the pull-back operation in differential geometry.
  • Knowledge of the Einstein summation convention and its implications in tensor calculus.
  • Proficiency in calculus, specifically partial derivatives and their notation.
NEXT STEPS
  • Study the properties of pull-backs in differential geometry.
  • Learn about the application of the Einstein summation convention in tensor analysis.
  • Explore the relationship between vector fields and differential forms in manifold theory.
  • Investigate the implications of differential operators on functions in the context of manifold mappings.
USEFUL FOR

Mathematicians, physicists, and students of differential geometry who are interested in the interaction between vector fields and functions on manifolds, as well as those looking to deepen their understanding of differential operators.

spaghetti3451
Messages
1,311
Reaction score
31
Consider how a vector ##\bf{v}##at ##x## of ##M##, as a differential operator, acts on the pull-back of a function:

##{\bf{v}}(F^{*}f) = (F_{*}{\bf{v}})(f) = df(F_{*}{\bf{v}})##

I was wondering how to relate this to the following?

##\displaystyle{{\bf{v}}(F^{*}f)={\bf{v}}[f\{y(x)\}]=v^{i}\frac{\partial}{\partial x^{i}}[f\{y(x)\}]=v^{i}\bigg(\frac{\partial y^{j}}{\partial x^{i}}\bigg)\bigg(\frac{\partial f}{\partial y^{j}}\bigg)}##

I ask this question because ##\displaystyle{F_{*}{\bf{v}}=\bigg(\frac{\partial y^{j}}{\partial x^{i}}\bigg)v^{i}}##, with the implicit Einstein summation convention,

so that ##\displaystyle{(F_{*}{\bf{v}})(f)=v^{i}\bigg(\frac{\partial y^{j}}{\partial x^{i}}\bigg)f \neq v^{i}\bigg(\frac{\partial y^{j}}{\partial x^{i}}\bigg)\bigg(\frac{\partial f}{\partial y^{j}}\bigg)}##
 
Last edited:
Physics news on Phys.org
The first step of your final line is not how a vector acts on a function. In general, if ##V## is a vector in the manifold ##F## maps to, then ##V(f) = V^i\partial_i f = df(V)## by definition.
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
5K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K