Tricky subspace & intersection Problem

[aeronautical]

1. The problem statement, all variables and given/known data

I am trying to solve this problem:
Let W_1, W_2, W_3 be subspaces of a vector space, V.
Prove that W_1 ∩ (W_2 + ( W_1 ∩ W_3)) = (W_1 ∩ W_2) + (W_1 ∩ W_3).
Can someone help me show this? I have tried using Dedekind's law, but not sure it that is the way to go.


The attempt at a solution

I tried with in my mind very trivial case...can somebody please show me a more detailed solution with more steps?

This is what I did....Since a subspace is a set, the laws of set operations apply. I assume (not sure if this is a valid assumption) that + here is the same as "union".

Now intersection is distributive over union,
i.e. a∩(b+c) = a∩b + a∩c
so in this case,
W_1 ∩ (W_2 + ( W_1 ∩ W_3))
= (W_1 ∩ W_2) + (W_1 ∩ (W_1 ∩ W_3))
In the second term, I use the properties that intersection is associative, and W_1 ∩ W_1 = W_1, and that term becomes W_1 ∩ W_3 which proves the required result.


Now can anyone answer if this always holds and please show me a more detailed solution with more steps that would make more sense? Thanks...

[George Jones]

I haven't thought about how to do the question, but
I assume (not sure if this is a valid assumption) that + here is the same as "union".

is not a valid assumption. Have you looked in your notes or text for a definition?

[aeronautical]

I haven't thought about how to do the question, but


is not a valid assumption. Have you looked in your notes or text for a definition?

Yes I did...but unfortunately, I am totally lost and confused now...

[George Jones]

Yes I did...but unfortunately, I am totally lost and confused now...

Write down Dedekind's law (in a post).

[aeronautical]

Write down Dedekind's law (in a post).

V ∩ (U + W)= U + (V ∩ W) this is what I got....

[George Jones]

V ∩ (U + W)= U + (V ∩ W) this is what I got....

Is there a condition that U and V are required to satisfy?

[aeronautical]

U, V and W, are just subsets of a set S, right?

[George Jones]

According to

http://books.google.ca/books?id=Ol8YFnZRJfIC&pg=PA7&lpg=PA7&dq=%22Dedekind%27s+law%22&source=bl&ots=yUjB9XKxm4&sig=t-qz9zojf_1UMCideFSpYDSHfPc&hl=en&ei=yv_lSbONB5fcMZm7gYEJ&sa=X&oi=book_result&ct=result&resnum=1#PPA9,M1

there is another condition.

[aeronautical]

In my question those are all the conditions specified. Do you mean that U <= V? How does, this help me understand whether the LHS is equal to the RHS? The real question is thus, when is this valid, and how I can get the RHS from LHS?

[George Jones]

The LHS of your question and the LHS of Dedekind's law look similar.

V = W_1[/itex], and either U = W_2 and W = W_1 \cap W_3, or W = W_2 and U = W_1 \cap W_3.



With respect to Dedekind's law, does either of these choices allow you to show the desired result?

[aeronautical]

I dont think so:
The first one results in:
RHS = W_1 + (W_2 + W_1 ∩ W_3)

The second one results in:
W_1 + (W_1 ∩ W_3 ∩ W_2)

What should I do now?? What conclusion can I take away from this?

[George Jones]

Take a look at the second choice more carefully.

[aeronautical]

I realize that for the equality to hold then:

W_1 + (W_1 ∩ W_3 ∩ W_2) = W_1 ∩ (W_2 + ( W_1 ∩ W_3))

However I can not see how... Could you please guide?

[George Jones]

I'm a little confused.

With the second of my choices in post #10 (note the edit):

what are V, U , and W;

what is the LHS of Dedekind's laws;

what is the RHS of Dedekind's laws?

[aeronautical]

I just noticed the edit:
Using the edited U, V, W from post 10 I get that:
W_1 ∩ (W_1 ∩ W_3 +W_2) = (W_1 ∩ W_3) + (W_1 ∩ W_2)

Hence, I have shown the equality in the original problem statement (Thank you).

One question remains and that is... Is this equality ALWAYS valid? Are there any restrictions? I thought the condition in the original Dedekind's law with U <= V could be one. Are there others?

[aeronautical]

Dear George,
Could you please help me out regarding my previous questions (In Post #15)? Thank you....