Skip to main content
Mathematics LibreTexts

4.1: Definition of vector spaces

  • Page ID
    314
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    As we have seen in Chapter 1 a vector space is a set \(V\) with two operations defined upon it: addition of vectors and multiplication by scalars. These operations must satisfy certain properties, which we are about to discuss in more detail. The scalars are taken from a field \(\mathbb{F}\), where for the remainder of these notes \(\mathbb{F}\) stands either for the real numbers \(\mathbb{R}\) or for the complex numbers \(\mathbb{C}\). The sets \(\mathbb{R}\) and \(\mathbb{C}\) are examples of fields. The abstract definition of a field along with further examples can be found in Appendix C.

    Vector addition can be thought of as a function \(+:V\times V \to V\) that maps two vectors \(u,v\in V\) to their sum \(u+v\in V\). Scalar multiplication can similarly be described as a function \(\mathbb{F} \times V \to V\) that maps a scalar \(a\in \mathbb{F}\) and a vector \(v\in V\) to a new vector \(av \in V\). (More information on these kinds of functions, also known as binary operations, can be found in Appendix C. It is when we place the right conditions on these operations that we turn \(V\) into a vector space.

    Definition 4.1.1. A vector space over \(\mathbb{F}\) is a set \(V\) together with the operations of addition \(V \times V \to V\) and scalar multiplication \(\mathbb{F} \times V \to V\) satisfying each of the following properties.

    1. Commutativity: \(u+v=v+u\) for all \(u,v\in V\);
    2. Associativity: \((u+v)+w= u+(v+w)\) and \((ab) v = a(bv)\) for all \(u,v,w\in V\) and \(a,b\in\mathbb{F}\);
    3. Additive identity: There exists an element \(0\in V\) such that \(0+v=v\) for all \(v\in V\);
    4. Additive inverse: For every \(v\in V\), there exists an element \(w\in V\) such that \(v+w=0\);
    5. Multiplicative identity: \(1v=v\) for all \(v\in V\);
    6. Distributivity: \(a(u+v)=au+av\) and \((a+b)u=au+bu\) for all \(u,v\in V\) and \(a,b\in\mathbb{F}\).

    A vector space over \(\mathbb{R}\) is usually called a real vector space, and a vector space over \(\mathbb{C}\) is similarly called a complex vector space. The elements \(v\in V\) of a vector space are called vectors.

    Even though Definition 4.1.1 may appear to be an extremely abstract definition, vector spaces are fundamental objects in mathematics because there are countless examples of them. You should expect to see many examples of vector spaces throughout your mathematical life.

    Example 4.1.2. Consider the set \(\mathbb{F}^n\) of all \(n\)-tuples with elements in \(\mathbb{F}\). This is a vector space with addition and scalar multiplication defined componentwise. That is, for \(u=(u_1,u_2,\ldots, u_n), v=(v_1,v_2,\ldots,v_n)\in \mathbb{F}^n\) and \(a\in\mathbb{F}\), we define

    \[ \begin{split} u+v &= (u_1+v_1, u_2+v_2, \ldots, u_n+v_n),\\ au &= (au_1, au_2, \ldots, au_n). \end{split} \]

    It is easy to check that each property of Definition 4.1.1 is satisfied. In particular, the additive identity \(0=(0,0,\ldots,0)\), and the additive inverse of \(u\) is \(-u=(-u_1,-u_2,\ldots,-u_n)\).

    An important case of Example 4.1.2 is \(\mathbb{R}^n\), especially when \(n=2\) or \(n=3\). We have already seen in Chapter 1 that there is a geometric interpretation for elements of \(\mathbb{R}^2\) and \(\mathbb{R}^3\) as points in the Euclidean plane and Euclidean space, respectively.

    Example 4.1.3. Let \(\mathbb{F}^\infty\) be the set of all sequences over \(\mathbb{F}\), i.e.,

    \[ \mathbb{F}^\infty = \{ (u_1, u_2, \ldots) \mid u_j\in\mathbb{F} \rm{~for~} j=\{1,2,\ldots\} \}. \]

    Addition and scalar multiplication are defined as expected, namely,

    \[ \begin{split} (u_1, u_2,\ldots)+(v_1, v_2, \ldots) &= (u_1+v_1, u_2+v_2, \ldots),\\a(u_1, u_2,\ldots) &= (au_1, au_2, \ldots). \end{split}\]

    You should verify that \(\mathbb{F}^\infty\) becomes a vector space under these operations.

    Example 4.1.4. Verify that \(V=\{0\}\) is a vector space! (Here, \(0\) denotes the zero vector in any vector space.)

    Example 4.1.5. Let \(\mathbb{F}[z]\) be the set of all polynomial functions \(p: \mathbb{F} \to \mathbb{F}\) with coefficients in \(\mathbb{F}\). As discussed in Chapter 3, \(p(z)\) is a polynomial if there exist \(a_0, a_1, \ldots, a_n\in \mathbb{F}\) such that

    \[p(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_1 z + a_0. \tag{4.1.1} \]

    Addition and scalar multiplication on \(\mathbb{F}[z]\) are defined pointwise as

    \[ \begin{split} (p+q)(z) &= p(z)+q(z),\\ (ap)(z) &= ap(z), \end{split}\]

    where \(p,q\in \mathbb{F}[z]\) and \(a\in \mathbb{F}\). For example, if \(p(z)=5z+1\) and \(q(z)=2z^2+z+1\), then \((p+q)(z)=2z^2+6z+2\) and \((2p)(z)=10z+2\).

    It can be easily verified that, under these operations, \(\mathbb{F}[z]\) forms a vector space over \(\mathbb{F}\). The additive identity in this case is the zero polynomial, for which all coefficients are equal to zero, and the additive inverse of \(p(z)\) in Equation (4.1.1) is \(-p(z)=-a_n z^n - a_{n-1} z^{n-1} - \cdots - a_1 z - a_0\).

    Example 4.1.6. Extending Example 4.1.5, let \(D \subset \mathbb{R}\) be a subset of \(\mathbb{R}\), and let \(\mathcal{C}(D)\) denote the set of all continuous functions with domain \(D\) and codomain \(\mathbb{R}\). Then, under the same operations of pointwise addition and scalar multiplication, one can show that \(\mathcal{C}(D)\)also forms a vector space.


    This page titled 4.1: Definition of vector spaces is shared under a not declared license and was authored, remixed, and/or curated by Isaiah Lankham, Bruno Nachtergaele, & Anne Schilling.

    • Was this article helpful?