I How to define vector field?

[Mike_bb]

Hello!

In one book I saw that function $V$ of 3 variables $V_x, V_y, V_z$ (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point $(0,0,0)$ such way:

I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true?
And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong: higher-order terms weren't equal to 0)

Thanks!

 

[martinbn]

Which book?

 

[Mike_bb]

Which book?

Russian book "Theory of electricity".

https://scask.ru/k_book_tel.php?id=19
page 38

 

[fresh_42]

I wouldn't use "higher terms equal 0". Instead, think of the standard example of a vector field, a tangent field. It consists of tangents, either to flows or to a manifold, consisting of flows. They are first-order derivatives by definition: the infinitesimal change of location. Those partial derivatives in your formulas are the local coordinates of the tangent space.

 

[Mike_bb]

I wouldn't use "higher terms equal 0". Instead, think of the standard example of a vector field, a tangent field. It consists of tangents, either to flows or to a manifold, consisting of flows. They are first-order derivatives by definition: the infinitesimal change of location. Those partial derivatives in your formulas are the local coordinates of the tangent space.

The book doesn't use such terms as "tangent space" and "manifold" quite. The book contains a chapter that is devoted to an introduction to vectors and that's all.

 

[fresh_42]

The book doesn't use such terms as "tangent space" and "manifold" quite. The book contains a chapter that is devoted to an introduction to vectors and that's all.

In its most abstract form, a vector field is a basis set $B$ of points and a vector $\vec{v}_p$ attached to each point $p$ of $B$:
$$
V=\coprod_{p\in B}\vec{v}_p=B\times \{v_p\,|\,p\in B\}.
$$
But this is a very abstract concept, and you might ask where this concept comes from. Answering this question leads you directly to tangent spaces. And if you try to avoid the term tangent, what do the partial derivatives in your formulas represent if not a tangent vector?

Draw a function graph, e.g., $x\longmapsto 2x^3-3x^2+1$ and attach a tangent line at each point. The set of all these lines will then be a vector field.

 

[Mike_bb]

In its most abstract form, a vector field is a basis set $B$ of points and a vector $\vec{v}_p$ attached to each point $p$ of $B$:
$$
V=\coprod_{p\in B}\vec{v}_p=B\times \{v_p\,|\,p\in B\}.
$$
But this is a very abstract concept, and you might ask where this concept comes from. Answering this question leads you directly to tangent spaces. And if you try to avoid the term tangent, what do the partial derivatives in your formulas represent if not a tangent vector?

Draw a function graph, e.g., $x\longmapsto 2x^3-3x^2+1$ and attach a tangent line at each point. The set of all these lines will then be a vector field.

You missed one thing that I wrote in post #1. I mentioned about Taylor series as it was written in the book.

 

[fresh_42]

You missed one thing that I wrote in post #1. I mentioned about Taylor series as it was written in the book.

I didn't miss it. Your question was all about the higher terms, and I answered that instead of looking at higher-order terms and artificially set them to zero, it is better to remain at first-order terms defining the tangents: the term of order zero represents the point $p=(x,y,z)$ and the term of order one represents the tangent vector $\vec{v}_p$. There is no need to consider the entire series and then try to find a reason to cut it off. But if you like, then the whole series represents the function, and the first two terms represent a linear approximation, the tangents. There is no "setting to zero". We simply only consider the linear approximation, which are the first two terms.

 

[Mike_bb]

I didn't miss it. Your question was all about the higher terms, and I answered that instead of looking at higher-order terms and artificially set them to zero, it is better to remain at first-order terms defining the tangents: the term of order zero represents the point $p=(x,y,z)$ and the term of order one represents the tangent vector $\vec{v}_p$. There is no need to consider the entire series and then try to find a reason to cut it off. But if you like, then the whole series represents the function, and the first two terms represent a linear approximation, the tangents. There is no "setting to zero". We simply only consider the linear approximation, which are the first two terms.

I'm not sure if it's so but the book uses such terms as "very small element f" = "infinitesimal element f" in context of vector $V$ circulation on element f. Perhaps it's the reason why we say about tangent vector as approximation of vector $V$ in infinitesimal scale of element f (or infinitesimal vector). Is this right?