Subsection VEASM Vector Equality, Addition, Scalar Multiplication

We start our study of this set by first defining what it means for two vectors to be the same.

Definition CVE Column Vector Equality

Suppose that $\vect{u},\,\vect{v}\in\complex{m}$. Then $\vect{u}$ and $\vect{v}$ are equal, written $\vect{u}=\vect{v}$ if \begin{align*} \vectorentry{\vect{u}}{i}&=\vectorentry{\vect{v}}{i} &&1\leq i\leq m \end{align*}

Now this may seem like a silly (or even stupid) thing to say so carefully. Of course two vectors are equal if they are equal for each corresponding entry! Well, this is not as silly as it appears. We will see a few occasions later where the obvious definition is not the right one. And besides, in doing mathematics we need to be very careful about making all the necessary definitions and making them unambiguous. And we have done that here.

Notice now that the symbol “=” is now doing triple-duty. We know from our earlier education what it means for two numbers (real or complex) to be equal, and we take this for granted. In Definition SE we defined what it meant for two sets to be equal. Now we have defined what it means for two vectors to be equal, and that definition builds on our definition for when two numbers are equal when we use the condition $u_i=v_i$ for all $1\leq i\leq m$. So think carefully about your objects when you see an equal sign and think about just which notion of equality you have encountered. This will be especially important when you are asked to construct proofs whose conclusion states that two objects are equal. If you have an electronic copy of the book, such as the PDF version, searching on “Definition CVE” can be an instructive exercise. See how often, and where, the definition is employed.

OK, let us do an example of vector equality that begins to hint at the utility of this definition.

Example VESE Vector equality for a system of equations

We will now define two operations on the set $\complex{m}$. By this we mean well-defined procedures that somehow convert vectors into other vectors. Here are two of the most basic definitions of the entire course.

Definition CVA Column Vector Addition

Suppose that $\vect{u},\,\vect{v}\in\complex{m}$. The sum of $\vect{u}$ and $\vect{v}$ is the vector $\vect{u}+\vect{v}$ defined by \begin{align*} \vectorentry{\vect{u}+\vect{v}}{i} &=\vectorentry{\vect{u}}{i}+\vectorentry{\vect{v}}{i} &&1\leq i\leq m \end{align*}

So vector addition takes two vectors of the same size and combines them (in a natural way!) to create a new vector of the same size. Notice that this definition is required, even if we agree that this is the obvious, right, natural or correct way to do it. Notice too that the symbol `+' is being recycled. We all know how to add numbers, but now we have the same symbol extended to double-duty and we use it to indicate how to add two new objects, vectors. And this definition of our new meaning is built on our previous meaning of addition via the expressions $u_i+v_i$. Think about your objects, especially when doing proofs. Vector addition is easy, here is an example from $\complex{4}$.

Example VA Addition of two vectors in $\complex{4}$

Our second operation takes two objects of different types, specifically a number and a vector, and combines them to create another vector. In this context we call a number a scalar in order to emphasize that it is not a vector.

Definition CVSM Column Vector Scalar Multiplication

Suppose $\vect{u}\in\complex{m}$ and $\alpha\in\complex{\null}$, then the scalar multiple of $\vect{u}$ by $\alpha$ is the vector $\alpha\vect{u}$ defined by \begin{align*} \vectorentry{\alpha\vect{u}}{i} &=\alpha\vectorentry{\vect{u}}{i} &&1\leq i\leq m \end{align*}

Notice that we are doing a kind of multiplication here, but we are defining a new type, perhaps in what appears to be a natural way. We use juxtaposition (smashing two symbols together side-by-side) to denote this operation rather than using a symbol like we did with vector addition. So this can be another source of confusion. When two symbols are next to each other, are we doing regular old multiplication, the kind we have done for years, or are we doing scalar vector multiplication, the operation we just defined? Think about your objects — if the first object is a scalar, and the second is a vector, then it must be that we are doing our new operation, and the result of this operation will be another vector.

Notice how consistency in notation can be an aid here. If we write scalars as lower case Greek letters from the start of the alphabet (such as $\alpha$, $\beta$, …) and write vectors in bold Latin letters from the end of the alphabet ($\vect{u}$, $\vect{v}$, …), then we have some hints about what type of objects we are working with. This can be a blessing and a curse, since when we go read another book about linear algebra, or read an application in another discipline (physics, economics, …) the types of notation employed may be very different and hence unfamiliar.

Again, computationally, vector scalar multiplication is very easy.

Example CVSM Scalar multiplication in $\complex{5}$
Sage VO Vector Operations
(in context)