Vector space - Revision history

DavidB4: new link

2020-09-08T21:20:34Z

new link

DavidB4-bot: /* Generalizations */Spelling/Grammar Check, typos fixed: i.e, → i.e.,

2016-09-15T21:54:56Z

‎Generalizations: Spelling/Grammar Check, typos fixed: i.e, → i.e.,

DavidB4-bot: /* References */Category

2016-07-29T20:18:30Z

‎References: Category

DavidB4-bot: clean up & uniformity

2016-07-13T21:20:12Z

clean up & uniformity

SamHB: /* References */ How come I can't find things? Oh, right. Because they're not in the right categories.

2015-06-24T17:27:22Z

‎References: How come I can't find things? Oh, right. Because they're not in the right categories.

GregG: /* Examples */ dab

2013-04-12T02:57:21Z

‎Examples: dab

DavidE: dot and cross products

2012-01-27T21:01:57Z

dot and cross products

DenisTR: /* Generalizations */

2011-06-27T01:12:46Z

‎Generalizations

MatthewQ: /* Generalizations */

2011-06-27T00:33:05Z

‎Generalizations

ThomasThePatriot: making introduction a little better

2010-07-19T04:57:43Z

making introduction a little better

@@ Line 7: / Line 7: @@
 A vector space is a set of vectors that can be added to each other or multiplied by a "[[scalar]]".  (The term "scalar" is used for treatments of unusual vector spaces&mdash;see below.  For the straightforward case, think of a scalar as just an ordinary [[real number]].)
-Not everything is a vector: some examples of things that are not vectors are air temperature and pressure, or the electrostatic voltage.  These have no direction.  They are scalars.  But there is a special type of [[derivative]], the "[[gradient]]" of a scalar, that is a vector.  This measures the ''change'' in a scalar from one point in space to another.
+Not everything is a vector: some examples of things that are not vectors are air temperature and pressure, or the electrostatic voltage.  These have no direction.  They are scalars.  But there is a special type of [[Derivative (calculus)|derivative]], the "[[gradient]]" of a scalar, that is a vector.  This measures the ''change'' in a scalar from one point in space to another.
 Vector spaces have a "dimension".  In the physically simple cases, that dimension is usually just 2 or 3.  Vectors drawn as arrows on a piece of paper are two-dimensional vectors.  Vectors giving velocity, electric field strength, etc., in real 3-dimensional space are three-dimensional vectors.  Given a choice of "coordinate system" or "basis" for representing vectors, any vector can be denoted by 2 or 3 (or whatever the dimension is) scalars.  So, for example, a particle's velocity vector can be represented by its x-velocity, y-velocity, and z-velocity.  These numbers are called the "components" of the vector, and are generally written with subscripts running from 1 to the dimension of the space.  So a vector might be represented as

@@ Line 61: / Line 61: @@
 . [[Associative property|Associativity]]: a(b'''v''') = (ab)'''v'''.
 <br/>
-. [[Identity Element|Identity]]: For 1 ∈ F (i.e, the multiplicative identity of F) it follows that 1'''v''' = '''v'''.
+. [[Identity Element|Identity]]: For 1 ∈ F (i.e., the multiplicative identity of F) it follows that 1'''v''' = '''v'''.
 <br/>

@@ Line 76: / Line 76: @@
 [[Category:Mathematics]]
 [[Category:Algebra]]
-[[Category:Vector analysis]]
+[[Category:Vector Analysis]]
 [[Category:Calculus]]
 [[Category:Physics]]

@@ Line 31: / Line 31: @@
 == Examples ==
 # The space [[Euclidean space|<math>\mathbb R^n</math>]] of n-tuples of real numbers is a vector space, where to add two vectors we simply add the corresponding components.  The case <math>n=2</math> is exactly the case of vectors in the plane discussed above.
-# The set <math>\mathbb R[x]</math> of [[polynomial|polynomials]] with real coefficients is a vector space.  If we add two polynomials together, we get another polynomial, and similarly, if we multiply a polynomial by a constant, we get another polynomial.  Note that although it's also possible to multiply two polynomials and get another one, this is not part of the vector space structure: a vector space with a reasonable notion of multiplication of vectors is called an [[algebra (mathematical structure)|algebra]].
+# The set <math>\mathbb R[x]</math> of [[polynomial]]s with real coefficients is a vector space.  If we add two polynomials together, we get another polynomial, and similarly, if we multiply a polynomial by a constant, we get another polynomial.  Note that although it's also possible to multiply two polynomials and get another one, this is not part of the vector space structure: a vector space with a reasonable notion of multiplication of vectors is called an [[algebra (mathematical structure)|algebra]].
 # The set of polynomials of degree less than or equal to <math>n</math> (for any <math>n \geq 0</math>) is a vector space, for the same reason.
 # The set of all continuous functions on the real line is a vector space: the sum of two [[continuous|continuous functions]] is again continuous, as is the product of a continuous function with a constant.
