Serlo: EN: Introduction: Matrices

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}} In this article, we introduce matrices as an efficient representation of linear maps. A matrix (of a linear map $f:K^n\to K^m$) is a rectangular arrangement of elements from $K$ ("numbers") that specifies where the standard basis of $K^n$ is mapped by $f$.

Derivation Vorlage:Anker

Let $K$ be a field and $f:K^n\to K^m$ a linear map. We want to describe this map in the most efficient way. Since we know from the article "vector space of a linear map" that the space of linear maps from $K^n$ to $K^m$ has dimension $n\cdot m$, and that $f$ is an element of this space. So we need $n\cdot m$ numbers to describe our linear map. We are looking for a way to write down these numbers in an organized way.

Let $\{e_1,\dots ,e_n\}$ be the standard basis of $K^n$. Then, following the principle of linear continuation, $f$ is already completely determined by the vectors $f(e_1),\dots ,f(e_n)\in K^m$ : If $x\in K^n$ is an arbitrary vector, we can write it as a linear combination $x=x_1{e}_1+\dots +x_n{e}_n$ of the basis elements, and because of linearity we know the value $f(x)=x_{1}f(e_1)+\dots +x_{n}f(e_n)$.

So we need the "data" $f(e_1),\dots ,f(e_n)$ to describe the linear map. These data are $n$ vectors in $K^m$. So we can write them as Vorlage:Einrücken for certain "numbers" $a_{ij}\in K$. This is a notation for tracking all necessary data of the linear map. But we can still make it more efficient: We just omit the "$f(e_i)=$" and agree on the convention that the $i$-th column describes the image of the $i$-th basis vector: Vorlage:Einrücken To save even more space, we can also combine the entries of these vectors into a single "table", still with the image of the $i$-th basis vector being in the $i$-th column: Vorlage:Einrücken We call this "table in parenthesis" a matrix. It is the matrix associated with the linear map $f$.

The matrix completely determines $f$ and it consists of $n\cdot m$ numbers as entries, which is consistent with our considerations above.

Matrix-Vector Multiplication Vorlage:Anker

Derivation

We have just seen how we can represent a linear map by a matrix. Suppose, we now do not a linear map, but only its associated matrix. What does the image of an arbitrary vector under this linear map look like?

First, for simplicity, let's consider the vector space ${ℝ}^2$ and any linear map $f:{ℝ}^2\to {ℝ}^2$ be a linear map, of which we know that the associated matrix is Vorlage:Einrücken That means, we have

We want to calculate the image of an arbitrary vector $(x,y{)}^T\in {ℝ}^2$ under the map $f$, using the entries of the matrix $A$.

To do so, we represent our vector as a linear combination of the standard basis vectors, i.e. Vorlage:Einrücken Now we can exploit the linearity of $f$ and calculate:

By this calculation, we can describe the effect of applying a linear map $f$ to a vector, only by using the matrix $A$. This calculation works for any vector and any $2\times 2$-matrix. To simplify the notation, let us define a "multiplication operation" for matrices and vectors:

We call this the "matrix-vector multiplication" and formally write it as a product. The generalization from a $2\times 2$ to an $n\times n$-matrix is given in the following exercise:

Mathe für Nicht-Freaks: Vorlage:Aufgabe The solution of this exercise provides us with a formula to calculate the value of a vector under a mapping, using the associated matrix. We now define $Av$ using the formula found in the solution.

Definition

From another point of view this means: If we consider the matrix $A$ as a collection of column vectors Vorlage:Einrücken then the product $A\cdot x$ is a linear combination of the columns of $A$ with the coefficients in $x$, namely $A\cdot x=x_1{a}_1+\cdots x_n{a}_n$.

How can you best remember how applying a matrix to a vector works?

To apply a matrix to a vector, you need to compute "row times column".

You may perform a matrix-vector multiplication by using the rule "row times column": The first entry of the result is the first row of the matrix times the column vector. The second entry is the second row of the matrix times the column vector, etc. for larger matrices. For each "row times column" product, you multiply the related entries (first times first, second times second, etc.) and add the results.

It is important that the type of the matrix and the type of the vector match. If you have set up everything correctly so far, this should always be the case, because a linear map $f:K^n\to K^m$ includes an $m\times n$ matrix. You can apply this matrix to vectors of $K^n$, since rows and columns have both length $n$.

Reverse direction: The induced linear mapVorlage:Anker

We have seen that every linear map has an associated matrix. Given a linear map $f$, we constructed a matrix $A$ such that $f(v)=Av$. That is, some matrices define a linear map. But do all matrices define a linear map? And if yes, what does the corresponding mapping look like?

If a matrix $A$ is derived from a linear map $f$, then we can get $f$ back from $A$ by defining it as the map $v\mapsto Av$. More generally, we can apply this rule to any matrix $A$ and obtain corresponding a linear map $f$.

So let $A$ be an $m\times n$ matrix. We consider $K^n\to K^n,v\mapsto Av$. This map is indeed linear:

That means, every matrix defines a linear map.

Thus, we now know that for each linear map there is an associated matrix, and for each matrix there is an associated linear map. For a linear map $f$, we call the associated matrix $M(f)$. Our construction of the induced mapping is built exactly such that $f=f_{M(f)}$. This is quite intuitive: the linear map induced by the matrix associated to a linear map $f$ is just map $f$ itself. We can now ask the "reverse question": If we consider the associated matrix of a linear map induced by some original matrix, is this the original matrix, again? So in mathematical terms: Is $A=M(f_A)$? The following theorem answers this question in the affirmative:

Mathe für Nicht-Freaks: Vorlage:Satz We have thus shown that matrices and linear maps are in a "one-to-one-correspondence". {{#invoke:Mathe für Nicht-Freaks/Seite|unten}}