Thread: Kernel and Image?

This question seems to be so basic that I can't find it anywhere... My grasp of linear algebra is embarrassing, and I'm working to remedy that, but I need this to produce something fairly sharpish...

Basically what I need is
the Kernel of, say, and how one gets it


and the Image of


I need it to calculate the homology, ie. using Ker i / Im j


Many thanks...

Originally Posted by Unenlightened

This question seems to be so basic that I can't find it anywhere... My grasp of linear algebra is embarrassing, and I'm working to remedy that, but I need this to produce something fairly sharpish...

Basically what I need is
the Kernel of, say, and how one gets it

The definition of the "kernel" of the linear transformation, A, is "the space of all vectors, v, such that Av= 0.

Here , that means you are looking for <a, b, c, d> such that

That gives you the equations -a+ d= 0, a- b= 0, -a+ c= 0, b- d= 0, and -b+ c= 0. Those do not have a single solution (if they did it would have to be a= b= c= d= 0) but can be solved for b, c, and d in terms of a. That gives a single vector basis for the kernel.

and the Image of
[/tex]

Again, use the definition of "Image". The image of linear transformation, A, is the set of all vectors, v, such that Au= v for [b]some[\b] vector u. In other words, that would be the set of all v such that Au= v has a solution. If we let then we are looking at the equation
.

You can "solve" that by row reduction of the augmented matrix

If there are any rows in which the first 6 terms are all 0, then the last term, which must be in terms of a, b, c, and d, must also be 0. That gives the equations you need to find the image. If there are no rows in which the first 6 numbers are 0, the kernel is all of .

I need it to calculate the homology, ie. using Ker i / Im j


Many thanks...

So for the kernel a=b=c=d, so the basis is (1, 1, 1, 1) ?

The augmented matirx reduces to
1 0 -1 0 -1 0 b
0 1 1 0 0 -1 c
0 0 0 1 1 1 d
0 0 0 0 0 0 a+b+c+d

...how does this give me the equations I need to find the image?

generally, steps of calculating kernel & image are getting rref(matrix) at first

Image:


find columns including leading 1's in rref(matrix), these columns are linearly independent.





Kernel:



Obviously, there are only 3 columns which are linearly independent.
The remainder 3 columns will spanned by linearly independent columns.


find another 2 vectors by the same method,

Originally Posted by math2009

The remainder 3 columns will spanned by linearly independent columns.

I'm sorry, I can't see where you got that v_3 = -v_1 + v_2 from...

represent rref(matrix) column

So
v_1 = (1 0 0 0) (transposed - it's easier to write like this)
v_2 = (0 1 0 0)
v_3 = (-1 1 0 0) or (0 0 1 0) ? Either way, I don't see where you get the v_3 = -v_1 + v_2 from

Originally Posted by Unenlightened

So for the kernel a=b=c=d, so the basis is (1, 1, 1, 1) ?

Yes, that is correct.

The augmented matirx reduces to
1 0 -1 0 -1 0 b
0 1 1 0 0 -1 c
0 0 0 1 1 1 d
0 0 0 0 0 0 a+b+c+d

...how does this give me the equations I need to find the image?

The last row corresponds to an equation like 0x+ 0y+ 0z+ 0u+ 0v+ 0w= a+b+c+d. That is only possible, as I said before, if the entire row is 0: that is, if a+ b+ c+ d= 0. That reduces to, say, a= - b- c- d so any such vector is of the form <-b-c-d, b, c, d>= b<-1, 1, 0, 0>+ c<-1, 0, 1, 0>+ d<-1, 0, 0, 1>.

So the homology = Ker/Im gives me
...?

Given that it's homology I'm looking for, this answer should be an integer or group... have I gone wrong somewhere, or is there some way to solve this fraction that I'm not seeing? (Neither of which would surprise me very much )

Sorry about bringing up another question in this thread.

generally, steps of calculating kernel & image are getting rref(matrix) at first

Image:

find columns including leading 1's in rref(matrix), these columns are linearly independent.

im(A)=span(column1, \cdots , column4)

I wanted to ask about this. When you find rref(matrix) you generally change the column space but not the row space.
The image is the span of the original columns. So would you not have to use gauss method on (matrix)' <--- (supposed to mean transpose)
and then the image is the row space of rref((matrix)') ?