Examples of vector spaces

Examples of vector spaces

This page lists some examples of vector spaces. See vector space for the definitions of terms used on this page. See also: dimension, basis.

"Notation". We will let F denote an arbitrary field such as the real numbers R or the complex numbers C. See also: table of mathematical symbols.

Trivial or zero vector space

The simplest example of a vector space is the trivial one: {0}, which contains only the zero vector (see axiom 3. of vector spaces). Both vector addition and scalar multiplication are trivial. A basis for this vector space is the empty set, so that {0} is the 0-dimensional vector space over F. Every vector space over F contains a subspace isomorphic to this one.

Do not confuse this space with the null space of a linear operator F, which is the kernel of F.

The field

The next simplest example is the field F itself. Vector addition is just field addition and scalar multiplication is just field multiplication. The identity element of F serves as a basis so that F is a 1-dimensional vector space over itself.

The field is a rather special vector space; in fact it is the simplest example of a commutative algebra over F. Also, F has just two subspaces: {0} and F itself.

Coordinate space

Perhaps the most important example of a vector space is the following. For any positive integer "n", the space of all "n"-tuples of elements of F forms an "n"-dimensional vector space over F sometimes called "coordinate space" and denoted F"n". An element of F"n" is written:x = (x_1, x_2, ldots, x_n) ,where each "x""i" is an element of F. The operations on F"n" are defined by:x + y = (x_1 + y_1, x_2 + y_2, ldots, x_n + y_n) ,:alpha x = (alpha x_1, alpha x_2, ldots, alpha x_n) ,:0 = (0, 0, ldots, 0) ,:-x = (-x_1, -x_2, ldots, -x_n) ,The most common cases are where F is the field of real numbers giving the real coordinate space R"n", or the field of complex numbers giving the complex coordinate space C"n".

The quaternions and the octonions are respectively four- and eight- dimensional vector spaces over the reals.

The vector space F"n" comes with a standard basis::e_1 = (1, 0, ldots, 0) ,:e_2 = (0, 1, ldots, 0) ,:vdots ,:e_n = (0, 0, ldots, 1) ,where 1 denotes the multiplicative identity in F.

Infinite coordinate space

Let F denote the space of infinite sequences of elements from F such that only "finitely" many elements are nonzero. That is, if we write an element of F as:x = (x_1, x_2, x_3, ldots) ,then only a finite number of the "x""i" are nonzero (i.e., the coordinates become all zero after a certain point). Addition and scalar multiplication are given as in finite coordinate space. The dimensionality of F is countably infinite. A standard basis consists of the vectors "e""i" which contain a 1 in the "i"-th slot and zeros elsewhere. This vector space is the coproduct (or direct sum) of countably many copies of the vector space F.

Note the role of the finiteness condition here. One could consider arbitrary sequences of elements in F, which also constitute a vector space with the same operations, often denoted by FN - see below. However the dimension of this space is uncountably infinite and there is no obvious choice of basis. Since the dimensions are different, FN is "not" isomorphic to F; instead it is the "product" of countably many copies of F. It is worth noting that FN is (isomorphic to) the dual space of F, because a linear map "T" from F to F is determined uniquely by its values "T"("ei") on the basis elements of F, and these values can be arbitrary. Thus one sees that a vector space need not be isomorphic to its dual if it is infinite dimensional, in contrast to the finite dimensional case.

Product of vector spaces

Starting from "n" vector spaces, or a countably infinite collection of them, each with the same field, we can define the product space like above.

Matrices

Let F"m"×"n" denote the set of matrices with entries in F. Then F"m"×"n" is a vector space over F. Vector addition is just matrix addition and scalar multiplication is defined in the obvious way (by multiplying each entry by the same scalar). The zero vector is just the zero matrix. The dimension of F"m"×"n" is "mn". One possible choice of basis is the matrices with a single entry equal to 1 and all other entries 0.

Polynomial vector spaces

One variable

The set of polynomials with coefficients in F is vector space over F denoted F ["x"] . Vector addition and scalar multiplication are defined in the obvious manner. If the degree of the polynomials is unrestricted then the dimension of F ["x"] is countably infinite. If instead one restricts to polynomials with degree strictly less than "n" then we have a vector space with dimension "n".

One possible basis for F ["x"] is a monomial basis: the coordinates of a polynomial with respect to this basis are its coefficients, and the map sending a polynomial to the sequence of its coefficients is a linear isomorphism from F ["x"] to the infinite coordinate space F.

everal variables

The set of polynomials in several variables with coefficients in F is vector space over F denoted F ["x"1, "x"2, …, "x""r"] . Here "r" is the number of variables.

:"See also": polynomial ring

Function spaces

:"See main article at Function space, especially the functional analysis section."Let "X" be an arbitrary set and "V" an arbitrary vector space over F. The space of all functions from "X" to "V" is a vector space over F under pointwise addition and multiplication. That is, let "f" : "X" → "V" and "g" : "X" → "V" denote two functions, and let "α"∈F. We define:(f + g)(x) = f(x) + g(x) ,:(alpha f)(x) = alpha f(x) ,where the operations on the right hand side are those in "V". The zero vector is given by the constant function sending everything to the zero vector in "V". The space of all functions from "X" to "V" is commonly denoted "V""X".

If "X" is finite and "V" is finite-dimensional then "V""X" has dimension |"X"|(dim "V"), otherwise the space is infinite-dimensional (uncountably so if "X" is infinite).

Many of the vector spaces that arise in mathematics are subspaces of some function space. We give some further examples.

Generalized coordinate space

