Proving a subset of Vector space as a Subspacenecessary condition for subspace of a vector spaceVector Space vs SubspaceProving a subset is a subspace of a Vector SpaceSubset of a vector spaceProof for the necessity of conditions for a subspaceLinear Algebra: which of the definition of subspace of a vector space is more correct?Proof that something is a subspace given it's a subset of a vector space.Set $S= x,y,z in mathbbZ$ is a subset of vector space $mathbbR^3$, how do I show that it is not a subspace of $mathbbR^3$.zero vector subspaceProof of $mathcalL(V,W)$ is a vector space
Why is there so much iron?
Determine voltage drop over 10G resistors with cheap multimeter
How can an organ that provides biological immortality be unable to regenerate?
What is the difference between something being completely legal and being completely decriminalized?
Unfrosted light bulb
UK Tourist Visa- Enquiry
Why do I have a large white artefact on the rendered image?
Why is indicated airspeed rather than ground speed used during the takeoff roll?
Symbolism of 18 Journeyers
What are the consequences of changing the number of hours in a day?
Help with identifying unique aircraft over NE Pennsylvania
Hackerrank All Women's Codesprint 2019: Name the Product
Air travel with refrigerated insulin
Can other pieces capture a threatening piece and prevent a checkmate?
Exposing a company lying about themselves in a tightly knit industry: Is my career at risk on the long run?
Did Nintendo change its mind about 68000 SNES?
Have any astronauts/cosmonauts died in space?
Is this Pascal's Matrix?
Gauss brackets with double vertical lines
Does the Shadow Magic sorcerer's Eyes of the Dark feature work on all Darkness spells or just his/her own?
Turning a hard to access nut?
What is it called when someone votes for an option that's not their first choice?
When did hardware antialiasing start being available?
Hot air balloons as primitive bombers
Proving a subset of Vector space as a Subspace
necessary condition for subspace of a vector spaceVector Space vs SubspaceProving a subset is a subspace of a Vector SpaceSubset of a vector spaceProof for the necessity of conditions for a subspaceLinear Algebra: which of the definition of subspace of a vector space is more correct?Proof that something is a subspace given it's a subset of a vector space.Set $S=(x,y,z)$ is a subset of vector space $mathbbR^3$, how do I show that it is not a subspace of $mathbbR^3$.zero vector subspaceProof of $mathcalL(V,W)$ is a vector space
$begingroup$
I know that if the conditions of being a vector space is fulfilled by a subset of a vector space then it will be a subspace. And these conditions reduce to the three conditions that is:
Show it is closed under addition.
Show it is closed under scalar multiplication.
Show that the vector 0 is in the subset.
But how come these condition fulfill that additive inverse of a vector in the subset also exists in the subset.
I searched for this answer where it told that
$ -1.x=-x $
and hence additive inverse exists in the subset, but how can we assume that the field always contains $ -1 $ ?
linear-algebra abstract-algebra vector-spaces
New contributor
$endgroup$
add a comment |
$begingroup$
I know that if the conditions of being a vector space is fulfilled by a subset of a vector space then it will be a subspace. And these conditions reduce to the three conditions that is:
Show it is closed under addition.
Show it is closed under scalar multiplication.
Show that the vector 0 is in the subset.
But how come these condition fulfill that additive inverse of a vector in the subset also exists in the subset.
I searched for this answer where it told that
$ -1.x=-x $
and hence additive inverse exists in the subset, but how can we assume that the field always contains $ -1 $ ?
linear-algebra abstract-algebra vector-spaces
New contributor
$endgroup$
1
$begingroup$
If the field contains $a$ it must also contain $-a$.
$endgroup$
– An.Ditlev
Mar 13 at 9:32
add a comment |
$begingroup$
I know that if the conditions of being a vector space is fulfilled by a subset of a vector space then it will be a subspace. And these conditions reduce to the three conditions that is:
Show it is closed under addition.
Show it is closed under scalar multiplication.
Show that the vector 0 is in the subset.
But how come these condition fulfill that additive inverse of a vector in the subset also exists in the subset.
I searched for this answer where it told that
$ -1.x=-x $
and hence additive inverse exists in the subset, but how can we assume that the field always contains $ -1 $ ?
linear-algebra abstract-algebra vector-spaces
New contributor
$endgroup$
I know that if the conditions of being a vector space is fulfilled by a subset of a vector space then it will be a subspace. And these conditions reduce to the three conditions that is:
Show it is closed under addition.
Show it is closed under scalar multiplication.
Show that the vector 0 is in the subset.
But how come these condition fulfill that additive inverse of a vector in the subset also exists in the subset.
I searched for this answer where it told that
$ -1.x=-x $
and hence additive inverse exists in the subset, but how can we assume that the field always contains $ -1 $ ?
linear-algebra abstract-algebra vector-spaces
linear-algebra abstract-algebra vector-spaces
New contributor
New contributor
New contributor
asked Mar 13 at 9:29
ShivamShivam
62
62
New contributor
New contributor
1
$begingroup$
If the field contains $a$ it must also contain $-a$.
$endgroup$
– An.Ditlev
Mar 13 at 9:32
add a comment |
1
$begingroup$
If the field contains $a$ it must also contain $-a$.
$endgroup$
– An.Ditlev
Mar 13 at 9:32
1
1
$begingroup$
If the field contains $a$ it must also contain $-a$.
$endgroup$
– An.Ditlev
Mar 13 at 9:32
$begingroup$
If the field contains $a$ it must also contain $-a$.
$endgroup$
– An.Ditlev
Mar 13 at 9:32
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
But, for any field $K$, every element of $K$ has an additive inverse. That's part of the definition of field.
$endgroup$
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
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
);
);
Shivam 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%2f3146321%2fproving-a-subset-of-vector-space-as-a-subspace%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$
But, for any field $K$, every element of $K$ has an additive inverse. That's part of the definition of field.
$endgroup$
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
add a comment |
$begingroup$
But, for any field $K$, every element of $K$ has an additive inverse. That's part of the definition of field.
$endgroup$
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
add a comment |
$begingroup$
But, for any field $K$, every element of $K$ has an additive inverse. That's part of the definition of field.
$endgroup$
But, for any field $K$, every element of $K$ has an additive inverse. That's part of the definition of field.
answered Mar 13 at 9:32
José Carlos SantosJosé Carlos Santos
168k23132236
168k23132236
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
add a comment |
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
but is it necessary that both $ 1 $ and $ -1 $ exist in the field
$endgroup$
– Shivam
Mar 13 at 9:50
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
$begingroup$
By the definition of field, $1in K$ and, again by the definition of field, every element of $K$ has an additive inverse. In particular, $-1in K$.
$endgroup$
– José Carlos Santos
Mar 13 at 9:54
add a comment |
Shivam is a new contributor. Be nice, and check out our Code of Conduct.
Shivam is a new contributor. Be nice, and check out our Code of Conduct.
Shivam is a new contributor. Be nice, and check out our Code of Conduct.
Shivam 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%2f3146321%2fproving-a-subset-of-vector-space-as-a-subspace%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
1
$begingroup$
If the field contains $a$ it must also contain $-a$.
$endgroup$
– An.Ditlev
Mar 13 at 9:32