@@ Line 38: / Line 38: @@
 == Properties ==
-Many familiar properties of vectors in the plane carry over to the set of vector spaces.  For example, just as the plane is 2-dimensional, it makes sense to talk about the dimension of any vector space (though it may be infinite, as in the case of polynomials!)  Vectors in the plane can all be written in the form <math>ae_1+be_2</math>, where <math>e_1 = (1,0), e_2=(0,1)</math>, and a set elements with this same property that all vectors can be written as sums of multiples of vectors in the set is called a basis.  Having a convenient basis often makes computations easier.  It turns out that every finite dimensional vector space has a basis -- in fact, if we're feeling adventurous and assume the [[Axiom of Choice]], even every infinite dimensional vector space has a basis.
+Many familiar properties of vectors in the plane carry over to the set of vector spaces.  For example, just as the plane is 2-dimensional, it makes sense to talk about the dimension of any vector space (though it may be infinite, as in the case of polynomials!)  Vectors in the plane can all be written in the form <math>ae_1+be_2</math>, where <math>e_1 = (1,0), e_2=(0,1)</math>, and a set elements with this same property that all vectors can be written as sums of multiples of vectors in the set is called a basis.  Having a convenient basis often makes computations easier.  It turns out that every finite dimensional vector space has a basis—in fact, if we're feeling adventurous and assume the [[Axiom of Choice]], even every infinite dimensional vector space has a basis.
 However, a general vector space has no notion of "distance": given a vector, there's not necessarily a way to define the length <math>|v|</math> of that vector.  For example, it's not obvious how we should define the length of a polynomial or a matrix.  A vector space endowed which a notion of distance is called ''normed''.
@@ Line 53: / Line 53: @@
 . [[Associative property|Associativity]]: ('''u''' + '''v''') + '''w''' = '''u''' + ('''v''' + '''w''').
 <br/>
-. [[Identity_Element|Identity]]: There exists a '''0''' ∈ V such that '''v''' + '''0''' = '''0''' + '''v''' = '''v'''.
+. [[Identity Element|Identity]]: There exists a '''0''' ∈ V such that '''v''' + '''0''' = '''0''' + '''v''' = '''v'''.
 <br/>
 . [[Inverse]]: For all '''v''' there exists a (-'''v''') such that '''v''' + (-'''v''') =(-'''v''') + '''v''' = '''0'''.
@@ Line 61: / Line 61: @@
 . [[Associative property|Associativity]]: a(b'''v''') = (ab)'''v'''.
 <br/>
-. [[Identity_Element|Identity]]: For 1 ∈ F (i.e, the multiplicative identity of F) it follows that 1'''v''' = '''v'''.
+. [[Identity Element|Identity]]: For 1 ∈ F (i.e, the multiplicative identity of F) it follows that 1'''v''' = '''v'''.
 <br/>
@@ Line 72: / Line 72: @@
 ==References==
-Weisstein, Eric W. "Vector Space." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/VectorSpace.html
+Weisstein, Eric W. "Vector Space." From MathWorld—A Wolfram Web Resource. http://mathworld.wolfram.com/VectorSpace.html
 [[Category:Mathematics]]
 [[Category:Algebra]]
-[[Category:vector analysis]]
+[[Category:Vector analysis]]
-[[Category:calculus]]
+[[Category:Calculus]]
 [[Category:Physics]]

@@ Line 73: / Line 73: @@
 Weisstein, Eric W. "Vector Space." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/VectorSpace.html
 [[Category:Mathematics]]
 [[Category:Algebra]]
 [[Category:Physics]]

