Need help to understand the uniqueness of linear maps on basis of domain.
$begingroup$
I am reading Linear Algebra Done Right. Now, I understand that the meaning of this statement is that if we know the basis of $V$ and how $T$ acts on the basis ($Tv_j = w_j$), we will know how it acts on all the vectors in $V$ ($T: V mapsto W$).
I follow the proof of existence part where it proves the property of additivity and homogeneity of linear map of the following $$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$
However, I don't understand the uniqueness part.
To prove uniqueness, now suppose that $T in mathcal{L}(V,W)$ and that $Tv_j = w_j$, for $j = 1,...,n$. Let $c_1,...,c_n in mathbb{F}$. The homogeneity of $T$ implies that $T(c_jv_j) = c_jT(v_j) = c_jw_j$ for $j = 1,...,n$. The additivity of $T$ now implies that
$$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$.
Thus $T$ is uniquely determined on $span(v_1,...,v_n)$ by the equation above. Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$.
- What is meant by $T$ is uniquely determined on $span(v_1,...,v_n)$?
- What is meant by Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$?
- What is meant by unique? Unique means no other form of $T$?
- Why uniqueness is important in the proof?
linear-algebra linear-transformations proof-explanation
$endgroup$
add a comment |
$begingroup$
I am reading Linear Algebra Done Right. Now, I understand that the meaning of this statement is that if we know the basis of $V$ and how $T$ acts on the basis ($Tv_j = w_j$), we will know how it acts on all the vectors in $V$ ($T: V mapsto W$).
I follow the proof of existence part where it proves the property of additivity and homogeneity of linear map of the following $$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$
However, I don't understand the uniqueness part.
To prove uniqueness, now suppose that $T in mathcal{L}(V,W)$ and that $Tv_j = w_j$, for $j = 1,...,n$. Let $c_1,...,c_n in mathbb{F}$. The homogeneity of $T$ implies that $T(c_jv_j) = c_jT(v_j) = c_jw_j$ for $j = 1,...,n$. The additivity of $T$ now implies that
$$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$.
Thus $T$ is uniquely determined on $span(v_1,...,v_n)$ by the equation above. Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$.
- What is meant by $T$ is uniquely determined on $span(v_1,...,v_n)$?
- What is meant by Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$?
- What is meant by unique? Unique means no other form of $T$?
- Why uniqueness is important in the proof?
linear-algebra linear-transformations proof-explanation
$endgroup$
add a comment |
$begingroup$
I am reading Linear Algebra Done Right. Now, I understand that the meaning of this statement is that if we know the basis of $V$ and how $T$ acts on the basis ($Tv_j = w_j$), we will know how it acts on all the vectors in $V$ ($T: V mapsto W$).
I follow the proof of existence part where it proves the property of additivity and homogeneity of linear map of the following $$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$
However, I don't understand the uniqueness part.
To prove uniqueness, now suppose that $T in mathcal{L}(V,W)$ and that $Tv_j = w_j$, for $j = 1,...,n$. Let $c_1,...,c_n in mathbb{F}$. The homogeneity of $T$ implies that $T(c_jv_j) = c_jT(v_j) = c_jw_j$ for $j = 1,...,n$. The additivity of $T$ now implies that
$$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$.
Thus $T$ is uniquely determined on $span(v_1,...,v_n)$ by the equation above. Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$.
- What is meant by $T$ is uniquely determined on $span(v_1,...,v_n)$?
- What is meant by Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$?
- What is meant by unique? Unique means no other form of $T$?
- Why uniqueness is important in the proof?
linear-algebra linear-transformations proof-explanation
$endgroup$
I am reading Linear Algebra Done Right. Now, I understand that the meaning of this statement is that if we know the basis of $V$ and how $T$ acts on the basis ($Tv_j = w_j$), we will know how it acts on all the vectors in $V$ ($T: V mapsto W$).
I follow the proof of existence part where it proves the property of additivity and homogeneity of linear map of the following $$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$
However, I don't understand the uniqueness part.
To prove uniqueness, now suppose that $T in mathcal{L}(V,W)$ and that $Tv_j = w_j$, for $j = 1,...,n$. Let $c_1,...,c_n in mathbb{F}$. The homogeneity of $T$ implies that $T(c_jv_j) = c_jT(v_j) = c_jw_j$ for $j = 1,...,n$. The additivity of $T$ now implies that
$$T(c_1v_1 +...+ c_nv_n) = c_1w_1 +...+ c_nw_n$$.
Thus $T$ is uniquely determined on $span(v_1,...,v_n)$ by the equation above. Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$.
- What is meant by $T$ is uniquely determined on $span(v_1,...,v_n)$?
- What is meant by Because $v_1,...,v_n$ is a basis of $V$, this implies that $T$ is uniquely determined on $V$?
- What is meant by unique? Unique means no other form of $T$?
- Why uniqueness is important in the proof?
linear-algebra linear-transformations proof-explanation
linear-algebra linear-transformations proof-explanation
edited Jan 13 at 9:15


