Talk:Vector field

Latest comment: 8 years ago by Tommi Höynälänmaa~enwiki in topic Example 1

n-dimensional real vector space

edit

Hey, up to isomorphism there is only one real n-dimensional vector space. Up to isomorphism there is only one real-dimensional Slawomir Bialy. Of course, Slawomir Bialy is always changing, but there is a reasonable equivalence class, and we call the equivalence class Slawomir Bialy. There are many different elements of the equivalence class called the `the n-dimensional real vector space' where equivalence is isomorphism. This is common usage in mathematics. In any case, it's rude to delete undo all changes while objecting only to one. — Preceding unsigned comment added by Lost-n-translation (talkcontribs) 16:49, 1 February 2011 (UTC)Reply

This is true, but of course a vector field is not just a function into another vector space up to isomorphism, it is a mapping into a particular vector space (in mathematics, the tangent space at a point; in physics, it is characterized by a contravariant transformation law). Either way, it's misleading to say that a vector field is a mapping into the n-dimensional real vector space; there is strictly more structure than that. Sławomir Biały (talk) 17:17, 1 February 2011 (UTC)Reply

Example 1

edit

If we write the vectors of the vector field as (1, 0) in polar coordinates, that means we're using different coordinate systems for these vectors at different positions in the original R2. The theta=zero direction of each tangent space would be identified with the r direction of the original space. Is that really a good choice? In the second part using cartesian coordinates, the coordinate systems of all tangent spaces are parallel to that of the original space, which means that in most of the tangent spaces we don't have the usual transformation between polar and cartesian coordinates. Isn't that a bit confusing? — HHHIPPO 20:33, 26 September 2012 (UTC)Reply

Careful, the polar coordinates   refer to polar coordinates on  . The tangent spaces carry the linear coordinates induced by the differentials  . Sławomir Biały (talk) 23:53, 26 September 2012 (UTC)Reply
Ahh, I see. That is actually a very obvious choice of coordinates. I hadn't fully digested that the codomain of a vector field is a tangent bundle, which only for Cartesian coordinates looks like a single vector space. Thanks! — HHHIPPO 18:57, 27 September 2012 (UTC)Reply
Should the definition of   in Example 1 be changed to   so that it would map the argument into the tangent space? Additionally, the present definition of   does not transform contravariantly. Tommi Höynälänmaa (talk) 12:03, 29 October 2016 (UTC)Reply

Picture of vector field on sphere

edit

Normally the indicated map in the picture of the sphere with the red arrows would not be regarded as vector field, since on the equator some arrows seem to be orthogonal to the surface rather than tangent to it. They must be tangent otherwise its not a vector field. — Preceding unsigned comment added by 131.220.132.179 (talk) 21:36, 16 November 2012 (UTC)Reply

The picture is very bad. Someone should upload a better one. Sławomir Biały (talk) 22:00, 16 November 2012 (UTC)Reply

Definition needs work.

edit

The definition claims (fV)(p):= f(p)V(p) is scalar multiplication (for real valued function f:S → R). This may be an example of scalar multiplication, it is not scalar multiplication: scalar multiplication is multiplication by a scalar, not by a function.

I have tried to understand why the definition is so awkward, and I can't figure it out. You can NOT define a vector field in terms of two vector fields! Come on!

A vector field is the mathematical structure in which each element in the field has associated with it a direction and magnitude. A vector field is a ring (a commutative (Abelian) group having (at least) two operations, addition and multiplication, defined over it. Addition is abelian, while multiplication is monoid (that is, every element may not have a multiplicative inverse).

I don't know the exact definition of a vector field (if I did, I wouldn't be looking it up). All of the vector fields I am familiar with have the following additional characteristics which may or may not be required: Scalar multiplication is defined. The direction of the field is in the same space as the field.

The definition here fails to explain these things, as well as what the common properties are: (commutation, distribution of multiplication over addition, associativity, inverse, division, subtraction, (in)finiteness, closedness, magnitude, dot product, inner product, outer product, cross product...)

I KNOW that the vector fields are NOT limited to Euclidean Spaces, since I am currently working with them in Special Relativity. The lede is misleading or simply wrong.

All in all, this needs a bit of work...whether it goes from the narrow case (Euclidean) to the general case or vice versa is a matter or pedagogy, (I personally prefer general to specific then back to general, but I am not competent to write it).216.96.79.149 (talk) 20:19, 18 February 2014 (UTC)Reply

It's not clear to me what perspective you're coming from, but it's very likely the source of your confusion is not this article. Vector fields do not form a ring. The scalar fields are just functions. While it's true that Euclidean space is not the most general setting for vector fields, it is one that we can expect all readers of this article at least to be familiar with. Sławomir Biały (talk) 17:55, 19 February 2014 (UTC)Reply

Modified "Index of vector field" section

edit

I have modified the section Index of vector field so that

  • Several false statements have been removed and replaced with correct ones (e.g., the false statement that the index at a saddle singularity in an n-dimensional manifold is necessarily equal to -1).
  • Some inappropriate statements have been removed, such as the statement that the index at an isolated singularity of a vector field in the plane is equal to "the winding number". (The winding number of what??? The winding number in the plane is defined for an oriented curve with respect to a point not lying on the curve, but no curve had been mentioned.)
  • Some ungrammatical sentences have been replaced with grammatical ones, in particular several sentences in which independent clauses were spliced together with commas.

Small mistake in the example of Complete vector fields

edit

It appears to me that there is a small error in the example of (in)complete vector fields, under the header Flow Curves. The unique solution is given as

 ,

while a calculation yields that this should be

 .

Could the main editor of this page verify and correct this?

Definition of "Flow Curve"

edit

There is a section entitled "Flow Curves", and there is a definition for "integral curves"/"trajectories"/"flow lines", but there seems to be no definition for the term "flow curves". Are these 4 terms used interchangeably?