Can someone explain why this one (the top answer) is false:
For vector spaces, dim(U+V)=dimU+dimV−dim(UV), so dim(U+V+W)=dimU+dimV+dimW−dim(UV)−dim(UW)−dim(VW)+dim(UVW)
For vector spaces, dim(U+V)=dimU+dimV−dim(UV), so dim(U+V+W)=dimU+dimV+dimW−dim(UV)−dim(UW)−dim(VW)+dim(UVW)
dim(U+V) = dimU+dimV−dim(UV)
dim(U+V+W)
= dim(U+V)+dim(W) - dim((U+V)W)
= dim(U)+dim(V)+dim(W) - dim(UV) - dim(UW+VW) <-- bzzt, wrong
= dim(U)+dim(V)+dim(W) - dim(UV)-dim(UW)-dim(VW) + dim(UVW)
The reason this step fails is that (U+V)W != UW+VW for example UW and VW can both be empty, but (U+V)W is not empty: U = {multiples of (1,0)}
V = {multiples of (0,1)}
Now U+V is the entire space R^2. If we take W={multiples of (1,1)} then VW={0} and UW={0}, but because U+V is the entire space we have (U+V)W = W = {multiples of (1,1)}.Oh, and A minor correction: you mean "zero" instead of "empty".
dim(U+V+W)<= dim(U)+dim(V)+dim(W) - dim(UV)-dim(UW)-dim(VW) + dim(UVW).
So the result is weakened, but not entirely lost.