• Support PF! Buy your school textbooks, materials and every day products Here!

Is this subset a subspace

  • Thread starter bugatti79
  • Start date
  • #1
719
1
Is the subset A a subspace of W

[tex]W=\left \{ \begin{bmatrix}
1 &1 \\
a_{21}& a_{22} \\
a_{31}& a_{32}
\end{bmatrix} :a_{ij} \in \mathbb{C}\right \}[/tex]

Let [tex]A=\begin{bmatrix}
1 &1 \\
a_{21}& a_{22}\\
a_{31}& a_{32}
\end{bmatrix}[/tex]

[tex]A \in W[/tex]

Then [tex]2A \in W[/tex] since

[tex]2A=2\begin{bmatrix}
1 &1 \\
a_{21}& a_{22}\\
a_{31}& a_{32}
\end{bmatrix}[/tex]

Is this correct? My notes is telling its NOT closed under scalar multiplication which I dont think is correct.
 
Last edited by a moderator:

Answers and Replies

  • #2
1,086
2
What exactly is A, a matrix? Or what do the two lines around the components mean? In any case, multiply 2A and write it out, so that you have it in the form with the two lines around it. You should then be able to see why this isn't a subspace.

(Unless those two lines stand for something else than what I had in mind.)
 
  • #3
33,284
4,989
2A is NOT in W since the entries in the top row aren't both 1.

Ryker, A is a matrix. I changed the OP's LaTeX so that it didn't look like a determinant.
 
  • #4
719
1
2A is NOT in W since the entries in the top row aren't both 1.

Ryker, A is a matrix. I changed the OP's LaTeX so that it didn't look like a determinant.
Thanks for the clarification on the lines.

Ok, so this is true for any scalar [tex]\alpha \in \mathbb{R}[/tex]?
 
  • #5
1,086
2
No, it's not true for any scalar (it is true for all but one - can you tell, which one?), but to show this subset is not a subspace, you only need to find one scalar where this fails.
 
  • #6
719
1
Now I am confused...
Based on post #3, it is NOT a subspace because the 1's are not present in the matrix due to multiplication of real scalar '2'. I thought this WOULD be true for [tex]\alpha \in (0,\infty)[/tex] where the round brackets mean excluding 0 and infinity.

But you are saying its not true for all real scalars....?!
 
  • #7
33,284
4,989
No, it's not true for any scalar (it is true for all but one - can you tell, which one?),
I think you mean that it's true for only one scalar.
but to show this subset is not a subspace, you only need to find one scalar where this fails.
 
  • #8
33,284
4,989
Now I am confused...
Based on post #3, it is NOT a subspace because the 1's are not present in the matrix due to multiplication of real scalar '2'. I thought this WOULD be true for [tex]\alpha \in (0,\infty)[/tex] where the round brackets mean excluding 0 and infinity.

But you are saying its not true for all real scalars....?!
What post #3 is saying is that, in general, if A [itex]\in[/itex] W, then cA [itex]\notin[/itex] W, so scalar multiplication is not closed in W.

BTW, why are you limiting you scalars to positive real numbers? Set W has matrices with entries from C, the field of complex numbers. Any scalars would also come from this field.
 
  • #9
719
1
What post #3 is saying is that, in general, if A [itex]\in[/itex] W, then cA [itex]\notin[/itex] W, so scalar multiplication is not closed in W.

BTW, why are you limiting you scalars to positive real numbers? Set W has matrices with entries from C, the field of complex numbers. Any scalars would also come from this field.
Ok,

TO clarify...the subset is not a subspace for all scalars [tex]\in \mathbb{C}[/tex] except the scalar '1'...that it?
 
  • #10
1,086
2
I think you mean that it's true for only one scalar.
I thought by "is this true for all scalars" he meant "is it true for all scalars a, that aA is not an element of W" :smile: So this would be true for all scalars, except for one, for which it would hold that aA is in W. So much confusion :smile:
 
  • #11
1,086
2
Ok,

TO clarify...the subset is not a subspace for all scalars [tex]\in \mathbb{C}[/tex] except the scalar '1'...that it?
No, you can't say the subset is a subspace for all scalars except for one. Either it is a subspace or it isn't.
 
  • #12
