Kernel and image of matrix: What are they? Why do they exist?What's an intuitive way to think about the...

How to not let the Identify spell spoil everything?

Writing dialogues for characters whose first language is not English

Other than edits for international editions, did Harry Potter and the Philosopher's Stone receive errata?

Critique vs nitpicking

Why is Shelob considered evil?

If angels and devils are the same species, why would their mortal offspring appear physically different?

Do we still track damage on indestructible creatures?

Equivalent of "illegal" for violating civil law

Computing Cardinality of Sumsets using Convolutions and FFT

"I showed the monkey himself in the mirror". Why is this sentence grammatical?

Taking an academic pseudonym?

Rigorous justification for non-relativistic QM perturbation theory assumptions?

Crack the bank account's password!

How to deal with an underperforming subordinate?

Count repetitions of an array

Why does alert(0.-5) print -5?

How can I handle players killing my NPC outside of combat?

Can me and my friend spend the summer in Canada (6 weeks) at 16 years old without an adult?

What are some ways of extending a description of a scenery?

Does it take energy to move something in a circle?

Does the US government have any planning in place to ensure there's no shortages of food, fuel, steel and other commodities?

How to align the top of the text with the top of a figure produced by tikz in minipage

How can I give a Ranger advantage on a check due to Favored Enemy without spoiling the story for the player?

Is .NET Framework 3.5 still needed with a SQL Server 2017 installation to utilize Database Mail?



Kernel and image of matrix: What are they? Why do they exist?


What's an intuitive way to think about the determinant?LU Decomposition StepsSimplified method for symmetric matrix determinantsIf $A$ and $B$ are matrices where $BA$ is a defined matrix product, find a counterexample…Linear Transformation and Matricesa very basic definition cannot be found in most abstract algebra booksDetermine the values(s) of h and/or k such that the matrix is the augmented matrix of a consistent system.Intuitive understanding of Tensors of a higher rank (2 and above)Are all non-defective matrices normalIs the characteristic polynomial of a matrix $det(lambda I-A)$ or$ det(A-lambda I)$?













2












$begingroup$


I've been trying to get an understanding of the Kernel of image of matrices. I'm studying them in college right now, but the problem is, while I can find a ton of resources on how to find them given a matrix by following steps, I haven't been able to find anything that explains what they are intuitively. Also why have them in the first place?



I hope someone who understands these concepts better can help me.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Usually, we say the "Null space" of matrix, rather than the "Kernel" of matrix. Also the "Column space" of matrix rather than "Image" of matrix. Kernel and Image are using while talking linear transformation.
    $endgroup$
    – Jade Pang
    2 hours ago
















2












$begingroup$


I've been trying to get an understanding of the Kernel of image of matrices. I'm studying them in college right now, but the problem is, while I can find a ton of resources on how to find them given a matrix by following steps, I haven't been able to find anything that explains what they are intuitively. Also why have them in the first place?



I hope someone who understands these concepts better can help me.










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    Usually, we say the "Null space" of matrix, rather than the "Kernel" of matrix. Also the "Column space" of matrix rather than "Image" of matrix. Kernel and Image are using while talking linear transformation.
    $endgroup$
    – Jade Pang
    2 hours ago














2












2








2





$begingroup$


I've been trying to get an understanding of the Kernel of image of matrices. I'm studying them in college right now, but the problem is, while I can find a ton of resources on how to find them given a matrix by following steps, I haven't been able to find anything that explains what they are intuitively. Also why have them in the first place?



I hope someone who understands these concepts better can help me.










share|cite|improve this question











$endgroup$




I've been trying to get an understanding of the Kernel of image of matrices. I'm studying them in college right now, but the problem is, while I can find a ton of resources on how to find them given a matrix by following steps, I haven't been able to find anything that explains what they are intuitively. Also why have them in the first place?



I hope someone who understands these concepts better can help me.







linear-algebra matrices definition intuition motivation






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 hours ago









GNUSupporter 8964民主女神 地下教會

13.5k72550




13.5k72550










asked 2 hours ago









EliorElior

153




153








  • 1




    $begingroup$
    Usually, we say the "Null space" of matrix, rather than the "Kernel" of matrix. Also the "Column space" of matrix rather than "Image" of matrix. Kernel and Image are using while talking linear transformation.
    $endgroup$
    – Jade Pang
    2 hours ago














  • 1




    $begingroup$
    Usually, we say the "Null space" of matrix, rather than the "Kernel" of matrix. Also the "Column space" of matrix rather than "Image" of matrix. Kernel and Image are using while talking linear transformation.
    $endgroup$
    – Jade Pang
    2 hours ago








1




1




