Is the requirement that $u+v$ be in $V$ if $u$ and $v$ are in $V$ a valid axiom for the definition of a...
$begingroup$
For example, at: https://en.wikipedia.org/wiki/Vector_space
There are 8 axioms that a qualify a set to be a vector space. My professor also gave us 8.
However, a textbook I'm reading states 10 axioms. It has all 8 of the above mentioned axioms, as well as the following two:
If $u$ and $v$ are in $V$, then $u+v$ is also in $V$
If $u$ is in $V$, then $cu$ is in V (where $c$ is an arbritrary scalar)
Why is it that these two axioms aren't explicitly stated in some places? As far as I can't tell it's not that they're included within the 8 existing axioms. I know that these are the requirements for something to qualify as a subspace of a vector space...does that have anything to do with it?
I'd just like to know why these two axioms aren't explicitly stated as they seem very important and don't seem to be indirectly covered by any of the other axioms. Any help is appreciated!
linear-algebra vector-spaces vectors axioms
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
$endgroup$
add a comment |
$begingroup$
For example, at: https://en.wikipedia.org/wiki/Vector_space
There are 8 axioms that a qualify a set to be a vector space. My professor also gave us 8.
However, a textbook I'm reading states 10 axioms. It has all 8 of the above mentioned axioms, as well as the following two:
If $u$ and $v$ are in $V$, then $u+v$ is also in $V$
If $u$ is in $V$, then $cu$ is in V (where $c$ is an arbritrary scalar)
Why is it that these two axioms aren't explicitly stated in some places? As far as I can't tell it's not that they're included within the 8 existing axioms. I know that these are the requirements for something to qualify as a subspace of a vector space...does that have anything to do with it?
I'd just like to know why these two axioms aren't explicitly stated as they seem very important and don't seem to be indirectly covered by any of the other axioms. Any help is appreciated!
linear-algebra vector-spaces vectors axioms
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
$endgroup$
add a comment |
$begingroup$
For example, at: https://en.wikipedia.org/wiki/Vector_space
There are 8 axioms that a qualify a set to be a vector space. My professor also gave us 8.
However, a textbook I'm reading states 10 axioms. It has all 8 of the above mentioned axioms, as well as the following two:
If $u$ and $v$ are in $V$, then $u+v$ is also in $V$
If $u$ is in $V$, then $cu$ is in V (where $c$ is an arbritrary scalar)
Why is it that these two axioms aren't explicitly stated in some places? As far as I can't tell it's not that they're included within the 8 existing axioms. I know that these are the requirements for something to qualify as a subspace of a vector space...does that have anything to do with it?
I'd just like to know why these two axioms aren't explicitly stated as they seem very important and don't seem to be indirectly covered by any of the other axioms. Any help is appreciated!
linear-algebra vector-spaces vectors axioms
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
$endgroup$
For example, at: https://en.wikipedia.org/wiki/Vector_space
There are 8 axioms that a qualify a set to be a vector space. My professor also gave us 8.
However, a textbook I'm reading states 10 axioms. It has all 8 of the above mentioned axioms, as well as the following two:
If $u$ and $v$ are in $V$, then $u+v$ is also in $V$
If $u$ is in $V$, then $cu$ is in V (where $c$ is an arbritrary scalar)
Why is it that these two axioms aren't explicitly stated in some places? As far as I can't tell it's not that they're included within the 8 existing axioms. I know that these are the requirements for something to qualify as a subspace of a vector space...does that have anything to do with it?
I'd just like to know why these two axioms aren't explicitly stated as they seem very important and don't seem to be indirectly covered by any of the other axioms. Any help is appreciated!
linear-algebra vector-spaces vectors axioms
linear-algebra vector-spaces vectors axioms
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
edited Jan 17 at 18:16
José Carlos Santos
160k22127232
160k22127232
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
asked Jan 17 at 18:05
James RonaldJames Ronald
1257
1257
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Note that Wikipedia also lists those two axioms of closure under addition and scalar multiplication. They just don't list them among the axioms. See the below quote from the article you linked:
A vector space over a field $F$ is a set $V$ together with two operations that satisfy the eight axioms listed below.
- The first operation, called vector addition or simply addition $+ : V × V → V$, takes any two vectors $v$ and $w$ and assigns to them a third vector which is commonly written as $v + w$, and called the sum of these two vectors. (Note that the resultant vector is also an element of the set $V$).
- The second operation, called scalar multiplication $· : F × V → V$， takes any scalar $a$ and any vector $v$ and gives another vector $av$. (Similarly, the vector $av$ is an element of the set $V$ ).
answered Jan 17 at 18:11
ArthurArthur
115k7116198
$endgroup$
add a comment |
$begingroup$
The assertion $(forall u,vin V):u+vin V$ is implicit in the assertion that addition is an operation, since an operation in $V$ is a map from $Vtimes V$ into $V$.
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
$endgroup$
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
add a comment |
$begingroup$
In the wikipedia article, addition and multiplication are defined as maps
begin{align}
+&:Vtimes Vto V, ;(v,w)mapsto v+w\
cdot&:Ftimes Vto V, ;(lambda,v)mapsto lambdacdot v
end{align}
which, by definition imply closure (since the codomain of the maps is $V$).
A question that comes to my mind regarding the 10 axiom treatment: How are addition and scalar multiplication defined that closure is not immediate?
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
$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%2f3077310%2fis-the-requirement-that-uv-be-in-v-if-u-and-v-are-in-v-a-valid-axiom%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Note that Wikipedia also lists those two axioms of closure under addition and scalar multiplication. They just don't list them among the axioms. See the below quote from the article you linked:
A vector space over a field $F$ is a set $V$ together with two operations that satisfy the eight axioms listed below.
- The first operation, called vector addition or simply addition $+ : V × V → V$, takes any two vectors $v$ and $w$ and assigns to them a third vector which is commonly written as $v + w$, and called the sum of these two vectors. (Note that the resultant vector is also an element of the set $V$).
- The second operation, called scalar multiplication $· : F × V → V$， takes any scalar $a$ and any vector $v$ and gives another vector $av$. (Similarly, the vector $av$ is an element of the set $V$ ).
answered Jan 17 at 18:11
ArthurArthur
115k7116198
$endgroup$
add a comment |
$begingroup$
Note that Wikipedia also lists those two axioms of closure under addition and scalar multiplication. They just don't list them among the axioms. See the below quote from the article you linked:
A vector space over a field $F$ is a set $V$ together with two operations that satisfy the eight axioms listed below.
- The first operation, called vector addition or simply addition $+ : V × V → V$, takes any two vectors $v$ and $w$ and assigns to them a third vector which is commonly written as $v + w$, and called the sum of these two vectors. (Note that the resultant vector is also an element of the set $V$).
- The second operation, called scalar multiplication $· : F × V → V$， takes any scalar $a$ and any vector $v$ and gives another vector $av$. (Similarly, the vector $av$ is an element of the set $V$ ).
answered Jan 17 at 18:11
ArthurArthur
115k7116198
$endgroup$
add a comment |
$begingroup$
Note that Wikipedia also lists those two axioms of closure under addition and scalar multiplication. They just don't list them among the axioms. See the below quote from the article you linked:
A vector space over a field $F$ is a set $V$ together with two operations that satisfy the eight axioms listed below.
- The first operation, called vector addition or simply addition $+ : V × V → V$, takes any two vectors $v$ and $w$ and assigns to them a third vector which is commonly written as $v + w$, and called the sum of these two vectors. (Note that the resultant vector is also an element of the set $V$).
- The second operation, called scalar multiplication $· : F × V → V$， takes any scalar $a$ and any vector $v$ and gives another vector $av$. (Similarly, the vector $av$ is an element of the set $V$ ).
answered Jan 17 at 18:11
ArthurArthur
115k7116198
$endgroup$
Note that Wikipedia also lists those two axioms of closure under addition and scalar multiplication. They just don't list them among the axioms. See the below quote from the article you linked:
A vector space over a field $F$ is a set $V$ together with two operations that satisfy the eight axioms listed below.
- The first operation, called vector addition or simply addition $+ : V × V → V$, takes any two vectors $v$ and $w$ and assigns to them a third vector which is commonly written as $v + w$, and called the sum of these two vectors. (Note that the resultant vector is also an element of the set $V$).
- The second operation, called scalar multiplication $· : F × V → V$， takes any scalar $a$ and any vector $v$ and gives another vector $av$. (Similarly, the vector $av$ is an element of the set $V$ ).
answered Jan 17 at 18:11
ArthurArthur
115k7116198
answered Jan 17 at 18:11
ArthurArthur
115k7116198
answered Jan 17 at 18:11
ArthurArthur
115k7116198
answered Jan 17 at 18:11
ArthurArthur
115k7116198
115k7116198
add a comment |
add a comment |
$begingroup$
The assertion $(forall u,vin V):u+vin V$ is implicit in the assertion that addition is an operation, since an operation in $V$ is a map from $Vtimes V$ into $V$.
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
$endgroup$
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
add a comment |
$begingroup$
The assertion $(forall u,vin V):u+vin V$ is implicit in the assertion that addition is an operation, since an operation in $V$ is a map from $Vtimes V$ into $V$.
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
$endgroup$
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
add a comment |
$begingroup$
The assertion $(forall u,vin V):u+vin V$ is implicit in the assertion that addition is an operation, since an operation in $V$ is a map from $Vtimes V$ into $V$.
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
$endgroup$
The assertion $(forall u,vin V):u+vin V$ is implicit in the assertion that addition is an operation, since an operation in $V$ is a map from $Vtimes V$ into $V$.
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
answered Jan 17 at 18:11
José Carlos SantosJosé Carlos Santos
160k22127232
160k22127232
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
add a comment |
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Ahh I see, thank you! I'm guessing that, in the same way, the fact that the vector space must be closed under scalar multiplication is implicit in the fact that scalar multiplication is an operation?
$endgroup$
– James Ronald
Jan 17 at 21:11
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
$begingroup$
Yes, it is the same thing.
$endgroup$
– José Carlos Santos
Jan 17 at 21:15
add a comment |
$begingroup$
In the wikipedia article, addition and multiplication are defined as maps
begin{align}
+&:Vtimes Vto V, ;(v,w)mapsto v+w\
cdot&:Ftimes Vto V, ;(lambda,v)mapsto lambdacdot v
end{align}
which, by definition imply closure (since the codomain of the maps is $V$).
A question that comes to my mind regarding the 10 axiom treatment: How are addition and scalar multiplication defined that closure is not immediate?
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
$endgroup$
add a comment |
$begingroup$
In the wikipedia article, addition and multiplication are defined as maps
begin{align}
+&:Vtimes Vto V, ;(v,w)mapsto v+w\
cdot&:Ftimes Vto V, ;(lambda,v)mapsto lambdacdot v
end{align}
which, by definition imply closure (since the codomain of the maps is $V$).
A question that comes to my mind regarding the 10 axiom treatment: How are addition and scalar multiplication defined that closure is not immediate?
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
$endgroup$
add a comment |
$begingroup$
In the wikipedia article, addition and multiplication are defined as maps
begin{align}
+&:Vtimes Vto V, ;(v,w)mapsto v+w\
cdot&:Ftimes Vto V, ;(lambda,v)mapsto lambdacdot v
end{align}
which, by definition imply closure (since the codomain of the maps is $V$).
A question that comes to my mind regarding the 10 axiom treatment: How are addition and scalar multiplication defined that closure is not immediate?
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
$endgroup$
In the wikipedia article, addition and multiplication are defined as maps
begin{align}
+&:Vtimes Vto V, ;(v,w)mapsto v+w\
cdot&:Ftimes Vto V, ;(lambda,v)mapsto lambdacdot v
end{align}
which, by definition imply closure (since the codomain of the maps is $V$).
A question that comes to my mind regarding the 10 axiom treatment: How are addition and scalar multiplication defined that closure is not immediate?
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
answered Jan 17 at 18:11
David HillDavid Hill
9,0761619
9,0761619
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%2f3077310%2fis-the-requirement-that-uv-be-in-v-if-u-and-v-are-in-v-a-valid-axiom%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
