# image & kernel

• Mar 21st 2013, 11:10 AM
jojo7777777
image & kernel
When does the kernel of a function equal the image?
• Mar 21st 2013, 02:15 PM
zhandele
Re: image & kernel
I think you mean a linear transformation, not a function. They're not the same thing.

I haven't thought about this question, but I have a notion. By the rank-nullity theorem, the rank would have to be zero in that case so the nullity would be n (where n is the number of columns). Any pivot column would mean a rank greater than 0. So there must be no pivot columns. The only way I can picture that is a matrix with all zeroes.
• Mar 21st 2013, 02:23 PM
Plato
Re: image & kernel
Quote:

Originally Posted by zhandele
I think you mean a linear transformation, not a function. They're not the same thing.

There are several meanings for kernel of a function,

The OP should have defined terms.

Post Script: Here is a second reference.
• Mar 21st 2013, 04:07 PM
HallsofIvy
Re: image & kernel
If this had said "null space", rather than "kernel", then I would say that a vector space, and so "linear transformation", but "kernel" is more general.

The "image" of a function, f, is \$\displaystyle \{y | y= f(x)\$ for some x}, the "kernel" is \$\displaystyle \{ x| f(x)= 0\}\$. If the kernel is equal to the image, then, for all x, f(x) is i the image and so f(f(x))= 0 and, conversely, if f(y)= 0, there exist x such that f(x)= y.
• Mar 21st 2013, 04:08 PM
Ant
Re: image & kernel
Quote:

Originally Posted by jojo7777777
When does the kernel of a function equal the image?
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}