Prove that a unique linear map exists with these conditions (or not!)
$begingroup$
So...I have to either prove or deny that there exists a unique linear map $f: mathbb{R}^2 rightarrow mathbb{R}^2$ where:
$$ f(1,1)=(2,6)$$
$$ f(-1,1)=(2,1)$$
$$ f(2,7)=(5,3)$$
I know that if, for example, we remove the third condition it can easily be proven that $$ (1,1),(-1,1)$$
are linearly independent and so they form a basis on $mathbb{R}^2$, making such a linear map unique.
But now I have three conditions, where $$ (1,1),(-1,1),(2,7)$$ are, as far as I can see, also linearly independent by checking their determinants in pairs. But how come there can be a basis on $mathbb{R}^2$ with three vectors? Is this possible or is it a "trick" question?
linear-algebra linear-transformations
$endgroup$
add a comment |
$begingroup$
So...I have to either prove or deny that there exists a unique linear map $f: mathbb{R}^2 rightarrow mathbb{R}^2$ where:
$$ f(1,1)=(2,6)$$
$$ f(-1,1)=(2,1)$$
$$ f(2,7)=(5,3)$$
I know that if, for example, we remove the third condition it can easily be proven that $$ (1,1),(-1,1)$$
are linearly independent and so they form a basis on $mathbb{R}^2$, making such a linear map unique.
But now I have three conditions, where $$ (1,1),(-1,1),(2,7)$$ are, as far as I can see, also linearly independent by checking their determinants in pairs. But how come there can be a basis on $mathbb{R}^2$ with three vectors? Is this possible or is it a "trick" question?
linear-algebra linear-transformations
$endgroup$
$begingroup$
Do you mean "linear map" instead of "linear combination"?
$endgroup$
– Klaus
Jan 24 at 16:01
$begingroup$
Sorry - Yes, I edited it now. I sometimes forget about it and do a literal translation from my mother language.
$endgroup$
– Lightsong
Jan 24 at 16:05
add a comment |
$begingroup$
So...I have to either prove or deny that there exists a unique linear map $f: mathbb{R}^2 rightarrow mathbb{R}^2$ where:
$$ f(1,1)=(2,6)$$
$$ f(-1,1)=(2,1)$$
$$ f(2,7)=(5,3)$$
I know that if, for example, we remove the third condition it can easily be proven that $$ (1,1),(-1,1)$$
are linearly independent and so they form a basis on $mathbb{R}^2$, making such a linear map unique.
But now I have three conditions, where $$ (1,1),(-1,1),(2,7)$$ are, as far as I can see, also linearly independent by checking their determinants in pairs. But how come there can be a basis on $mathbb{R}^2$ with three vectors? Is this possible or is it a "trick" question?
linear-algebra linear-transformations
$endgroup$
So...I have to either prove or deny that there exists a unique linear map $f: mathbb{R}^2 rightarrow mathbb{R}^2$ where:
$$ f(1,1)=(2,6)$$
$$ f(-1,1)=(2,1)$$
$$ f(2,7)=(5,3)$$
I know that if, for example, we remove the third condition it can easily be proven that $$ (1,1),(-1,1)$$
are linearly independent and so they form a basis on $mathbb{R}^2$, making such a linear map unique.
But now I have three conditions, where $$ (1,1),(-1,1),(2,7)$$ are, as far as I can see, also linearly independent by checking their determinants in pairs. But how come there can be a basis on $mathbb{R}^2$ with three vectors? Is this possible or is it a "trick" question?
linear-algebra linear-transformations
linear-algebra linear-transformations
edited Jan 24 at 16:04
Lightsong
asked Jan 24 at 15:58
LightsongLightsong
246
246
$begingroup$
Do you mean "linear map" instead of "linear combination"?
$endgroup$
– Klaus
Jan 24 at 16:01
$begingroup$
Sorry - Yes, I edited it now. I sometimes forget about it and do a literal translation from my mother language.
$endgroup$
– Lightsong
Jan 24 at 16:05
add a comment |
$begingroup$
Do you mean "linear map" instead of "linear combination"?
$endgroup$
– Klaus
Jan 24 at 16:01
$begingroup$
Sorry - Yes, I edited it now. I sometimes forget about it and do a literal translation from my mother language.
$endgroup$
– Lightsong
Jan 24 at 16:05
$begingroup$
Do you mean "linear map" instead of "linear combination"?
$endgroup$
– Klaus
Jan 24 at 16:01
$begingroup$
Do you mean "linear map" instead of "linear combination"?
$endgroup$
– Klaus
Jan 24 at 16:01
$begingroup$
Sorry - Yes, I edited it now. I sometimes forget about it and do a literal translation from my mother language.
$endgroup$
– Lightsong
Jan 24 at 16:05
$begingroup$
Sorry - Yes, I edited it now. I sometimes forget about it and do a literal translation from my mother language.
$endgroup$
– Lightsong
Jan 24 at 16:05
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
You cannot check linear independence of a set of three (or more) vectors by checking them pairwise. That is like saying $6$ and $10$ share a factor, and $10$ and $15$ share a factor, and $6$ and $15$ share a factor, so $6$, $10$, and $15$ all share a common factor (they don't). And in fact, no three vectors in a two-dimensional vector space such as $mathbb{R}^2$ can be linearly independent. So it must be that $(1,1)$, $(-1,1)$, and $(2,7)$ are linearly dependent. Now you need to find a way to write one of them as a linear combination of the others, and see if the three conditions you were given are consistent or not.
$endgroup$
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
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%2f3086028%2fprove-that-a-unique-linear-map-exists-with-these-conditions-or-not%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$
You cannot check linear independence of a set of three (or more) vectors by checking them pairwise. That is like saying $6$ and $10$ share a factor, and $10$ and $15$ share a factor, and $6$ and $15$ share a factor, so $6$, $10$, and $15$ all share a common factor (they don't). And in fact, no three vectors in a two-dimensional vector space such as $mathbb{R}^2$ can be linearly independent. So it must be that $(1,1)$, $(-1,1)$, and $(2,7)$ are linearly dependent. Now you need to find a way to write one of them as a linear combination of the others, and see if the three conditions you were given are consistent or not.
$endgroup$
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
add a comment |
$begingroup$
You cannot check linear independence of a set of three (or more) vectors by checking them pairwise. That is like saying $6$ and $10$ share a factor, and $10$ and $15$ share a factor, and $6$ and $15$ share a factor, so $6$, $10$, and $15$ all share a common factor (they don't). And in fact, no three vectors in a two-dimensional vector space such as $mathbb{R}^2$ can be linearly independent. So it must be that $(1,1)$, $(-1,1)$, and $(2,7)$ are linearly dependent. Now you need to find a way to write one of them as a linear combination of the others, and see if the three conditions you were given are consistent or not.
$endgroup$
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
add a comment |
$begingroup$
You cannot check linear independence of a set of three (or more) vectors by checking them pairwise. That is like saying $6$ and $10$ share a factor, and $10$ and $15$ share a factor, and $6$ and $15$ share a factor, so $6$, $10$, and $15$ all share a common factor (they don't). And in fact, no three vectors in a two-dimensional vector space such as $mathbb{R}^2$ can be linearly independent. So it must be that $(1,1)$, $(-1,1)$, and $(2,7)$ are linearly dependent. Now you need to find a way to write one of them as a linear combination of the others, and see if the three conditions you were given are consistent or not.
$endgroup$
You cannot check linear independence of a set of three (or more) vectors by checking them pairwise. That is like saying $6$ and $10$ share a factor, and $10$ and $15$ share a factor, and $6$ and $15$ share a factor, so $6$, $10$, and $15$ all share a common factor (they don't). And in fact, no three vectors in a two-dimensional vector space such as $mathbb{R}^2$ can be linearly independent. So it must be that $(1,1)$, $(-1,1)$, and $(2,7)$ are linearly dependent. Now you need to find a way to write one of them as a linear combination of the others, and see if the three conditions you were given are consistent or not.
answered Jan 24 at 16:07
kccukccu
10.6k11229
10.6k11229
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
add a comment |
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
Thanks! So indeed they are linearly dependent (example: (1,1)=2/9*(-1,1)+1/9*(2,7), does this mean that I can "reduce" the basis to any of these two vectors just like that?, I guess there is a condition that needs to be met for their images?
$endgroup$
– Lightsong
Jan 24 at 18:57
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
I don't think that linear combination works. $frac{2}{9}(-1,1)+frac{1}{9}(2,7)=left(-frac{2}{9},frac{2}{9}right)+left(frac{2}{9},frac{7}{9}right) = (0,1)$. In any case, if you've written $(1,1)=alpha(-1,1)+beta(2,7)$, then by properties of linear maps you should have $f(1,1)=alpha f(-1,1)+beta f(2,7)$. This is the condition you will have to check (after you've written one of these vectors as a linear combination of another).
$endgroup$
– kccu
Jan 24 at 19:24
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
$begingroup$
Thanks! Now I got it, it was a simple check for the properties...and indeed it was wrong(α=-5/9,β=2/9)
$endgroup$
– Lightsong
Jan 25 at 11:15
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%2f3086028%2fprove-that-a-unique-linear-map-exists-with-these-conditions-or-not%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$
Do you mean "linear map" instead of "linear combination"?
$endgroup$
– Klaus
Jan 24 at 16:01
$begingroup$
Sorry - Yes, I edited it now. I sometimes forget about it and do a literal translation from my mother language.
$endgroup$
– Lightsong
Jan 24 at 16:05