$begingroup$
Usually, we say the "Null space" of matrix, rather than the "Kernel" of matrix. Also the "Column space" of matrix rather than "Image" of matrix. Kernel and Image are using while talking linear transformation.
$endgroup$
– Jade Pang
2 hours ago




$begingroup$
Usually, we say the "Null space" of matrix, rather than the "Kernel" of matrix. Also the "Column space" of matrix rather than "Image" of matrix. Kernel and Image are using while talking linear transformation.
$endgroup$
– Jade Pang
2 hours ago










2 Answers
2






active

oldest

votes


















4












$begingroup$

The matrix corresponds to a linear function. Generally speaking, for a function $f:Xto Y$, the kernel of $f$ is $f^{-1}(0)$ and the image is $f(X)$.



Here $Y$ is a group, ring, field, vector space etc so it has a zero element $0in Y$.



Note the kernel $f^{-1}(0)$ is a subspace (subgroup, etc) of $X$ and the image $f(X)$ is a subspace of $Y$.



There is a nice sequence of maps
$$0toker fto Xto operatorname{im} fto Y.$$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
    $endgroup$
    – Elior
    2 hours ago










  • $begingroup$
    @Elior : Precisely. It’s everything that gets mapped to zero.
    $endgroup$
    – MPW
    1 hour ago










  • $begingroup$
    That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
    $endgroup$
    – Elior
    1 hour ago










  • $begingroup$
    The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
    $endgroup$
    – MPW
    1 hour ago



















0












$begingroup$

Well they exist because they kind of define the output given the input or if there is a unique solution of an inverse problem etc.



They both defines sets. Kernel defines a set of vectors such that take one of them and multiply it with your vector, you end up with 0 vector. Image on the other hand defines a "target set". Take any vector that can be multiplied with your matrix and multiply them. You cannot end up with a vector that does not belong to the image of your matrix.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    What is an example of a use for the kernel (in mathematics or any other field)?
    $endgroup$
    – Elior
    2 hours ago











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3125714%2fkernel-and-image-of-matrix-what-are-they-why-do-they-exist%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









4












$begingroup$

The matrix corresponds to a linear function. Generally speaking, for a function $f:Xto Y$, the kernel of $f$ is $f^{-1}(0)$ and the image is $f(X)$.



Here $Y$ is a group, ring, field, vector space etc so it has a zero element $0in Y$.



Note the kernel $f^{-1}(0)$ is a subspace (subgroup, etc) of $X$ and the image $f(X)$ is a subspace of $Y$.



There is a nice sequence of maps
$$0toker fto Xto operatorname{im} fto Y.$$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
    $endgroup$
    – Elior
    2 hours ago










  • $begingroup$
    @Elior : Precisely. It’s everything that gets mapped to zero.
    $endgroup$
    – MPW
    1 hour ago










  • $begingroup$
    That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
    $endgroup$
    – Elior
    1 hour ago










  • $begingroup$
    The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
    $endgroup$
    – MPW
    1 hour ago
















4












$begingroup$

The matrix corresponds to a linear function. Generally speaking, for a function $f:Xto Y$, the kernel of $f$ is $f^{-1}(0)$ and the image is $f(X)$.



Here $Y$ is a group, ring, field, vector space etc so it has a zero element $0in Y$.



Note the kernel $f^{-1}(0)$ is a subspace (subgroup, etc) of $X$ and the image $f(X)$ is a subspace of $Y$.



There is a nice sequence of maps
$$0toker fto Xto operatorname{im} fto Y.$$






share|cite|improve this answer











$endgroup$













  • $begingroup$
    So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
    $endgroup$
    – Elior
    2 hours ago










  • $begingroup$
    @Elior : Precisely. It’s everything that gets mapped to zero.
    $endgroup$
    – MPW
    1 hour ago










  • $begingroup$
    That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
    $endgroup$
    – Elior
    1 hour ago










  • $begingroup$
    The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
    $endgroup$
    – MPW
    1 hour ago














4












4








4





$begingroup$

The matrix corresponds to a linear function. Generally speaking, for a function $f:Xto Y$, the kernel of $f$ is $f^{-1}(0)$ and the image is $f(X)$.



Here $Y$ is a group, ring, field, vector space etc so it has a zero element $0in Y$.



Note the kernel $f^{-1}(0)$ is a subspace (subgroup, etc) of $X$ and the image $f(X)$ is a subspace of $Y$.



There is a nice sequence of maps
$$0toker fto Xto operatorname{im} fto Y.$$






share|cite|improve this answer











$endgroup$



The matrix corresponds to a linear function. Generally speaking, for a function $f:Xto Y$, the kernel of $f$ is $f^{-1}(0)$ and the image is $f(X)$.



Here $Y$ is a group, ring, field, vector space etc so it has a zero element $0in Y$.



