## Story Time

Linear algebra was founded around the same time as Calculus (think Leibniz, circa 1700) solely for the purpose of solving general systems of linear equations. The coefficients of a system were written in a grid form, with rows corresponding to equations and columns to the unknown variables. Using a computational tool called the *determinant* (an awkward, but computable formula involving only the coefficients of the equations in a system), researchers were able to solve these systems, opening a world of information about the positions of celestial bodies and large-scale measurements (of geodesic arcs) on the surface of the earth.

By the 1850’s, Arthur Cayley was representing matrices as abstract objects. He defined matrix multiplication and nurtured matrix theory as its own field, recognizing a vast wealth of theoretical knowledge underlying the theory of determinants. Around turn of the century, a formal system of vector algebra was invented which relied heavily on interpreting matrices as so-called *linear transformations**. *Linear transformations are intuitively those maps of everyday space () which preserve “linear” things. Specifically, they send lines to lines, planes to planes, etc., and they preserve the origin (one which does not preserve the origin is very similar but has a different name; see Affine Transformation). Soon enough the mathematical focus shifted to the foundations of such an algebra, and later with the advent of computers to rapid calculations in one.

## Motivations

Linear algebra sits at the crossroads of many areas of mathematics. Keeping close to its roots, linear algebra is primarily a tool for computation. Unsurprisingly, a huge chunk of mathematical research has been solely to phrase things in terms of matrices and their associated linear transformations. For instance, an undirected graph on vertices can be modeled as a matrix of integer entries, with the entry containing the number of edges from vertex to vertex . This is called the *adjacency matrix *of a graph. Suddenly, a wealth of information about the graph translates to simple matrix computations. For instance, we can compute the number of paths from one vertex to another of length as the appropriate entry of . (more formally,these are *walks*, which are allowed to repeat edge traversals and visited vertices)

Even in advanced, purely theoretical mathematics, objects are commonly represented in terms of coordinates in some vector space, and are subsequently studied using all of the great things we know about linear transformations and their matrices. And so, without further ado, we will present the terminology and working concepts necessary for the content elsewhere in this blog.

## Vector Spaces

The setting for all of linear algebra is in some vector space. Intuitively this is just a collection of objects, which we call *vectors*, with some rules on how you can combine vectors to get other vectors. This treatment wouldn’t do that idea justice without an axiomatic definition, so here it is.

**Definition: **A *vector space* is a quadruple , where is a set of vectors (points in our space), is a scalar field (coefficients), is a commutative, associative operation to combine vectors, and is an operation to “scale” vectors. In addition, we need the following properties to hold:

- Addition and multiplication distribute (as we are used to with traditional algebra).
- There must be an additive identity, which we call , giving for all .
- Every vector must have an additive inverse (every has some with ).

This is a lot to swallow at first, but it is general for a good reason: there are *tons* of different kinds of vector spaces! Many of these are surprising and counter-intuitive. For our purposes, however, we may stick with the nice, small vector spaces. So here is a simplified definition that will suffice:

**Definition: **A *vector space* is a set of vectors which are fixed-length lists of real numbers , where addition between vectors is componentwise, we may scale vectors by any real number, and the following properties hold:

- Addition and multiplication distribute (as above).
- is the additive identity.
- is the unique additive inverse of .

Hopefully this is much more familiar to what we think of as “vectors,” and with the understanding that we are viewing it as a vector space, we just call it . The closure of operations gives us a nice way to characterize “any combination” of vectors in a vector space.

**Definition: **A *linear combination* of vectors in a vector space is the vector

for some positive integer , scalars , and vectors .

We may speak of the *span* of a set of vectors as the set of all possible linear combinations of those vectors. Furthermore, we call a set of vectors *linearly independent* if no vector in the list is in the span of the others. For example, and are linearly independent in . Specifically, cannot be written as for any scalars , and the other two vectors are similarly so.

As usual, we may describe *subspaces* of a vector space, which are just subsets of which are themselves vector spaces with the inherited operations. The simplest examples of these are lines, planes, and hyperplanes through the origin in . Consequently, we may identify as a subspace of for any .

One of the first things we want to ask about a vector space is “how big is it?” While most instances of vector spaces we will see have uncountably many elements, we can characterize “size” in terms of a different metric: the size of a basis.

**Definition: **A list of vectors is a *basis* for if its elements are linearly independent, and their span is . The *dimension* of a vector space is the length of any basis.

For , and similarly all finite-dimensional vector spaces, it is easy to prove that all bases have the same length, and hence dimension is well-defined. Further, admits a very natural basis, often called the *standard basis*:

These are best visualized as the coordinate axes in , and it strokes our intuition as to what a basis should be, because any vector in can be broken down uniquely into a sum of scalar multiples of these unit coordinates. Indeed, this is true of any basis (due to linear independence). Given a fixed basis for , every vector may be *uniquely* written as a linear combination of basis vectors.

## Linear Transformations and their Matrix Representations

