Namespaces
Variants
Actions

Difference between revisions of "Vector"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
v0963401.png
 +
$#A+1 = 32 n = 0
 +
$#C+1 = 32 : ~/encyclopedia/old_files/data/V096/V.0906340 Vector,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''geometric''
 
''geometric''
  
A directed segment of a straight line in a Euclidean space, one end of which (the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963401.png" />) is said to be the origin, while the other (the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963402.png" />) is said to be the end of the vector. Such a vector may be denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963403.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963404.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963405.png" />, or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963406.png" />. A vector whose origin and end coincide is said to be a zero vector, and is usually denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963407.png" />. A vector is characterized by its modulus (or length), which is equal to the length of the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963408.png" /> and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v0963409.png" />, and by its direction: from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634010.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634011.png" />. The vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634012.png" /> is said to be the vector opposite to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634013.png" />. A vector with length equal to one is called a unit vector. Any direction may be assigned to a zero vector. Two vectors are said to be collinear if they are situated on one straight line or on two parallel lines; they are called coplanar if they lie in the same plane or in two parallel planes. Two collinear vectors are said to be identically (oppositely) directed if their end points are on the same side (on opposite sides) of the straight line connecting their origins, or are on the same side of their common origin. Two vectors <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634014.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634015.png" /> on the same straight line are said to be identically (oppositely) directed if one of the rays <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634016.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634017.png" /> is (is not) totally included in the other. Two vectors are said to be equal if they have equal moduli and are identically directed (such vectors are also known as free vectors). All zero vectors are said to be equal.
+
A directed segment of a straight line in a Euclidean space, one end of which (the point $  A $)  
 +
is said to be the origin, while the other (the point $  B $)  
 +
is said to be the end of the vector. Such a vector may be denoted by $  \mathbf a $,  
 +
$  \overline{a}\; $,  
 +
$  \vec{a} $,  
 +
or $  \overline{ {AB }}\; $.  
 +
A vector whose origin and end coincide is said to be a zero vector, and is usually denoted by $  \mathbf 0 $.  
 +
A vector is characterized by its modulus (or length), which is equal to the length of the segment $  AB $
 +
and is denoted by $  | \mathbf a | $,  
 +
and by its direction: from $  A $
 +
to $  B $.  
 +
The vector $  \overline{BA}\; $
 +
is said to be the vector opposite to $  \overline{AB}\; $.  
 +
A vector with length equal to one is called a unit vector. Any direction may be assigned to a zero vector. Two vectors are said to be collinear if they are situated on one straight line or on two parallel lines; they are called coplanar if they lie in the same plane or in two parallel planes. Two collinear vectors are said to be identically (oppositely) directed if their end points are on the same side (on opposite sides) of the straight line connecting their origins, or are on the same side of their common origin. Two vectors $  \overline{AB}\; $
 +
and $  \overline{ {A  ^  \prime  B  ^  \prime  }}\; $
 +
on the same straight line are said to be identically (oppositely) directed if one of the rays $  AB $,  
 +
$  A  ^  \prime  B  ^  \prime  $
 +
is (is not) totally included in the other. Two vectors are said to be equal if they have equal moduli and are identically directed (such vectors are also known as free vectors). All zero vectors are said to be equal.
  
 
In addition to free vectors, i.e. vectors whose origin is immaterial, vectors characterized by their length, direction and the location of their origin (the point of application) are often considered in mechanics and physics. A class of equal vectors lying on the same straight line is said to be a sliding vector. One also considers bound vectors, which are said to be equal if they have not only equal moduli and identical directions, but also a common point of application. [[Vector calculus|Vector calculus]], which is the study of operations performed on vectors, is based on free vectors, since two given free vectors are equivalent to a given sliding vector or a given bound vector.
 
In addition to free vectors, i.e. vectors whose origin is immaterial, vectors characterized by their length, direction and the location of their origin (the point of application) are often considered in mechanics and physics. A class of equal vectors lying on the same straight line is said to be a sliding vector. One also considers bound vectors, which are said to be equal if they have not only equal moduli and identical directions, but also a common point of application. [[Vector calculus|Vector calculus]], which is the study of operations performed on vectors, is based on free vectors, since two given free vectors are equivalent to a given sliding vector or a given bound vector.
Line 8: Line 37:
  
 
The concept of a vector may be introduced axiomatically (cf. [[Vector space|Vector space]]).
 
The concept of a vector may be introduced axiomatically (cf. [[Vector space|Vector space]]).
 
 
  
 
====Comments====
 
====Comments====
A geometric vector as defined above comes from such concepts as a force in mechanics, a quantity that has magnitude, direction and a point of application. A mathematical setting is that of an [[Affine space|affine space]], which is a vector space  "up to the location of its origin"  or, more precisely, a simply transitive group action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634018.png" /> of (the underlying additive group of) a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634019.png" /> on a set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634020.png" />. The simple transitivity defines a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634021.png" /> characterized by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634022.png" />. Writing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634023.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634025.png" /> is the free vector defined by the bound vector, or geometric vector, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634026.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634027.png" /> (which has point of application <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634028.png" /> and direction and magnitude given by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634029.png" />). For three points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634030.png" /> one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634031.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/v/v096/v096340/v09634032.png" />, which is called the Chasles relation (cf. [[#References|[a1]]] and [[Affine space|Affine space]]).
+
A geometric vector as defined above comes from such concepts as a force in mechanics, a quantity that has magnitude, direction and a point of application. A mathematical setting is that of an [[Affine space|affine space]], which is a vector space  "up to the location of its origin"  or, more precisely, a simply transitive group action $  \phi $
 +