719
1
No, it's not true for any scalar (it is true for all but one - can you tell, which one?), but to show this subset is not a subspace, you only need to find one scalar where this fails.
ok, which scalar makes A a subspace....? It cant be 0, i, infinity.....I havent a clue....?
 
  • #13
33,284
4,989
None, and that's the point of this exercise. A is NOT a subspace of the space of 3 X 2 matrices with entries from C.

Set A is not closed under scalar multiplication. This set is also not closed under addition.
 
  • #14
719
1
ok, cheers!
 
  • #15
1,086
2
As mentioned above, by "it is true for all but one", I meant that multiplying A by a particular scalar (call it "a"), will result in an element of W, i.e. aA is in W, but if you multiply A by any other scalar, say, "b", bA is not in W.

Other than that, perhaps revisit the definition of a subspace. No scalar can make a subspace, since being a subspace is a property of the set itself. So if scalar multiplication with an element of your set results in another element of your set, then the set is closed under scalar multiplication. But if you can find one (or two or a thousand or infinitely many) scalar for which this statement is not true, then your set is not closed under scalar multiplication.
 
  • #16
719
1
As mentioned above, by "it is true for all but one", I meant that multiplying A by a particular scalar (call it "a"), will result in an element of W, i.e. aA is in W, but if you multiply A by any other scalar, say, "b", bA is not in W.
but what is so special about 'a' that makes it a subspace when 'alpha' a scalar entry from C doesnt?
 
  • #17
1,086
2
Just to clear up confusion, I used "a" instead of your "alpha", because I didn't want to go into tex mode. But a = alpha, I just used a different variable name. So in my replies, a is also an element of C, i.e. a is a complex number, a scalar. And the whole point of my replies was that that special "a" or "alpha" does NOT make your set a subspace. That is, if your set is closed under multiplication by a particular scalar, then this is needed, but not sufficient for a set to be a subspace, because it needs to be closed under multiplication by all scalars. But if you do find one scalar, under multiplication by which your set is not closed, then that is sufficient in showing your set is not a subspace.
 
  • #18
33,284
4,989
Nothing, and the name of the scalar has no bearing on things. For scalar multiplication to be closed, aA has to be in the set for every scalar in whatever field is relevant to the problem.
 
  • #19
719
1
I am looking at my notes and found a counter example....!

In R^3 where the vector x = (1,2,-4)

apparently its closed under addition if we add it to another vector y etc...but 2x=(2,4,-8)...according to this post...this would imply x is NOT a subspace (because 1,2 and -4 is not in the new set).....but notes say it is a real vector space.....!???
 
  • #20
1,086
2
What do you mean? 2x is still in R^3, so everything is as it should be.
 
  • #21
719
1
What do you mean? 2x is still in R^3, so everything is as it should be.
according to post #3, 2A is NOT a subspace........im just following what I interpret from this thread....because the entries are not 1,2,-4 anymore....
 
  • #22
1,086
2
Ugh, I'm sorry to say this, but you really do need to go back to your notes, read the definitions and let them sink in. We were talking about [STRIKE]W[/STRIKE]A being a subspace, not 2A. A is just an element in W (and A), whereas as we have shown, 2A is not.

edit: Correction, we were talking about A being a subspace, and we have clumsily denoted entries in A as A's, as well. And then we have shown that 2A, where A is an element of A (ugh), is not in A (where as it the set A, not the element A).
 
Last edited:
  • #23
719
1
aha...I believe I understand you now. The only way for 2A to be an element of W is if we actually redefine W such that (purely for demonstration purposes)

[tex]W=\left \{ \begin{bmatrix}
b_{11} &b_{12} \\
0& 0 \\
0& 0
\end{bmatrix} :b_{ij} \in{R}\right \}[/tex].....
 
  • #24
1,086
2
What would A now be?
 
  • #25
719
1
What would A now be?
and A would be [tex]A=\begin{bmatrix}
1 &1 \\
0&0\\
0&0
\end{bmatrix}[/tex]
 

Related Threads on Is this subset a subspace

  • Last Post
Replies
7
Views
5K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
4
Views
745
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
15
Views
1K
  • Last Post
Replies
1
Views
615
  • Last Post
Replies
4
Views
852
  • Last Post
Replies
10
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
12
Views
2K
Top