Changes

== Generalizations ==

== 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:

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: