Vector spaces. When in the real world are we checking if it's a vector space or not?
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
I am reading this text:
When in the real world are we checking to see if sets are vector spaces or not? The examples above seem like really specific sets...
Are there any places where we redefined scalar multiplication like this?
linear-algebra
add a comment |Â
up vote
1
down vote
favorite
I am reading this text:
When in the real world are we checking to see if sets are vector spaces or not? The examples above seem like really specific sets...
Are there any places where we redefined scalar multiplication like this?
linear-algebra
Here are a few examples of vector spaces: the null space and range of a linear transformation; the set of all solutions to a homogeneous linear differential equation; the set of all polynomials; the set of all continuous functions $f:[0,1] to mathbb R$; the set of all symmetric $n times n$ matrices. In each case, we must check that the axioms of a vector space are satisfied (assuming addition and scalar multiplication are defined in the obvious ways). But it's usually pretty easy to check that.
â littleO
9 mins ago
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I am reading this text:
When in the real world are we checking to see if sets are vector spaces or not? The examples above seem like really specific sets...
Are there any places where we redefined scalar multiplication like this?
linear-algebra
I am reading this text:
When in the real world are we checking to see if sets are vector spaces or not? The examples above seem like really specific sets...
Are there any places where we redefined scalar multiplication like this?
linear-algebra
linear-algebra
asked 1 hour ago
Jwan622
1,86011224
1,86011224
Here are a few examples of vector spaces: the null space and range of a linear transformation; the set of all solutions to a homogeneous linear differential equation; the set of all polynomials; the set of all continuous functions $f:[0,1] to mathbb R$; the set of all symmetric $n times n$ matrices. In each case, we must check that the axioms of a vector space are satisfied (assuming addition and scalar multiplication are defined in the obvious ways). But it's usually pretty easy to check that.
â littleO
9 mins ago
add a comment |Â
Here are a few examples of vector spaces: the null space and range of a linear transformation; the set of all solutions to a homogeneous linear differential equation; the set of all polynomials; the set of all continuous functions $f:[0,1] to mathbb R$; the set of all symmetric $n times n$ matrices. In each case, we must check that the axioms of a vector space are satisfied (assuming addition and scalar multiplication are defined in the obvious ways). But it's usually pretty easy to check that.
â littleO
9 mins ago
Here are a few examples of vector spaces: the null space and range of a linear transformation; the set of all solutions to a homogeneous linear differential equation; the set of all polynomials; the set of all continuous functions $f:[0,1] to mathbb R$; the set of all symmetric $n times n$ matrices. In each case, we must check that the axioms of a vector space are satisfied (assuming addition and scalar multiplication are defined in the obvious ways). But it's usually pretty easy to check that.
â littleO
9 mins ago
Here are a few examples of vector spaces: the null space and range of a linear transformation; the set of all solutions to a homogeneous linear differential equation; the set of all polynomials; the set of all continuous functions $f:[0,1] to mathbb R$; the set of all symmetric $n times n$ matrices. In each case, we must check that the axioms of a vector space are satisfied (assuming addition and scalar multiplication are defined in the obvious ways). But it's usually pretty easy to check that.
â littleO
9 mins ago
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
3
down vote
Vector spaces, and vector space-like sets, crop up in a lot of places. The specific example here is artificial, yes, but it is meant to show that we need to be careful when checking whether a set of vector-like objects, together with two operations (vector addition and scalar multiplication), actually is a vector space or not.
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
add a comment |Â
up vote
2
down vote
You'll never have to prove something is a vector space in real life. You may want to prove something is a vector space, because vector spaces have a simply enormous amount of theory proven about them, and the non-trivial fact that you wish to establish about your specific object might boil down to a much more general, well-known result about vector spaces.
Here's my favourite example. It's still a little artificial, but I came by it through simple curiousity, rather than any course, or the search for an example.
Consider the logic puzzle here. It's a classic. You have a $5 times 5$ grid of squares, coloured black or white. Every time you press a square, it changes the square and the (up to four) adjacent squares from black to white or white to black. Your job is to press squares in such a way that you end up with every square being white.
So, my question to you is, can you form any configuration of white and black squares by pressing these squares? Put another way, is any $5 times 5$ grid of black and white squares a valid puzzle with a valid solution?
Well, it turns out that this can be easily answered using linear algebra. We form a vector space of $5 times 5$ matrices whose entries are in the field $mathbbZ_2 = lbrace 0, 1 rbrace$. We represent white squares with $0$ and black squares with $1$. Such a vector space is finite, and contains $2^25$ vectors. Note that every vector is its own additive inverse (as is the case for any vector space over $mathbbZ_2$).
Also note that the usual standard basis, consisting of matrices with $0$ everywhere, except for a single $1$ in one entry, forms a basis for our vector space. Therefore, the dimension of the space is $25$.
Pressing each square corresponds to adding one of $25$ vectors to the current vector. For example, pressing the top left square will add the vector
$$beginpmatrix
1 & 1 & 0 & 0 & 0 \
1 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0
endpmatrix.$$
We are trying to find, therefore, a linear combination of these $25$ vectors that will sum to the current vector (remember $-v = v$ for all our vectors $v$).
So, my question that I posed to you, boils down to asking whether these $25$ vectors span the $25$-dimensional space. Due to standard results in finite-dimensional linear algebra, this is equivalent to asking whether the set of $25$ vectors is linearly independent.
The answer is, no, they are not linearly independent. In particular, if you press the buttons highlighted in the following picture, you'll obtain the white grid again, i.e. the additive identity.
Therefore, we have a non-trivial linear combination of the vectors, so they are linearly dependent, and hence not spanning. That is, there must exist certain configurations that cannot be attained, i.e. there are invalid puzzles with no solution.
The linear dependency I found while playing the game myself, and noticing some of the asymmetries of the automatically generated solutions, even when the problem itself was symmetric. Proving the linear dependence is as easy as showing the above picture. I still don't know of an elegant way to find an example of a puzzle that can't be solved though! So, my proof is somewhat non-constructive, and very easy if you know some linear algebra, and are willing to prove that a set is a vector space.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
3
down vote
Vector spaces, and vector space-like sets, crop up in a lot of places. The specific example here is artificial, yes, but it is meant to show that we need to be careful when checking whether a set of vector-like objects, together with two operations (vector addition and scalar multiplication), actually is a vector space or not.
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
add a comment |Â
up vote
3
down vote
Vector spaces, and vector space-like sets, crop up in a lot of places. The specific example here is artificial, yes, but it is meant to show that we need to be careful when checking whether a set of vector-like objects, together with two operations (vector addition and scalar multiplication), actually is a vector space or not.
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
add a comment |Â
up vote
3
down vote
up vote
3
down vote
Vector spaces, and vector space-like sets, crop up in a lot of places. The specific example here is artificial, yes, but it is meant to show that we need to be careful when checking whether a set of vector-like objects, together with two operations (vector addition and scalar multiplication), actually is a vector space or not.
Vector spaces, and vector space-like sets, crop up in a lot of places. The specific example here is artificial, yes, but it is meant to show that we need to be careful when checking whether a set of vector-like objects, together with two operations (vector addition and scalar multiplication), actually is a vector space or not.
answered 1 hour ago
vadim123
74.4k895185
74.4k895185
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
add a comment |Â
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
Oh okay, so the examples given are artificial? Like we're often not checking vector spaces and vector space like sets that are this specific right?
â Jwan622
39 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
They will be specific, but typically considerably more complicated (and harder to check the vector space axioms).
â vadim123
12 mins ago
add a comment |Â
up vote
2
down vote
You'll never have to prove something is a vector space in real life. You may want to prove something is a vector space, because vector spaces have a simply enormous amount of theory proven about them, and the non-trivial fact that you wish to establish about your specific object might boil down to a much more general, well-known result about vector spaces.
Here's my favourite example. It's still a little artificial, but I came by it through simple curiousity, rather than any course, or the search for an example.
Consider the logic puzzle here. It's a classic. You have a $5 times 5$ grid of squares, coloured black or white. Every time you press a square, it changes the square and the (up to four) adjacent squares from black to white or white to black. Your job is to press squares in such a way that you end up with every square being white.
So, my question to you is, can you form any configuration of white and black squares by pressing these squares? Put another way, is any $5 times 5$ grid of black and white squares a valid puzzle with a valid solution?
Well, it turns out that this can be easily answered using linear algebra. We form a vector space of $5 times 5$ matrices whose entries are in the field $mathbbZ_2 = lbrace 0, 1 rbrace$. We represent white squares with $0$ and black squares with $1$. Such a vector space is finite, and contains $2^25$ vectors. Note that every vector is its own additive inverse (as is the case for any vector space over $mathbbZ_2$).
Also note that the usual standard basis, consisting of matrices with $0$ everywhere, except for a single $1$ in one entry, forms a basis for our vector space. Therefore, the dimension of the space is $25$.
Pressing each square corresponds to adding one of $25$ vectors to the current vector. For example, pressing the top left square will add the vector
$$beginpmatrix
1 & 1 & 0 & 0 & 0 \
1 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0
endpmatrix.$$
We are trying to find, therefore, a linear combination of these $25$ vectors that will sum to the current vector (remember $-v = v$ for all our vectors $v$).
So, my question that I posed to you, boils down to asking whether these $25$ vectors span the $25$-dimensional space. Due to standard results in finite-dimensional linear algebra, this is equivalent to asking whether the set of $25$ vectors is linearly independent.
The answer is, no, they are not linearly independent. In particular, if you press the buttons highlighted in the following picture, you'll obtain the white grid again, i.e. the additive identity.
Therefore, we have a non-trivial linear combination of the vectors, so they are linearly dependent, and hence not spanning. That is, there must exist certain configurations that cannot be attained, i.e. there are invalid puzzles with no solution.
The linear dependency I found while playing the game myself, and noticing some of the asymmetries of the automatically generated solutions, even when the problem itself was symmetric. Proving the linear dependence is as easy as showing the above picture. I still don't know of an elegant way to find an example of a puzzle that can't be solved though! So, my proof is somewhat non-constructive, and very easy if you know some linear algebra, and are willing to prove that a set is a vector space.
add a comment |Â
up vote
2
down vote
You'll never have to prove something is a vector space in real life. You may want to prove something is a vector space, because vector spaces have a simply enormous amount of theory proven about them, and the non-trivial fact that you wish to establish about your specific object might boil down to a much more general, well-known result about vector spaces.
Here's my favourite example. It's still a little artificial, but I came by it through simple curiousity, rather than any course, or the search for an example.
Consider the logic puzzle here. It's a classic. You have a $5 times 5$ grid of squares, coloured black or white. Every time you press a square, it changes the square and the (up to four) adjacent squares from black to white or white to black. Your job is to press squares in such a way that you end up with every square being white.
So, my question to you is, can you form any configuration of white and black squares by pressing these squares? Put another way, is any $5 times 5$ grid of black and white squares a valid puzzle with a valid solution?
Well, it turns out that this can be easily answered using linear algebra. We form a vector space of $5 times 5$ matrices whose entries are in the field $mathbbZ_2 = lbrace 0, 1 rbrace$. We represent white squares with $0$ and black squares with $1$. Such a vector space is finite, and contains $2^25$ vectors. Note that every vector is its own additive inverse (as is the case for any vector space over $mathbbZ_2$).
Also note that the usual standard basis, consisting of matrices with $0$ everywhere, except for a single $1$ in one entry, forms a basis for our vector space. Therefore, the dimension of the space is $25$.
Pressing each square corresponds to adding one of $25$ vectors to the current vector. For example, pressing the top left square will add the vector
$$beginpmatrix
1 & 1 & 0 & 0 & 0 \
1 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0
endpmatrix.$$
We are trying to find, therefore, a linear combination of these $25$ vectors that will sum to the current vector (remember $-v = v$ for all our vectors $v$).
So, my question that I posed to you, boils down to asking whether these $25$ vectors span the $25$-dimensional space. Due to standard results in finite-dimensional linear algebra, this is equivalent to asking whether the set of $25$ vectors is linearly independent.
The answer is, no, they are not linearly independent. In particular, if you press the buttons highlighted in the following picture, you'll obtain the white grid again, i.e. the additive identity.
Therefore, we have a non-trivial linear combination of the vectors, so they are linearly dependent, and hence not spanning. That is, there must exist certain configurations that cannot be attained, i.e. there are invalid puzzles with no solution.
The linear dependency I found while playing the game myself, and noticing some of the asymmetries of the automatically generated solutions, even when the problem itself was symmetric. Proving the linear dependence is as easy as showing the above picture. I still don't know of an elegant way to find an example of a puzzle that can't be solved though! So, my proof is somewhat non-constructive, and very easy if you know some linear algebra, and are willing to prove that a set is a vector space.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
You'll never have to prove something is a vector space in real life. You may want to prove something is a vector space, because vector spaces have a simply enormous amount of theory proven about them, and the non-trivial fact that you wish to establish about your specific object might boil down to a much more general, well-known result about vector spaces.
Here's my favourite example. It's still a little artificial, but I came by it through simple curiousity, rather than any course, or the search for an example.
Consider the logic puzzle here. It's a classic. You have a $5 times 5$ grid of squares, coloured black or white. Every time you press a square, it changes the square and the (up to four) adjacent squares from black to white or white to black. Your job is to press squares in such a way that you end up with every square being white.
So, my question to you is, can you form any configuration of white and black squares by pressing these squares? Put another way, is any $5 times 5$ grid of black and white squares a valid puzzle with a valid solution?
Well, it turns out that this can be easily answered using linear algebra. We form a vector space of $5 times 5$ matrices whose entries are in the field $mathbbZ_2 = lbrace 0, 1 rbrace$. We represent white squares with $0$ and black squares with $1$. Such a vector space is finite, and contains $2^25$ vectors. Note that every vector is its own additive inverse (as is the case for any vector space over $mathbbZ_2$).
Also note that the usual standard basis, consisting of matrices with $0$ everywhere, except for a single $1$ in one entry, forms a basis for our vector space. Therefore, the dimension of the space is $25$.
Pressing each square corresponds to adding one of $25$ vectors to the current vector. For example, pressing the top left square will add the vector
$$beginpmatrix
1 & 1 & 0 & 0 & 0 \
1 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0
endpmatrix.$$
We are trying to find, therefore, a linear combination of these $25$ vectors that will sum to the current vector (remember $-v = v$ for all our vectors $v$).
So, my question that I posed to you, boils down to asking whether these $25$ vectors span the $25$-dimensional space. Due to standard results in finite-dimensional linear algebra, this is equivalent to asking whether the set of $25$ vectors is linearly independent.
The answer is, no, they are not linearly independent. In particular, if you press the buttons highlighted in the following picture, you'll obtain the white grid again, i.e. the additive identity.
Therefore, we have a non-trivial linear combination of the vectors, so they are linearly dependent, and hence not spanning. That is, there must exist certain configurations that cannot be attained, i.e. there are invalid puzzles with no solution.
The linear dependency I found while playing the game myself, and noticing some of the asymmetries of the automatically generated solutions, even when the problem itself was symmetric. Proving the linear dependence is as easy as showing the above picture. I still don't know of an elegant way to find an example of a puzzle that can't be solved though! So, my proof is somewhat non-constructive, and very easy if you know some linear algebra, and are willing to prove that a set is a vector space.
You'll never have to prove something is a vector space in real life. You may want to prove something is a vector space, because vector spaces have a simply enormous amount of theory proven about them, and the non-trivial fact that you wish to establish about your specific object might boil down to a much more general, well-known result about vector spaces.
Here's my favourite example. It's still a little artificial, but I came by it through simple curiousity, rather than any course, or the search for an example.
Consider the logic puzzle here. It's a classic. You have a $5 times 5$ grid of squares, coloured black or white. Every time you press a square, it changes the square and the (up to four) adjacent squares from black to white or white to black. Your job is to press squares in such a way that you end up with every square being white.
So, my question to you is, can you form any configuration of white and black squares by pressing these squares? Put another way, is any $5 times 5$ grid of black and white squares a valid puzzle with a valid solution?
Well, it turns out that this can be easily answered using linear algebra. We form a vector space of $5 times 5$ matrices whose entries are in the field $mathbbZ_2 = lbrace 0, 1 rbrace$. We represent white squares with $0$ and black squares with $1$. Such a vector space is finite, and contains $2^25$ vectors. Note that every vector is its own additive inverse (as is the case for any vector space over $mathbbZ_2$).
Also note that the usual standard basis, consisting of matrices with $0$ everywhere, except for a single $1$ in one entry, forms a basis for our vector space. Therefore, the dimension of the space is $25$.
Pressing each square corresponds to adding one of $25$ vectors to the current vector. For example, pressing the top left square will add the vector
$$beginpmatrix
1 & 1 & 0 & 0 & 0 \
1 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0 \
0 & 0 & 0 & 0 & 0
endpmatrix.$$
We are trying to find, therefore, a linear combination of these $25$ vectors that will sum to the current vector (remember $-v = v$ for all our vectors $v$).
So, my question that I posed to you, boils down to asking whether these $25$ vectors span the $25$-dimensional space. Due to standard results in finite-dimensional linear algebra, this is equivalent to asking whether the set of $25$ vectors is linearly independent.
The answer is, no, they are not linearly independent. In particular, if you press the buttons highlighted in the following picture, you'll obtain the white grid again, i.e. the additive identity.
Therefore, we have a non-trivial linear combination of the vectors, so they are linearly dependent, and hence not spanning. That is, there must exist certain configurations that cannot be attained, i.e. there are invalid puzzles with no solution.
The linear dependency I found while playing the game myself, and noticing some of the asymmetries of the automatically generated solutions, even when the problem itself was symmetric. Proving the linear dependence is as easy as showing the above picture. I still don't know of an elegant way to find an example of a puzzle that can't be solved though! So, my proof is somewhat non-constructive, and very easy if you know some linear algebra, and are willing to prove that a set is a vector space.
answered 25 mins ago
Theo Bendit
13.1k1944
13.1k1944
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2919706%2fvector-spaces-when-in-the-real-world-are-we-checking-if-its-a-vector-space-or%23new-answer', 'question_page');
);
Post as a guest
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
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
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
Here are a few examples of vector spaces: the null space and range of a linear transformation; the set of all solutions to a homogeneous linear differential equation; the set of all polynomials; the set of all continuous functions $f:[0,1] to mathbb R$; the set of all symmetric $n times n$ matrices. In each case, we must check that the axioms of a vector space are satisfied (assuming addition and scalar multiplication are defined in the obvious ways). But it's usually pretty easy to check that.
â littleO
9 mins ago