Algebraic properites of the direct sum

  • Thread starter Bipolarity
  • Start date
  • #1
Bipolarity
775
2
Is the following statement true? I am trying to see if I can use it as a lemma for a larger proof:

Let ##V## be a vector space and let ##W, W_{1},W_{2}...W_{k} ## be subspaces of ##V##.
Suppose that ## W_{1} \bigoplus W_{2} \bigoplus ... \bigoplus W_{k} = W ##
Then is it always the case that:
## (W_{1} \cap W) \bigoplus (W_{2} \cap W) \bigoplus ... \bigoplus (W_{k} \cap W) = W ##

In essence, this is asking whether there is a distributive law compatible with the set intersection operation and the direct sum operation. I am only asking for a determination of whether the statement is true for false. I will work out the proof/counterexample for myself.

Thanks!

BiP
 

Answers and Replies

  • #2
lavinia
Science Advisor
Gold Member
3,294
676
Ask yourself whether the Wi are subspaces of W
 
  • #3
Bipolarity
775
2
Ask yourself whether the Wi are subspaces of W

It is obvious if they are subspaces of ##W##, but what if they aren't?

BiP
 
  • #4
lavinia
Science Advisor
Gold Member
3,294
676
It is obvious if they are subspaces of ##W##, but what if they aren't?

BiP

If W is the direct sum of the Wi then show me an element of one of the Wi's that is not in W
 
  • #5
Erland
Science Advisor
742
138
Is the following statement true? I am trying to see if I can use it as a lemma for a larger proof:

Let ##V## be a vector space and let ##W, W_{1},W_{2}...W_{k} ## be subspaces of ##V##.
Suppose that ## W_{1} \bigoplus W_{2} \bigoplus ... \bigoplus W_{k} = W ##
Then is it always the case that:
## (W_{1} \cap W) \bigoplus (W_{2} \cap W) \bigoplus ... \bigoplus (W_{k} \cap W) = W ##

In essence, this is asking whether there is a distributive law compatible with the set intersection operation and the direct sum operation. I am only asking for a determination of whether the statement is true for false. I will work out the proof/counterexample for myself.

Thanks!

BiP
As it stands, the answer is obviously yes, since each ##W_i## is a subspace of ##W##, and hence ##W_ i\cap W=W_i##.

But I assume that there is a typo and that you meant ## W_{1} \bigoplus W_{2} \bigoplus ... \bigoplus W_{k} = V ##. Then, the answer is no. It is almost trivial to find a counterexample in R2.
 

Suggested for: Algebraic properites of the direct sum

  • Last Post
Replies
7
Views
994
Replies
8
Views
1K
Replies
3
Views
3K
  • Last Post
Replies
6
Views
590
  • Last Post
Replies
25
Views
915
Replies
13
Views
520
Replies
3
Views
1K
  • Last Post
Replies
9
Views
825
Replies
13
Views
652
Top