Show the non-zero vectors $v_1,v_2,⋯,v_n$ are linearly independent if $(A−λI)^j+1v_j=0$, where $j=0,1,⋯,n$.A question about linear independenceUnique linear combination problemIs $span(v_1, . . . ,v_m)$ a linearly dependent or linearly independent set of vectors? Also, what will happen if we take span of span?Showing Linear dependencyHow to prove that $v_1,v_2$ are linearly independent if $Spv_1,v_2=Spw_1,w_2$ and $v_1,w_2$ are linearly independent?linear-Independency is retained over a linear MapShow that if Span$v_1,v_2,v_3$=$mathbbR^3$ then $v_1,v_2,v_3$ is linearly independent.Let $v_1,v_2,ldots,v_n$ a linear independent set of vectors, and let $w inlangle v_1,v_2,ldots,v_nrangle$, prove linear independenceThe length of every linearly independent list of vectors is less than or equal to the length of every spanning list of vectors.Proof of $j=1$ where $v_j in span(v_1, …,v_j-1)$
Multi tool use
(Codewars) Linked Lists - Remove Duplicates
Is it a Cyclops number? "Nobody" knows!
Shifting between bemols and diesis in the key signature
Virginia employer terminated employee and wants signing bonus returned
What is this diamond of every day?
Are there historical instances of the capital of a colonising country being temporarily or permanently shifted to one of its colonies?
Source permutation
Called into a meeting and told we are being made redundant (laid off) and "not to share outside". Can I tell my partner?
How do electrons receive energy when a body is heated?
Specifying a starting column with colortbl package and xcolor
Expressing logarithmic equations without logs
Why does Solve lock up when trying to solve the quadratic equation with large integers?
Is a piano played in the same way as a harmonium?
How to resolve: Reviewer #1 says remove section X vs. Reviewer #2 says expand section X
Gaining more land
Can the alpha, lambda values of a glmnet object output determine whether ridge or Lasso?
Is it possible to find 2014 distinct positive integers whose sum is divisible by each of them?
Signed and unsigned numbers
The meaning of ‘otherwise’
School performs periodic password audits. Is my password compromised?
Why does cron require MTA for logging?
Why is there an extra space when I type "ls" in the Desktop directory?
What ability score modifier does a javelin's damage use?
Are small insurances worth it?
Show the non-zero vectors $v_1,v_2,⋯,v_n$ are linearly independent if $(A−λI)^j+1v_j=0$, where $j=0,1,⋯,n$.
A question about linear independenceUnique linear combination problemIs $span(v_1, . . . ,v_m)$ a linearly dependent or linearly independent set of vectors? Also, what will happen if we take span of span?Showing Linear dependencyHow to prove that $v_1,v_2$ are linearly independent if $Spv_1,v_2=Spw_1,w_2$ and $v_1,w_2$ are linearly independent?linear-Independency is retained over a linear MapShow that if Span$v_1,v_2,v_3$=$mathbbR^3$ then $v_1,v_2,v_3$ is linearly independent.Let $v_1,v_2,ldots,v_n$ a linear independent set of vectors, and let $w inlangle v_1,v_2,ldots,v_nrangle$, prove linear independenceThe length of every linearly independent list of vectors is less than or equal to the length of every spanning list of vectors.Proof of $j=1$ where $v_j in span(v_1, …,v_j-1)$
$begingroup$
My attempt at a solution uses the linear dependence lemma. Assume on the contrary that the list of vectors is linearly dependent. Then it is possible to find some $v_j$ that can be written as a linear combination of the remaining vectors: that is,
$$v_j = a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n.$$ Applying the operator $(A - lambda I)^j+1$ to both sides, we have
$$ 0 = (A - lambda I)^j+1(a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1) + (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$ The first sum is zero, since the vectors there require the operator $A - lambda I$ applied at most $j$ times to be $0$. Hence, $$0 = (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$
And this is where I'm stuck. How do I use this to show a contradiction and conclude they are linearly independent?
linear-algebra vector-spaces vectors
asked yesterday
YejusYejus
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
add a comment |
$begingroup$
My attempt at a solution uses the linear dependence lemma. Assume on the contrary that the list of vectors is linearly dependent. Then it is possible to find some $v_j$ that can be written as a linear combination of the remaining vectors: that is,
$$v_j = a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n.$$ Applying the operator $(A - lambda I)^j+1$ to both sides, we have
$$ 0 = (A - lambda I)^j+1(a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1) + (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$ The first sum is zero, since the vectors there require the operator $A - lambda I$ applied at most $j$ times to be $0$. Hence, $$0 = (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$
And this is where I'm stuck. How do I use this to show a contradiction and conclude they are linearly independent?
linear-algebra vector-spaces vectors
asked yesterday
YejusYejus
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
$begingroup$
$v_j=0$ is an obvious counterexample.
$endgroup$
– Kavi Rama Murthy
yesterday
1
$begingroup$
Possibly the additional condition $(A−λI)^jv_jnot=0$ has to be imposed.
$endgroup$
– Jens Schwaiger
yesterday
$begingroup$
I imagine that what you mean is that: $$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0.$$
$endgroup$
– Yiorgos S. Smyrlis
yesterday
add a comment |
$begingroup$
My attempt at a solution uses the linear dependence lemma. Assume on the contrary that the list of vectors is linearly dependent. Then it is possible to find some $v_j$ that can be written as a linear combination of the remaining vectors: that is,
$$v_j = a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n.$$ Applying the operator $(A - lambda I)^j+1$ to both sides, we have
$$ 0 = (A - lambda I)^j+1(a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1) + (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$ The first sum is zero, since the vectors there require the operator $A - lambda I$ applied at most $j$ times to be $0$. Hence, $$0 = (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$
And this is where I'm stuck. How do I use this to show a contradiction and conclude they are linearly independent?
linear-algebra vector-spaces vectors
asked yesterday
YejusYejus
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$endgroup$
My attempt at a solution uses the linear dependence lemma. Assume on the contrary that the list of vectors is linearly dependent. Then it is possible to find some $v_j$ that can be written as a linear combination of the remaining vectors: that is,
$$v_j = a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n.$$ Applying the operator $(A - lambda I)^j+1$ to both sides, we have
$$ 0 = (A - lambda I)^j+1(a_1v_1 + a_2v_2 + cdots + a_j-1v_j-1) + (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$ The first sum is zero, since the vectors there require the operator $A - lambda I$ applied at most $j$ times to be $0$. Hence, $$0 = (A - lambda I)^j+1(a_j-1v_j-1 + a_j+1v_j+1 + cdots + a_nv_n).$$
And this is where I'm stuck. How do I use this to show a contradiction and conclude they are linearly independent?
linear-algebra vector-spaces vectors
linear-algebra vector-spaces vectors
asked yesterday
YejusYejus
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked yesterday
YejusYejus
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited yesterday
Yejus
asked yesterday
YejusYejus
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked yesterday
YejusYejus
62
asked yesterday
YejusYejus
62
62
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Yejus is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
$begingroup$
$v_j=0$ is an obvious counterexample.
$endgroup$
– Kavi Rama Murthy
yesterday
1
$begingroup$
Possibly the additional condition $(A−λI)^jv_jnot=0$ has to be imposed.
$endgroup$
– Jens Schwaiger
yesterday
$begingroup$
I imagine that what you mean is that: $$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0.$$
$endgroup$
– Yiorgos S. Smyrlis
yesterday
add a comment |
$begingroup$
$v_j=0$ is an obvious counterexample.
$endgroup$
– Kavi Rama Murthy
yesterday
1
$begingroup$
Possibly the additional condition $(A−λI)^jv_jnot=0$ has to be imposed.
$endgroup$
– Jens Schwaiger
yesterday
$begingroup$
I imagine that what you mean is that: $$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0.$$
$endgroup$
– Yiorgos S. Smyrlis
yesterday
$begingroup$
$v_j=0$ is an obvious counterexample.
$endgroup$
– Kavi Rama Murthy
yesterday
$begingroup$
$v_j=0$ is an obvious counterexample.
$endgroup$
– Kavi Rama Murthy
yesterday
1
1
$begingroup$
Possibly the additional condition $(A−λI)^jv_jnot=0$ has to be imposed.
$endgroup$
– Jens Schwaiger
yesterday
$begingroup$
Possibly the additional condition $(A−λI)^jv_jnot=0$ has to be imposed.
$endgroup$
– Jens Schwaiger
yesterday
$begingroup$
I imagine that what you mean is that: $$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0.$$
$endgroup$
– Yiorgos S. Smyrlis
yesterday
$begingroup$
I imagine that what you mean is that: $$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0.$$
$endgroup$
– Yiorgos S. Smyrlis
yesterday
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I use the assumption that
$$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0,$$
otherwise it is not true. For example
$$
lambda=0, quad
A=left(beginarraycc 0 & 1\ 0 & 0endarrayright), quad v_j=binom01, quad jinmathbb N.
$$
In order to prove that $v_1,ldots,v_n$ are linearly independent, it suffices to show that, for all $k$, the vector $v_k$ can not be expressed as a linear combination of $v_1,ldots,v_k-1$.
Clearly, for $k=1$, this holds, since $(A-lambda)v_1ne 0$, and hence $v_1ne 0$.
Assume that
$v_k=c_1v_1+cdots+c_k-1v_k-1$. Then
$$
0ne (A-lambda I)^kv_k
=(A-lambda I)^kbig(c_1v_1+cdots+c_k-1v_k-1big)=0
$$
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
$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
);
);
Yejus is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140767%2fshow-the-non-zero-vectors-v-1-v-2-%25e2%258b%25af-v-n-are-linearly-independent-if-a%25e2%2588%2592%25ce%25bbij%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$
I use the assumption that
$$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0,$$
otherwise it is not true. For example
$$
lambda=0, quad
A=left(beginarraycc 0 & 1\ 0 & 0endarrayright), quad v_j=binom01, quad jinmathbb N.
$$
In order to prove that $v_1,ldots,v_n$ are linearly independent, it suffices to show that, for all $k$, the vector $v_k$ can not be expressed as a linear combination of $v_1,ldots,v_k-1$.
Clearly, for $k=1$, this holds, since $(A-lambda)v_1ne 0$, and hence $v_1ne 0$.
Assume that
$v_k=c_1v_1+cdots+c_k-1v_k-1$. Then
$$
0ne (A-lambda I)^kv_k
=(A-lambda I)^kbig(c_1v_1+cdots+c_k-1v_k-1big)=0
$$
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
$endgroup$
add a comment |
$begingroup$
I use the assumption that
$$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0,$$
otherwise it is not true. For example
$$
lambda=0, quad
A=left(beginarraycc 0 & 1\ 0 & 0endarrayright), quad v_j=binom01, quad jinmathbb N.
$$
In order to prove that $v_1,ldots,v_n$ are linearly independent, it suffices to show that, for all $k$, the vector $v_k$ can not be expressed as a linear combination of $v_1,ldots,v_k-1$.
Clearly, for $k=1$, this holds, since $(A-lambda)v_1ne 0$, and hence $v_1ne 0$.
Assume that
$v_k=c_1v_1+cdots+c_k-1v_k-1$. Then
$$
0ne (A-lambda I)^kv_k
=(A-lambda I)^kbig(c_1v_1+cdots+c_k-1v_k-1big)=0
$$
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
$endgroup$
add a comment |
$begingroup$
I use the assumption that
$$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0,$$
otherwise it is not true. For example
$$
lambda=0, quad
A=left(beginarraycc 0 & 1\ 0 & 0endarrayright), quad v_j=binom01, quad jinmathbb N.
$$
In order to prove that $v_1,ldots,v_n$ are linearly independent, it suffices to show that, for all $k$, the vector $v_k$ can not be expressed as a linear combination of $v_1,ldots,v_k-1$.
Clearly, for $k=1$, this holds, since $(A-lambda)v_1ne 0$, and hence $v_1ne 0$.
Assume that
$v_k=c_1v_1+cdots+c_k-1v_k-1$. Then
$$
0ne (A-lambda I)^kv_k
=(A-lambda I)^kbig(c_1v_1+cdots+c_k-1v_k-1big)=0
$$
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
$endgroup$
I use the assumption that
$$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0,$$
otherwise it is not true. For example
$$
lambda=0, quad
A=left(beginarraycc 0 & 1\ 0 & 0endarrayright), quad v_j=binom01, quad jinmathbb N.
$$
In order to prove that $v_1,ldots,v_n$ are linearly independent, it suffices to show that, for all $k$, the vector $v_k$ can not be expressed as a linear combination of $v_1,ldots,v_k-1$.
Clearly, for $k=1$, this holds, since $(A-lambda)v_1ne 0$, and hence $v_1ne 0$.
Assume that
$v_k=c_1v_1+cdots+c_k-1v_k-1$. Then
$$
0ne (A-lambda I)^kv_k
=(A-lambda I)^kbig(c_1v_1+cdots+c_k-1v_k-1big)=0
$$
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
answered yesterday
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.4k1385164
63.4k1385164
add a comment |
add a comment |
Yejus is a new contributor. Be nice, and check out our Code of Conduct.
Yejus is a new contributor. Be nice, and check out our Code of Conduct.
Yejus is a new contributor. Be nice, and check out our Code of Conduct.
Yejus is a new contributor. Be nice, and check out our Code of Conduct.
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%2f3140767%2fshow-the-non-zero-vectors-v-1-v-2-%25e2%258b%25af-v-n-are-linearly-independent-if-a%25e2%2588%2592%25ce%25bbij%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
PBljxw0Gzdp4Cnk K9hwLuFcv8DXSxhVfzkatL,PTV,hPTNYA6h,2Y,M5d2Rky3,47zJGVoaL5kmfJFa4zhgoiZZ
$begingroup$
$v_j=0$ is an obvious counterexample.
$endgroup$
– Kavi Rama Murthy
yesterday
1
$begingroup$
Possibly the additional condition $(A−λI)^jv_jnot=0$ has to be imposed.
$endgroup$
– Jens Schwaiger
yesterday
$begingroup$
I imagine that what you mean is that: $$ (A-lambda I)^jv_jne 0quadtextandquad (A-lambda I)^j+1v_j=0.$$
$endgroup$
– Yiorgos S. Smyrlis
yesterday