Column Vectors

A column vector of size $n$ over a field $K$ is a sequence of $n$ scalars, written vertically:

$$\begin{array}{r}\mathit{x}=[x_i{]}_n=\left[\begin{array}{c}{x}_1\\ x_2\\ \dots \\ x_n\end{array}\right],\text{where}{x}_i\in K,i=1,2,\dots ,n;n\in N.\end{array}$$

The set of all such vectors is denoted by $K^n.$ When dealing with practical problems, $$ $K$ is usually the field $R$ of real numbers or the field $C$ of complex numbers.

The column vectors in $K^n$ may be added: 1

$$\begin{array}{r}\left[\begin{array}{c}{x}_1\\ x_2\\ \dots \\ x_n\end{array}\right]+\left[\begin{array}{c}{y}_1\\ y_2\\ \dots \\ y_n\end{array}\right]:=\left[\begin{array}{c}{x}_1+y_1\\ x_2+y_2\\ \dots \\ x_n+y_n\end{array}\right],\end{array}$$

and multiplied by scalars $c\in K$:

$$\begin{array}{r}c\left[\begin{array}{c}{x}_1\\ x_2\\ \dots \\ x_n\end{array}\right]:=\left[\begin{array}{c}c{x}_1\\ c{x}_2\\ \dots \\ c{x}_n\end{array}\right].\end{array}$$

In Sage it is equally simple:

Press Evaluate to see the outcome of the code. You can modify the code yourself too. See what happens if the vectors are of different size. In section Vectors and Matrices in Sage we explain how to indicate the underlying field.

The addition and scalar multiplication of column vectors in $K^n$ consist in addition and multiplication of scalars in $K.$ On that basis, it’s easy to validate the following properties, which lead to the conclusion that $K^n$ is an abelian group under addition of column vectors.

0. $$ The addition of column vectors is an internal operation in $K^n.$

1. $$ The addition is associative and commutative:

   $$\begin{array}{r}\begin{array}{c}(\mathit{x}+\mathit{y})+\mathit{z}=\mathit{x}+(\mathit{y}+\mathit{z}),\\ \mathit{x}+\mathit{y}=\mathit{y}+\mathit{x},\mathrm{\forall }\mathit{x},\mathit{y},\mathit{z}\in K^n.\end{array}\end{array}$$

2. $$ The neutral element for addition is the zero column vector $\mathit{\theta }=\left[\begin{array}{c}0\\ 0\\ \dots \\ 0\end{array}\right].$

3. $$ For any $\mathit{x}\in K^n,$ there exists the opposite vector $(-\mathit{x})$ such that $\mathit{x}+(-\mathit{x})=\mathit{\theta }.$

   
   

   $$ Namely, $$ for $\mathit{x}=\left[\begin{array}{c}{x}_1\\ x_2\\ \dots \\ x_n\end{array}\right]$ the opposite is $(-\mathit{x})=\left[\begin{array}{c}-x_1\\ -x_2\\ \dots \\ -x_n\end{array}\right].$

   $$

Furthermore, since the scalar multiplication of column vectors is distributive, both over addition of scalars and over addition of vectors:

$$(a+b)\mathit{x}=a\mathit{x}+b\mathit{x},a(\mathit{x}+\mathit{y})=a\mathit{x}+a\mathit{y},$$

and satisfies the compatibility conditions

$$a(b\mathit{x})=(ab)\mathit{x},1\mathit{x}=\mathit{x},\mathrm{\forall }a,b\in K,\mathrm{\forall }\mathit{x},\mathit{y}\in K^n,$$

the set $K^n$ is a vector space over the field $K$ under addition and scalar multiplication of column vectors.

Column vectors over the real field $R$ of size two or three can be associated with geometric vectors in a plane or in the space, respectively. Namely, if ${\overrightarrow{e}}_1,{\overrightarrow{e}}_2$ or ${\overrightarrow{e}}_1,{\overrightarrow{e}}_2,{\overrightarrow{e}}_3$ form a basis of mutually perpendicular unit vectors, then:

$\mathit{x}=\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]\simeq \overrightarrow{v}=x_1{\overrightarrow{e}}_1+x_2{\overrightarrow{e}}_2;$

$\mathit{x}=\left[\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right]\simeq \overrightarrow{v}=x_1{\overrightarrow{e}}_1+x_2{\overrightarrow{e}}_2+x_3{\overrightarrow{e}}_3.$

The relation $\simeq$ between the column and geometric vectors has the property that

if $\mathit{x}\simeq \overrightarrow{v}\text{and}\mathit{y}\simeq \overrightarrow{w},$

then $\mathit{x}+\mathit{y}\simeq \overrightarrow{v}+\overrightarrow{w}$ and $c\mathit{x}\simeq c\overrightarrow{v}$ for all $c\in R.$

A bijective correspondence between two vector spaces over the same field (geometric vectors also form a real vector space), which preserves space operations in the above sense, is called isomorphism, and the pertinent vector spaces are said to be isomorphic.

The notion of isomorphism generalized to other algebraic structures (e.g. to algebras) will be discussed in subsequent parts of this textbook.

Experiment with Sage:

For given values $x_1,x_2$ you will get the geometric image $\overrightarrow{v}$ of the vector $\mathit{x}=\left[\begin{array}{c}{x}_1\\ x_2\end{array}\right]$.

$$

$$

1

The symbol $":="$ means $$ “equal by definition”.