1
$\begingroup$

Let $A,B,C,A',B',C'$ are subspaces of $V$ such that $\dim A=\dim A'$,$\dim B=\dim B'$, $\dim C=\dim C'$, $\dim A\cap B=\dim A'\cap B'$, $\dim C\cap B=\dim C'\cap B'$, $\dim A\cap C=\dim A'\cap C'$, $\dim A + B + C=\dim A'+ B'+ C'$.

Prove that $\dim A\cap B\cap C=\dim A'\cap B'\cap C'.$

Thanks.

  • 3
    Welcome to math.SE: since you are new, I wanted to let you know a few things about the site. In order to get the best possible answers, it is helpful if you say in what context you encountered the problem, and what your thoughts on it are; this will prevent people from telling you things you already know, and help them give their answers at the right level. Also, many find the use of imperative ("Prove", "Solve", etc.) to be rude when asking for help; please consider rewriting your post.2012-10-31

2 Answers 2

2

The result stated is false, so you need not bother to try and prove it.

Counterexample. Let $K$ by your field, take $V=K^3$ with coordinate functions $x,y,z$, all subspaces $A,B,C,A',B',C'$ of dimension $2$ with $A=A'$ given by the equation $x=0$, $B=B'$ given by the equation $y=0$, $C$ given by the equation $z=0$ and $C'$ given by the equation $x+y=0$. You can check that the sum of any two distinct ones of those subspaces (and a fortiori of three) is all of $V$, that the intersection of two distinct among them is of dimension $1$, and that $\dim A\cap B\cap C=0$ while $C'\supset A'\cap B'$ so that $\dim A'\cap B'\cap C'=\dim A'\cap B'=1$.

Added, to answer the additional question in the comment. This example can also be used to show that given a finite set of vectors and the dimensions of the spans of all finite subsets, one cannot in general deduce the dimensions of the intersections of three or more of those spans (for the intersection of two it is possible, using $\dim(A\cap B)=\dim A+\dim B-\dim(A+B)$). It suffices to view each of the planes $A=A'$, $B=B'$, $C$, and $C'$ as the span of two specific vectors, in such a way that no three among the eight vectors used are ever coplanar (linearly dependent). Once this is achieved, the dimension of the span of any subset of at most three of those vectors is equal to their number, and the dimension of the span of any larger subset is of course $3$; nevertheless $\dim A\cap B\cap C\neq\dim A'\cap B'\cap C'$ remains true, showing that this dimension cannot be computed from the subset-span-dimension data. To see that a proper choice of $8$ vectors can be achieved, one can avoid choosing any vector lying in the intersection of two of the four planes $A,B,C,C'$; then the requirement to avoid choosing a vector coplanar with two previously chosen ones forbids a finite set of planes, but never the plane for which one is choosing a generator, so a proper choice is always possible.

  • 0
    Thank Marc van Leeuwen for your answer. But i need a specific example. You can see discussions in link : http://math.stackexchange.com/questions/226508/intersection-of-some-vector-spaces2012-11-01
0

$ \begin{align} \dim(A+B+C) =\dim(A+(B+C)) =\dim A+\dim(B+C)-\dim((B+C)\cap A) = \\ =\dim A+\dim B+\dim C-\dim(B\cap C) - \dim((B+C)\cap A) \end{align} $

To see this, if subspaces $V_1\cap V_2$ has a basis $(a_1,a_2,..,a_k)$, then it extends to a basis $(a_1,a_2,..,a_k,b_1,..b_r)$ of $V_1$ and extends to the basis $(a_1,a_2,..,a_k,c_1,..,c_s)$ of $V_2$, then $(a_1,..,a_k,b_1,..,b_r,c_1,..c_s)$ will be a basis of $V_1+V_2$.

So, it follows that $\dim((B+C)\cap A) =\dim((B'+C')\cap A')$. Well, however, we should rather prove it for $(A\cap B)+(A\cap C)$. Hmm..

  • 0
    Ah, ok, I see your point..2012-10-31