4
$\begingroup$

I have a very noob questions about generators: what algorithm do I have to follow so I can prove that a finite subset is a generator?

Here is the background story (I'll tell it all because I suck at maths and I might have understood the whole concept wrongly):

I want to know how to compute the image of a vector space morphism. I'll continue on a concrete example:

$f\colon \mathbb{R}^2 \to \mathbb{R}^2$, $f(x,y) = (x-y, 2x + y)$ is the morphism.

To find its image, I observe that $f(x,y)$ can be rewritten as $x(1,2) + y(-1,1)$. If I am correct, that means that $\mathrm{Im}(f) = \langle(1,2), (-1,1)\rangle$ (that's the notation we use for set generators). Now the question is: does the $\{(1,2), (-1,1)\}$ set generate $\mathbb{R}^2$ or not?

  • 0
    @Arturo Magidin: thank you very much for the edit, I'll try to use the math features from now on.2011-01-03

4 Answers 4

4

Others have given you very good answers for this specific question. Let me make a few points for general problems of this type:

If you have a linear transformation $f\colon\mathbb{R}^n\to\mathbb{R}^m$, since every vector in $\mathbb{R}^n$ can be written as a linear combination of the standard basis vectors: $\begin{array}{rcl} \mathbf{e}_{1} &=& (1,0,0,\ldots,0)\\ \mathbf{e}_{2} &=& (0,1,0,\ldots,0)\\ &\cdots&\\ \mathbf{e}_n &=& (0,0,0,\ldots,1), \end{array}$ then the span of $f$ equals $\langle f(\mathbf{e}_1,\ldots,f(\mathbf{e}_2)\rangle$. In the example you have, this is essentially what you did, since $f(1,0) = (1,2)$ and $f(0,1)=(-1,1)$. Second, to find the span of a set of vectors, you can use Gaussian elimination. Put them as rows of a matrix and perform Gaussian elimination (or Gauss-Jordan elimination). The span of the original vectors equals the span of the rows of the matrix, and elementary row operations does not change the span of the rows. The rank will give you the dimension of the image, and if you only want to know if the image is all of $\mathbb{R}^m$, then you just need to see if the rank of the reduced row echelon form is $m$.

But it is more common express the function as an $m\times n$ matrix: in the $i$th column, you write down the image of $\mathbf{e}_i$; the image of $f$ is then the span of the columns of this matrix. In your example, we would have $\left(\begin{array}{rr} 1 & -1\\ 2 & 1 \end{array}\right)$ (the first column is the image of $(1,0)$; the second column is the image of $(0,1)$).

Since the dimension of the columnspace is the same as the dimension of the rowspace, you can still use elementary row operations to figure out the rank. However, elementary row operations may change the columnspace (not the dimension of the columnspace, but the columnspace itself yes). So you have to be careful there. Here, it is very easy: subtracting twice the first row from the second row, then dividing the second row by $3$, and adding it to the first row we get: $\left(\begin{array}{rr} 1 & -1\\ 2 & 1 \end{array}\right) \to \left(\begin{array}{rr} 1 & -1\\ 0 & 3 \end{array}\right)\to\left(\begin{array}{rr} 1 & -1\\ 0 & 1 \end{array}\right) \to \left(\begin{array}{rr} 1 & 0\\ 0 & 1 \end{array}\right).$ Since the reduced row echelon form has rank $2$, the columnspace of the original has dimension $2$, so you conclude that $\dim(\mathrm{Im}(f)) = 2$. Since the only subspace of $\mathbb{R}^2$ that has dimension $2$ is $\mathbb{R}^2$ itself, you are done.

  • 0
    Ok, I got it. Again, thank you very much for your help!2011-01-04
3

If you want to know whether the two vectors span the plane, just use the standard results in this case: they span the plane if and only if they are linearly independent, or the $2$-by-$2$ matrix is invertible, and so on.

Alternatively you can just show that for every point in the plane there exists the required $x$ and $y$ by solving a pair of simultaneous equations.

  • 0
    Not necessarily. In the example I gave, yes. But there are other types of problems, for example determining the subspaces generated by some specific sets of vectors (in R^2, R^3 and so on). That's why I was looking for a more general answer. Should I open another thread with this question?2011-01-04
1

HINT $\ $ Two vectors span $\rm\:\mathbb R^2\:$ iff they are nonzero and have different slopes.

Generally you can test if $f$ is onto by computing the rank of the matrix of $f$.

1

You compute the rank of the matrix whose entries are the coordinates of the vectors in the set (with respect to some basis, say the canonical basis in $\mathbf{R}^n$). The set generates the space iff the rank equals the dimension of the space. In your example, you want the rank to be 2. The rank of a matrix can be found using Gaussian elimination.