Dimensions of linear transformation in relation to kernel
$begingroup$
I am new to linear algebra, and I just wanted to doublecheck my understanding of the following:
$T: R^n to R^m$ is a linear transformation.
True or false?
If $n>m$, then $operatorname{Ker}T neq {0}$.
This statement is correct, because if $n>m$, then per definition $T$ is not injective. If $T$ is not injective, then $ operatorname{Ker}Tneq {0}$.
Is my understanding correct?
Thank you!
linear-algebra linear-transformations
$endgroup$
add a comment |
$begingroup$
I am new to linear algebra, and I just wanted to doublecheck my understanding of the following:
$T: R^n to R^m$ is a linear transformation.
True or false?
If $n>m$, then $operatorname{Ker}T neq {0}$.
This statement is correct, because if $n>m$, then per definition $T$ is not injective. If $T$ is not injective, then $ operatorname{Ker}Tneq {0}$.
Is my understanding correct?
Thank you!
linear-algebra linear-transformations
$endgroup$
$begingroup$
Per definition of what?
$endgroup$
– Bernard
Jan 23 at 15:02
$begingroup$
@bernard If the original (sub)space has more dimensions than the destination one, then not all elements can be transformed in an exclusive manner. Perhaps the word "per definition" is not appropriate here, but that is the gist of what I meant.
$endgroup$
– dalta
Jan 23 at 15:06
$begingroup$
I agree with, but it is only an informal way of seeing things. It is more rigourous to use the rank-nullity formula.
$endgroup$
– Bernard
Jan 23 at 15:10
$begingroup$
@Bernard Thanks for the feedback: like I said, I am new to this, and I haven't studied the rank-nullity formula yet. However, I will look it up later tonight. But basically the statement is "true"?
$endgroup$
– dalta
Jan 23 at 15:19
$begingroup$
Intuitively, it is true, yes.
$endgroup$
– Bernard
Jan 23 at 15:24
add a comment |
$begingroup$
I am new to linear algebra, and I just wanted to doublecheck my understanding of the following:
$T: R^n to R^m$ is a linear transformation.
True or false?
If $n>m$, then $operatorname{Ker}T neq {0}$.
This statement is correct, because if $n>m$, then per definition $T$ is not injective. If $T$ is not injective, then $ operatorname{Ker}Tneq {0}$.
Is my understanding correct?
Thank you!
linear-algebra linear-transformations
$endgroup$
I am new to linear algebra, and I just wanted to doublecheck my understanding of the following:
$T: R^n to R^m$ is a linear transformation.
True or false?
If $n>m$, then $operatorname{Ker}T neq {0}$.
This statement is correct, because if $n>m$, then per definition $T$ is not injective. If $T$ is not injective, then $ operatorname{Ker}Tneq {0}$.
Is my understanding correct?
Thank you!
linear-algebra linear-transformations
linear-algebra linear-transformations
edited Jan 23 at 15:01
Bernard
122k741116
122k741116
asked Jan 23 at 14:53
daltadalta
1238
1238
$begingroup$
Per definition of what?
$endgroup$
– Bernard
Jan 23 at 15:02
$begingroup$
@bernard If the original (sub)space has more dimensions than the destination one, then not all elements can be transformed in an exclusive manner. Perhaps the word "per definition" is not appropriate here, but that is the gist of what I meant.
$endgroup$
– dalta
Jan 23 at 15:06
$begingroup$
I agree with, but it is only an informal way of seeing things. It is more rigourous to use the rank-nullity formula.
$endgroup$
– Bernard
Jan 23 at 15:10
$begingroup$
@Bernard Thanks for the feedback: like I said, I am new to this, and I haven't studied the rank-nullity formula yet. However, I will look it up later tonight. But basically the statement is "true"?
$endgroup$
– dalta
Jan 23 at 15:19
$begingroup$
Intuitively, it is true, yes.
$endgroup$
– Bernard
Jan 23 at 15:24
add a comment |
$begingroup$
Per definition of what?
$endgroup$
– Bernard
Jan 23 at 15:02
$begingroup$
@bernard If the original (sub)space has more dimensions than the destination one, then not all elements can be transformed in an exclusive manner. Perhaps the word "per definition" is not appropriate here, but that is the gist of what I meant.
$endgroup$
– dalta
Jan 23 at 15:06
$begingroup$
I agree with, but it is only an informal way of seeing things. It is more rigourous to use the rank-nullity formula.
$endgroup$
– Bernard
Jan 23 at 15:10
$begingroup$
@Bernard Thanks for the feedback: like I said, I am new to this, and I haven't studied the rank-nullity formula yet. However, I will look it up later tonight. But basically the statement is "true"?
$endgroup$
– dalta
Jan 23 at 15:19
$begingroup$
Intuitively, it is true, yes.
$endgroup$
– Bernard
Jan 23 at 15:24
$begingroup$
Per definition of what?
$endgroup$
– Bernard
Jan 23 at 15:02
$begingroup$
Per definition of what?
$endgroup$
– Bernard
Jan 23 at 15:02
$begingroup$
@bernard If the original (sub)space has more dimensions than the destination one, then not all elements can be transformed in an exclusive manner. Perhaps the word "per definition" is not appropriate here, but that is the gist of what I meant.
$endgroup$
– dalta
Jan 23 at 15:06
$begingroup$
@bernard If the original (sub)space has more dimensions than the destination one, then not all elements can be transformed in an exclusive manner. Perhaps the word "per definition" is not appropriate here, but that is the gist of what I meant.
$endgroup$
– dalta
Jan 23 at 15:06
$begingroup$
I agree with, but it is only an informal way of seeing things. It is more rigourous to use the rank-nullity formula.
$endgroup$
– Bernard
Jan 23 at 15:10
$begingroup$
I agree with, but it is only an informal way of seeing things. It is more rigourous to use the rank-nullity formula.
$endgroup$
– Bernard
Jan 23 at 15:10
$begingroup$
@Bernard Thanks for the feedback: like I said, I am new to this, and I haven't studied the rank-nullity formula yet. However, I will look it up later tonight. But basically the statement is "true"?
$endgroup$
– dalta
Jan 23 at 15:19
$begingroup$
@Bernard Thanks for the feedback: like I said, I am new to this, and I haven't studied the rank-nullity formula yet. However, I will look it up later tonight. But basically the statement is "true"?
$endgroup$
– dalta
Jan 23 at 15:19
$begingroup$
Intuitively, it is true, yes.
$endgroup$
– Bernard
Jan 23 at 15:24
$begingroup$
Intuitively, it is true, yes.
$endgroup$
– Bernard
Jan 23 at 15:24
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
It is true.
The rank nullity theorem says $operatorname{rank}T+operatorname{nullity}T=n$.
On the other hand, $operatorname{rank}Tle mlt n$. $therefore operatorname{nullity}Tgt0$.
$endgroup$
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%2f3084565%2fdimensions-of-linear-transformation-in-relation-to-kernel%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
It is true.
The rank nullity theorem says $operatorname{rank}T+operatorname{nullity}T=n$.
On the other hand, $operatorname{rank}Tle mlt n$. $therefore operatorname{nullity}Tgt0$.
$endgroup$
add a comment |
$begingroup$
It is true.
The rank nullity theorem says $operatorname{rank}T+operatorname{nullity}T=n$.
On the other hand, $operatorname{rank}Tle mlt n$. $therefore operatorname{nullity}Tgt0$.
$endgroup$
add a comment |
$begingroup$
It is true.
The rank nullity theorem says $operatorname{rank}T+operatorname{nullity}T=n$.
On the other hand, $operatorname{rank}Tle mlt n$. $therefore operatorname{nullity}Tgt0$.
$endgroup$
It is true.
The rank nullity theorem says $operatorname{rank}T+operatorname{nullity}T=n$.
On the other hand, $operatorname{rank}Tle mlt n$. $therefore operatorname{nullity}Tgt0$.
answered Jan 23 at 18:01
Chris CusterChris Custer
14.2k3827
14.2k3827
add a comment |
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%2f3084565%2fdimensions-of-linear-transformation-in-relation-to-kernel%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
$begingroup$
Per definition of what?
$endgroup$
– Bernard
Jan 23 at 15:02
$begingroup$
@bernard If the original (sub)space has more dimensions than the destination one, then not all elements can be transformed in an exclusive manner. Perhaps the word "per definition" is not appropriate here, but that is the gist of what I meant.
$endgroup$
– dalta
Jan 23 at 15:06
$begingroup$
I agree with, but it is only an informal way of seeing things. It is more rigourous to use the rank-nullity formula.
$endgroup$
– Bernard
Jan 23 at 15:10
$begingroup$
@Bernard Thanks for the feedback: like I said, I am new to this, and I haven't studied the rank-nullity formula yet. However, I will look it up later tonight. But basically the statement is "true"?
$endgroup$
– dalta
Jan 23 at 15:19
$begingroup$
Intuitively, it is true, yes.
$endgroup$
– Bernard
Jan 23 at 15:24