Help understanding proof for vector subspace (Hoffman and Kunze)
$begingroup$
In Hoffman and Kunze, following proof is provided for this theorem:
Theorem: A non-empty subset W of V is a subspace of V iff for each pair of vectors a,b in W and each scalar c in F the vector ca + b is again in W.
Proof.
Suppose that W is a non-empty subset of V such that ca + b belongs to W for all vectors a, b in W and all scalars c in F.Since W is non-empty, there is a vector p in W, and hence (-1)p+p= 0 is in W. Then if a is any vector in W and c any scalar, the vector ca = ca + 0 is in W. In particular, (-1)a = -a is in W. Finally, if a and b are in W, then a + b = 1a + b is in W.Thus W is a subspace of V.
Conversely, if W is a subspace of V, a and b are in W, and c is a scalar, certainly ca + b is in W.
What I don't get is:
How (-1)p+p= 0 is concluded to be in W?
How proving a + b = 1a + b is in W helps?
Please help in solving my above queries.
Thanks.
linear-algebra proof-explanation
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
$endgroup$
add a comment |
$begingroup$
In Hoffman and Kunze, following proof is provided for this theorem:
Theorem: A non-empty subset W of V is a subspace of V iff for each pair of vectors a,b in W and each scalar c in F the vector ca + b is again in W.
Proof.
Suppose that W is a non-empty subset of V such that ca + b belongs to W for all vectors a, b in W and all scalars c in F.Since W is non-empty, there is a vector p in W, and hence (-1)p+p= 0 is in W. Then if a is any vector in W and c any scalar, the vector ca = ca + 0 is in W. In particular, (-1)a = -a is in W. Finally, if a and b are in W, then a + b = 1a + b is in W.Thus W is a subspace of V.
Conversely, if W is a subspace of V, a and b are in W, and c is a scalar, certainly ca + b is in W.
What I don't get is:
How (-1)p+p= 0 is concluded to be in W?
How proving a + b = 1a + b is in W helps?
Please help in solving my above queries.
Thanks.
linear-algebra proof-explanation
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
$endgroup$
add a comment |
$begingroup$
In Hoffman and Kunze, following proof is provided for this theorem:
Theorem: A non-empty subset W of V is a subspace of V iff for each pair of vectors a,b in W and each scalar c in F the vector ca + b is again in W.
Proof.
Suppose that W is a non-empty subset of V such that ca + b belongs to W for all vectors a, b in W and all scalars c in F.Since W is non-empty, there is a vector p in W, and hence (-1)p+p= 0 is in W. Then if a is any vector in W and c any scalar, the vector ca = ca + 0 is in W. In particular, (-1)a = -a is in W. Finally, if a and b are in W, then a + b = 1a + b is in W.Thus W is a subspace of V.
Conversely, if W is a subspace of V, a and b are in W, and c is a scalar, certainly ca + b is in W.
What I don't get is:
How (-1)p+p= 0 is concluded to be in W?
How proving a + b = 1a + b is in W helps?
Please help in solving my above queries.
Thanks.
linear-algebra proof-explanation
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
$endgroup$
In Hoffman and Kunze, following proof is provided for this theorem:
Theorem: A non-empty subset W of V is a subspace of V iff for each pair of vectors a,b in W and each scalar c in F the vector ca + b is again in W.
Proof.
Suppose that W is a non-empty subset of V such that ca + b belongs to W for all vectors a, b in W and all scalars c in F.Since W is non-empty, there is a vector p in W, and hence (-1)p+p= 0 is in W. Then if a is any vector in W and c any scalar, the vector ca = ca + 0 is in W. In particular, (-1)a = -a is in W. Finally, if a and b are in W, then a + b = 1a + b is in W.Thus W is a subspace of V.
Conversely, if W is a subspace of V, a and b are in W, and c is a scalar, certainly ca + b is in W.
What I don't get is:
How (-1)p+p= 0 is concluded to be in W?
How proving a + b = 1a + b is in W helps?
Please help in solving my above queries.
Thanks.
linear-algebra proof-explanation
linear-algebra proof-explanation
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
asked Dec 31 '18 at 12:06
dheeraj suthardheeraj suthar
72
72
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
- Take $c = -1$, $a = b = p$.
- Recall the definition of a subspace: it's a subset containing $0$ such that, for all $a, b$ contained in it, $a + b$ is contained in it, and for all $a$ contained in it and all scalars $lambda$, $lambda a$ is contained in it.
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
$endgroup$
add a comment |
$begingroup$
- In the property of the theorem, take $a=b=p$ and $c=-1$.
- Stability for addition is one of the properties which define a subspace, along with stability for scalar multiplication.
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
$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%2f3057645%2fhelp-understanding-proof-for-vector-subspace-hoffman-and-kunze%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$
- Take $c = -1$, $a = b = p$.
- Recall the definition of a subspace: it's a subset containing $0$ such that, for all $a, b$ contained in it, $a + b$ is contained in it, and for all $a$ contained in it and all scalars $lambda$, $lambda a$ is contained in it.
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
$endgroup$
add a comment |
$begingroup$
- Take $c = -1$, $a = b = p$.
- Recall the definition of a subspace: it's a subset containing $0$ such that, for all $a, b$ contained in it, $a + b$ is contained in it, and for all $a$ contained in it and all scalars $lambda$, $lambda a$ is contained in it.
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
$endgroup$
add a comment |
$begingroup$
- Take $c = -1$, $a = b = p$.
- Recall the definition of a subspace: it's a subset containing $0$ such that, for all $a, b$ contained in it, $a + b$ is contained in it, and for all $a$ contained in it and all scalars $lambda$, $lambda a$ is contained in it.
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
$endgroup$
- Take $c = -1$, $a = b = p$.
- Recall the definition of a subspace: it's a subset containing $0$ such that, for all $a, b$ contained in it, $a + b$ is contained in it, and for all $a$ contained in it and all scalars $lambda$, $lambda a$ is contained in it.
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
answered Dec 31 '18 at 12:12
user3482749user3482749
4,286919
4,286919
add a comment |
add a comment |
$begingroup$
- In the property of the theorem, take $a=b=p$ and $c=-1$.
- Stability for addition is one of the properties which define a subspace, along with stability for scalar multiplication.
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
$endgroup$
add a comment |
$begingroup$
- In the property of the theorem, take $a=b=p$ and $c=-1$.
- Stability for addition is one of the properties which define a subspace, along with stability for scalar multiplication.
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
$endgroup$
add a comment |
$begingroup$
- In the property of the theorem, take $a=b=p$ and $c=-1$.
- Stability for addition is one of the properties which define a subspace, along with stability for scalar multiplication.
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
$endgroup$
- In the property of the theorem, take $a=b=p$ and $c=-1$.
- Stability for addition is one of the properties which define a subspace, along with stability for scalar multiplication.
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
answered Dec 31 '18 at 12:11
BernardBernard
121k740116
121k740116
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%2f3057645%2fhelp-understanding-proof-for-vector-subspace-hoffman-and-kunze%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