of (the underlying additive group of) a vector space $  L $
 +
on a set $  A $.  
 +
The simple transitivity defines a mapping $  \theta : A \times A \rightarrow L $
 +
characterized by $  \phi ( \theta ( x, y), x) = y $.  
 +
Writing $  \vec{xy} $
 +
for $  \theta ( x, y) $,  
 +
$  \vec{xy} $
 +
is the free vector defined by the bound vector, or geometric vector, $  ( x, y) $
 +
or $  ( x, \vec{xy} ) $(
 +
which has point of application $  x $
 +
and direction and magnitude given by $  \vec{xy} $).  
 +
For three points $  x, y , z \in A $
 +
one has $  \vec{xy} + \vec{yz} + \vec{zx} = 0 $
 +
in $  L $,  
 +
which is called the Chasles relation (cf. [[#References|[a1]]] and [[Affine space|Affine space]]).
  
 
The displacement law in mechanics says that a force acting on a rigid body can be displaced along its line of action to any new point of application. Thus, a force acting on a rigid body is a sliding vector.
 
The displacement law in mechanics says that a force acting on a rigid body can be displaced along its line of action to any new point of application. Thus, a force acting on a rigid body is a sliding vector.

Latest revision as of 08:28, 6 June 2020


geometric

A directed segment of a straight line in a Euclidean space, one end of which (the point $ A $) is said to be the origin, while the other (the point $ B $) is said to be the end of the vector. Such a vector may be denoted by $ \mathbf a $, $ \overline{a}\; $, $ \vec{a} $, or $ \overline{ {AB }}\; $. A vector whose origin and end coincide is said to be a zero vector, and is usually denoted by $ \mathbf 0 $. A vector is characterized by its modulus (or length), which is equal to the length of the segment $ AB $ and is denoted by $ | \mathbf a | $, and by its direction: from $ A $ to $ B $. The vector $ \overline{BA}\; $ is said to be the vector opposite to $ \overline{AB}\; $. A vector with length equal to one is called a unit vector. Any direction may be assigned to a zero vector. Two vectors are said to be collinear if they are situated on one straight line or on two parallel lines; they are called coplanar if they lie in the same plane or in two parallel planes. Two collinear vectors are said to be identically (oppositely) directed if their end points are on the same side (on opposite sides) of the straight line connecting their origins, or are on the same side of their common origin. Two vectors $ \overline{AB}\; $ and $ \overline{ {A ^ \prime B ^ \prime }}\; $ on the same straight line are said to be identically (oppositely) directed if one of the rays $ AB $, $ A ^ \prime B ^ \prime $ is (is not) totally included in the other. Two vectors are said to be equal if they have equal moduli and are identically directed (such vectors are also known as free vectors). All zero vectors are said to be equal.

In addition to free vectors, i.e. vectors whose origin is immaterial, vectors characterized by their length, direction and the location of their origin (the point of application) are often considered in mechanics and physics. A class of equal vectors lying on the same straight line is said to be a sliding vector. One also considers bound vectors, which are said to be equal if they have not only equal moduli and identical directions, but also a common point of application. Vector calculus, which is the study of operations performed on vectors, is based on free vectors, since two given free vectors are equivalent to a given sliding vector or a given bound vector.

The concept of a vector arose as a mathematical abstraction of objects which are characterized by magnitude and direction, such as displacement, velocity and magnetic or electric field strength.

The concept of a vector may be introduced axiomatically (cf. Vector space).

Comments

A geometric vector as defined above comes from such concepts as a force in mechanics, a quantity that has magnitude, direction and a point of application. A mathematical setting is that of an affine space, which is a vector space "up to the location of its origin" or, more precisely, a simply transitive group action $ \phi $ of (the underlying additive group of) a vector space $ L $ on a set $ A $. The simple transitivity defines a mapping $ \theta : A \times A \rightarrow L $ characterized by $ \phi ( \theta ( x, y), x) = y $. Writing $ \vec{xy} $ for $ \theta ( x, y) $, $ \vec{xy} $ is the free vector defined by the bound vector, or geometric vector, $ ( x, y) $ or $ ( x, \vec{xy} ) $( which has point of application $ x $ and direction and magnitude given by $ \vec{xy} $). For three points $ x, y , z \in A $ one has $ \vec{xy} + \vec{yz} + \vec{zx} = 0 $ in $ L $, which is called the Chasles relation (cf. [a1] and Affine space).

The displacement law in mechanics says that a force acting on a rigid body can be displaced along its line of action to any new point of application. Thus, a force acting on a rigid body is a sliding vector.

References

[a1] M. Berger, "Geometry" , I , Springer (1987) pp. Chapt. 2
[a2] H. Ziegler, "Mechanics" , I , Addison-Wesley (1965)
How to Cite This Entry:
Vector. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Vector&oldid=14349
This article was adapted from an original article by A.B. Ivanov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article