Let "X" be an arbitrary set. Consider the space of all functions from "X" to F which vanish on all but a finite number of points in "X". This space is a vector subspace of F"X", the space of all possible functions from "X" to F. To see this note that the union of two finite sets is finite so that the sum of two functions in this space will still vanish on a finite set.

The space described above is commonly denoted (F"X")0 and is called "generalized coordinate space" for the following reason. If "X" is the set of numbers between 1 and "n" then this space is easily seen to be equivalent to the coordinate space F"n". Likewise, if "X" is the set of natural numbers, N, then this space is just F.

A canonical basis for (F"X")0 is the set of functions {δ"x" | "x" ∈ "X"} defined by:delta_x(y) = egin{cases}1 quad x = y \ 0 quad x eq yend{cases}The dimension of (F"X")0 is therefore equal to the cardinality of "X". In this manner we can construct a vector space of any dimension over any field. Furthermore, "every vector space is isomorphic to one of this form". Any choice of basis determines an isomorphism by sending the basis onto the canonical one for (F"X")0.

Generalized coordinate space may also be understood as the direct sum of |"X"| copies of F (i.e. one for each point in "X")::(mathbf F^X)_0 = igoplus_{xin X}mathbf F.The finiteness condition is built into the definition of the direct sum. Contrast this with the direct product of |"X"| copies of F which would give the full function space F"X".

Linear maps

An important example arising in the context of linear algebra itself is the vector space of linear maps. Let "L"("V","W") denote the set of all linear maps from "V" to "W" (both of which are vector spaces over F). Then "L"("V","W") is a subspace of "W""V" since it is closed under addition and scalar multiplication.

Note that L(F"n",F"m") can be identified with the space of matrices F"m"×"n" in a natural way. In fact, by choosing appropriate bases for finite-dimensional spaces V and W, L(V,W) can also be identified with F"m"×"n". This identification normally depends on the choice of basis.

Continuous functions

If "X" is some topological space, such as the unit interval [0,1] , we can consider the space of all continuous functions from "X" to R. This is a vector subspace of R"X" since the sum of any two continuous functions is continuous and scalar multiplication is continuous.

Differential equations

The subset of the space of all functions from R to R consisting of (sufficiently differentiable) functions that satisfy a certain differential equation is a subspace of RR if the equation is linear. This is because differentiation is a linear operation, i.e., (a f + b g)' = a f' + b g', where ' is the differentiation operator.

Field extensions

Suppose K is a subfield of F (cf. field extension). Then F can be regarded as a vector space over K by restricting scalar multiplication to elements in K (vector addition is defined as normal). The dimension of this vector space is called the "degree" of the extension. For example the complex numbers C form a two dimensional vector space over the real numbers R. Likewise, the real numbers R form an (uncountably) infinite-dimensional vector space over the rational numbers Q.

If "V" is a vector space over F it may also be regarded as vector space over K. The dimensions are related by the formula:dimK"V" = (dimF"V")(dimKF)For example C"n", regarded as a vector space over the reals, has dimension 2"n".

Finite vector spaces

Apart from the trivial case of a zero-dimensional space over any field, a vector space over a field F has a finite number of elements if and only if F is a finite field and the vector space has a finite dimension. Thus we have F"q", the unique finite field (up to isomorphism, of course) with "q" elements. Here "q" must be a power of a prime ("q" = "p""m" with "p" prime). Then any "n"-dimensional vector space "V" over F"q" will have "q""n" elements. Note that the number of elements in "V" is also the power of a prime. The primary example of such a space is the coordinate space (F"q")"n".


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Vector space — This article is about linear (vector) spaces. For the structure in incidence geometry, see Linear space (geometry). Vector addition and scalar multiplication: a vector v (blue) is added to another vector w (red, upper illustration). Below, w is… …   Wikipedia

  • Vector bundle — The Möbius strip is a line bundle over the 1 sphere S1. Locally around every point in S1, it looks like U × R, but the total bundle is different from S1 × R (which is a cylinder instead). In mathematics, a vector bundle is a… …   Wikipedia

  • List of mathematical examples — This page will attempt to list examples in mathematics. To qualify for inclusion, an article should be about a mathematical object with a fair amount of concreteness. Usually a definition of an abstract concept, a theorem, or a proof would not be …   Wikipedia

  • Comparison of vector algebra and geometric algebra — Vector algebra and geometric algebra are alternative approaches to providing additional algebraic structures on vector spaces, with geometric interpretations, particularly vector fields in multivariable calculus and applications in mathematical… …   Wikipedia

  • vector analysis — the branch of calculus that deals with vectors and processes involving vectors. * * * ▪ mathematics Introduction       a branch of mathematics that deals with quantities that have both magnitude and direction. Some physical and geometric… …   Universalium

  • Locally convex topological vector space — In functional analysis and related areas of mathematics, locally convex topological vector spaces or locally convex spaces are examples of topological vector spaces (TVS) which generalize normed spaces. They can be defined as topological vector… …   Wikipedia

  • Topological vector space — In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. As the name suggests the space blends a topological structure (a uniform structure to be precise) with the algebraic concept of a… …   Wikipedia

  • Euclidean vector — This article is about the vectors mainly used in physics and engineering to represent directed quantities. For mathematical vectors in general, see Vector (mathematics and physics). For other uses, see vector. Illustration of a vector …   Wikipedia

  • Normed vector space — In mathematics, with 2 or 3 dimensional vectors with real valued entries, the idea of the length of a vector is intuitive and can easily be extended to any real vector space Rn. The following properties of vector length are crucial. 1. The zero… …   Wikipedia

  • Coordinate vector — In linear algebra, a coordinate vector is an explicit representation of a vector in an abstract vector space as an ordered list of numbers or, equivalently, as an element of the coordinate space Fn. Coordinate vectors allow calculations with… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”