Proof of $j=1$ where $v_j in span(v_1, …,v_{j-1})$
$begingroup$
In Linear Algebra Done Right, it presents the Linear Dependence Lemma which states that :
Suppose $v_1,...,v_m$ is a linearly dependent list in $V$. Then there exists $j in {1,2,...,m}$ such that the following hold: $v_j in span(v_1,...,v_{j-1})$. I follow the proof, but get confused on a special case where $j=1$. The book said choosing $j=1$ means that $v_1=0$, because if $j=1$ then the condition above is interpreted to mean that $v_1 in span()$.
I tried to follow the example in the proof:
Because the list $v_1,...,v_m$ is linearly dependent, there exist numbers $a_1,...,a_m in mathbb{F}$ , not all $0$ such that $$a_1v_1+...+a_mv_m = 0$$
Let $j$ be the first element of {1,...,m}, such that $a_j neq 0$. Then
$$a_1v_1 = -a_2v_2 -...-a_jv_j$$
$$v_1 = frac{-a_2}{a_1}v_2-...-frac{a_j}{a_1}v_j$$
Then does it mean $v_1$ is the span of $v_2,....v_j$?
linear-algebra
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
$endgroup$
add a comment |
$begingroup$
In Linear Algebra Done Right, it presents the Linear Dependence Lemma which states that :
Suppose $v_1,...,v_m$ is a linearly dependent list in $V$. Then there exists $j in {1,2,...,m}$ such that the following hold: $v_j in span(v_1,...,v_{j-1})$. I follow the proof, but get confused on a special case where $j=1$. The book said choosing $j=1$ means that $v_1=0$, because if $j=1$ then the condition above is interpreted to mean that $v_1 in span()$.
I tried to follow the example in the proof:
Because the list $v_1,...,v_m$ is linearly dependent, there exist numbers $a_1,...,a_m in mathbb{F}$ , not all $0$ such that $$a_1v_1+...+a_mv_m = 0$$
Let $j$ be the first element of {1,...,m}, such that $a_j neq 0$. Then
$$a_1v_1 = -a_2v_2 -...-a_jv_j$$
$$v_1 = frac{-a_2}{a_1}v_2-...-frac{a_j}{a_1}v_j$$
Then does it mean $v_1$ is the span of $v_2,....v_j$?
linear-algebra
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
$endgroup$
add a comment |
$begingroup$
In Linear Algebra Done Right, it presents the Linear Dependence Lemma which states that :
Suppose $v_1,...,v_m$ is a linearly dependent list in $V$. Then there exists $j in {1,2,...,m}$ such that the following hold: $v_j in span(v_1,...,v_{j-1})$. I follow the proof, but get confused on a special case where $j=1$. The book said choosing $j=1$ means that $v_1=0$, because if $j=1$ then the condition above is interpreted to mean that $v_1 in span()$.
I tried to follow the example in the proof:
Because the list $v_1,...,v_m$ is linearly dependent, there exist numbers $a_1,...,a_m in mathbb{F}$ , not all $0$ such that $$a_1v_1+...+a_mv_m = 0$$
Let $j$ be the first element of {1,...,m}, such that $a_j neq 0$. Then
$$a_1v_1 = -a_2v_2 -...-a_jv_j$$
$$v_1 = frac{-a_2}{a_1}v_2-...-frac{a_j}{a_1}v_j$$
Then does it mean $v_1$ is the span of $v_2,....v_j$?
linear-algebra
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
$endgroup$
In Linear Algebra Done Right, it presents the Linear Dependence Lemma which states that :
Suppose $v_1,...,v_m$ is a linearly dependent list in $V$. Then there exists $j in {1,2,...,m}$ such that the following hold: $v_j in span(v_1,...,v_{j-1})$. I follow the proof, but get confused on a special case where $j=1$. The book said choosing $j=1$ means that $v_1=0$, because if $j=1$ then the condition above is interpreted to mean that $v_1 in span()$.
I tried to follow the example in the proof:
Because the list $v_1,...,v_m$ is linearly dependent, there exist numbers $a_1,...,a_m in mathbb{F}$ , not all $0$ such that $$a_1v_1+...+a_mv_m = 0$$
Let $j$ be the first element of {1,...,m}, such that $a_j neq 0$. Then
$$a_1v_1 = -a_2v_2 -...-a_jv_j$$
$$v_1 = frac{-a_2}{a_1}v_2-...-frac{a_j}{a_1}v_j$$
Then does it mean $v_1$ is the span of $v_2,....v_j$?
linear-algebra
linear-algebra
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
asked Dec 30 '18 at 22:38
JOHN JOHN
3969
3969
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
You've a mistake in the line after "Let $;j;$ be the first ..." . It must be;
$$a_jv_j=-a_1v_1-ldots-a_{j-1}v_{j-1}implies v_j=-frac{a_1}{a_j}v_1-ldots-frac{a_{j-1}}{a_j}v_{j-1}$$
and thus
$$v_jintext{Span},{v_1,...,v_{j-1}}$$
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
$endgroup$
add a comment |
$begingroup$
I have misunderstood the proof. It should be :
Let $j$ be the largest element of {1,...,m} such that $a_j neq 0$. It means that $a_{j+1} = 0, a_{j+2} = 0$, and so on.
Therefore, $v_j in span(v1,...,v_{j-1})$ actually means if the list is linearly independent, one of the vectors is in the span of the PREVIOUS ones.
So, in the case of $j=1$, $v_1 in span()$
More reference here
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
$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%2f3057251%2fproof-of-j-1-where-v-j-in-spanv-1-v-j-1%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$
You've a mistake in the line after "Let $;j;$ be the first ..." . It must be;
$$a_jv_j=-a_1v_1-ldots-a_{j-1}v_{j-1}implies v_j=-frac{a_1}{a_j}v_1-ldots-frac{a_{j-1}}{a_j}v_{j-1}$$
and thus
$$v_jintext{Span},{v_1,...,v_{j-1}}$$
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
$endgroup$
add a comment |
$begingroup$
You've a mistake in the line after "Let $;j;$ be the first ..." . It must be;
$$a_jv_j=-a_1v_1-ldots-a_{j-1}v_{j-1}implies v_j=-frac{a_1}{a_j}v_1-ldots-frac{a_{j-1}}{a_j}v_{j-1}$$
and thus
$$v_jintext{Span},{v_1,...,v_{j-1}}$$
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
$endgroup$
add a comment |
$begingroup$
You've a mistake in the line after "Let $;j;$ be the first ..." . It must be;
$$a_jv_j=-a_1v_1-ldots-a_{j-1}v_{j-1}implies v_j=-frac{a_1}{a_j}v_1-ldots-frac{a_{j-1}}{a_j}v_{j-1}$$
and thus
$$v_jintext{Span},{v_1,...,v_{j-1}}$$
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
$endgroup$
You've a mistake in the line after "Let $;j;$ be the first ..." . It must be;
$$a_jv_j=-a_1v_1-ldots-a_{j-1}v_{j-1}implies v_j=-frac{a_1}{a_j}v_1-ldots-frac{a_{j-1}}{a_j}v_{j-1}$$
and thus
$$v_jintext{Span},{v_1,...,v_{j-1}}$$
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
answered Dec 30 '18 at 22:46
DonAntonioDonAntonio
179k1494230
179k1494230
add a comment |
add a comment |
$begingroup$
I have misunderstood the proof. It should be :
Let $j$ be the largest element of {1,...,m} such that $a_j neq 0$. It means that $a_{j+1} = 0, a_{j+2} = 0$, and so on.
Therefore, $v_j in span(v1,...,v_{j-1})$ actually means if the list is linearly independent, one of the vectors is in the span of the PREVIOUS ones.
So, in the case of $j=1$, $v_1 in span()$
More reference here
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
$endgroup$
add a comment |
$begingroup$
I have misunderstood the proof. It should be :
Let $j$ be the largest element of {1,...,m} such that $a_j neq 0$. It means that $a_{j+1} = 0, a_{j+2} = 0$, and so on.
Therefore, $v_j in span(v1,...,v_{j-1})$ actually means if the list is linearly independent, one of the vectors is in the span of the PREVIOUS ones.
So, in the case of $j=1$, $v_1 in span()$
More reference here
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
$endgroup$
add a comment |
$begingroup$
I have misunderstood the proof. It should be :
Let $j$ be the largest element of {1,...,m} such that $a_j neq 0$. It means that $a_{j+1} = 0, a_{j+2} = 0$, and so on.
Therefore, $v_j in span(v1,...,v_{j-1})$ actually means if the list is linearly independent, one of the vectors is in the span of the PREVIOUS ones.
So, in the case of $j=1$, $v_1 in span()$
More reference here
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
$endgroup$
I have misunderstood the proof. It should be :
Let $j$ be the largest element of {1,...,m} such that $a_j neq 0$. It means that $a_{j+1} = 0, a_{j+2} = 0$, and so on.
Therefore, $v_j in span(v1,...,v_{j-1})$ actually means if the list is linearly independent, one of the vectors is in the span of the PREVIOUS ones.
So, in the case of $j=1$, $v_1 in span()$
More reference here
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
answered Dec 30 '18 at 23:02
JOHN JOHN
3969
3969
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%2f3057251%2fproof-of-j-1-where-v-j-in-spanv-1-v-j-1%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
