Kernel and image of matrix: What are they? Why do they exist?What's an intuitive way to think about the...
Context html export bibliography
Taking an academic pseudonym?
Why do neural networks need so many examples to perform?
Is it really OK to use "because of"?
"Starve to death" Vs. "Starve to the point of death"
RS485 using USART or UART port on STM32
Critique vs nitpicking
What are some ways of extending a description of a scenery?
How do you get out of your own psychology to write characters?
If I tried and failed to start my own business, how do I apply for a job without job experience?
Case protection with emphasis in biblatex
Can a player sacrifice a creature after declaring that creature as blocker while taking lethal damage?
What does an unprocessed RAW file look like?
Minimum Viable Product for RTS game?
Besides PR credit, does diversity provide anything that meritocracy does not?
Is there a non trivial covering of the Klein bottle by the Klein bottle
Co-worker sabotaging/undoing my work (software development)
Are all power cords made equal?
Is there any danger of my neighbor having my wife's signature?
What species should be used for storage of human minds?
Count repetitions of an array
Rigorous justification for non-relativistic QM perturbation theory assumptions?
Why didn't Tom Riddle take the presence of Fawkes and the Sorting Hat as more of a threat?
Possible issue with my W4 and tax return
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)$?
$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.
linear-algebra matrices definition intuition motivation
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
asked 5 hours ago
EliorElior
153
$endgroup$
add a comment |
$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.
linear-algebra matrices definition intuition motivation
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
asked 5 hours ago
EliorElior
153
$endgroup$
2
$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
5 hours ago
add a comment |
$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.
linear-algebra matrices definition intuition motivation
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
asked 5 hours ago
EliorElior
153
$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
linear-algebra matrices definition intuition motivation
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
asked 5 hours ago
EliorElior
153
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
asked 5 hours ago
EliorElior
153
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
edited 5 hours ago
GNUSupporter 8964民主女神 地下教會
13.5k72550
13.5k72550
asked 5 hours ago
EliorElior
153
asked 5 hours ago
EliorElior
153
asked 5 hours ago
EliorElior
153
153
2
$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
5 hours ago
add a comment |
2
$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
5 hours ago
2
2
$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
5 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
5 hours ago
add a comment |
2 Answers
2
active
oldest
votes
$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.$$
answered 5 hours ago
MPWMPW
30.4k12157
$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
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours 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
5 hours 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
5 hours ago
add a comment |
$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.
answered 5 hours ago
starhdstarhd
11
$endgroup$
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.$$
answered 5 hours ago
MPWMPW
30.4k12157
$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
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours 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
5 hours 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
5 hours ago
add a comment |
$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.$$
answered 5 hours ago
MPWMPW
30.4k12157
$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
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours 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
5 hours 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
5 hours ago
add a comment |
$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.$$
answered 5 hours ago
MPWMPW
30.4k12157
$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.$$
answered 5 hours ago
MPWMPW
30.4k12157
edited 5 hours ago
answered 5 hours ago
MPWMPW
30.4k12157
answered 5 hours ago
MPWMPW
30.4k12157
answered 5 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
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours 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
5 hours 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
5 hours ago
add a comment |
$begingroup$
So the kernel would be the whatever you need to input to 'f' in order to get 0 (or 0 vector)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours 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
5 hours 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
5 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
5 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
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours ago
$begingroup$
@Elior : Precisely. It’s everything that gets mapped to zero.
$endgroup$
– MPW
5 hours 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
5 hours 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
5 hours 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
5 hours 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
5 hours ago
add a comment |
$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.
answered 5 hours ago
starhdstarhd
11
$endgroup$
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
add a comment |
$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.
answered 5 hours ago
starhdstarhd
11
$endgroup$
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
add a comment |
$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.
answered 5 hours ago
starhdstarhd
11
$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.
answered 5 hours ago
starhdstarhd
11
answered 5 hours ago
starhdstarhd
11
answered 5 hours ago
starhdstarhd
11
answered 5 hours ago
starhdstarhd
11
11
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
add a comment |
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
What is an example of a use for the kernel (in mathematics or any other field)?
$endgroup$
– Elior
5 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
$begingroup$
@Elior: First isomorphism theorem.
$endgroup$
– user21820
2 hours ago
add a comment |
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
2
$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
5 hours ago