Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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'.$


share|cite|improve this question
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. – Julian Kuelshammer Oct 31 '12 at 13:26
up vote 2 down vote accepted

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.

share|cite|improve this answer
Thank Marc van Leeuwen. This is a great answer. But i have another question : Let $S=v_1,\cdots, v_m$, $S'=v'_1,\cdots, v'_m$ be two sets of vectors in $V$ such that any two corresponding subsets of them are same rank. Now, chosse $A_1,\cdots,A_k$ and $A'_1,\cdots,A'_k$ correspondent in $S,S'$. Is the following true or false ? $dimspan(A_1)\cap ...\cap span(A_k)=dimspan(A'_1)\cap ...\cap span(A'_k)$. – Firsttime Oct 31 '12 at 16:16
Thank Marc van Leeuwen for your answer. But i need a specific example. You can see discussions in link :… – Firsttime Nov 1 '12 at 12:11

$$ \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..

share|cite|improve this answer
your formular is not correct for vector space 9 – Firsttime Oct 31 '12 at 13:38
@ Berci : your formular is not correct for vector space. For example, $V_1= XOY, V_2=OZ, V_3=span{(1,1,1)}$ then $3=dim V_1+V_2+V_3=2+1+1+0+0+0+0$, it is not true ? – Firsttime Oct 31 '12 at 13:44
hmm.. you're right. – Berci Oct 31 '12 at 13:49
Corrected the argument. – Berci Oct 31 '12 at 13:58
@ Berci $dim((B+C)\cap A)=dim((B'+C')\cap A')$ is obvious but it not useful for my main question. – Firsttime Oct 31 '12 at 14:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.