← Older revision		Revision as of 21:01, January 27, 2012
Line 24:		Line 24:

	Because of this representation, each vector can be thought of as a point in a [[Cartesian coordinate system]]; or, rather, as an arrow from the [[origin]] to the point. For example, <math>\vec{v} = (4,5,6)</math> can be thought of as the arrow from the origin <tt>(0, 0, 0)</tt> to the point <tt>4,5,6</tt>. In this case, (4,5,6) would be called the ''head'' of ''v'', and (0,0,0) would be called the ''tail''.		Because of this representation, each vector can be thought of as a point in a [[Cartesian coordinate system]]; or, rather, as an arrow from the [[origin]] to the point. For example, <math>\vec{v} = (4,5,6)</math> can be thought of as the arrow from the origin <tt>(0, 0, 0)</tt> to the point <tt>4,5,6</tt>. In this case, (4,5,6) would be called the ''head'' of ''v'', and (0,0,0) would be called the ''tail''.
		+
		+	Two vectors can be multiplied in two ways. The [[dot product]] of two vectors is a scalar, while the [[cross product]] is another vector.

	Vector spaces are the fundamental objects of study of [[linear algebra]] and, due to their usefulness with [[gradient]]s, advanced calculus.		Vector spaces are the fundamental objects of study of [[linear algebra]] and, due to their usefulness with [[gradient]]s, advanced calculus.

@@ Line 41: / Line 41: @@
 == Generalizations ==
-The above discussion only considers vector spaces in which the scalars are real numbers, but we could just as well talk about the set of polynomials with complex coefficients, where we multiple by complex scalars.  More generally, given any [[field]] <math>F</math>, a vector space over <math>F</math> is an additive group in which addition is commutative and with which is associated a field of scalars, as the field of real numbers, such that the product of a scalar and an element of the group or a vector is defined, the product of two scalars times a vector is associative, one times a vector is the vector, and two distributive laws hold.  In terms of another definition, a vector space is simply a module for which the ground ring is a field.
+The above discussion only considers vector spaces in which the scalars are real numbers, but we could just as well talk about the set of polynomials with complex coefficients, where we multiple by complex scalars.  More generally, given any [[field]] <math>F</math>, a vector space over <math>F</math> is an additive [[abelian group]] (where addition is commutative) and with which is associated a field of scalars, as the field of real numbers, such that the product of a scalar and an element of the group or a vector is defined, the product of two scalars times a vector is associative, one times a vector is the vector, and two distributive laws hold.  In terms of another definition, a vector space is simply a module for which the ground ring is a field.
 Specifically, let V be vector space over a field F. Then for all '''u''','''v''','''w''' ∈ V and a,b ∈ F the following axioms are obeyed:

← Older revision		Revision as of 04:57, July 19, 2010
Line 1:		Line 1:
−	A '''vector space''' is one of the most fundamental and important concepts in mathematics, physics, and engineering. It has ~~its origins in the notion of~~ a "~~direction~~" and a "~~magnitude~~". Perhaps the simplest vector to visualize is the ''velocity vector'', showing the speed and direction of motion of a particle. Other extremely common vectors are the [[electric field]] and [[magnetic field]] vectors, though vectors abound in numerous areas of mathematics, physics, mechanical engineering, and aspects of electrical engineering.	+	A '''vector space''' is a [[set]] of objects that can be added together and multiplied by elements of another set, while satisfying certain properties. Elements of the first set are called "vectors" while elements of the second set are called "scalars". The idea of a vector space is one of the most fundamental and important concepts in mathematics, physics, and engineering.
		+
		+	In two dimensions, a vector has a "magnitude" (or length) and a "direction" (or angle).Perhaps the simplest vector to visualize is the ''velocity vector'', showing the speed and direction of motion of a particle. Other extremely common vectors are the [[electric field]] and [[magnetic field]] vectors, though vectors abound in numerous areas of mathematics, physics, mechanical engineering, and aspects of electrical engineering.

	The most important operations involving vectors are the ''vector sum'' and the ''vector-scalar product''. As an example of the first, if we are in a train traveling with speed given by one vector, and we throw something inside the train with a velocity, relative to the train, of another vector, the velocity of the object relative to a fixed observer is the sum of those two vectors. As an example of the second, if we double the current through an electromagnet, its magnetic field vector will be multiplied by the number 2. That is, its direction will be unchanged and its magnitude will double.		The most important operations involving vectors are the ''vector sum'' and the ''vector-scalar product''. As an example of the first, if we are in a train traveling with speed given by one vector, and we throw something inside the train with a velocity, relative to the train, of another vector, the velocity of the object relative to a fixed observer is the sum of those two vectors. As an example of the second, if we double the current through an electromagnet, its magnetic field vector will be multiplied by the number 2. That is, its direction will be unchanged and its magnitude will double.