Note the kernel $f^{-1}(0)$ is a subspace (subgroup, etc) of $X$ and the image $f(X)$ is a subspace of $Y$.



There is a nice sequence of maps
$$0toker fto Xto operatorname{im} fto Y.$$







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 2 hours ago

























answered 2 hours ago









MPWMPW

30.4k12157




30.4k12157












  • $begingroup$
    So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
    $endgroup$
    – Elior
    2 hours ago










  • $begingroup$
    @Elior : Precisely. It’s everything that gets mapped to zero.
    $endgroup$
    – MPW
    1 hour ago










  • $begingroup$
    That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
    $endgroup$
    – Elior
    1 hour ago










  • $begingroup$
    The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
    $endgroup$
    – MPW
    1 hour ago


















  • $begingroup$
    So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
    $endgroup$
    – Elior
    2 hours ago










  • $begingroup$
    @Elior : Precisely. It’s everything that gets mapped to zero.
    $endgroup$
    – MPW
    1 hour ago










  • $begingroup$
    That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
    $endgroup$
    – Elior
    1 hour ago










  • $begingroup$
    The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
    $endgroup$
    – MPW
    1 hour ago
















$begingroup$
So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
$endgroup$
– Elior
2 hours ago




$begingroup$
So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
$endgroup$
– Elior
2 hours ago












$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
1 hour ago




$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
1 hour ago












$begingroup$
That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
$endgroup$
– Elior
1 hour ago




$begingroup$
That makes sense. I'm a little confused by the sequence of maps at the end of you question (I may be interpreting it wrong). Is that showing the relationship between 0 and the ker(f), and then the ker(f) being part of the domain X, then same for im(f) being part of codomain. Why is there an arrow from X to im(f)? How does the domain relate to the image?
$endgroup$
– Elior
1 hour ago












$begingroup$
The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
$endgroup$
– MPW
1 hour ago




$begingroup$
The arrow you mention is the action of the map $f$ of $X$ onto its image. The arrows before and after that can be thought of as simple inclusion maps. Try googling “exact sequence” for more info.
$endgroup$
– MPW
1 hour ago











0












$begingroup$

Well they exist because they kind of define the output given the input or if there is a unique solution of an inverse problem etc.



They both defines sets. Kernel defines a set of vectors such that take one of them and multiply it with your vector, you end up with 0 vector. Image on the other hand defines a "target set". Take any vector that can be multiplied with your matrix and multiply them. You cannot end up with a vector that does not belong to the image of your matrix.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    What is an example of a use for the kernel (in mathematics or any other field)?
    $endgroup$
    – Elior
    2 hours ago
















0












$begingroup$

Well they exist because they kind of define the output given the input or if there is a unique solution of an inverse problem etc.



They both defines sets. Kernel defines a set of vectors such that take one of them and multiply it with your vector, you end up with 0 vector. Image on the other hand defines a "target set". Take any vector that can be multiplied with your matrix and multiply them. You cannot end up with a vector that does not belong to the image of your matrix.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    What is an example of a use for the kernel (in mathematics or any other field)?
    $endgroup$
    – Elior
    2 hours ago














0












0








0





$begingroup$

Well they exist because they kind of define the output given the input or if there is a unique solution of an inverse problem etc.



They both defines sets. Kernel defines a set of vectors such that take one of them and multiply it with your vector, you end up with 0 vector. Image on the other hand defines a "target set". Take any vector that can be multiplied with your matrix and multiply them. You cannot end up with a vector that does not belong to the image of your matrix.






share|cite|improve this answer









$endgroup$



Well they exist because they kind of define the output given the input or if there is a unique solution of an inverse problem etc.



They both defines sets. Kernel defines a set of vectors such that take one of them and multiply it with your vector, you end up with 0 vector. Image on the other hand defines a "target set". Take any vector that can be multiplied with your matrix and multiply them. You cannot end up with a vector that does not belong to the image of your matrix.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 2 hours ago









starhdstarhd

11




11












  • $begingroup$
    What is an example of a use for the kernel (in mathematics or any other field)?
    $endgroup$
    – Elior
    2 hours ago


















  • $begingroup$
    What is an example of a use for the kernel (in mathematics or any other field)?
    $endgroup$
    – Elior
    2 hours ago
















$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
2 hours ago




$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
2 hours ago


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3125714%2fkernel-and-image-of-matrix-what-are-they-why-do-they-exist%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Szabolcs (Ungheria) Altri progetti | Menu di navigazione48°10′14.56″N 21°29′33.14″E /...

Discografia di Klaus Schulze Indice Album in studio | Album dal vivo | Singoli | Antologie | Colonne...

How to make inet_server_addr() return localhost in spite of ::1/128RETURN NEXT in Postgres FunctionConnect to...