Moving quickly toward the heart of linear algebra, we may speak of linear transformations (interchangeably, linear maps) between two vector spaces:

**Definition:** A function is a *linear map* if it preserves the operations of addition and scalar multiplication. In other words, for all and .

Examples are bountiful; some geometrically inspired ones include rotations about the origin, shears, and scalings. These are functions you’d likely see in an image manipulation program like photoshop. From this we can prove a few basic facts, like that every linear map sends to and additive inverses to additive inverses (try it as an exercise).

One remarkable fact that helps us characterize linear maps is that every linear map is determined completely by what it does to a basis. Since every vector is a linear combination of basis elements, say , we see that a linear map plays nicely:

In other words, if we know what does to a basis, then we know everything about . In order to aid our computations, we write what does to each basis vector in a tabular form. To elaborate on the vague word “does,” we need to also fix a basis of our target vector space , say , and describe each in terms of this basis. We write it in tabular form, as follows:

The th column corresponds to , and the th row corresponds to the th coefficient in the expansion of in terms of the basis for . Here the vertical bars indicate that each element is a column of scalars. We will do an extended example to make this clear.

Consider the map on defined as . It is easy to check this map is linear, and using the standard basis we see that

,

, and

.

or,

, , and .

Hence, the matrix representation of with respect to the standard basis is

Now we see that if we take a (column) vector , and multiply it on the left by our matrix , the resulting vector is precisely the coordinate representation of with respect to the basis for . In fact, the rules for matrix multiplication were constructed very particularly so that this would be the case. In this way, we may arbitrarily switch between viewing as a transformation and a vector computation. Compositions of linear maps translate to multiplication of two matrices, and matrix inversion (if it exists) is precisely function inversion.

Of course, there are many different bases we could have chosen. Even though we are going from , the column basis could be different from the row basis. Fortunately for our purposes, we are not going to consider what basis is appropriate to choose. All that matters is that fixing a basis, the matrix representation of a linear map is unique, and so we may interchange the notation freely. Even so, the truly interesting things about matrices are those properties which are true no matter which basis we prefer to use.

## Eigenvectors and Eigenvalues

**Definition:** A scalar is an *eigenvalue* for the linear map if there exists a non-zero vector with . Any such vector which satisfies this equation is said to be an *eigenvector* of corresponding to .

Eigenvectors and eigenvalues have a huge number of applications, including facial recognition software, geology, quantum mechanics, and web search. So being able to find them quickly is of great significance to researchers and engineers. What’s interesting is that while eigenvectors depend on a choice of basis, eigenvalues do not. We prove this now:

**Proposition:** If and are different representations of the same linear map, then any eigenvalue of is an eigenvalue of .

*Proof*. It turns out that the process of “changing a basis” can be boiled down to matrix multiplication. Specifically, if and are two different matrix representations of the same linear map, we have the existence of some invertible matrix such that , or . As a result, if is an eigenvector for corresponding to the eigenvalue , then for some and so , and is an eigenvector for corresponding to as well. This proves that eigenvalues are invariant with respect to a change of basis, as desired.

The point of this is that we can choose whatever basis we want to work with, and compute the eigenvalues where we’re most comfortable. For instance, if we choose a basis that gives the following *diagonal *representation,

then we can just eyeball that the eigenvalues are 1, 2, and 3. In fact, there are some very deep theorems in linear algebra that concern the existence and uniqueness of certain matrix representations. For a more in-depth treatment, see Axler, Linear Algebra Done Right. We will cover all the necessary information in the relevant posts, but until then, we are absolutely pooped from typing. Until next time!

Pingback: The Discrete Fourier Transform | Math ∩ Programming

Pingback: Eigenfaces, for Facial Recognition | spider's space

Pingback: Probability Theory — A Primer | Math ∩ Programming

Pingback: Homology Theory — A Primer | Math ∩ Programming

Pingback: Computing Homology | Math ∩ Programming

Pingback: Introducing Categories | Math ∩ Programming

Pingback: Rings — A Primer | Math ∩ Programming

Pingback: Functoriality | Math ∩ Programming

Pingback: How to Conquer Tensorphobia | Math ∩ Programming

Pingback: When Greedy Algorithms are Perfect: the Matroid | Math ∩ Programming

Pingback: Hamming’s Code | Math ∩ Programming

>f: (x,y,z) \mapsto (y,x,2z+y)

>>f(e_1) = e_2, f(e_2) = e_1 + e_3, and f(e_3) = 2e_3.

Put, for example, e_3 instead of z and you will come into conflict

LikeLike

Putting e_3 instead of z makes no sense. e_3 is a vector, z is a number.

LikeLike

Great summary of the basics of LINEAR ALGEBRA. Wish I’d seen this post before taking my Linear Algebra course last semester. The standard David Lay ,4th edition textbook is good, but sweeping the arcane concepts learned into a more coherent whole by articulating the connections is not a strong-point of any textbook, for that matter. They just go from one concept, to the next, to the next…….

LikeLike