Is a vector space a subspace of itself? [closed]vector space and its subspaceHow to determine vector space?Vector Space vs SubspaceProving a subset is a subspace of a Vector SpaceSubspace of a vector space DefinitionProof these operations is not a vector spaceVector Space definitionAre all vector spaces also a subspace?Understand the definition of a vector subspaceDoes multiplying by the zero vector ALWAYS yield the zero vector?
Why is there a change in the number of degrees of freedom when the following modification is made?
Has any spacecraft ever had the ability to directly communicate with civilian air traffic control?
Field Length Validation for Desktop Application which has maximum 1000 characters
Packet sniffer for MacOS Mojave and above
Power LED from 3.3V Power Pin without Resistor
Any examples of headwear for races with animal ears?
Junior developer struggles: how to communicate with management?
How to efficiently calculate prefix sum of frequencies of characters in a string?
You look catfish vs You look like a catfish?
Proof that when f'(x) < f(x), f(x) =0
How did Captain America use this power?
Unexpected email from Yorkshire Bank
Is thermodynamics only applicable to systems in equilibrium?
Does hiding behind 5-ft-wide cover give full cover?
Why was the battle set up *outside* Winterfell?
Catholic vs Protestant Support for Nazism in Germany
Why are notes ordered like they are on a piano?
Why was Germany not as successful as other Europeans in establishing overseas colonies?
Airbnb - host wants to reduce rooms, can we get refund?
Transfer over $10k
How to creep the reader out with what seems like a normal person?
What precisely is a link?
How do you center multiple equations that have multiple steps?
Why is Thanos so tough at the beginning of "Avengers: Endgame"?
Is a vector space a subspace of itself? [closed]
vector space and its subspaceHow to determine vector space?Vector Space vs SubspaceProving a subset is a subspace of a Vector SpaceSubspace of a vector space DefinitionProof these operations is not a vector spaceVector Space definitionAre all vector spaces also a subspace?Understand the definition of a vector subspaceDoes multiplying by the zero vector ALWAYS yield the zero vector?
$begingroup$
We know that a subspace is a vector space that follows the same addition and multiplication rules as $Bbb V$, but is a vector space a subspace of itself?
Also, I'm getting confused doing the practice questions, on when we prove that something is a vector space by using the subspace test and when we prove V1 - V10.
Edit: V1 - V10 are the ten axioms of what makes something a vector space. So for example in $Bbb R^2$, we have that $vecx + vecy = vecy + vec x$, etc..
linear-algebra vector-spaces
asked Apr 9 at 1:59
mingming
4606
$endgroup$
closed as off-topic by Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur Apr 13 at 12:05
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur
|
show 3 more comments
$begingroup$
We know that a subspace is a vector space that follows the same addition and multiplication rules as $Bbb V$, but is a vector space a subspace of itself?
Also, I'm getting confused doing the practice questions, on when we prove that something is a vector space by using the subspace test and when we prove V1 - V10.
Edit: V1 - V10 are the ten axioms of what makes something a vector space. So for example in $Bbb R^2$, we have that $vecx + vecy = vecy + vec x$, etc..
linear-algebra vector-spaces
asked Apr 9 at 1:59
mingming
4606
$endgroup$
closed as off-topic by Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur Apr 13 at 12:05
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur
1
$begingroup$
How do you define a subspace of a vector space?
$endgroup$
– Brian
Apr 9 at 2:02
3
$begingroup$
Is a set a subset of itself?? What’s V1-V10?
$endgroup$
– J. W. Tanner
Apr 9 at 2:16
2
$begingroup$
The term "proper" subspace is often used to denote a subspace space that is not the entire vector space.
$endgroup$
– Theo Bendit
Apr 9 at 2:19
4
$begingroup$
As other commenters have noted, your question lacks context. Please edit your question to include more context, lest your question be closed. Please give a definition of a subspace. Please explain what V1 - V10 means. If you are working from a particular text, a citation to that text would be helpful, too.
$endgroup$
– Xander Henderson
Apr 9 at 3:39
3
$begingroup$
@CompuChip That's not a usage of "proper set" that I'm accustomed to, but I can certainly imagine it being used by certain fields of maths. I would instead say "proper, non-trivial" to mean not the whole set/space, and not the empty set/$0$ subspace.
$endgroup$
– Theo Bendit
Apr 9 at 8:57
|
show 3 more comments
$begingroup$
We know that a subspace is a vector space that follows the same addition and multiplication rules as $Bbb V$, but is a vector space a subspace of itself?
Also, I'm getting confused doing the practice questions, on when we prove that something is a vector space by using the subspace test and when we prove V1 - V10.
Edit: V1 - V10 are the ten axioms of what makes something a vector space. So for example in $Bbb R^2$, we have that $vecx + vecy = vecy + vec x$, etc..
linear-algebra vector-spaces
asked Apr 9 at 1:59
mingming
4606
$endgroup$
We know that a subspace is a vector space that follows the same addition and multiplication rules as $Bbb V$, but is a vector space a subspace of itself?
Also, I'm getting confused doing the practice questions, on when we prove that something is a vector space by using the subspace test and when we prove V1 - V10.
Edit: V1 - V10 are the ten axioms of what makes something a vector space. So for example in $Bbb R^2$, we have that $vecx + vecy = vecy + vec x$, etc..
linear-algebra vector-spaces
linear-algebra vector-spaces
asked Apr 9 at 1:59
mingming
4606
asked Apr 9 at 1:59
mingming
4606
edited Apr 9 at 16:40
ming
asked Apr 9 at 1:59
mingming
4606
asked Apr 9 at 1:59
mingming
4606
asked Apr 9 at 1:59
mingming
4606
4606
closed as off-topic by Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur Apr 13 at 12:05
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur
closed as off-topic by Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur Apr 13 at 12:05
This question appears to be off-topic. The users who voted to close gave this specific reason:
- "This question is missing context or other details: Please provide additional context, which ideally explains why the question is relevant to you and our community. Some forms of context include: background and motivation, relevant definitions, source, possible strategies, your current progress, why the question is interesting or important, etc." – Xander Henderson, user21820, Saad, Lord Shark the Unknown, Maria Mazur
1
$begingroup$
How do you define a subspace of a vector space?
$endgroup$
– Brian
Apr 9 at 2:02
3
$begingroup$
Is a set a subset of itself?? What’s V1-V10?
$endgroup$
– J. W. Tanner
Apr 9 at 2:16
2
$begingroup$
The term "proper" subspace is often used to denote a subspace space that is not the entire vector space.
$endgroup$
– Theo Bendit
Apr 9 at 2:19
4
$begingroup$
As other commenters have noted, your question lacks context. Please edit your question to include more context, lest your question be closed. Please give a definition of a subspace. Please explain what V1 - V10 means. If you are working from a particular text, a citation to that text would be helpful, too.
$endgroup$
– Xander Henderson
Apr 9 at 3:39
3
$begingroup$
@CompuChip That's not a usage of "proper set" that I'm accustomed to, but I can certainly imagine it being used by certain fields of maths. I would instead say "proper, non-trivial" to mean not the whole set/space, and not the empty set/$0$ subspace.
$endgroup$
– Theo Bendit
Apr 9 at 8:57
|
show 3 more comments
1
$begingroup$
How do you define a subspace of a vector space?
$endgroup$
– Brian
Apr 9 at 2:02
3
$begingroup$
Is a set a subset of itself?? What’s V1-V10?
$endgroup$
– J. W. Tanner
Apr 9 at 2:16
2
$begingroup$
The term "proper" subspace is often used to denote a subspace space that is not the entire vector space.
$endgroup$
– Theo Bendit
Apr 9 at 2:19
4
$begingroup$
As other commenters have noted, your question lacks context. Please edit your question to include more context, lest your question be closed. Please give a definition of a subspace. Please explain what V1 - V10 means. If you are working from a particular text, a citation to that text would be helpful, too.
$endgroup$
– Xander Henderson
Apr 9 at 3:39
3
$begingroup$
@CompuChip That's not a usage of "proper set" that I'm accustomed to, but I can certainly imagine it being used by certain fields of maths. I would instead say "proper, non-trivial" to mean not the whole set/space, and not the empty set/$0$ subspace.
$endgroup$
– Theo Bendit
Apr 9 at 8:57
1
1
$begingroup$
How do you define a subspace of a vector space?
$endgroup$
– Brian
Apr 9 at 2:02
$begingroup$
How do you define a subspace of a vector space?
$endgroup$
– Brian
Apr 9 at 2:02
3
3
$begingroup$
Is a set a subset of itself?? What’s V1-V10?
$endgroup$
– J. W. Tanner
Apr 9 at 2:16
$begingroup$
Is a set a subset of itself?? What’s V1-V10?
$endgroup$
– J. W. Tanner
Apr 9 at 2:16
2
2
$begingroup$
The term "proper" subspace is often used to denote a subspace space that is not the entire vector space.
$endgroup$
– Theo Bendit
Apr 9 at 2:19
$begingroup$
The term "proper" subspace is often used to denote a subspace space that is not the entire vector space.
$endgroup$
– Theo Bendit
Apr 9 at 2:19
4
4
$begingroup$
As other commenters have noted, your question lacks context. Please edit your question to include more context, lest your question be closed. Please give a definition of a subspace. Please explain what V1 - V10 means. If you are working from a particular text, a citation to that text would be helpful, too.
$endgroup$
– Xander Henderson
Apr 9 at 3:39
$begingroup$
As other commenters have noted, your question lacks context. Please edit your question to include more context, lest your question be closed. Please give a definition of a subspace. Please explain what V1 - V10 means. If you are working from a particular text, a citation to that text would be helpful, too.
$endgroup$
– Xander Henderson
Apr 9 at 3:39
3
3
$begingroup$
@CompuChip That's not a usage of "proper set" that I'm accustomed to, but I can certainly imagine it being used by certain fields of maths. I would instead say "proper, non-trivial" to mean not the whole set/space, and not the empty set/$0$ subspace.
$endgroup$
– Theo Bendit
Apr 9 at 8:57
$begingroup$
@CompuChip That's not a usage of "proper set" that I'm accustomed to, but I can certainly imagine it being used by certain fields of maths. I would instead say "proper, non-trivial" to mean not the whole set/space, and not the empty set/$0$ subspace.
$endgroup$
– Theo Bendit
Apr 9 at 8:57
|
show 3 more comments
2 Answers
2
active
oldest
votes
$begingroup$
I'm guessing that V1 - V10 are the axioms for proving vector spaces.
To prove something is a vector space, independent of any other vector spaces you know of, you are required to prove all of the axioms in the definition. Not all operations that call themselves $+$ are worthy addition operations; just because you denote it $+$ does not mean it is (for example) associative, or has an additive identity.
There is a lot to prove, because there's a lot to gain. Vector spaces have a simply enormous amount of structure, and that structure gives us a really rich theory and powerful tools. If you have an object that you wish to understand better, and you can show it is a vector space (or at least, related to a vector space), then you'll instantly have some serious mathematical firepower at your fingertips.
Subspaces give us a shortcut to proving a vector space. If you have a subset of a known vector space, then you can prove just $3$ properties, rather than $10$. We can skip a lot of the steps because somebody has already done them previously when showing the larger vector space is indeed a vector space. You don't need to show, for example, $v + w = w + v$ for all $v, w$ in your subset, because we already know this is true for all vectors in the larger vector space.
I'm writing this, not as a direct answer to your question (which Jose Carlos Santos has answered already), but because confusion like this often stems from some sloppiness on the above point. I've seen many students (and, lamentably, several instructors) fail to grasp that showing the subspace conditions on a set that is not clearly a subset of a known vector space does not prove a vector space. The shortcut works because somebody has already established most of the axioms beforehand, but if this is not true, then the argument is a fallacy.
You can absolutely apply the subspace conditions on the whole of a vector space provided you've proven it's a vector space already with axioms V1 - V10.
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
$endgroup$
1
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
1
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
add a comment |
$begingroup$
Yes, every vector space is a vector subspace of itself, since it is a non-empty subset of itself which is closed with respect to addition and with respect to product by scalars.
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
$endgroup$
add a comment |
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I'm guessing that V1 - V10 are the axioms for proving vector spaces.
To prove something is a vector space, independent of any other vector spaces you know of, you are required to prove all of the axioms in the definition. Not all operations that call themselves $+$ are worthy addition operations; just because you denote it $+$ does not mean it is (for example) associative, or has an additive identity.
There is a lot to prove, because there's a lot to gain. Vector spaces have a simply enormous amount of structure, and that structure gives us a really rich theory and powerful tools. If you have an object that you wish to understand better, and you can show it is a vector space (or at least, related to a vector space), then you'll instantly have some serious mathematical firepower at your fingertips.
Subspaces give us a shortcut to proving a vector space. If you have a subset of a known vector space, then you can prove just $3$ properties, rather than $10$. We can skip a lot of the steps because somebody has already done them previously when showing the larger vector space is indeed a vector space. You don't need to show, for example, $v + w = w + v$ for all $v, w$ in your subset, because we already know this is true for all vectors in the larger vector space.
I'm writing this, not as a direct answer to your question (which Jose Carlos Santos has answered already), but because confusion like this often stems from some sloppiness on the above point. I've seen many students (and, lamentably, several instructors) fail to grasp that showing the subspace conditions on a set that is not clearly a subset of a known vector space does not prove a vector space. The shortcut works because somebody has already established most of the axioms beforehand, but if this is not true, then the argument is a fallacy.
You can absolutely apply the subspace conditions on the whole of a vector space provided you've proven it's a vector space already with axioms V1 - V10.
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
$endgroup$
1
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
1
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
add a comment |
$begingroup$
I'm guessing that V1 - V10 are the axioms for proving vector spaces.
To prove something is a vector space, independent of any other vector spaces you know of, you are required to prove all of the axioms in the definition. Not all operations that call themselves $+$ are worthy addition operations; just because you denote it $+$ does not mean it is (for example) associative, or has an additive identity.
There is a lot to prove, because there's a lot to gain. Vector spaces have a simply enormous amount of structure, and that structure gives us a really rich theory and powerful tools. If you have an object that you wish to understand better, and you can show it is a vector space (or at least, related to a vector space), then you'll instantly have some serious mathematical firepower at your fingertips.
Subspaces give us a shortcut to proving a vector space. If you have a subset of a known vector space, then you can prove just $3$ properties, rather than $10$. We can skip a lot of the steps because somebody has already done them previously when showing the larger vector space is indeed a vector space. You don't need to show, for example, $v + w = w + v$ for all $v, w$ in your subset, because we already know this is true for all vectors in the larger vector space.
I'm writing this, not as a direct answer to your question (which Jose Carlos Santos has answered already), but because confusion like this often stems from some sloppiness on the above point. I've seen many students (and, lamentably, several instructors) fail to grasp that showing the subspace conditions on a set that is not clearly a subset of a known vector space does not prove a vector space. The shortcut works because somebody has already established most of the axioms beforehand, but if this is not true, then the argument is a fallacy.
You can absolutely apply the subspace conditions on the whole of a vector space provided you've proven it's a vector space already with axioms V1 - V10.
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
$endgroup$
1
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
1
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
add a comment |
$begingroup$
I'm guessing that V1 - V10 are the axioms for proving vector spaces.
To prove something is a vector space, independent of any other vector spaces you know of, you are required to prove all of the axioms in the definition. Not all operations that call themselves $+$ are worthy addition operations; just because you denote it $+$ does not mean it is (for example) associative, or has an additive identity.
There is a lot to prove, because there's a lot to gain. Vector spaces have a simply enormous amount of structure, and that structure gives us a really rich theory and powerful tools. If you have an object that you wish to understand better, and you can show it is a vector space (or at least, related to a vector space), then you'll instantly have some serious mathematical firepower at your fingertips.
Subspaces give us a shortcut to proving a vector space. If you have a subset of a known vector space, then you can prove just $3$ properties, rather than $10$. We can skip a lot of the steps because somebody has already done them previously when showing the larger vector space is indeed a vector space. You don't need to show, for example, $v + w = w + v$ for all $v, w$ in your subset, because we already know this is true for all vectors in the larger vector space.
I'm writing this, not as a direct answer to your question (which Jose Carlos Santos has answered already), but because confusion like this often stems from some sloppiness on the above point. I've seen many students (and, lamentably, several instructors) fail to grasp that showing the subspace conditions on a set that is not clearly a subset of a known vector space does not prove a vector space. The shortcut works because somebody has already established most of the axioms beforehand, but if this is not true, then the argument is a fallacy.
You can absolutely apply the subspace conditions on the whole of a vector space provided you've proven it's a vector space already with axioms V1 - V10.
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
$endgroup$
I'm guessing that V1 - V10 are the axioms for proving vector spaces.
To prove something is a vector space, independent of any other vector spaces you know of, you are required to prove all of the axioms in the definition. Not all operations that call themselves $+$ are worthy addition operations; just because you denote it $+$ does not mean it is (for example) associative, or has an additive identity.
There is a lot to prove, because there's a lot to gain. Vector spaces have a simply enormous amount of structure, and that structure gives us a really rich theory and powerful tools. If you have an object that you wish to understand better, and you can show it is a vector space (or at least, related to a vector space), then you'll instantly have some serious mathematical firepower at your fingertips.
Subspaces give us a shortcut to proving a vector space. If you have a subset of a known vector space, then you can prove just $3$ properties, rather than $10$. We can skip a lot of the steps because somebody has already done them previously when showing the larger vector space is indeed a vector space. You don't need to show, for example, $v + w = w + v$ for all $v, w$ in your subset, because we already know this is true for all vectors in the larger vector space.
I'm writing this, not as a direct answer to your question (which Jose Carlos Santos has answered already), but because confusion like this often stems from some sloppiness on the above point. I've seen many students (and, lamentably, several instructors) fail to grasp that showing the subspace conditions on a set that is not clearly a subset of a known vector space does not prove a vector space. The shortcut works because somebody has already established most of the axioms beforehand, but if this is not true, then the argument is a fallacy.
You can absolutely apply the subspace conditions on the whole of a vector space provided you've proven it's a vector space already with axioms V1 - V10.
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
answered Apr 9 at 2:54
Theo BenditTheo Bendit
21.6k12356
21.6k12356
1
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
1
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
add a comment |
1
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
1
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
1
1
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
$begingroup$
Ohh okay I think I understand. So when we prove that something is a subspace of say $Bbb R^2$, we don't have to prove that $c(vecx + vecy) = cvecx + cvecy$ because we already know that's true inside of $Bbb R^2$ and we know this subspace is a vector space INSIDE of $Bbb R^2$ following all its rules.
$endgroup$
– ming
Apr 9 at 16:37
1
1
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
But then for questions like "A sequence is a infinite list of real numbers. For example 1, 2, 3, 4, 5 is a sequence, and so is 1, -1, 2, -2, 4, -4. We define addition and scalar multiplication so that...." We actually don't have any known information/facts about this vector space so then we need to prove all ten axioms?
$endgroup$
– ming
Apr 9 at 16:39
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
$begingroup$
@ming Exactly. Couldn't put it better myself.
$endgroup$
– Theo Bendit
Apr 9 at 22:34
add a comment |
$begingroup$
Yes, every vector space is a vector subspace of itself, since it is a non-empty subset of itself which is closed with respect to addition and with respect to product by scalars.
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
$endgroup$
add a comment |
$begingroup$
Yes, every vector space is a vector subspace of itself, since it is a non-empty subset of itself which is closed with respect to addition and with respect to product by scalars.
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
$endgroup$
add a comment |
$begingroup$
Yes, every vector space is a vector subspace of itself, since it is a non-empty subset of itself which is closed with respect to addition and with respect to product by scalars.
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
$endgroup$
Yes, every vector space is a vector subspace of itself, since it is a non-empty subset of itself which is closed with respect to addition and with respect to product by scalars.
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
answered Apr 9 at 2:06
José Carlos SantosJosé Carlos Santos
179k24139254
179k24139254
add a comment |
add a comment |
1
$begingroup$
How do you define a subspace of a vector space?
$endgroup$
– Brian
Apr 9 at 2:02
3
$begingroup$
Is a set a subset of itself?? What’s V1-V10?
$endgroup$
– J. W. Tanner
Apr 9 at 2:16
2
$begingroup$
The term "proper" subspace is often used to denote a subspace space that is not the entire vector space.
$endgroup$
– Theo Bendit
Apr 9 at 2:19
4
$begingroup$
As other commenters have noted, your question lacks context. Please edit your question to include more context, lest your question be closed. Please give a definition of a subspace. Please explain what V1 - V10 means. If you are working from a particular text, a citation to that text would be helpful, too.
$endgroup$
– Xander Henderson
Apr 9 at 3:39
3
$begingroup$
@CompuChip That's not a usage of "proper set" that I'm accustomed to, but I can certainly imagine it being used by certain fields of maths. I would instead say "proper, non-trivial" to mean not the whole set/space, and not the empty set/$0$ subspace.
$endgroup$
– Theo Bendit
Apr 9 at 8:57