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

I have a problem as follows: $W_1$ and $W_2$ are subspaces of a finite-dimensional vector space $V$. $W^0$ is the annihilator of $W$.

(a) Prove $(W_1 + W_2)^0 = W_1^0 \cap W_2^0$.

(b) Prove $(W_1 \cap W_2)^0 = W_1^0 + W_2^0$.

Thoughts so far:

By definition of Annihilator, $W^0$ is the set of linear functionals that vanish on $W$. I feel that I also should use dual, but not sure how to put things together.

share|cite|improve this question
up vote 4 down vote accepted

Suppose $\mathbf{f}\in (W_1 + W_2)^0$. That means that $\mathbf{f}$ vanishes on all vectors of $W_1+W_2$. Since $W_1\subseteq W_1+W_2$, then $\mathbf{f}$ vanishes on all vectors of $W_1$, so $\mathbf{f}\in W_1^0$.

Argue similarly to show that $\mathbf{f}\in W_2^0$, to conclude that $(W_1+W_2)^0\subseteq W_1^0\cap W_2^0$.

For the converse inclusion, suppose that $\mathbf{g}\in W_1^0\cap W_2^0$. Then $\mathbf{g}$ vanishes on all vectors in $W_1$, and on all vectors on $W_2$. Let $w\in W_1+W_2$. Then we can express $w$ as $w=w_1+w_2$ with $w_1\in W_1$ and $w_2\in W_2$. Can you prove that $\mathbf{g}(w)=0$? If so, we will have shown that $\mathbf{g}$ vanishes at an arbitrary vector of $W_1+W_2$, so $\mathbf{g} \in(W_1+W_2)^0$.

Similar arguments can be used for (b).

Alternatively: $W_1+W_2$ is the smallest subspace that contains $W_1$ and $W_2$, so $(W_1+W_2)^0$ should be the largest subspace that is contained in both $W_1^0$ and $W_2^0$. Similarly for (b).

share|cite|improve this answer
It's highly helpful! Thanks again!!!! – Megan Apr 23 '12 at 6:17

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.