If every linear equation of a system is a linear combination of another system and vice-versa, then both...
$begingroup$
I'm working on Hoffman and Kunze's Linear Algebra and encountered this theorem but without proof. I know it might seem trivial to some of you, but as I'm a first-year, I'd like to practice my proof-writing skills. Could you review this proof, please?
Lemma. For every linear equation $j$ with solution set $F$ and system of linear equation $A x = b$ with solution set $G$, where $A$ is an $m times n$ matrix of coefficients, $x$ is an $n times 1$ vector of unknowns and $b$ is an $m times 1$ vector of values, if $j$ is a linear combination of $A x = b$, then $G$ is a subset of $F$.
Proof. Suppose $j$ is a linear combination of $Ax = b$. Then for some $1 times m$ vector $c$, $j$ is $cAx = cb$. By equality, for every $x$, if $A x = b$, then $cAx = cb$. That is, by subset definition, $G$ is a subset of $F$. Q.E.D.
Theorem. For every systems of linear equations $R$ and $S$ with respectively solution sets $U$ and $V$, and arbitrary linear equations $r$ and $s$, if $r$ is a linear combination of $s$ and $s$ is a linear combination of $r$, then $U = V$.
Proof. Suppose $r$ is a linear combination of $s$. Then by Lemma, $V$ is a subset of $U$.
Suppose $s$ is a linear combination of $r$. Then by Lemma, $U$ is a subset of $V$. By set equality definition, $U = V$. Q.E.D.
linear-algebra proof-verification
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
$endgroup$
add a comment |
$begingroup$
I'm working on Hoffman and Kunze's Linear Algebra and encountered this theorem but without proof. I know it might seem trivial to some of you, but as I'm a first-year, I'd like to practice my proof-writing skills. Could you review this proof, please?
Lemma. For every linear equation $j$ with solution set $F$ and system of linear equation $A x = b$ with solution set $G$, where $A$ is an $m times n$ matrix of coefficients, $x$ is an $n times 1$ vector of unknowns and $b$ is an $m times 1$ vector of values, if $j$ is a linear combination of $A x = b$, then $G$ is a subset of $F$.
Proof. Suppose $j$ is a linear combination of $Ax = b$. Then for some $1 times m$ vector $c$, $j$ is $cAx = cb$. By equality, for every $x$, if $A x = b$, then $cAx = cb$. That is, by subset definition, $G$ is a subset of $F$. Q.E.D.
Theorem. For every systems of linear equations $R$ and $S$ with respectively solution sets $U$ and $V$, and arbitrary linear equations $r$ and $s$, if $r$ is a linear combination of $s$ and $s$ is a linear combination of $r$, then $U = V$.
Proof. Suppose $r$ is a linear combination of $s$. Then by Lemma, $V$ is a subset of $U$.
Suppose $s$ is a linear combination of $r$. Then by Lemma, $U$ is a subset of $V$. By set equality definition, $U = V$. Q.E.D.
linear-algebra proof-verification
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
$endgroup$
add a comment |
$begingroup$
I'm working on Hoffman and Kunze's Linear Algebra and encountered this theorem but without proof. I know it might seem trivial to some of you, but as I'm a first-year, I'd like to practice my proof-writing skills. Could you review this proof, please?
Lemma. For every linear equation $j$ with solution set $F$ and system of linear equation $A x = b$ with solution set $G$, where $A$ is an $m times n$ matrix of coefficients, $x$ is an $n times 1$ vector of unknowns and $b$ is an $m times 1$ vector of values, if $j$ is a linear combination of $A x = b$, then $G$ is a subset of $F$.
Proof. Suppose $j$ is a linear combination of $Ax = b$. Then for some $1 times m$ vector $c$, $j$ is $cAx = cb$. By equality, for every $x$, if $A x = b$, then $cAx = cb$. That is, by subset definition, $G$ is a subset of $F$. Q.E.D.
Theorem. For every systems of linear equations $R$ and $S$ with respectively solution sets $U$ and $V$, and arbitrary linear equations $r$ and $s$, if $r$ is a linear combination of $s$ and $s$ is a linear combination of $r$, then $U = V$.
Proof. Suppose $r$ is a linear combination of $s$. Then by Lemma, $V$ is a subset of $U$.
Suppose $s$ is a linear combination of $r$. Then by Lemma, $U$ is a subset of $V$. By set equality definition, $U = V$. Q.E.D.
linear-algebra proof-verification
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
$endgroup$
I'm working on Hoffman and Kunze's Linear Algebra and encountered this theorem but without proof. I know it might seem trivial to some of you, but as I'm a first-year, I'd like to practice my proof-writing skills. Could you review this proof, please?
Lemma. For every linear equation $j$ with solution set $F$ and system of linear equation $A x = b$ with solution set $G$, where $A$ is an $m times n$ matrix of coefficients, $x$ is an $n times 1$ vector of unknowns and $b$ is an $m times 1$ vector of values, if $j$ is a linear combination of $A x = b$, then $G$ is a subset of $F$.
Proof. Suppose $j$ is a linear combination of $Ax = b$. Then for some $1 times m$ vector $c$, $j$ is $cAx = cb$. By equality, for every $x$, if $A x = b$, then $cAx = cb$. That is, by subset definition, $G$ is a subset of $F$. Q.E.D.
Theorem. For every systems of linear equations $R$ and $S$ with respectively solution sets $U$ and $V$, and arbitrary linear equations $r$ and $s$, if $r$ is a linear combination of $s$ and $s$ is a linear combination of $r$, then $U = V$.
Proof. Suppose $r$ is a linear combination of $s$. Then by Lemma, $V$ is a subset of $U$.
Suppose $s$ is a linear combination of $r$. Then by Lemma, $U$ is a subset of $V$. By set equality definition, $U = V$. Q.E.D.
linear-algebra proof-verification
linear-algebra proof-verification
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
edited Dec 19 '18 at 16:40
Brahadeesh
6,36442363
6,36442363
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
asked Sep 28 '17 at 1:39
repetitiousrepetitiverepetitiousrepetitive
213
213
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The lemma and its proof are correct. The statement of the theorem can be improved. For instance, you want to say that $r$ and $s$ are arbitrary linear equations in the systems $R$ and $S$ respectively. Also, you want to say, "If $r$ is a linear combination of $S$ and $s$ is a linear combination of $R$, then $U = V$."
The proof of the theorem also needs a few more ingredients. Here is one way to complete it.
Proof. Suppose $r$ is a linear combination of $S$. Then by Lemma, $V$ is a subset of the set of solutions of $r$, say $F_r$. Since $r$ was an arbitrary linear equation in the system $R$, $V subseteq bigcap_{r in R} F_r = U$. Repeating the argument the other way around, we get $U subseteq V$. Hence, $U = V$.
Just to make a note, this theorem is actually proved by Hoffman and Kunze. The informal discussion (on page 4, 2nd edition) before the statement of Theorem 1 actually constitutes a proof.
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
$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%2f2448407%2fif-every-linear-equation-of-a-system-is-a-linear-combination-of-another-system-a%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$
The lemma and its proof are correct. The statement of the theorem can be improved. For instance, you want to say that $r$ and $s$ are arbitrary linear equations in the systems $R$ and $S$ respectively. Also, you want to say, "If $r$ is a linear combination of $S$ and $s$ is a linear combination of $R$, then $U = V$."
The proof of the theorem also needs a few more ingredients. Here is one way to complete it.
Proof. Suppose $r$ is a linear combination of $S$. Then by Lemma, $V$ is a subset of the set of solutions of $r$, say $F_r$. Since $r$ was an arbitrary linear equation in the system $R$, $V subseteq bigcap_{r in R} F_r = U$. Repeating the argument the other way around, we get $U subseteq V$. Hence, $U = V$.
Just to make a note, this theorem is actually proved by Hoffman and Kunze. The informal discussion (on page 4, 2nd edition) before the statement of Theorem 1 actually constitutes a proof.
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
$endgroup$
add a comment |
$begingroup$
The lemma and its proof are correct. The statement of the theorem can be improved. For instance, you want to say that $r$ and $s$ are arbitrary linear equations in the systems $R$ and $S$ respectively. Also, you want to say, "If $r$ is a linear combination of $S$ and $s$ is a linear combination of $R$, then $U = V$."
The proof of the theorem also needs a few more ingredients. Here is one way to complete it.
Proof. Suppose $r$ is a linear combination of $S$. Then by Lemma, $V$ is a subset of the set of solutions of $r$, say $F_r$. Since $r$ was an arbitrary linear equation in the system $R$, $V subseteq bigcap_{r in R} F_r = U$. Repeating the argument the other way around, we get $U subseteq V$. Hence, $U = V$.
Just to make a note, this theorem is actually proved by Hoffman and Kunze. The informal discussion (on page 4, 2nd edition) before the statement of Theorem 1 actually constitutes a proof.
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
$endgroup$
add a comment |
$begingroup$
The lemma and its proof are correct. The statement of the theorem can be improved. For instance, you want to say that $r$ and $s$ are arbitrary linear equations in the systems $R$ and $S$ respectively. Also, you want to say, "If $r$ is a linear combination of $S$ and $s$ is a linear combination of $R$, then $U = V$."
The proof of the theorem also needs a few more ingredients. Here is one way to complete it.
Proof. Suppose $r$ is a linear combination of $S$. Then by Lemma, $V$ is a subset of the set of solutions of $r$, say $F_r$. Since $r$ was an arbitrary linear equation in the system $R$, $V subseteq bigcap_{r in R} F_r = U$. Repeating the argument the other way around, we get $U subseteq V$. Hence, $U = V$.
Just to make a note, this theorem is actually proved by Hoffman and Kunze. The informal discussion (on page 4, 2nd edition) before the statement of Theorem 1 actually constitutes a proof.
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
$endgroup$
The lemma and its proof are correct. The statement of the theorem can be improved. For instance, you want to say that $r$ and $s$ are arbitrary linear equations in the systems $R$ and $S$ respectively. Also, you want to say, "If $r$ is a linear combination of $S$ and $s$ is a linear combination of $R$, then $U = V$."
The proof of the theorem also needs a few more ingredients. Here is one way to complete it.
Proof. Suppose $r$ is a linear combination of $S$. Then by Lemma, $V$ is a subset of the set of solutions of $r$, say $F_r$. Since $r$ was an arbitrary linear equation in the system $R$, $V subseteq bigcap_{r in R} F_r = U$. Repeating the argument the other way around, we get $U subseteq V$. Hence, $U = V$.
Just to make a note, this theorem is actually proved by Hoffman and Kunze. The informal discussion (on page 4, 2nd edition) before the statement of Theorem 1 actually constitutes a proof.
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
edited Jan 12 '18 at 13:33
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
answered Jan 12 '18 at 13:26
BrahadeeshBrahadeesh
6,36442363
6,36442363
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%2f2448407%2fif-every-linear-equation-of-a-system-is-a-linear-combination-of-another-system-a%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
