1
$\begingroup$

I am struggling with this question from Halmos's text, please ignore the imperative language.

"Suppose that $L, M$ and $N$ are subspaces of a vector space. Show that the equation

$$L \cap (M + N) = (L \cap M) + (L \cap N)$$

is not necessarily true.

Since each of these subspaces has origin in them, clearly there intersections could not be empty. I wasn't able to formulate an example where this result did n't hold. Any help would be highly appreciated.

  • 1
    What kind of examples have you tried?2012-02-08
  • 1
    As a first step, try to show that one side is a subspace of the other. What goes wrong when you try to prove the reverse inclusion?2012-02-08
  • 1
    Hint: If $M$ is the whole space, this equation becomes $L = L + (L \cap N)$. Can you finish it from here?2012-02-08
  • 1
    This was discussed here: http://mathoverflow.net/questions/17740/is-there-a-version-of-inclusion-exclusion-for-vector-spaces/2012-02-08
  • 0
    @Leandro Could i do subtract L from both sides and come to the conclusion (L∩N) = a null set which is obviously not true as the origin belongs to all subspaces and since intersection of two subspaces is also a subspace. Hence we have a contradiction if this result was true.2012-02-08
  • 0
    @Hardy: No. You can't really manipulate these equations like that. Here's why: if $M$ and $N$ are both the whole space, then certainly $M + N = M$, but you can't "cancel" $M$ and get $N = \{0\}$ or anything like that.2012-02-08
  • 0
    @Leandro Thanks for that i suspected that was wrong. I think the correct result is L ∩ (M + (L ∩ N)) = (L ∩ M) + (L ∩ N). Although being new to proofs i am unsure how to prove that one too. Any tips on how to approach such a proof would be much appreciated.2012-02-08

1 Answers 1

2

Work for example in $\mathbb{R}^2$.

Let $M$ be the set of multiples of the vector $(1,0)$, let $N$ be the set of multiples of $(0,1)$. It's your turn, you can choose $L$.

  • 0
    Well choosing L as the set of multiples of the vector (1,1) would show the result to be true. As we get vectors along with the axis on both sides. So obviously that could n't be the choice for our L. Any other hints ?2012-02-08
  • 1
    @Hardy: Maybe I am misinterpreting $+$. My interpretation is that it is the space generated by $M$ and $N$. With that interpretation, and $M$ and $N$ as in my answer, and $L$ as you mention, we have that $M+N$ is all of $\mathbb{R}^2$. So the left-hand side is just $L$. Look now at the right-hand side. We have $L\cap M$ contains only the $0$ vector, and the same is true of $L\cap N$. So the sum of the two also only contains the $0$ vector. Thus left in this case is $L$, right is $\{0\}$, not equal. If I am misinterpreting the meaning of $+$, please tell me.2012-02-08
  • 0
    Firstly thank you for your reply. I was interpreting M + N as that too, but Should n't L ∩ M be all the vectors along the x-axis and similar argument for the y-axis one, although i agree i had stuffed up in interpreting M + N as all of R^2 myself. I was interpreting M + N to be just the vectors along the axis which i am unsure about now. Your last reply seems much more feasible. I am a newbie.2012-02-08
  • 1
    @Hardy: Definitely $L\cap M$ just contains the $0$ vector. Think of it geometrically. You can think of $L$ as all points on the line $y=x$, and $M$ as the points on the $x$-axis. The only point they have in common is the origin. And I checked the standard usage of $U+V$, when both are subspaces $W$. It is the set of all points of $W$ of the shape $u+v$, where $u\in U$ and $v\in V$.2012-02-08