José Carlos Santos
161k22127232
161k22127232
asked Jan 13 at 8:53
JOHN JOHN
3449
3449
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
- It means that that map $T$ is the only linear map defined on $operatorname{span}(v_1,ldots,v_n)$ for which the given condition ($forall jin{1,2,ldots,n}):Tv_j=w_j$) holds.
- Since ${v_1,ldots,v_n}$ is a basis, $operatorname{span}(v_1,ldots,v_n)=V$. Therefore, asserting that $T$ is uniquely determind in $operatorname{span}(v_1,ldots,v_n)$ is the same thing as asserting that it is uniquely determind on $V$.
- Yes. The map $T$ is the only linear map from $V$ into $W$ for which the condition $forall jin{1,2,ldots,n}):Tv_j=w_j$ holds.
- Because the statment that you are proving states that $T$ is unique. Therefore, you have to prove it.
$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%2f3071821%2fneed-help-to-understand-the-uniqueness-of-linear-maps-on-basis-of-domain%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 means that that map $T$ is the only linear map defined on $operatorname{span}(v_1,ldots,v_n)$ for which the given condition ($forall jin{1,2,ldots,n}):Tv_j=w_j$) holds.
- Since ${v_1,ldots,v_n}$ is a basis, $operatorname{span}(v_1,ldots,v_n)=V$. Therefore, asserting that $T$ is uniquely determind in $operatorname{span}(v_1,ldots,v_n)$ is the same thing as asserting that it is uniquely determind on $V$.
- Yes. The map $T$ is the only linear map from $V$ into $W$ for which the condition $forall jin{1,2,ldots,n}):Tv_j=w_j$ holds.
- Because the statment that you are proving states that $T$ is unique. Therefore, you have to prove it.
$endgroup$
add a comment |
$begingroup$
- It means that that map $T$ is the only linear map defined on $operatorname{span}(v_1,ldots,v_n)$ for which the given condition ($forall jin{1,2,ldots,n}):Tv_j=w_j$) holds.
- Since ${v_1,ldots,v_n}$ is a basis, $operatorname{span}(v_1,ldots,v_n)=V$. Therefore, asserting that $T$ is uniquely determind in $operatorname{span}(v_1,ldots,v_n)$ is the same thing as asserting that it is uniquely determind on $V$.
- Yes. The map $T$ is the only linear map from $V$ into $W$ for which the condition $forall jin{1,2,ldots,n}):Tv_j=w_j$ holds.
- Because the statment that you are proving states that $T$ is unique. Therefore, you have to prove it.
$endgroup$
add a comment |
$begingroup$
- It means that that map $T$ is the only linear map defined on $operatorname{span}(v_1,ldots,v_n)$ for which the given condition ($forall jin{1,2,ldots,n}):Tv_j=w_j$) holds.
- Since ${v_1,ldots,v_n}$ is a basis, $operatorname{span}(v_1,ldots,v_n)=V$. Therefore, asserting that $T$ is uniquely determind in $operatorname{span}(v_1,ldots,v_n)$ is the same thing as asserting that it is uniquely determind on $V$.
- Yes. The map $T$ is the only linear map from $V$ into $W$ for which the condition $forall jin{1,2,ldots,n}):Tv_j=w_j$ holds.
- Because the statment that you are proving states that $T$ is unique. Therefore, you have to prove it.
$endgroup$
- It means that that map $T$ is the only linear map defined on $operatorname{span}(v_1,ldots,v_n)$ for which the given condition ($forall jin{1,2,ldots,n}):Tv_j=w_j$) holds.
- Since ${v_1,ldots,v_n}$ is a basis, $operatorname{span}(v_1,ldots,v_n)=V$. Therefore, asserting that $T$ is uniquely determind in $operatorname{span}(v_1,ldots,v_n)$ is the same thing as asserting that it is uniquely determind on $V$.
- Yes. The map $T$ is the only linear map from $V$ into $W$ for which the condition $forall jin{1,2,ldots,n}):Tv_j=w_j$ holds.
- Because the statment that you are proving states that $T$ is unique. Therefore, you have to prove it.
answered Jan 13 at 9:10


José Carlos SantosJosé Carlos Santos
161k22127232
161k22127232
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%2f3071821%2fneed-help-to-understand-the-uniqueness-of-linear-maps-on-basis-of-domain%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